Philosophical Quarterly 58 (231):278–298 (2008)
AbstractProof-theoretic semantics is an approach to logical semantics based on two ideas, of which the first is that the meaning of a logical connective can be explained by stipulating that some mode of inference, e.g., a natural deduction introduction or elimination rule, is permissible. The second idea is that the soundness of rules which are not stipulated outright may be deduced by some proof-theoretic argument from properties of the rules which are stipulated outright. I examine the first idea. My main conclusion is that the idea is more problematic, and requires more discussion, than has been generally realized. I mention five problems which will have to be overcome before the idea can be accepted as definitely viable.
Similar books and articles
Existence, Freedom, Identity, and the Logic of Abstractionist Realism.Peter Milne - 2007 - Mind 116 (461):23-53.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Meaning and Dialogue Coherence: A Proof-Theoretic Investigation.Paul Piwek - 2007 - Journal of Logic, Language and Information 16 (4):403-421.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
Validity Concepts in Proof-Theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.