230657 Einführung in die Modallogik (S) (WiSe 2015/2016)

Im Seminar werden wir die Grundlagen der modalen Aussagenlogik kennenlernen und intensiv einüben. Zuerst werden wir uns anschauen, was genau die Modaloperatoren (Box und Diamant) semantisch von den aussagenlogischen Operatoren unterscheidet, und welche Rolle mögliche Welten dabei spielen. Anschließend werden wir uns einen Überblick über einige modallogische Systeme verschaffen und ein allgemeines Verfahren kennenlernen, mit dem wir überprüfen können, ob ein gegebener Schluss in einem gegebenen System gültig oder eine gegebene Formel in einem gegebenen System tautologisch ist. Abschließend werden wir das Verständnis der modallogischen Grundideen vertiefen, indem wir uns eine Erweiterung dieser Ideen vornehmen, die für ein spezielles Anwendungsgebiet konzipiert wurde.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Wünschenswert sind Grundkenntnisse in Aussagenlogik (wie sie etwa in den Kursen Logik 1 und Formale Methoden 2 vermittelt werden) und Mengenlehre (wie sie etwa im Kurs Formale Methoden 1 vermittelt werden). Diese Grundkenntnisse können ggf. durch einen individuell bestimmten Arbeitsmehraufwand parallel zur Veranstaltung erworben bzw. aufgefrischt werden.

Literaturangaben

James Garson (2006): Modal Logic for Philosophers. Cambridge University Press.
Rod Girle (2010): Modal Logics and Philosophy (Second Edition). McGill-Queens University Press.
Graham Priest (2008): Introduction to Non-Classical Logic: From If to Is (Second Edition). Cambridge University Press.