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.