An Introduction to Classical and Modal Logics

Classical logic - which studies the structural features of purported claims of fact - and modal logic - which studies relations of necessity and possibility - are different but complementary areas of logical thought. In this lively and accessible textbook, Adam Bjorndahl provides a comprehensive and unified introduction to the two subjects, treating them with the same level of rigour and detail and showing how they fit together. The core material appears in the main text, with hundreds of supplemental examples, comments, clarifications, and connections presented throughout in easy-to-read sidenotes, giving the book a distinct conversational feel. A detailed, multi-part appendix covers important background mathematical material that some students may lack, such as induction or the concept of countable infinity. A fully self-contained learning resource, this book will be ideal for a semester-long upper-level university course on either or both of the topics.

'A wonderful introduction both to basic propositional and first-order logic, and to modal logic. It goes all the way from the basic definitions to soundness and completeness results for all the logics considered. At the end, there is also a brief introduction to topological semantics for modal logic. The many exercises, most of which have solutions provided, enable the reader to grapple with the complexities of the material. I strongly recommend the book, both to those teaching introductory courses in logic and modal logic, and to students who are willing to try to learn the material on their own.' Joe Halpern, Cornell University

Table of Contents: