Linguistics and Philosophy

, Volume 33, Issue 6, pp 447–477

Proof-theoretic semantics for a natural language fragment

Research Article

DOI: 10.1007/s10988-011-9088-3

Cite this article as:
Francez, N. & Dyckhoff, R. Linguist and Philos (2010) 33: 447. doi:10.1007/s10988-011-9088-3

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 semanticsNatural languageHarmonyNatural deduction

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Computer Science Departmentthe Technion-IITHaifaIsrael
  2. 2.School of Computer ScienceUniversity of St AndrewsSt AndrewsScotland, UK