Peter Schroeder-Heister

Professor Peter Schroeder-Heister is a prominent faculty member at the University of Tuebingen, working within the Faculty of Science, Department of Computer Science at the Wilhelm-Schickard-Institute. He maintains an active research program focused on foundational aspects of logic and reasoning, particularly through his development of proof-theoretic semantics.

Schroeder-Heister's research interests center on the proof-theoretic basis of inference, with special emphasis on systems of formal logic and general reasoning systems based on inference rules for atomic sentences. His work extends from proof theory toward interactive approaches like dialogical and game-theoretic semantics. He explores philosophical questions related to logic, the historical development of modern logic, and connections between cognitive science, meaning, and deduction. His research has significantly shaped contemporary understanding of logical consequence and the semantics of logical constants.

His recent publications reveal consistent focus on proof identity, the intensional aspects of proofs, and the relationship between structural rules and logical validity. A notable trend across his work is the examination of how proof-theoretic approaches can provide foundations for logical constants beyond traditional model-theoretic semantics. His research shows increasing engagement with historical perspectives on logic, particularly through his editorial work on Karl Popper's logical writings, while maintaining rigorous technical development of proof-theoretic concepts.

Schroeder-Heister has secured significant research funding through multiple collaborative projects, including the current DFG-funded project 'Being Logical: On Possible Ways to Expand our Understanding of Logicality' (2024-2027). Previous projects include 'Falsity and Refutations' (2018-2022), 'Beyond Logic - Hypothetical Reasoning' (2015-2019), and 'HYPOTHESES' (2012-2015), demonstrating sustained research productivity and international collaboration.

His academic contributions extend to organizing major conferences and editing significant volumes in the field, including the proceedings of the conference celebrating 50 years of Dag Prawitz's 'Natural Deduction' and the first collection devoted to proof-theoretic semantics.