Projekt Modallogik

Die Veranstaltung soll sich im Wesentlichen mit der Modallogik als einer Erweiterung der Aussagenlogik (evtl. auch Prädikatenlogik) um die beiden Modaloperatoren -notwendig- und -möglich- beschäftigen. Während gemäß der Aussagenlogik z.B. der Aussage -Sokrates ist ein Mensch- ein Wahrheitswert zugesprochen werden kann, befasst sich die Modallogik hingegen mit Aussagen derart -Es ist notwendig, dass Sokrates ein Mensch ist-, bzw. -Es ist möglich, dass Sokrates ein Mensch ist-. Da Kenntnisse der Moddallogik zum Verständnis einiger zeitgenössischer philosophischer Lektüre unabdingbar geworden sind, will diese Veranstaltung versuchen, diesbezügliche Wissenslücken - zumindest partiell - zu schließen. Die Veranstaltung ist dabei als Übung konzipiert. Das bedeutet: Im Vordergrund steht das gemeinsame Erschließen und Einüben des Stoffs. Textgrundlage soll dabei das Buch von James W. Garson -Modal Logic for Philosophers- (Cambridge University Press, 2006) sein (Kopiervorlage wird bereitgestellt). Ein gewisses Maß an Eigeninitiative bei der Vorbereitung der Übungen wird daher vorausgesetzt. Die weiteren Termine und der Turnus der Veranstaltung können (je nach Teilnehmerzahl) meinerseits relativ flexibel gehandhabt werden. Die Vorbesprechung findet am Donnerstag, den 23.4.2009 statt. Wer Interesse an der Veranstaltung hat, zu diesem Termin jedoch nicht anwesend sein kann, wird dringend gebeten sich rechtzeitig mit mir (bzw. Herrn Prof. Heinemann) in Verbindung zu setzen. FB 01 Institut für Philosophie Uni Kassel SS 2009 Philosophie HF apl. Prof. Dr. Heinemann Gottfried