Textgrundlage:
Sprache, Beweis und Logik. Band II: Anwendungen und Metatheorie, deutsche Ausgabe von Language, Proof, and Logic von J. Barwise & J. Etchemendy, CSLI Publications, Stanford 1999. Text mit Software. Übersetzt und für das Deutsche bearbeitet von J. Bromand, T. Müller & G. Som­ma­ruga, Paderborn: Mentis 2006.

Es besteht zudem die Möglichkeit, eine Text und Vorlesung begleitende Software zu erwer­ben. Letztere ist zur Teilnahme nicht unbedingt erforderlich, aber in jedem Falle sehr hilf­reich: Die Software trägt zur Veranschaulichung des Stoffes bei und ermöglicht Studieren­den, selbständig mit Beweistechniken zu experimentieren, und gibt unmittelbares Feedback für vie­­­le Übungen: J. Barwise & J. Etchemendy, Sprache, Beweis und Logik. CD-ROM, Paderborn: Mentis 2006.

Zur Veranstaltung werden wöchentlich Übungsaufgaben vergeben, die in einer begleitenden (nicht aber obligatorischen) Übung (Mo, 12-14, MiÜR) besprochen werden.

Vorlesungsskript als PDF-Dateien

• Rekapitulation: Regeln für AL und PL1
• Grundlagen der Mengentheorie
• Russells Kennzeichnungstheorie und numerische Quantifikation
• Generalisierte Quantoren
• Induktion
• Vollständigkeit und Korrektheit der Aussagenlogik
• Aussagenlogik
• Syntax und Semantik prädikatenlogischer Sprachen
• Vollständigkeit und Korrektheit der Prädikatenlogik
• Gödels Unvollständigkeitssätze und weitere limitative Theoreme