Call for papers | Conference program | Directions and accommodations | Contact us

Thursday May 26th [building: CESI, room: Sala Conferenze]

15.00-15.15 Opening

15.15-16.15 Invited Speaker: Achille Varzi (Columbia University)
Proving the Unprovable

16.15-16.55 Janet Folina (Macalester College)
Towards a better understanding of mathematical understanding

16.55-17.15 Coffee break

17.15-17.55 Luca San Mauro (Vienna University of Technology)
Church-Turing Thesis, in Practice

17.55-18.35 John Baldwin (University of Illinois at Chicago)
Modest Descriptive Axiomatization

18.35-19.15 Fiona Teresa Doherty (University of Cambridge)
Consistency as a Guide to Mathematical Reality

Friday May 27th [building: Polo didattico di Lettere, room: n. 2]

9.00-10.00 Early Career Invited Speaker: Luca Incurvati (University of Amsterdam)
Metalogic and the Overgeneration Argument

10.00-10.40 Daniele Molinini (University of Roma Tre)
Ontological Commitment is Pricy

10.40-11.00 Coffee break

11.00-11.40 Michele Ginammi (Scuola Normale Superiore di Pisa)
Applicability problems generalized

11.40-12.20 Josephine Salverda (University College London)
Proof by Induction: What Are We Missing?

12.40-14.00 Lunch break

14.00-15.00 Invited Speaker: Volker Halbach (University of Oxford)
A Substitutional Theory of Logical Truth and Consequence

15.00-15.40 Carlo Nicolai (Munich Center for Mathematical Philosophy)
Arithmetical Truth and Expressive Power

15.40-16.20 Cezary Cieslinski, Mateusz Lelyk, Bortosz Wcislo (University of Warsaw)
Searching for the Instrumentalist Theory of Truth

16.20-16.40 Coffee break

16.40-17.20 Jan Heylen and Leon Horsten (KU Leuven and Bristol University)
Truth and existence: the ontological power of so-called deflationary truth schemes

17.20-18.00 Andrea Strollo (Scuola Normale Superiore di Pisa)
Beyond conservativity

20.30 Conference Dinner

Saturday May 28th [building: CESI, room: Sala Conferenze]

9.00-10.00 Early Career Invited Speaker: Marianna Antonutti Marfori (IHPST, Paris/ University of Salzburg)
Interpreting Mathematical Theories: A Framework for the Mathematical Naturalist

10.00-10.40 Robert Knowles (University of Leeds)
Non-Optimal Support for Platonism

10.40-11-00 Coffee break

11.00-11.40 Salvatore Florio and Graham Leach-Krouse (Kansas State University)
What Russell Should Have Said to Burali-Forti

11.40-12.20 Neil Barton, Claudio Ternullo, Giorgio Venturi (Birkbeck College/Kurt Godel Research Center, CLE Universidade de Campinas)
On Forms of Justification in Set Theory

12.40-14.00 Lunch break

14.00-15.00 Invited Speaker: Enrico Moriconi (University of Pisa)
Some remarks on true undecidable sentences

15.00-15.15 Closing

---

Under the auspices of: AILA, SIFA, SILFS

Supported by: Department of Philosophical, Pedagogical and Economic-Quantitative Sciences, University of Chieti-Pescara

Conference scientific committee:
Sorin Bangu (University of Bergen)
Luca Bellotti (University of Pisa)
Francesca Boccuni (San Raffaele University)
Walter Carnielli (CLE-State University of Campinas)
Giovanna Corsi (University of Bologna)
Laura Crosilla (University of Leeds)
Elaine M. Landry
 (University of California, Davis)
Gabriele Lolli (Accademia delle Scienze di Torino)
Massimo Mugnai (SNS Pisa)
Marco Panza (IHPST, CNRS Paris 1)
Mario Piazza (University of Chieti-Pescara)
Christopher Pincock (The Ohio State University)
Francesca Poggiolesi (IHPST, CNRS Paris 1)
Andrea Sereni (IUSS Pavia)

Local Organizing Committee:
Mario Piazza, Gabriele Pulcini, Pierluigi Graziani