7 May
2025
7 May
'25
12:19 p.m.
Workshop “From Permanence to Open-endedness”
Place: May 19-20, 2025, Department of Philosophy, Lecture Room 3A (Room D0312, 3rd floor)
Universitätsstraße 7, 1010 Vienna
Organized by: Richard Lawrence (FWF Project: "Frege Among the Formalists"),
Iulian D. Toader ( <>FWF Project: "The Principle of Permanence of Forms"),
and Georg Schiemer (ERC Consolidator Grant, FORMALISM, 101044114, “The Formal Turn - The
Emergence of Formalism in Twentieth-Century Thought”)
Day 1 Monday | May 19, 2025
Chair: Georg Schiemer (University of Vienna)
10:00 (s.t.) – 10:15 Opening
10:15 – 11:15 Gabriel Sandu (University of Helsinki) “Natural logic and the
completeness ideal”
11:15 – 11:30 Tea/Coffee
11:30 – 12:30 Jennifer Whyte (Duke University, IVC Fellow) “Formal and Practical in
William Kingdon Clifford”
12:30 – 14:30 Lunch
Chair: Richard Lawrence (University of Vienna)
14:30 – 15:30 Iulian Toader (University of Vienna) “Conservatism and the unprovability
of outer consistency”
15:30 – 15:45 Tea/Coffee
15:45 – 16:45 Brett Topey (University of Salzburg) “If the omega rule is a solution,
what was the problem?”
16:45 – 17:00 Tea/Coffee
Logik Café talk in room 3B, NIG
17:00 – 18:00 Constantin Brincus (University of Bucharest, IVC Fellow) “Categoricity by
Inferential Conservativity”
19:00 Conference Dinner
Day 2 Tuesday | May 20, 2025
Chair: Iulian D. Toader (University of Vienna)
9:30 – 10:30 Danielle Macbeth (Haverford College) “Thinking about Numbers: From Objects
to Inquiry”
10:30 – 10:45 Tea/Coffee
10:45 – 11:45 Georg Schiemer (University of Vienna) “How to eliminate ideal elements”
11:45 – 12:00 Tea/Coffee
12:00 – 13:00 Richard Lawrence (University of Vienna) “Domain extension: Hankel and the
power of formal
mathematics”
Registration: Participation is free and open to everyone. Please register by sending an
email to: florian.kolowrat(a)univie.ac.at <mailto:florian.kolowrat@univie.ac.at>
For further information visit: https://formalism.phl.univie.ac.at/