sereni news
IUSS-Vienna Workshop on Mathematical Definitions. Abstraction and implicit definitions | May, 27-28, 2024

L&PIC - Linguistics and Philosophy IUSS Center

Epistemology and Philosophy of Mathematics

27-28 May 2024


May 27th 

14.30-15.30  Georg Schiemer (University of Vienna),  Instrumental devices and implicit definition
15.40-16.40 Francesca Biagioli (University of Turin),  Dedekindian abstraction and its philosophical background

16.40-17.10 Break
17.10-18.10 Stephen Mackereth (University of Pittsburgh), Neologicism and conservativeness

18.20-19.20 Rachel Boddy (Utrecht University) & Robert May (UC Davis), Definition and content in Frege’s logic

May 28th

09.30-10.30 Marco Panza (University of Chapman & CNRS IHPST), Distinguishing different sorts of formal definitions in mathematics

10.40-11.40 Jann Paul Engler (Vita-Salute San Raffaele University), Implicit definitions, modality, and generality

11.40-12.00 Break

12.00-13.00 Crispin Wright (New York University & University of Stirling), Basic principles of inference as implicit definitions of the logical constants

Discussants "(in person and online)":
Baharam Assadian (University of Leeds)
Francesca Boccuni (Vita-Salute San Raffaele University)
Silvia De Toffoli (IUSS Pavia)
Philip Ebert (University of Stirling)
Luca Zanetti (IUSS Pavia)

Ludovica Conti (IUSS Pavia), Georg Schiemer (University of Vienna), Andrea Sereni (IUSS Pavia).

In-person venue: 
Scuola Universitaria Superiore IUSS Pavia, Sala del Camino
Palazzo del Broletto, Piazza della Vittoria, 15, 27100 Pavia (PV)

Virtual venue: https://iusspavia.zoom.us/my/br.saladelcamino

Organized by: 
ESPRIT Program, Austrian Science Fund (FWF) DOI:10.55776/ESP120, “The logic of Abstraction”;
PRIN project PUMa “Proof and understanding in mathematics. Purity of methods, simplicity, and explanation in mathematical reasoning”;
IUSS Pavia National Project DM 737 (ID DM737FTJCG);
PRO3 “Understanding Public Data.experts: decisions, epistemic values.”

Funded by the European Union---Next Generation EU.