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 Education Resources. 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 Creative Commons BY 4.0 licences. So you can download, share, and remix them, free of charge (subject to minor constraints). We also use:

  1. Open Set Theory (Raven protected). This is designed to supplement a short course introducing the philosophy of set theory. It is a work in progress, but I hope to release it under the same CC BY 4.0 license in Summer 2019.

Last modified 07 Dec 2018