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, ...