Foundations of Mathematics
What are they and what are they for?
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:
- Steve Awodey. Carnegie Melon
- Patricia Blanchette. Notre Dame
- Michael Detlefsen. Notre Dame
- Tim Gowers. Trinity College, Cambridge
- Daniel Isaacson. Oxford
- Brendan Larvor. Hertfordshire
- Hannes Leitgeb. Ludwig-Maximilians-Universität München
- Mary Leng. York
- Alexander Paseau. Wadham College, Oxford
- Michael Potter. Cambridge
- Alan Weir. Glasgow
- Philip Welch. Bristol
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.