Vorlesung: Logik 2: Mengenlehre und formale Semantik

Zusammenfassung:

Während in Teil 1 der Logischen Propädeutik die Theorie des natürlichen Schließens thematisiert wurde, werden wir jetzt eine formale Semantik für die klassische Prädikatenlogik der ersten Stufe entwickeln. Diese formale Semantik wird es uns ermöglichen, auf eine abstrakte Art und Weise zu erkunden, ob eine gegebene Schlussfolgerung gültig oder ungültig ist. Weil die formale Semantik in der Sprache der elementaren Mengenlehre formuliert wird, werden wir uns zuerst die Grundbegriffe der elementaren Mengenlehre aneignen müssen. Das englischsprachige Buch von Barker-Plummer, Barwise und Etchemendy (2011) ist eine an vielen Universitäten verwendete Einführung in die Logik. Studierende können auch die deutsche Übersetzung der ersten Ausgabe aus 2006 verwenden.

Struktur und Voraussetzungen:

In den Vorlesungen werden die zentralen Definitionen und Sätze mit Beispielen und Beweisen erkundet und erklärt. Im Proseminar und in den Tutorien wird mit dem Material geübt. Teil 2 der Logischen Propädeutik ist eine Fortsetzung von Teil 1.

Prüfung:

Die Logische Propädeutik wird am Ende des Sommersemesters mit einer Klausur abgeschlossen.

• Dave Barker-Plummer, John Barwise und John Etchemendy (2011). Language, Proof and Logic, 2^nd Edition, Stanford: CSLI Publications.
• John Barwise und John Etchemendy (2006). Sprache, Beweis und Logik, Band 2: Anwendungen und Metatheorie, Paderborn: Mentis.

Optionale Studien Basisfach Philosophie (FPO Philosophie 2019)

• Modul 2: Logische Propädeutik und Methodische Begriffsbildung (10 LP)

Zu belegen sind beide Lehrveranstaltungen!

Nach Abschluss des zweiten Fachsemesters: Klausur (180 Minuten)

Lehramts-Studiengang Philosophie nach der Ordnung 2012 (modularisiert ab WS 2012/13)

• Modul 2: Logische Propädeutik und Methodische Begriffsbildung (10 LP)

Zu belegen sind beide Lehrveranstaltungen!

Nach Abschluss des zweiten Fachsemesters: Klausur (180 Minuten)

Lehramts-Studiengang für das Beifach Philosophie nach der Ordnung 2016 (modularisiert)

• Modul 2: Logische Propädeutik und Methodische Begriffsbildung (10 LP)

Zu belegen sind beide Lehrveranstaltungen!

Nach Abschluss des zweiten Fachsemesters: Klausur (180 Minuten)

Bachelor-Studiengang Philosophie nach der Ordnung 2019

• Modul 2: Logische Propädeutik und Methodische Begriffsbildung (10 LP)

Zu belegen sind beide Lehrveranstaltungen!

Nach Abschluss des zweiten Fachsemesters: Klausur (180 Minuten)