Philosophy of Mathematics Seminar


The Philosophy of Mathematics seminar covers topics beyond the philosophy of mathematics and logic, including applications of formal methods in philosophy more generally. Speakers come from different disciplines, such as philosophy, computer science, and mathematics. The content of the talks vary from highly technical to purely informal.    

All are welcome to the attend the seminar. Graduate and undergraduate students from all subject areas are especially welcome. It is perfectly acceptable to attend only selected talks. 

Seminars ordinarily take place on Mondays 4.30-6.30pm. 

Meetings for MT20 will be online, via Zoom. For access details contact one of the convenors below.

Philosophy of Mathematics Seminar Convenors: Volker Halbach and Daniel Isaacson | Philosophy of Mathematics own website

Past Terms

Expand All

Week 2 (27th January)                    

Tim Button (UCL)

Loving the Universe

Week 4 (10th February)                               

Martin Fischer (Munich)

Predicativity, Potentiality and Partiality

Week 6 (24th February)     

Peter Fritz (Australian Catholic University Melbourne)


Why Intensionalism?

Week 8 (9th March)           

Hanoch Ben-Yami (Central European University): The Quantified Argument Calculus

Introduction, Overview, and Future Directions                                        


Week 1 (14th October)

Albert Visser (Utrecht) 

What is a Provability Predicate?

Week 3 (28th October)

Sam Roberts (Oslo) 

Ultimate V

Week 5 (11th November)

Daniel Isaacson (Oxford) 

Kreisel’s Philosophy of Mathematics

Week 7 (25th November)

Timothy Williamson (Oxford)

Impossible Worlds and Semantic Compositionality


Week 1 (14th January)

Michal Godziszewski (Warsaw) 'Local disquotation, semantic non-conservativity of truth, and models of set theory'
Week 1 (17th January) John Baldwin (llinois)  'Philosophical implications of the paradigm shift in model theory'
Week 3 (28th January Menachem Magidor (Hebrew Universty)  'Independence in mathematics: is it relevant?'
Week 5 (11th February) Mateusz Łełyk (Warsaw)  'Many ways of saying that axioms of PA are true'
Week 6 Marcus Giaquinto  (UCL) 'A priori and a posteriori in mathematics'
Week 4 (29th Oct) Joel Hamkins (Oxford) "On Set-Theoretical Mereology as a Foundation of Mathematics"
Week 6 (12 Nov) Laura Crosilla (Birmingham) "Predicativity, Indefinite Extensibility and the Natural Numbers"
Week 7 (19 Nov) James Ladyman (Bristol)  "The Philosophical Logic of Homotopy Theory"
Week 8 (26 Nov)  Alex Paseau (Oxford) "Which Cardinality Quantifiers are Logical"