[FOM] FilMat 2018 - Philosophy of mathematics: objects, structures, and logics - 3rd FilMat Conference - Mussomeli, Caltanissetta, Sicily- 25-27 May 2018

[Gianluigi Oliveri]

**apologies for cross-postings**


Philosophy of mathematics: objects, structures, and logics

Third international conference of the Italian Network for the  
Philosophy of Mathematics - FilMat

www.filmatnetwork.com

25-27 May 2018
Mussomeli, Caltanissetta, Sicily

Under the auspices of: AILA, SIFA, SILFS, ANSLA Palermo

Financially supported by: Town Council of Mussomeli, University of Palermo



Conference Programme


Friday, May 25th 2018

9.30-10:00   Registration

10:00-10:30 Opening Ceremony
The Chancellor of the University of Palermo, the Mayor of Mussomeli,  
the HOD of Humanistic Sciences of the University of Palermo, the  
Convener

Chair: G. Oliveri, University of Palermo

10:30-11:30  Truth and the Philosophy of Mathematics
A. Cantini, University of Florence
Invited speaker

11:30-12:10 Speech Acts and the Ontology of Mathematics
G. Venturi, University of Campinas, L. San Mauro, TU Vienna

12:10-14:00 Lunch break

Chair: S. Boscolo, Ca' Foscari University

14:00-14:40 Ontological Dependence and Grounding for a Weak  
Mathematical Structuralism
S. Bianchi, IUSS Pavia

14:40-15:20 Structural Permissivism and the Iterative Conception of Set
C. Scambler, New York University

15:20-15:50 Coffee break

15:50-16:30 The History and Prospects of Structuralism
  D. Macbeth, Haverford College

16:30-17:10 Zombie Mathematics: Bringing Back Bourbaki on Mathematical  
Structures
  J.-P. Marquis, Université de Montréal

17:10-17:40 Coffee break

Chair: L. Crosilla, University of Birmingham

17:40-18:20 On Lakatos's Decomposition of the Notion of Proof
E. Moriconi, University of Pisa

18:20-19:00 Deduction: Theory vs Practice
O. Tatton-Brown, University of Bristol


Saturday, May 26th 2018

Chair: C. Ternullo, Kurt Gödel Research Center for Mathematical Logic, Vienna

9:00-10:00 Grothendieck toposes as unifying `bridges' between  
theories: a mathematical morphogenesis
O. Caramello, University of Insubria
Early career invited speaker

10:00-10:40 Exploring mathematical objects from custom-tailored  
mathematical universes
I. Blechschmidt, University of Augsburg

10:40-11:10 Coffee break

11:10-11:50 Set Theory and Structures
  N. Barton, S.-D. Friedman, Kurt Gödel Research Center for  
Mathematical Logic, Vienna

11:50-12:30 Identity, Indiscernibility, and Hilbertian Structuralism  
in the Frege-Hilbert Controversy
F. Doherty, University of Edinburgh

12:30-14:00 Lunch break

Chair: M. Piazza, Scuola Normale Superiore Pisa

14:00-14:40 Operational Purity in Number Theory
A. Arana, Université Paris 1 - Panthéon-Sorbonne, R. Kahle, G.  
Pulcini,  Universidade Nova de Lisboa

14:40-15:20 Conservative Deflationism?
J. Murzi, L. Rossi, University of Salzburg

15:20-15:50 Coffee break

Chair: F. Boccuni, San Raffaele University

15:50-16:30 Grounds in Ludics
D. Catta, Université de Montpellier, A. Piccolomini d'Aragona, Centre  
Gilles Gaston Granger Aix-Marseille Université & `La Sapienza'  
University of Rome

16:30-17:10 Did Gentzen Prove the Consistency of Arithmetic?
D. Waxman, University of Oxford, Lingnan University

17:10-17:40 Coffee break

17:40-18:40 Predicativity, Poincaré and Constructive Mathematics
L. Crosilla, University of Birmingham
Invited speaker

18:40-19:40 FilMat General Meeting

20:30 Conference Dinner


Sunday, May 27th 2018

Chair: A. Sereni, IUSS Pavia

9:00-9:40 A categorical reading of the numerical existence property in  
constructive foundations
S. Maschio, University of Padua

9:40-10:20 What Was the Ideal of Dependence in Frege's Proofs?
L. Zanetti, IUSS Pavia

10:20-10:50 Coffee break

10:50-11:50 Neologicism and the Argument from Transitive Counting
S. Shapiro, Ohio State University (with R. Samuels, E. Snyder, Ohio  
State University)
Invited speaker


Conference venue: Palazzo Sgadari, Mussomeli.

Travel and accommodation: See the conference website.

Registration: Attendance is free, but registration before the 20th of  
May is welcome: please find the registration form on the conference  
website and send it to prolocomussomelicl at libero.it to register.


Contacts

Web: https://filmatnetwork.com/filmat2018
Email: conference at filmatnetwork.com

Conference scientific committee
Francesca Boccuni (San Raffaele University)
Jessica Carter (University of Southern Denmark)
Giovanna Corsi (University of Bologna)
Marcello D'Agostino (University of Milan)
Salvatore Florio (University of Birmingham)
Geoffrey Hellman (University of Minnesota)
Øystein Linnebo (University of Oslo)
Danielle Macbeth (Haverford College)
Paolo Mancosu (University of California Berkeley)
Colin McLarty (Case Western Reserve University)
Enrico Moriconi (University of Pisa)
Gianluigi Oliveri (University of Palermo)
Marco Panza (IHPTS, CNRS Paris 1 / Chapman University)
Mario Piazza (University of Chieti-Pescara)
Eric Reck (University of California Riverside)
Andrea Sereni (IUSS Pavia)

Steering Committee
Gianluigi Oliveri (University of Palermo)
Stefano Boscolo (University Ca' Foscari, Venice)
Claudio Ternullo (KGRC, Vienna)



-- 
Gianluigi Oliveri
Professore Associato
Logica e Filosofia della Scienza
Dipartimento di Scienze Umanistiche
Università  degli Studi di Palermo
Viale delle Scienze
90128 Palermo
ITALY
Tel. 0039 091 23895402
Fax. 0039 091 6560287