[FOM] Second Graduate FilMat Conference: Philosophy of Mathematics: Logic, Language, and Methodology - 18-19 July - University Vita-Salute San Raffaele, Milan

Boccuni Francesca boccuni.francesca at unisr.it
Thu Jul 11 07:07:09 EDT 2019


***apologies for cross-postings***


Philosophy of Mathematics: Logic, Language, and Methodology.

Second Graduate Conference of the Italian Network for the Philosophy of Mathematics – FilMat

www.filmatnetwork.com<http://www.filmatnetwork.com/>


18-19 July 2019
University Vita-Salute San Raffaele, Milan, Italy

Room S. Agostino, Dibit 2

Sponsored by:
PhD in Philosophy, University Vita-Salute San Raffaele, Milan
IUSS Pavia - UniSR PhD in Cognitive Neuroscience and Philosophy of Mind
CRESA (Research Center in Experimental and Applied Epistemology)

Under the auspices of:
University Vita-Salute San Raffaele
School for Advanced Studies IUSS Pavia
CRESA
eMath Project (NEtS, IUSS Pavia)

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is hosting its second graduate conference. The 2019 edition focuses on the philosophical issues at the crossroads between the philosophy of mathematics and the philosophy of language and logic, and the use of formal methods for modelling them.

Invited speakers

Salvatore Florio (University of Birmingham)
Lavinia Picollo (UCL)
Jack Woods (University of Leeds)


Thursday July 18th - room S. Agostino, building Dibit 2

9.00-9:15 Registration & Welcome

9.15-10.30 Lavinia Picollo (UCL) Mathematical Internal Realism and the Problem of Determinacy

10.30-11.00 Coffee break

11.00-12.00 Luca Zanetti (IUSS Pavia) Abstraction and Dependence

12.00-13.00 Davide Quadrellaro (ILLC) Are Diagrams Formal Proofs?

13.00-14.00 Lunch break

14.00-15.00 Leonardo Ceragioli (University of Pisa) Peano’s Counterexample to Harmony

15.00-16.00 Ludovica Conti (University of Pavia) Russell’s Paradox and Free Zig-Zag Solutions

16.00-16.30 Coffee break

16.30-17.30 Simone Picenni (University of Florence) Self-Reference without Circularity

17.30-18.45 Salvatore Florio (University of Birmingham) Lifting the Veil of Type Distinctions


Friday July 19th - room S. Agostino, building Dibit 2

9.15-10.15 Alexandra Kuncova (University of Utrecht) Ability and Knowledge: On the (In)dispensability of Action Types

10.15-11.15 Vincent Peluce (CUNY Graduate Center) The Perception of Time in Intuitionistic Arithmetic

11.15-11.45 Coffee break

11:45-13.00 Jack Woods (University of Leeds) Generic Validity



Invited discussants
Marco Panza (IHPST – Paris; Chapman University)
Matteo Plebani (University of Turin)
Andrea Sereni (IUSS Pavia)
Daniel Waxman (Lingnan University)


Conference scientific committee
Francesca Boccuni (University Vita-Salute San Raffaele)
Salvatore Florio (University of Birmingham)
Gabriele Lolli (Accademia delle Scienze di Torino)
Marco Panza (IHPST - Paris; Chapman University)
Mario Piazza (SNS, Pisa)
Lavinia Picollo (UCL)
Matteo Plebani (University of Turin)
Luca San Mauro (TU Wien)
Andrea Sereni (IUSS Pavia)
Maria Paola Sforza Fogliani (IUSS Pavia)
Giorgio Venturi (University of Campinas)
Jack Woods (University of Leeds)


Steering Committee
Francesca Boccuni (University Vita-Salute San Raffaele)
Giovanni Marco Martino (University Vita-Salute San Raffaele)
Maria Paola Sforza Fogliani (IUSS Pavia)

The conference will be held at University Vita-Salute San Raffaele, room S. Agostino, Dibit 2.

The final programme of the second graduate FilMat conference is also online at

https://filmatnetwork.com/activities/gradconf2019/filmat-graduate-conference-2019-conference-program/


Info on directions and accommodations can be found at:

https://filmatnetwork.com/activities/gradconf2019/directions-and-accommodations/


Info and registration: conference at filmatnetwork.com<mailto:conference at filmatnetwork.com>

--
Francesca Boccuni
Assistant Professor in Logic - University Vita-Salute San Raffaele
Phone #: 0039 02 2643 6099
Fax #: 0039 02 9197 1451
Email: boccuni.francesca at unisr.it<mailto:boccuni.francesca at unisr.it>
Webpages: http://www.unisr.it/k-teacher/boccuni-francesca/
          www.francescaboccuni.wordpress.com<http://www.francescaboccuni.wordpress.com>


Rispetta l’ambiente: non stampare questa mail se non è necessario.
Respect the environment: print this email only if necessary.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190711/7664f9e3/attachment-0001.html>


More information about the FOM mailing list