Home Philosophy Advances in Proof-Theoretic Semantics

## Completeness in Proof-Theoretic Semantics
## IntroductionIn proof-theoretic semantics (see Schroeder-Heister [34]; cf. Wansing [36]) for logical constants several related notions of validity have been proposed. We mention Kreisel (cf. Gabbay [6]), Prawitz [18–22], Dummett [3] and Sandqvist [26]. Overviews and discussions of such proof-theoretic notions of validity can be found in Schroeder-Heister [31] and Read [24]. What these notions of validity have in common is that the validity of an atomic formula, or atom, is defined in terms of the derivability of that atom in a given system of atomic rules, that is, of rules which can only contain atoms. Let
is an example of a system
and therefore valid with respect to The validity of complex formulas defined inductively by giving semantic clauses for the logical constants. The validity of implications F where in the definiens all extensions It was conjectured by Prawitz [19, 22] that intuitionistic first-order logic is complete with respect to certain notions of validity for inference rules. This conjecture is still undecided. There are, however, several negative as well as positive results about completeness for certain plausible variants of this notion of validity, formulated not for inference rules but for formulas. One kind of variants considers only certain fragments of first-order languages. Other variants are based on different kinds of atomic systems which allow for atomic rules of a more general form than production rules only. Further variants are given through different treatments of negation or absurdity, and by different notions of what an extension of an atomic system is. In the following, we present several of these variants together with their respective completeness or incompleteness results. |

< Prev | CONTENTS | Next > |
---|

Related topics |

Academic library - free online college e textbooks - info{at}ebrary.net - © 2014 - 2019