Logik-Skript 2

Die Modallogik befasst sich mit Schlüssen und Argumenten, welche die Begriffe der Möglichkeit und Notwendigkeit enthalten. Diese Einführung in die Semantik und Syntax der modalen Junktoren- und Quantorenlogik erläutert die Grundlagen der Theorie möglicher Welten und vermittelt einen Kalkül des natürlichen Schließens für das modallogische Beweisen. Es werden zudem wichtige philosophische Anwendungen der Modallogik erörtert sowie Fragen zur Existenz möglicher, notwendiger und fiktionaler Objekte diskutiert. Das Buch eignet sich zum Selbststudium oder als Lehrbuch für einen modallogischen Grundkurs im BA- oder MA-Studium der Philosophie. Es richtet sich vor allem an diejenigen, die bereits über elementare Kenntnisse in der Logik verfügen und diese in einem wichtigen Bereich der philosophischen Logik vertiefen möchten.