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, but the lectures closely follow forallx: Cambridge, the course textbook. 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] [Finale and associated answers]

Part IB Metatheory

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

Part IB Intuitionistic logic

This course covers some technical, but mostly philosophical, aspects of intuitionistic logic. Handouts will be available here before each lecture.

Part II Transcendental arguments

This seminar examines some recent transcendental arguments in metaphysics and mathematics. The readings and syllabus are available on moodle [raven protected].

Last modified 04 Oct 2017