David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 148 (3):573 - 588 (2006)
The proof-theoretic analysis of logical semantics undermines the received view of proof theory as being concerned with symbols devoid of meaning, and of model theory as the sole branch of logical theory entitled to access the realm of semantics. The basic tenet of proof-theoretic semantics is that meaning is given by some rules of proofs, in terms of which all logical laws can be justified and the notion of logical consequence explained. In this paper an attempt will be made to unravel some aspects of the issue and to show that this justification as it stands is untenable, for it relies on a formalistic conception of meaning and fails to recognise the fundamental distinction between semantic definitions and rules of inference. It is also briefly suggested that the profound connection between meaning and proofs should be approached by first reconsidering our very notion of proof.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Enrico Moriconi (2012). Steps Towards a Proof-Theoretical Semantics. Topoi 31 (1):67-75.
Similar books and articles
Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3):381 - 401.
Jaroslav Peregrin (2010). Inferentializing Semantics. Journal of Philosophical Logic 39 (3):255 - 274.
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
William R. Stirton (2008). Some Problems for Proof-Theoretic Semantics. Philosophical Quarterly 58 (231):278–298.
Ruy J. G. B. De Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211 - 247.
Ruy J. G. B. de Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211-247.
Heinrich Wansing (2000). The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64 (1):3-20.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Added to index2009-01-28
Total downloads24 ( #73,562 of 1,102,998 )
Recent downloads (6 months)2 ( #183,252 of 1,102,998 )
How can I increase my downloads?