180119 VO-L Non-classical logic (2021S)

In dieser Vorlesung mit Lektüre (VO-L) betrachten wir drei Möglichkeiten, die Systeme der klassischen Aussagen- und Prädikatenlogik zu erweitern bzw. abzuändern. Dies beinhaltet drei Schwerpunkte: Logiken höherer Stufe, Modallogiken und nichtklassische Logiken.
Im ersten Schwerpunkt betrachten wir vor allem die Prädikatenlogik zweiter Stufe und die Ungültigkeit des Vollständigkeitssatzes. In den Modallogiken wird die klassische Logik um zwei Operatoren erweitert, die möglich und notwendig bezeichnen. Wir geben eine allgemeine Einführung in Modallogik und gehen dann auf spezielle Anwendungen ein, wie in der deontischen, epistemischen oder temporalen Logik. Nichtklassische Logiken entstehen durch Abänderung von klassischen Grundsätzen der Logik, wie zum Beispiel das Prinzip des Ausgeschlossenen Dritten. Hier möchten wir uns die parakonsistente und intuitionistische Logik ansehen.
Durch diese unterschiedlichen Aspekte der Logik sieht man nun deutlicher, wie logische Methoden auf philosophische Probleme angewandt werden können und welche grundlegenden Fragestellungen sich damit bearbeiten lassen. Zentral wird dabei die Betrachtung des Konditionals sein und die Frage, welche Probleme seine klassische Behandlung mit sich bringt und wie diese nicht-klassisch gelöst werden können.
Das Ziel der Vorlesung ist es, die Studierenden tiefergehend mit der philosophischen Logik vertraut zu machen und die Anwendung logischer Methoden für die Lösung philosophische Fragen zu üben.
Die Teilnahme an der Vorlesung setzt die Kenntnis der Inhalte des Grundkurs Logik (BA) voraus.