Meaning and Equivalence of Formal Theories

Today - Tomorrow
Department of Philosophy, University of Vienna

Alte Kapelle / courtyard 1
Spitalgasse 2
Vienna 1090
Austria

Sponsor(s):

  • European Research Council

Speakers:

Universität Konstanz
Université de Lorraine
University College London
Cambridge University
University of Warwick
Princeton University
King's College London

Organisers:

University of Vienna
University of Vienna
University of Vienna

Topic areas

Talks at this conference

Add a talk

Details

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/

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

Yes

December 1, 2024, 9:00am CET

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.