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.

Modal logic deals with inferences and arguments involving the notions of possibility and necessity. This introduction to the semantics and syntax of modal junction and quantifier logic explains the foundations of the theory of possible worlds and provides a calculus of natural reasoning for modal logic proof. It also discusses important philosophical applications of modal logic, as well as issues concerning the existence of possible, necessary, and fictional objects. The book lends itself to either self-study or as a textbook for a basic modal logic course in BA or MA philosophy courses. It is aimed primarily at those who already have an elementary knowledge of logic and wish to deepen it in an important area of philosophical logic.