Area of Specialisation > Philosophy of Mathematics

David Corfield | Kent | Modal Homotopy Type Theory

Michal Godziszewski | Warsaw | 'Local disquotation, semantic non-conservativity of truth, and models of set theory'

Menachem Magidor | Hebrew University | 'Independence in mathematics: is it relevant?'

Florian Steinberger | Birkbeck | 'Logical Pluralism and Logical Normativity' 

Mateusz Łełyk | Warsaw | 'Many ways of saying that axioms of PA are true'

Lavinia Picollo | UCL | 'A Theory of Untyped Structured Propositions' 

Marcus Giaquinto | UCL | "A priori and a posteriori in mathematics" 

Kentaro Fujimoto | Bristol | 'Predicates and second-order logic'

Volker Halbach | Oxford | 'The Fourth Grade of Modal Involvement'

John Baldwin | Illinois | 'Philosophical implications of the paradigm shift in model theory'

Albert Visser | Utrecht | What is a Provability Predicate?

Tim Button | UCL | Loving the Universe

Chris Scambler | All Souls College | Axiomatic Potentialism

Wesley Wrigley (London School of Economics): 'Absolutely Undecidable Arithmetical Propositions'

Ali Enayat (University of Gothenberg): 'Categoricity-like properties in the first order realm'

Peter Fritz (University College London): 'Title' TBC

Patricia Blanchette | Notre Dame | Frege on Caesar and Hume's Principle

Eileen Nutting | Kansas | Approaches to Ordinal Abstraction 

Carlo Nicolai | King's College London | 'Graph conceptions of properties'

Fenner Tanswell (Technische Universität Berlin) and Ásgeir Berg Matthíasson (University of Iceland): 'The Philosophical Implications of Using Large Language Models in Mathematics'

Postponed until 16th June 2025 (Trinity Term 24, Week 8)

TBC

Sorin Bangu | Bergen | Two dualisms in later Wittgenstein's writings on mathematics

Carolin Antos | Konstanz | 'Defective concepts and pluralism in mathematics'

Daniel Isaacson (Oxford): 'Kripke on Gödel incompleteness'

Laura Crosilla (University of Oslo): 'Predicativity as Invariance'

Sam Roberts | Oslo | Ultimate V

Martin Fischer | Munich | Predicativity, Potentiality and Partiality

Mate Szabo | Oxford | Max Newman's Influence on Turing's Early Work

Kit Fine | NYU | Postulation and Possibility 

Mary Leng (York University): 'To Be (Thin) or Not To Be? Are Thin Objects Fictional or Are Fictional Objects Thin?'

The Philosophy of Mathematics Seminar for week 4 has been cancelled.

Fiona Doherty (University of Notre Dame): 'Title' TBC

Joel Hamkins | Oxford | 'On Set-Theoretical Mereology as a Foundation of Mathematics'

Rebecca Morris | Intellectual virtues in mathematics

Joel Hamkins | Oxford | Fregean abstraction in Zermelo-Fraenkel set theory

Benjamin Marschall (Trinity College Cambridge): 'Carnap, the conventionalist'

Silvia De Toffoli (University of Pavia): 'How to prove things with diagrams'

TBC

Charles Parsons | Harvard | Evidence and the hierarchy of mathematical theories

Alexander Roberts | Oriel College | 'Modality and modalities'

Xinhe Wu (Bristol): 'Boolean-Valued Models of Set Theory with Urelements'

William D'Alessandro (University of Oxford): 'Explanation in mathematics: a noetic account' (based on joint work with Ellen Lehet)

Daniel Isaacson | Oxford | Kreisel’s Philosophy of Mathematics

A.C. Paseau and Fabian Pregel (Oxford): 'Deductivism: A New Appraisal'

Joel David Hamkins (Notre Dame): 'Natural Instances of Illfoundedness and Nonlinearity in the Hierarchy of Consistency Strength'

Peter Fritz | Australian Catholic University Melbourne | Why Intensionalism?

Peter Koellner | Harvard | Two Futures: Pattern or Chaos

Paolo Mancosu | Berkeley & Paris | How many points are in a line segment? From Grosseteste to the theory of numerosities

Juhani Yli-Vakkuri (Australian Catholic University) and Zachary Goodsell (University of Southern California): 'New Logical Foundations for Mathematics'

Sharon Berry (Indiana University Bloomington): 'Mathematical access worries and accounting for knowledge of logical coherence'

Thomas Forster (University of Cambridge): 'Title' TBC

Laura Crosilla | Birmingham | 'Predicativity, Indefinite Extensibility and the Natural Numbers'

Stephen Yablo | MIT | How and why to be logically non-omniscient

Keith Hossack | Birkbeck | The Known Universe

Wilfried Sieg (Carnegie-Mellon): 'Proofs as Objects'

Chris Scambler (All Souls College Oxford): 'The Possibility of Potentialism'

Fabian Pregel (University of Oxford): 'Is logical consequence a relation between Fregean thoughts?'

TBC

Andrea Reichenberger | Paderborn | Rózsa Péter on the philosophy and foundations of mathematics

Crispin Wright | NYU | Making Exceptions

Anna Bellomo (Vienna): 'Bolzano's Measurable Numbers'

Carl Posy (Hebrew University): 'Model Theory, Intuitionism, and Paradox'

James Ladyman | Bristol | 'The Philosophical Logic of Homotopy Type Theory'

Timothy Williamson | Oxford | Impossible Worlds and Semantic Compositionality

Hanoch Ben-Yami | Central European University | The Quantified Argument Calculus: Introduction, Overview, and Future Directions

Giovanna Corsi | Bologna | From Kripke to Lewis and beyond: A foundational study of quantified modal logic

Zeynep Soysal | Rochester | Fixing mathematical content

Andreas Ditter (Queen's College, Oxford): 'Higher-Order Essences'

Stella Moon (Czech Academy of Sciences Institute of Philosophy): 'Husserlian Philosophy of Mathematical Practice and Homotopy Type Theory'

Jonathan Kirkby (University of East Anglia): 'Title' TBC

Alex Paseau | Oxford | 'Which Cardinality Quantifiers are Logical?'

Neil Barton | Konstanz | Algebraic levels and incomplete structures

Beau Mount | Konstanz | Goliath’s Sword: Repurposing Fictionalism to Tame Choice Sequences

Frederique Janssen-Lauret | Manchester: 'Founding Mothers: Women's Contributions to Logic in the Early Analytic Period'

Hans Robin Solberg (Oxford): 'Are Large Cardinal Axioms in Bad Company?'

James Studd (University of Oxford): 'Contingentist sets as potentialist properties'

TBC

Andrea Cantini | Florence | Reflecting and unfolding

Luca Incurvati | Amsterdam | 'On logical and scientific strength'

Andrew Bacon (University of Southern California): 'Mathematical Modality: An Investigation of Set-Theoretic Contingency'

Douglas Blue (University of Pittsburgh): 'Hierarchies of Infinity'