BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260415T185356Z DTSTART;TZID=Europe/Berlin:20250513T183000 DTEND;TZID=Europe/Berlin:20250513T200000 SUMMARY:Understanding of Logical Formulas UID:20260417T191341Z-iCalPlugin-Grails@philevents-web-f5d4878dd-x5n6c TZID:Europe/Berlin LOCATION:Universitätsstraße 1\, 40225 Düsseldorf\, Düsseldorf\, Germany\, 40225 DESCRIPTION:

Gerhard Schurz and Christoph Schamberger kindly invite you to attend the talk at the Research Colloquium on 13 May 2025:

From 18:30 to 20:15. The talk by PD Dr. Timm Lampert &bdquo\;Understanding of Logical Formulas".

Abstract: Semantics of first-order logic formulas merley provide a method for showing whether single interpretations make a formula true or false. However\, it does not provide a general method for dis-tinguishing true from false interpretations. Yet\, this is necessary if the understanding of logical formu-las\, in analogy to the understanding of concepts\, requires that not only individual cases\, but a whole set is to comprehend. The paper presents a general procedure for generating disjunctive normal forms of first order logic and their graphical representation\, which provides a general criterion for identifying true interpretations\, at least for a decidable fragment of predicate logic formulas\, and thus a method for making these formulas comprehensible. Finally\, it is shown where the limits of understanding first-order formulas lie.

Speaker: PD Dr. Timm Lampert is a senior lecturer (Lehrkraft fü\;r besondere Aufgaben) at the Philo-sophical Department of the University Hagen since 2022\; before guest and tempory professor at the Humboldt University Berlin for philosophy of science\; research fellower at the Carnegie Mellon Univer-sity Pittsburgh and the Copernikus University Torun (Poland)\, assistent and senior assistent at the Uni-versity of Berne (Switzerland) and scientific colloborator at the University of Hamburg. Dissertation on Wittgenstein&rsquo\;s Physikalism at Hamburg and Habilitation on New Logic at Berne. Areas of Research: Automatic Reasoning\, Diagrammatic Logic\, Causality\, Foundations of Mathematics\, Wittgenstein. Re-cent relevant publications include: &ldquo\;A Logical Refutation of Wittgenstein&rsquo\;s Early Philosophy of Logic&rdquo\; (with Anderson Nakanon\, History and Philosophy of Logic 2025)\; &ldquo\;Explaining Undecidability of First-Order Logic&rdquo\; (with Anderson Nakano\, Philosophical Problems in Science 2025)\; &ldquo\;Newton&rsquo\;s Experi-mental Proof&rdquo\; (Theoria 2021)\; &ldquo\;Wittgenstein&rsquo\;s Elimination of Identity&rdquo\; (with Markus Sä\;bel\, The Review of Symbolic Logic 2021)\; &ldquo\;Decidability and Notation&rdquo\; (Logique et Analyse 2020)\; &ldquo\;Wittgenstein and Gö\;del: An Attempt to make &lsquo\;Wittgenstein&rsquo\;s Objection&rsquo\; reasonable&rdquo\; (Philosophia Mathematica 2018)\; &ldquo\;Minimizing Disjunctive Normal Forms of First-Order Logic&rdquo\; (Logic Journal of the IGPL 2017).

The event will be held in a hybrid format: in person in Room 24.53 01.81 and with the option to join via Zoom. For the Zoom link\, please email niklas.parwez@hhu.de. We look forward to your participation.

\n ORGANIZER;CN=Niklas Parwez;CN=Gerhard Schurz;CN=Christoph Schamberger;CN=Oskar Kambergs: METHOD:PUBLISH END:VEVENT END:VCALENDAR