Venue and Dates
Location: University of Vienna, NIG – Neues Institutsgebäude, Universitätsstraße 7, 1010 Wien, Austria
Dates: February 19-20, 2025
Description
This event is the second of two joint workshops on the topic of mathematical definitions, jointly organised by the University of Vienna and the School of Advanced Studies, IUSS, Pavia. A description of the first event, “IUSS-Vienna Workshop on Mathematical Definitions. Abstraction and Implicit Definitions”, can be found here.
The aim of the workshop is to explore different forms of definitions in the philosophy of mathematics, with a special focus on implicit, abstractionist, and axiomatic definitions.
Co-Organizers
- Ludovica Conti (University of Vienna)
- Georg Schiemer (University of Vienna)
- Andrea Sereni (IUSS Pavia)
Panel of Speakers
- Bahram Assadian
- Francesca Boccuni
- Paola Cantù
- Ludovica Conti
- Bruno Jacinto
- Sofia Abelha Meirelles
- Joan Bertran San-Millàn
- Georg Schiemer
- Andrea Sereni
- Crispin Wright
- Luca Zanetti
Projects Involved
- ERC Consolidator Grant, European Union fund: FORMALISM, 101044114, “The Formal Turn – The Emergence of Formalism in Twentieth-Century Thought” (University of Vienna, P.I. Georg Schiemer)
- PRIN National Project PUMa: “Proof and understanding in mathematics. Purity of methods, simplicity, and explanation in mathematical reasoning. Definitions, Explanations, and Proofs” (IUSS Pavia, P.I. Andrea Sereni)
- ESPRIT Program, Austrian Science Fund (FWF): DOI:10.55776/ESP120, “The logic of Abstraction” (P.I. Ludovica Conti)