What is Logic?
This is the homepage of my draft textbook, What is Logic?. The DRAFT status of this book is very important: Portions of it are substantially incomplete. If, however, you find any errors, please let me know.
There is a supplementary series of youtube videos covering content in this book.
- 2023-05-05: Uploaded draft 2023-05-05; this version adds more exercises to Exercise 73, explicitly mentions the copulae in the syllogistic mnenomic in Chapter 6, and adds Example 8.2.22.
- 2023-02-17: Uploaded draft 2023-02-17; this version adds some exercises for content in Chapter 11, and corrects a typo in the chapter on dynamic logic.
- 2022-06-24: Uploaded draft 2022-06-24; this version corrects a rather messed up proof of Theorem 11.5.43, where I kept renaming the sets in a confusing fashion.