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.
