[Vdp] CFR: Conference “Meaning and Equivalence of Formal Theories”, University of Vienna, December 5-6, 2024

Conference “Meaning and Equivalence of Formal Theories” Place: December 5-6, 2024, 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_”) Day 1 Thursday | December 5, 2024 09:00 (s.t.) – 09:15 Opening 09:15 – 10:15 Carolin Kuby-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 9: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” Registration: Participation is free and open to everyone. Please register by December 1st by email to: florian.kolowrat(a)univie.ac.at For further information visit: https://formalism.phl.univie.ac.at/ ------------------------- _______________________________________________ Hermes mailing list -- hermes(a)lists.philo.at To unsubscribe send an email to hermes-leave(a)lists.philo.at -- MSc. Mag. Raphael Aybar, BA Scientific Coordinator Vienna Doctoral School of Philosophy University of Vienna Universitätsstraße 7, B0301 1010 Wien +43-1-4277-46020 https://vd-philosophy.univie.ac.at/ vd.philosophy(a)univie.ac.at raphael.aybar(a)univie.ac.at