Philosophy of Mathematics: Foundations\, Definitions\, and Axioms
\nFourth international conference of the Italian Network for the Philosophy of Mathematics &ndash\; FilMat \;
\nSeptember 29 &ndash\; October 1\, 2022 IUSS Pavia \;
\nOrganized by: Scuola Universitaria Superiore IUSS Pavia Scuola Normale Superiore\, Pisa \;
\nUnder the auspices of: AILA\, SFL\, SIFA\, SILFS \;
Thursday\, September 29 \;
\n9.50-10.00 Opening
\n10.00-11.00 Laura Fontanella (University Paris Est Cré\;teil) The evolution of the proofs-as-programs paradigm through realizability
\n11.00-11.10 Short break
\n11.10-11.50 Jann Paul Engler (University of St Andrews) Sheaves for Intuitionistic Logic
\n11.50-12.30 Samuele Maschio (University of Padua) A Minimalist Approach to Foundations of (Constructive) Mathematics
\n12.30-14.00 Lunch break
\n14.00-15.00 Luca Bellotti (University of Pisa ) Notes on the (Un)provability of Consistency
\n15.00-15.10 Short break
\n15.10-15.50 Julien Murzi (University of Salzburg) and Brett Topey (University of Salzburg) The Omega Rule and the Categoricity Problem
\n15.50-16.30 Simon Schmitt (University of Turin) Kripkean Satisfaction for Unrestricted Higher-Order Languages
\n16.30-17.00 Coffee break
\n17.00-18.00 Lorenzo Rossi (University of Turin) Compositionality and Paradoxes
\n18.00-18.10 Short break
\n18.10-18.50 Nuno Maia \;(University of Oxford) No Arithmetical Determinacy From Supertask Computations
\n18.50-19.30 Emanuele Bottazzi (University of Pavia) The Role of Physical Intuitions in Mathematical Models Of Uniform Chances \; \;
\nFriday\, September 30 \;
\n9.30-10.00 Francesca Biagioli (University of Turin) Dedekindian Abstraction and Its Philosophical Background
\n10.30-11.00 Coffee break
\n11.00-11.40 Sa&scaron\;a Popović (University of Belgrade\, University of Rijeka) Veronese&rsquo\;s Investigation of the Archimedean Axiom and the Foundations of non-Archimedean Geometry
\n11.40-12.20 Georg Schiemer (University of Vienna) Hilbert&rsquo\;s Early Metatheory Revisited: Categoricity and Interpretability
\n12.20-13.00 Paola Cantù\; (University Aix-Marseille) Axiomatic Definitions in the Peano School
\n13.00-14.00 Lunch break
\n14.00-15.00 Joel David Hamkins (University of Notre Dame) Fregean Abstraction in Set Theory&mdash\;a Deflationary Account
\n15.00-15.10 Short break
\n15.10-15.50 Luca Zanetti (Politecnico di Milano) Is Hume&rsquo\;s Principle Analytic?
\n15.50-16.30 Ludovica Conti (School of Advanced Studies IUSS Pavia) Arbitrary Abstraction and Logicality
\n16.30-17.10 Inger Bakken Pedersen (University of Vienna) Coherentist Structuralism: Structures as Thin Objects
\n17.10-17.40 Coffee break
\n17.40-18.20 Robert Schwartzkopff (University of Hamburg) The Linguistic Foundation of Arithmetic
\n18.20-19.00 Rachel Boddy (University of Utrecht) and Robert May (University of California\, Davis) Definitions and The Proof of Referentiality
\n19.00-20.00 [FilMat Assembly] \;
Saturday\, October 1 \;
\n9.30-10.10 Nicola Bonatti (Munich Center for Mathematical Philosophy\, LMU Munich) The Reflective Equilibrium of Intended Models
\n10.10-10.50 Joan Bagaria (University of Barcelona\, ICREA) and Claudio Ternullo (University of Barcelona) Intrinsic Evidence for Large Cardinals and Structural Reflection
\n10.50-11.20 Coffee break
\n11.20-12.00 Leon Commandeur (University of Bergen) and Robert Passmann (University of Amsterdam) Does Logical Pluralism Entail Mathematical Pluralism\, or Vice Versa?
\n12.00-13.00 Michael Hallett (McGill University) Reflections on Relativism in Set Theory \;
\n*** \;
\nConference venue: Palazzo del Broletto\, Piazza della Vittoria 15\, 27100 Pavia\, Italy. Room: Sala del Camino\, 2nd floor. \;
\nPractical information: Information about the conference venue and accommodation is available on the FilMat website. \;
\nRegistration: Attendance is free and everyone is welcome. For organizational reasons\, please register for the conference by writing to conference@filmatnetwork.com (subject: Registration to FilMat). \;
\nScientific 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). \;
\nSteering Committee Mario Piazza (SNS\, Pisa)\, Luca San Mauro (Sapienza University of Rome)\, Andrea Sereni (IUSS\, Pavia)
ORGANIZER;CN=FilMat Network: METHOD:PUBLISH END:VEVENT END:VCALENDAR