Monday 23 January 2017

• 16:30 - The substitutional theory of logical consequence
  Volker Halbach (University of Oxford)
  Philosophy of Mathematics Seminar

Monday 30 January 2017

• 16:30 - Limits in the Revision Theory
  Catrin Campbell-Moore (Bristol)
  Philosophy of Mathematics Seminar

Monday 13 February 2017

• 16:30 - Consistency, a catchword making the second incompleteness theorem more spectacular than the first: Comments on a comment by Georg Kreisel
  Doukas Kapantais (Athens)
  Philosophy of Mathematics Seminar

Monday 20 February 2017

• 16:30 - Generality explained: A truth-maker semantics
  Øystein Linnebo (Oslo)
  Philosophy of Mathematics Seminar

Monday 6 March 2017

• 16:30 - An Aristotelian approach for contemporary mathematics
  Donald Gillies (King’s College London)
  Philosophy of Mathematics Seminar

Monday 24 April 2017

• 16:30 - Craing the mathematical machine
  Professor Ursula Martin (University of Oxford)
  Philosophy of Mathematics Seminar