, Volume 148, Issue 3, pp 525–571

Validity Concepts in Proof-theoretic Semantics


DOI: 10.1007/s11229-004-6296-1

Cite this article as:
Schroeder-Heister, P. Synthese (2006) 148: 525. doi:10.1007/s11229-004-6296-1


The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of proof-theoretic validity and offers certain improvements of the definitions given by Prawitz. Particular emphasis is placed on the relationship between semantic validity concepts and validity concepts used in normalization theory. It is argued that these two sorts of concepts must be kept strictly apart.

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.Wilhelm-Schickard-InstitutUniversität TübingenTübingenGermany