Proof-theoretic semantics for a natural language fragment
Linguistics and Philosophy 33 (6):447-477 (2010)
| Abstract | The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3).
Nissim Francez (forthcoming). Bilateralism in Proof-Theoretic Semantics. Journal of Philosophical Logic:1-21.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
William R. Stirton (2008). Some Problems for Proof-Theoretic Semantics. Philosophical Quarterly 58 (231):278–298.
Nissim Francez & Roy Dyckhoff (2012). A Note on Harmony. Journal of Philosophical Logic 41 (3):613-628.
Heinrich Wansing (2000). The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64 (1):3-20.
Paul Piwek (2007). Meaning and Dialogue Coherence: A Proof-Theoretic Investigation. Journal of Logic, Language and Information 16 (4).
N. Kurbis (2007). Pluralism and the Logical Basis of Metaphysics. In Logica Yearbook.
Patrizio Contu (2006). The Justification of the Logical Laws Revisited. Synthese 148 (3):573 - 588.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Ruy J. G. B. de Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2).
Ruy J. G. B. De Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211 - 247.
Analytics
Monthly downloads |
Added to index2011-06-06Total downloads27 ( #45,754 of 549,070 )Recent downloads (6 months)4 ( #19,186 of 549,070 )How can I increase my downloads? |
My notes
Discussion
