Formale Junktoren/Quantoren-Logik

Sommersemester 2026 Formale Junktoren/Quantoren-Logik

LEITUNG: Peter Gold
TERMIN: Mo 16:00–18:00 Uhr
RAUM: SH 5.108 Campus Westend
VERANSTALTUNGSFORM: Vorlesung

Im Rahmen der einführenden Logik-Vorlesung wird ein effizientes formales Instrumentarium entwickelt, um die Verknüpfung von Aussagen mittels Junktoren (Negation, Konjunktion, Disjunktion etc.) zu konstruieren, um die interne Struktur von Aussagen mittels Prädikatoren (Prädikaten, Relationen) und Quantoren (Existenzquantor, Allquantor) darzustellen, und um Schlussfolgerungen (hinsichtlich Gültigkeit oder Ungültigkeit) und Aussagemengen (in Hinsicht auf Konsistenz oder Inkonsistenz) zu analysieren und gegebenenfalls anhand von Modellen zu interpretieren. Eingesetzt wird ein eleganter symbolischer Baumkalkül à la Jeffrey/Boolos, der zum einen griffig, zum andern durchsichtig und nicht zuletzt leicht erlernbar ist; wobei die weitreichende Methodik verblüffend zielstrebig zu Resultaten führt.

LITERATUR
• Jeffrey, Richard: Formal Logic. Its Scope and Limits, Indianapolis 2006

Zugang zum Kurs gesperrt. Bitte melden Sie sich an. Login

Informationen zum Zugang

Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.