261037 Modale Aussagen - Ein Zugang zur Logik der möglichen Welten (Lupenkurs) (S) (SoSe 2013)

In diesem Lupenkurs werden sich die TeilnehmerInnen einen Zugang zur Modallogik, d.h. zur Logik der möglichen Welten, erarbeiten. Hierbei geht es nicht darum, Fragen zur Existenz solcher Welten zu diskutieren, sondern die Logiksprache kennenzulernen, für deren Semantik man sich dieser Welten bedienen kann. Am Ende des Kurses werden die TeilnehmerInnen in der Lage sein, modale Aussagen, wie beispielsweise “Es ist möglich, dass Martin ein Elefant mit rosaroten Flügeln ist”, formal darstellen und bewerten zu können.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Für diesen Kurs werden grundlegende Kenntnisse in der Aussagen- und Prädikatenlogik (u.a. Syntax & Semantik, Wahrheitsbäume) vorausgesetzt, wie sie beispielsweise in der Vorlesung “Logik I” erworben werden.