Der Workshop wird von Antonio Piccolomini d'Aragona organisiert.
Er findet am 28. und 29. April 2025 am Carl Friedrich von Weizsäcker-Zentrum der Universität Tübingen statt, im Rahmen des DFG-Projekts Revolutions and paradigms in logic. The case of proof-theoretic semantics.
Redner und Vorträge:
Carolin Antos (University of Konstanz)
The Model-Based Turn in Set Theory. A non-Kuhnian Revolution
David Corfield (University of Kent)
The Fivefold Way: Category Theory, Physics, Topology, Logic and Computation
Cesare Cozzo (Sapienza University of Rome)
An Epistemic Conception of Deductive Validity
Reinhard Kahle (University of Tübingen)
What is Semantics?
Ladislav Kvasz (Czech Academy of Sciences)
The Fregean Revolution in Logic - A Kuhnian Reconstruction
Sara Negri (University of Genova)
Invertibility of Logical Rules
Georg Schiemer (University of Vienna)
Early Metatheory in the Type-Theoretic Tradition
Göran Sundholm (University of Leiden)
An Honest but Hitherto Neglected Account of Platonism: the Case of Heinrich Scholz
Claudio Ternullo (University Babes-Bolyai of Cluj-Napoca, University of Catania)
The Continuum and the Absolute Infinite: An (Alternative) Tale of the Continuum Problem
Programm:
Montag, 28.
Chairs: Marcel Ertel, University of Tübingen (morning session) and Antje Rumberg, University of Tübingen (afternoon session)
9 am Opening
9.30 am Ladislav Kvasz (Czech Academy of Sciences)
The Fregean Revolution in Logic - A Kuhnian Reconstruction
10.20 am Coffee break
10.50 am Cesare Cozzo (Sapienza University of Rome)
An Epistemic Conception of Deductive Validity
11.40 am Leonardo Ceragioli (University of Milano, LUCI Lab)
Proof-Theoretic Semantics and Anti-Exceptionalism
12.10 pm Sebastian G. W. Speitel (University of Bonn)
Arithmetic between Realism and Anti-Realism
12.40 pm Lunch break
2.30 pm Göran Sundholm (University of Leiden)
An Honest but Hitherto Neglected Account of Platonism: the Case of Heinrich Scholz
3.20 pm Carolin Antos (University of Konstanz)
The Model-Based Turn in Set Theory. A non-Kuhnian Revolution
4.10 pm Coffee break
4.40 pm Claudio Ternullo (University Babes-Bolyai of Cluj-Napoca, University of Catania)
The Continuum and the Absolute Infinite: An (Alternative) Tale of the Continuum Problem
5.30 pm Matteo de Ceglie (IUSS Pavia), Simon Schmitt (University of Torino)
Hierarchies of Theories, Gödel’s Programme, and Set-Theoretic Pluralism
8 pm Social Dinner
Dienstag, 29. April
chairs: Richard Lawrence, University of Wien (morning session) and Eduardo Skapinakis, University of Tübingen (afternoon session)
9.30 am Reinhard Kahle (University of Tübingen)
What is Semantics?
10.20 am Coffee break
10.50 am Michele Contente (Czech Academy of Sciences)
From the Decidability of the Proof-Relation to the Decidability of Type-Checking
11.20 am Marcel Ertel (University of Tübingen)
The Epistemological Status of Transfinite Induction in Reductive Proof Theory
11.50 am Ludovica Conti (University of Vienna)
Anti-Realist Abstraction?
12.20 pm Lunch break
2.30 pm Sara Negri (University of Genova)
Invertibility of Logical Rules
3.20 pm David Corfield (University of Kent)
The Fivefold Way: Category Theory, Physics, Topology, Logic and Computation
4.10 pm Coffee break
4.40 pm Georg Schiemer (University of Vienna)
Early Metatheory in the Type-Theoretic Tradition
5.30 pm Richard Lawrence (University of Vienna)
Ideal Forms, Real Applications, Missing Content. Hankel's Domain Extension Proof
6 pm Moritz Bodner (University of Vienna)
The Twofold Origin of Proof-Theory
Weitere Informationen finden Sie auf der offiziellen Webseite des Workshops: Mehr erfahren
