Tim Button

I am Director of Studies for Philosophy at St John's College. I supervise undergraduates and graduates in my main areas: meta(meta)physics, logic, mathematics, and language. If you are a current Cambridge undergraduate and want to be supervised by me, please go through your DoS. If you are a current or prospective graduate student, get in touch via tecb2 at cam dot ac dot uk.

Part IA Formal logic

This course is an introduction to formal logic. There are no handouts; the lectures follow the textbook, forallx: Cambridge. There is a separate solutions booklet covering all practice exercise, including the self-marked parts of the worksheets.

Worksheet: [1] [2] [3] [4] [Winter Break]
Worksheet: [5] [6]

Part IB Metatheory

This course covers the metatheory of truth-functional logic. There are no handouts; the lectures follow the textbook Metatheory.

Part IB Intuitionistic logic

This course covers some technical, but mostly philosophical, aspects of intuitionistic logic.

Handout: [1] [2] [3] [4]

Part II Realism and its discontents

This seminar examines varieties of realism and conceptual relativism. Please get in touch if you want to attend.

Part II Philosophy of set theory

This course covers the philosophy of set theory. Here’s the plan for the eight lectures:

  1. History and mythology
  2. The arithmetisation of the integers, rationals, and reals
  3. Dedekind algebras; starting with the iterative conception
  4. How the iterative conception yields bits of ZFC
  5. Ordinals
  6. Replacement
  7. Cardinals
  8. Choice
There are no handouts; instead the lectures will follow the textbook Membership (Raven protected). This is a work in progress, so please check back regularly. At the moment, the book goes up to the end of the second lecture.

Last modified 13 Oct 2018