Events

Gabriel Uzquiano (University of Southern California) will give a talk titled "Classes, and their Potential Parts"

Kit Fine (University Professor and Silver Professor of Philosophy and Mathematics, New York University) will give a talk titled "The Case for Numerical and Mereological Indeterminacy". 

Markus Pantsar (RWTH Aachen University) will give a talk titled "Recognising artificial mathematical intelligence"

Bokai Yao  (University of Notre Dame) will give a talk titled "Reflection with Absolute Generality"

Joel David Hamkins (O’Hara Professor of Philosophy and Mathematics, University of Notre Dame) will give a talk titled "Varieties of potentialism". 

Sara Negri (University of Genoa) will give a talk titled:

"The development of Gentzen sequent calculus: Ketonen's discovery of invertible rule systems"

Sam Roberts (University of Konstanz) will give a talk titled "Actualism and Potentialism" 

Ansten Klev (Czech Academy of Sciences) will give a talk titled "Aczel's V and the notion of set"

The 2022 Thoralf Skolem Memorial Lecture will be given by Harry Lewis, Gordon McKay Research Professor of Computer Science at Harvard University

Joan Rand Moschovakis  (Occidental College, emerita) will give a talk titled "Brouwer's Notion of Choice Sequence and its Descendants"

Agustín Rayo (MIT) will give a talk titled "Why I'm not an Absolutist"

Stewart Shapiro (Ohio State University and University of Oslo) will give a talk titled "Does God collapse potential infinity to actual infinity?"

(joint work with Samuel Levey and Øystein Linnebo)

Michael Rathjen (University of Leeds) will give a talk titled "Completeness: Turing, Schütte, Feferman"

Jon Erling Litland  (University of Texas at Austin) will give a talk titled "Generating Propositions"

A workshop dedicated to Hermann Weyl's Philosophy of Mathematics

Sara Negri (University of Genoa) will give a talk titled "Bridges between classical and constructive reasoning for infinitary logic"

Countabilism is the view according to which every infinite collection is countable. We discuss this view in an online workshop.