Logic

Course materials for my two logic books. For the books themselves — publishers, editions, cover copy — see Books.

How Logic Works

An introduction to symbolic logic, built around natural deduction.

• Solutions to problems — worked chapter by chapter
• Full solutions manual (PDF)
• Key terms (PDF)
• Errata
• Code
• Logic tools — proof checker, truth tables, model checker, and a reader for photographs of handwritten proofs

The Logic in Philosophy of Science

• Addenda
• TeX source on GitHub

Philosophical Logic

Some older notes, not yet collected here.