This manuscript is the first version of the entry" Proof-Theoretic Semantics" in the Stanford
Encyclopedia of Philosophy, which was submitted in 2011. For the version which finally …

Proof-theoretic semantics (P-tS) is an innovative approach to grounding logical meaning in
terms of proofs rather than traditional truth-conditional semantics. The point is not that one …

Logic is the study of reasoning. Typically, it proceeds in terms of inferring a conclusion from
established premises. The systematic use of symbolic and mathematical techniques to …

The development of logic has largely been through the'deductive'paradigm: conclusions are
inferred from established premisses. However, the use of logic in the context of both human …

In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity.
Validity of formulae is defined inductively from a base giving the validity of atoms using …

Sandqvist gave a proof-theoretic semantics (P-tS) for classical logic (CL) that explicates the
meaning of the connectives without assuming bivalance. Later, he gave a semantics for …

Abstract In 1973, Dag Prawitz conjectured that the calculus of intuitionistic logic is complete
with respect to his notion of validity of arguments. On the background of the recent disproof …

In proof-theoretic semantics, model-theoretic validity is replaced by prooftheoretic validity.
Validity of formulae is defined inductively from a base giving the validity of atoms using …

Several recent results bring into focus the superintuitionistic nature of most notions of proof-
theoretic validity, but little work has been done evaluating the consequences of these …

In proof-theoretic semantics, meaning is based on inference. It may seen as the
mathematical expression of the inferentialist interpretation of logic. Much recent work has …