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
Moritz Bodner (University of Vienna)
The Twofold Origin of Proof-Theory
Leonardo Ceragioli (University of Milano, LUCI Lab)
Proof-Theoretic Semantics and Anti-Exceptionalism
Michele Contente (Czech Academy of Sciences)
From the Decidability of the Proof-Relation to the Decidability of Type-Checking
Ludovica Conti (University of Vienna)
Anti-Realist Abstraction?
Matteo de Ceglie (IUSS Pavia), Simon Schmitt (University of Torino)
Hierarchies of Theories, Gödel’s Programme, and Set-Theoretic Pluralism
Marcel Ertel (University of Tübingen)
The Epistemological Status of Transfinite Induction in Reductive Proof Theory
Richard Lawrence (University of Vienna)
Ideal Forms, Real Applications, Missing Content. Hankel's Domain Extension Proof
Sebastian G. W. Speitel (University of Bonn)
Arithmetic between Realism and Anti-Realism