Meaning and Equivalence of Formal Theories

Conference: "Meaning and Equivalence of Formal Theories"
December 5-6, 2024 University of Vienna
Program:

Day 1    Thursday| December 5, 2024
09:15 – 10:15    Carolin Antos (University of Konstanz) "Explanation and formalisation"
10:30 – 11:30    Carlo Nicolai (King's College London) "Theoretical Equivalence in Formal Theories of Truth"
11:45 – 12:45    Benjamin Zayton (University of Vienna) "Interpretations with Parameters, Bi-interpretability, and the ε-Calculus"
15:00 – 16:00    Andrew Arana (Université de Lorraine) "Meaning, interpretation, and purity"
16:15 – 17:15    Marianna Antonutti Marfori (Université Paris 1 Panthéon-Sorbonne) -tba
17:30 – 18:30    Benedict Easthaugh (University of Warwick) -tba


Day 2    Friday| December 6, 2024
09:00 – 10:00    Hans Halvorson (Princeton University) "Mathematics is just more language"
10:15 – 11:15    Mirko Engler (University of Vienna) "Aspects of Theoretical Synonymy"
11:30 – 12:30    Neil Dewar (Cambridge University) "Meaning and Equivalence: The Chicken and the Egg"
15:00 – 16:00    Eduardo Giovannini (CONICET/Universidad Nacional del Litoral, Santa Fe) & Georg Schiemer (University of Vienna) "Formal content and meaning in mathematics"
16:15 – 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: [email protected] 

For further information visit: https://formalism.phl.univie.ac.at/