Linguistics and Philosophy 33 (6):447-477 (2010)

Authors
Nissim Francez
Technion, Israel Institute of Technology
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 Proof-theoretic semantics  Natural language  Harmony  Natural deduction
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10988-011-9088-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,232
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.

View all 29 references / Add more references

Citations of this work BETA

A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.

View all 22 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2011-06-06

Total views
158 ( #55,019 of 2,329,901 )

Recent downloads (6 months)
5 ( #151,384 of 2,329,901 )

How can I increase my downloads?

Downloads

My notes