Conference: \;"Meaning and Equivalence of Formal Theories"
December 5-6\, 2024 University of Vienna
Program:
Day 1 \; \; \;Thursday| December 5\, 2024
09:15 &ndash\; 10:15 \; \; \;Carolin Antos \;(University of Konstanz) "Explanation and formalisation"
10:30 &ndash\; 11:30 \; \; \;Carlo Nicolai \;(King's College London) "Theoretical Equivalence in Formal Theories of Truth"
11:45 &ndash\; 12:45 \; \; \;Benjamin Zayton \;(University of Vienna) "Interpretations with Parameters\, Bi-interpretability\, and the &epsilon\;-Calculus"
15:00 &ndash\; 16:00 \; \; \;Andrew Arana \;(Université\; de Lorraine) "Meaning\, interpretation\, and purity"
16:15 &ndash\; 17:15 \; \; \;Marianna Antonutti Marfori \;(Université\; Paris 1 Panthé\;on-Sorbonne) -tba
17:30 &ndash\; 18:30 \; \; \;Benedict Easthaugh \;(University of Warwick) -tba
Day 2 \; \; \;Friday| December 6\, 2024
09:00 &ndash\; 10:00 \; \; \;Hans Halvorson \;(Princeton University) "Mathematics is just more language"
10:15 &ndash\; 11:15 \; \; \;Mirko \;Engler \;(University of Vienna) "Aspects of Theoretical Synonymy"
11:30 &ndash\; 12:30 \; \; \;Neil Dewar \;(Cambridge University) "Meaning and Equivalence: The Chicken and the Egg"
15:00 &ndash\; 16:00 \; \; \;Eduardo Giovannini \;(CONICET/Universidad Nacional del Litoral\, Santa Fe) &\; \;Georg Schiemer \;(University of Vienna) "Formal content and meaning in mathematics"
16:15 &ndash\; 17:15 \; \; \;Tim Button \;(University College London) "Level theory: sets-functions and duck-rabbits" \;
Place: Alte Kapelle\, Spitalgasse 2/ courtyard 1 (Hof 1)\, 1090 Vienna
Organized by: \;Mirko \;Engler\, Georg Schiemer\, and Benjamin Zayton (University of Vienna\, ERC Project: "The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought")
Participation is free and open to everyone. Please register by \;December 1st \;by email to: \;florian.kolowrat@univie.ac.at \;
For further information visit: \;https://formalism.phl.univie.ac.at/