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/