13 Feb
2025
13 Feb
'25
9:57 a.m.
-----------------------
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