Skip to main content

What is Logic?

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.

Recent updates:

  • 2022-05-18: Uploaded draft 2022-05-18; this version corrects some small typos and adds more items to the index.
  • 2022-02-23: Uploaded draft 2022-02-23; this version fleshed out the proof of 11.5.37, and fixes a typo on pg. 218.
  • 2022-01-27: Uploaded draft 2022-01-27; this version uniformizes the notation used in the proof of Theorem 11.5.41.
  • 2022-01-20: Uploaded draft 2022-01-20; this version slightly revises the proof of the Truth and Membership Lemma (to make sure the notation is uniform with what has gone before) and updates the index.