IUSS-Vienna Workshop on Mathematical Definitions
Abstraction and implicit definitions
L&PIC - Linguistics and Philosophy IUSS Center
Epistemology and Philosophy of Mathematics
27-28 May 2024
Programme
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)
Organizers:
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.
