12

Einführung in die nichtklassische Logik

Vorlesung 2-stdg. Dienstag, 14–16 Uhr
Raum: Hörsaal (nicht: Seminarraum 1)
Termine: ab 18.10.2016

BA: WP Logik
Makons: III (GN)
MA-Ethik: V
MA-IB: V

Thematik

Die Vorlesung stellt verschiedene Logiksysteme vor, die in der einen oder anderen Hinsicht von der klassischen wahrheitsfunktionalen Aussagenlogik bzw. der klassischen elementaren extensionalen Prädikatenlogik (ggf. erweitert um Identität und Kennzeichnung) abweichen: freie Logik, intuitionistische Logik, Vagheitslogik (Fuzzy-Logic), Logik der Wahr/Falsch-Lücken und der Wahr/Falsch-Überfüllungen.

Ziele

Die Vorlesung geht ausführlich ein auf die philosophischen (sprachphilosophischen, erkenntnistheoretischen, ontologischen) Motivationen, die hinter diesen Systemen stehen.

Qualifikation

Prüfungsform: Mündliche Prüfung

Literatur

Es wird ein Skript zur Verfügung gestellt.