# 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 sutdents 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 in the Ryle Room at the Radcliffe Humanities Building, Woodstock Rd.

**Philosophy of Mathematics Seminar Convenors: Volker Halbach, Daniel Isaacson, and James Studd | Philosophy of Mathematics own website**

## Michaelmas Term 2019 - Term Card

## Past Terms

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 2 | No seminar | |

Week 3 (28th January | Menachem Magidor (Hebrew Universty) | 'Independence in mathematics: is it relevant?' |

Week 4 |
No seminar | |

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 7 | No seminar | |

Week 8 | No seminar |

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" |

Week 3 (7th May) | Jack Woods (Leeds) | "Structuralist Neo-logism" |

Week 4 (14th May) | Benedict Eastaugh(München) | "Does nonclassical truth impair mathematical reasoning?" |

Week 5 (21st May) | Gabriel Uzquiano (USC) | "Cantorian counterexamples and the limits of thought" |

Week 8 (11th June) | Marianna Antonutti Marfori (München) | "On the Significance of Mathematical Hierarchies" |

Week 11 (6th July) | Francesca Poggiolesi (CNRS Paris) | "From logical to conceptual grounding: intelligibility and asymmetry of the notion" |