Faculty of Philosophy


Foundations of Mathematics
What are they and what are they for?


Nautilus Spiral

10-12 July 2012
Fitzwilliam College, Cambridge

Registration for the conference is now closed.
The programme has been finalised.

The role of set theory as a foundation of mathematics has been criticized from various standpoints. The conference aims to shed light on this debate by asking what foundations of mathematics are and what they are for. Some people understand foundations as providing a justification for mathematics; others as providing the subject matter of mathematics; others still as providing us with an arena within which to settle all questions of existence and proof in mathematics. The conference will explore whether any of these senses of foundations should be privileged, and will consider the prospects of a pluralistic approach to foundational issues.

The conference will bring together philosophers, logicians and mathematicians. The following keynote speakers are confirmed:

There will also be talks by:

  • Steven Methven. Oxford
  • Sam Sanders. Ghent
  • James Studd. Oxford

This conference is made possible by generous support from the British Academy and the Mind Association. We are grateful for additional support from the British Logic Colloquium, the Aristotelian Society, and the Analysis Trust.