Tim Button

Undergraduate philosophers at Cambridge take several courses in formal logic. As far as possible, I think it is best to teach these courses with open-access ebooks. We currently use the following:

  1. forallx: Cambridge. The textbook for our introductory course.
  2. Metatheory. This builds on forallx: Cambridge, covering the metatheory of truth-functional logic.

The links will take you to a page describing the book, and allowing you to download it (in various formats). Both books are released under CreativeCommons ShareAlike licences. This means that they are available to download, share, and remix, free of charge (subject to minor constraints).

Last modified 31 Aug 2016