Formale Logik
Dozent
Dr. Johannes Schmitt
Termine (Vorlesung)
| Di | 10:00 - 11:30 | Y 310 |
Inhalt
Ziel dieses Kurses ist es, BA-Studierende mit den Grundlagen der formalen Logik vertraut zu machen, insbesondere mit der Syntax und Semantik der Aussagenlogik und Prädikatenlogik sowie mit verschiedenen Beweisverfahren und einigen metalogischen Begriffen wie Korrektheit, Vollständigkeit und Entscheidbarkeit. Die formale Logik ist eine wichtige Grundlage für das Verständnis vieler zentraler philosophischer Probleme und eine Voraussetzung für die Teilnahme an philosophischen Diskussionen.
Weitere Details zum Inhalt der Vorlesung im LSF.
Termine
2013/10/22 (Di) - Einführung, Mengenlehre2013/10/29 (Di) - Relationen, Funktionen, Unendlichkeit
2013/11/05 (Di) - Aussagenlogik, Aussagenlogische Struktur, Syntax
2013/11/12 (Di) - Induktive Beweise, Wahrheitstabelle, Belegungen
2013/11/19 (Di) - Gültigkeit von Argumenten, Baum-Kalkül, Die zulässigen Schlussregeln
2013/12/03 (Di) - Welten, Modallogische Systeme, -Diagramme und Eigenschaften
2013/12/10 (Di) - Eigenschaften von Rahmen, Regeln für Modaloperatoren
2013/12/17 (Di) - keine Aufzeichnung (Zwischenklausur)
2014/01/07 (Di) - Einführung in die PL, Übungen in der Sprache LPL
2014/01/14 (Di) - Formalisierung in der PL, Anzahlqualifikation, Atome der PL
2014/01/21 (Di) - Semantik der PL
2014/01/28 (Di) - Variablensubstitution, Funktionen der PL