Serviceverbund KIM

Streaming Server

Login |
 
 

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, Mengenlehre

2013/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/11/26 (Di) - Hintikka-Menge Hauptlemma, Erweiterung der Sprache, Induktive Definition einer Formel in LML

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

2014/02/04 (Di) - Normalformen, Skolemisierung

2014/02/11 (Di) - Wiederholung, Fragestunde