----------------------- Vienna-IUSS Workshop: Axiomatic Definitions and Abstraction, a Century After Frege February 19 – 20, 2025 Department of Philosophy – University of Vienna, Lecture Room 2i (Room C0228) Universitätsstraße 7, 1010 Vienna Day 1 Wednesday | February 19, 2025 09:00 (s.t.) – 09:15 Opening 09:15 – 10:15 Crispin Wright (University of Stirling) “(How) does an inferentialist view of the meanings of the logical constants help to explain how we are justified in our basic logical beliefs and practices (and is there a corresponding story to be given about justification for Hume's Principle and other Abstractions)?” 10:15 – 10:30 Tea/Coffee 10:30 – 11:30 Bahram Assadian (University of Leeds) “An easy path to singular terms” 11:30 – 11:45 Tea/Coffee 11:45 – 12:45 Sofia Abelha Meirelles (University of Vienna) “The role of analyticity in alternative epistemologies of logic” 12:45 – 15:00 Lunch Break 15:00 – 16:00 Luca Zanetti (School of Advanced Studies IUSS Pavia) “Abstraction without exceptions” 16:00 – 16:15 Tea/Coffee 16:15 – 17:15 Bruno Jacinto (University of Lisbon) “What the upper logicist should say to Burali-Forti” 19:00 Conference Dinner Day 2 Thursday | February 20, 2025 9:00 – 10:00 Paola Cantù (Aix-Marseille Université) “Definitions by abstraction in the Peano School” 10:00 – 10:15 Tea/Coffee 10:15 – 11:15 Georg Schiemer (University of Vienna) “How to eliminate ideal elements?” 11:15 – 11:30 Tea/Coffee 11:30 – 12:30 Joan Bertran San-Millàn (University of Lisbon) “Definitions by abstraction and cardinality in the Peano school” 12:30 – 15:00 Lunch Break 15:00 – 16:00 Ludovica Conti (University of Vienna) “Abstract and Theoretical Terms” 16:00 – 16:15 Tea/Coffee 16:15 – 17:15 Francesca Boccuni (University Vita-Salute San Raffaele) and Andrea Sereni (School of Advanced Studies IUSS Pavia) “The conqueror’s arrogance: neo-logicism, the Caesar Problem and Frege’s Constraint” Organized by: 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”, University of Vienna P.I. Ludovica Conti No registration needed. For further information visit: https://formalism.phl.univie.ac.at/ or contact florian.kolowrat(a)univie.ac.at _______________________________________________ Hermes mailing list -- hermes(a)lists.philo.at To unsubscribe send an email to hermes-leave(a)lists.philo.at -- MSc. Mag. Raphael Aybar, BA Scientific Coordinator Vienna Doctoral School of Philosophy University of Vienna Universitätsstraße 7, B0301 1010 Wien +43-1-4277-46020 https://vd-philosophy.univie.ac.at/ vd.philosophy(a)univie.ac.at raphael.aybar(a)univie.ac.at