Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Proof-theoretic semantics for a natural language fragment

Proof-theoretic semantics for a natural language fragment,10.1007/s10988-011-9088-3,Linguistics and Philosophy,Nissim Francez,Roy Dyckhoff

Edit
Proof-theoretic semantics for a natural language fragment   (Citations: 2)
BibTex | RIS | RefWorks Download
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.
Journal: Linguistics and Philosophy - LING PHIL , vol. 33, no. 6, pp. 447-477, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...There is no consensus among adherents of the PTS school as to the exact nature of harmony and, consequently, there is no unique, universally acceptable, definition of it. We consider here two approaches to harmony, which we found applicable to an extension of PTS to natural language [6, 7]. Both approaches can be viewed as an “implementation”, with a certain augmentation, of Prawitz’ inversion principle (a term coined by Lorenzen [12]), ...
    • ...A hypothetical, parameterized and conditional I-rule with which we will be concerned is that for restricted universal quantif ication, taken from 3 [6, 7], as...
    • ...Indeed, this is the rule employed in [6, 7], but here presented in 1st-order logic syntax...

    Nissim Francez, et al. A Note on Harmony

    • ...Among related work, we should mention that by Francez et al [13], where the proof-theoretic semantics (cf., [15]) of a fragment of natural language has been studied...

    Zhaohui Luo. Contextual Analysis of Word Meanings in Type-Theoretical Semantics

Sort by:

Citations (2)

Share this on