Conference Program - Philosophy of mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022

Andrea Sereni andrea.sereni at
Mon Sep 19 10:32:54 EDT 2022

*apologies for cross-posting*
Philosophy of mathematics: Foundations, Definitions, and Axioms*

*/Fourth international conference of the Italian Network for the 
Philosophy of Mathematics – FilMat./*

/September 29 - October 1, 2022//
//IUSS Pavia/

/Organized by://
/Scuola Universitaria Superiore IUSS Pavia
Scuola Normale Superiore, Pisa/
Under the auspices of: AILA, SFL, SIFA, SILFS

*_*Thursday, September 29 *_

9.50-10.00 Opening

10.00-11.00 *
*[Invited speaker]*Laura Fontanella* (University Paris Est 
/The evolution of the proofs-as-programs paradigm through realizability/

11.00-11.10 Short break

11.10-11.50 *Jann Paul Engler* (University of St Andrews) 

/Sheaves for Intuitionistic Logic/

11.50-12.30 *Samuele Maschio *(University of Padua)

/A Minimalist Approach to Foundations of (Constructive) Mathematics/

12.30-14.00 Lunch break

14.00-15.00 [Invited speaker]*Luca Bellotti* (University of Pisa)
Notes on the (Un)provability of Consistency/

15.00-15.10 Short break

15.10-15.50 *Julien Murzi* (University of Salzburg) and *Brett Topey* 
(University of Salzburg)

/The Omega Rule and the Categoricity Problem/

15.50-16.30 *Simon Schmitt* (University of Turin)
/Kripkean Satisfaction for Unrestricted Higher-Order Languages/

16.30-17.00 Coffee break

17.00-18.00 [Early career invited speaker]*Lorenzo Rossi* (University of 

/Compositionality and Paradoxes/

18.00-18.10 Short break

18.10-18.50 *Nuno Maia*  (University of Oxford) 

/No Arithmetical Determinacy From Supertask Computations/

18.50-19.30 *Emanuele Bottazzi* (University of Pavia) 

/The Role of Physical Intuitions in Mathematical Models Of Uniform Chances /

_*Friday, September 30 *_

9.30-10.00 [Invited speaker] *Francesca Biagioli* (University of Turin) 

/Dedekindian Abstraction and Its Philosophical Background/

10.30-11.00 Coffee break

11.00-11.40 *Saša Popović* (University of Belgrade, University of Rijeka) 

/Veronese’s Investigation of the Archimedean Axiom and the Foundations 
of non-Archimedean Geometry/

11.40-12.20 *Georg Schiemer* (University of Vienna) 

/Hilbert’s Early Metatheory Revisited: Categoricity and Interpretability/

12.20-13.00 *Paola Cantù* (University Aix-Marseille) 

/Axiomatic Definitions in the Peano School/

13.00-14.00 Lunch break

14.00-15.00 [Invited speaker] *Joel David Hamkins* (University of Notre 

/Fregean Abstraction in Set Theory—a Deflationary Account/

15.00-15.10 Short break

15.10-15.50 *Luca Zanetti* (Politecnico di Milano)
Is Hume’s Principle Analytic?/

15.50-16.30 *Ludovica Conti* (School of Advanced Studies IUSS Pavia)

/Arbitrary Abstraction and Logicality/

16.30-17.10 *Inger Bakken Pedersen* (University of Vienna) 

/Coherentist Structuralism: Structures as Thin Objects/

17.10-17.40 Coffee break

17.40-18.20 *Robert Schwartzkopff* (University of Hamburg) 

/The Linguistic Foundation of Arithmetic/

18.20-19.00 *Rachel Boddy* (University of Utrecht) and *Robert May* 
(University of California, Davis) 

/Definitions and The Proof of Referentiality/

19.00-20.00 [FilMat Assembly]

Saturday, October 1*_

9.30-10.10 *Nicola Bonatti* (Munich Center for Mathematical Philosophy, 
LMU Munich) 

/The Reflective Equilibrium of Intended Models/

10.10-10.50 *Joan Bagaria* (University of Barcelona, ICREA) and *Claudio 
Ternullo* (University of Barcelona) 

/Intrinsic Evidence for Large Cardinals and Structural Reflection/

10.50-11.20 Coffee break

11.20-12.00 *Leon Commandeur* (University of Bergen) and *Robert 
Passmann* (University of Amsterdam)
Does Logical Pluralism Entail Mathematical Pluralism, or Vice Versa?/

12.00-13.00 [Invited speaker]*Michael Hallett* (McGill University)
Reflections on Relativism in Set Theory /


*Conference venue*
Palazzo del Broletto, Sala del Camino, Piazza della Vittoria 15, 27100 
Pavia, Italy.

*Practical information*

*Abstracts are available at:

*In-Person Attendance*
Attendance is free and everyone is welcome. For organizational reasons, 
in-person attendance must be notified in advance at 
conference at (subject: Registration to FilMat).

*Remote Attendance*
Remote participation for external attendees is available at the 
following Zoom link:

*Info at: conference at


*Scientific committee*
Francesca Biagioli (Turin), Luca Bellotti (Pisa), Patricia Blanchette 
(Notre Dame), Francesca Boccuni (San Raffaele Milan), Laura Crosilla 
(Oslo), Laura Fontanella (UPEC), Michéle Friend (GWU), Valeria Giardino 
(CNRS, Institut Jean Nicod), Micheal Hallett (McGill), Joel Hamkins 
(Notre Dame), Gabriele Lolli (Academy of Sciences, Turin), Carlo Nicolai 
(KCL), Marco Panza (Chapman & CNRS), Mario Piazza (SNS Pisa), Matteo 
Plebani (Turin), Lorenzo Rossi (Turin), Luca San Mauro (Sapienza 
University of Rome), Andrea Sereni (IUSS Pavia), Giorgio Venturi (Campinas).

*Steering Committee**
*Mario Piazza (SNS, Pisa)
Luca San Mauro (Sapienza University of Rome)
Andrea Sereni (IUSS, Pavia)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220919/71e69929/attachment-0001.html>

More information about the FOM mailing list