Advances in Proof-Theoretic Semantics

Volume 43 of the series Trends in Logic pp 253-283

Open Access This content is freely available online to anyone, anywhere at any time.


Open Problems in Proof-Theoretic Semantics

  • Peter Schroeder-HeisterAffiliated withDepartment of Computer Science, University of Tübingen Email author 


I present three open problems the discussion and solution of which I consider relevant for the further development of proof-theoretic semantics: (1) The nature of hypotheses and the problem of the appropriate format of proofs, (2) the problem of a satisfactory notion of proof-theoretic harmony, and (3) the problem of extending methods of proof-theoretic semantics beyond logic.


Proof-theoretic semantics Hypothesis Natural deduction Sequent calculus Harmony Identity of proofs Definitional reflection