An Introduction to Classical and Modal Logics

The Outlines of Knowledge

Adam Bjorndahl

• Publisher: Cambridge University Press
• Year: 2024
• eBook ISBN: 9781009450683
• Topic: Mathematics
• Subtopic: Logic in Mathematics
• Index: Mathematics

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.

Table of contents

• Cover
• Half-Title Page
• Title Page
• Imprints Page
• Dedication
• Contents
• List of Figures
• List of Tables
• Preface
• Acknowledgements
• Introduction: What Is Logic?
• 1 Classical Propositional Logic
• 2 Classical Predicate Logic
• 3 Modal Logic
• 4 Group Knowledge
• 5 Topological Semantics
• Appendix A Mathematical Tools and Techniques
• Appendix B Selected Solutions
• Index