OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics

Retoré, Christian The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics. (2014) In: Proceedings of the 19th International Conference on Types for Proofs and Programs. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 202-229. ISBN 978-3-939897-72-9

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many-sorted higher order logic. Word meaning is described by several lambda terms of second order lambda calculus (Girard’s system F): the principal lambda term encodes the argument structure, while the other lambda terms implement meaning transfers. The base types include a type for propositions and many types for sorts of a many-sorted logic for expressing restriction of selection. This framework is able to integrate a proper treatment of lexical phenomena into a Montagovian compositional semantics, like the (im)possible arguments of a predicate, and the adaptation of a word meaning to some contexts. Among these adaptations of a word meaning to contexts, ontological inclusions are handled by coercive subtyping, an extension of system F introduced in the present paper. The benefits of this framework for lexical semantics and pragmatics are illustrated on meaning transfers and coercions, on possible and impossible copredication over different senses, on deverbal ambiguities, and on “fictive motion”. Next we show that the compositional treatment of determiners, quantifiers, plurals, and other semantic phenomena is richer in our framework. We then conclude with the linguistic, logical and computational perspectives opened by the Montagovian generative lexicon.

Item Type:Book Section
Additional Information:Thanks to Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik editor. The original PDF of the article can be found at http://drops.dagstuhl.de/opus/volltexte/2014/4633/
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Institut Polytechnique de Bordeaux - IPB (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Bordeaux (FRANCE)
Laboratory name:
Deposited On:04 May 2015 14:03

Repository Staff Only: item control page