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@univie.ac.at
For further information visit: https://formalism.phl.univie.ac.at/