An Introduction to Classical and Modal Logics: The Outlines of Knowledge [Paperback]

A lively and accessible, yet practical and rigorous guide to learning and teaching classical and modal logics.This lively and accessible textbook provides a comprehensive and unified introduction to classical and modal logics, treating them with the same level of rigour and detail and showing how they fit together. A fully self-contained learning resource, it will be ideal for upper-level university courses.This lively and accessible textbook provides a comprehensive and unified introduction to classical and modal logics, treating them with the same level of rigour and detail and showing how they fit together. A fully self-contained learning resource, it will be ideal for upper-level university courses.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.Introduction: what is logic?; 1. Classical propositional logic; 2. Classical predicate logic; 3. Modal logic; 4. Group knowledge; 5. Topological semantics; A Mathematical tools & techniques; B Selected solutions.'A wonderful introduction both to basic propositional and first-order logic, and to modal logic. It golÓË