OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases

Retoré, Christian Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. (2014) In: Conference on Formal Grammar - FG 2014, 16 August 2014 - 17 August 2014 (Tübingen, Germany).

(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-662-44121-3_2


The semantics of determiner phrases, be they definite descriptions, indefinite descriptions or quantified noun phrases, is often assumed to be a fully solved question: common nouns are properties, and determiners are generalised quantifiers that apply to two predicates: the property corresponding to the common noun and the one corresponding to the verb phrase. We first present a criticism of this standard view. Firstly, the semantics of determiners does not follow the syntactical structure of the sentence. Secondly the standard interpretation of the indefinite article cannot account for nominal sentences. Thirdly, the standard view misses the linguistic asymmetry between the two properties of a generalised quantifier. In the sequel, we propose a treatment of determiners and quantifiers as Hilbert terms in a richly typed system that we initially developed for lexical semantics, using a many sorted logic for semantical representations. We present this semantical framework called the Montagovian generative lexicon and show how these terms better match the syntactical structure and avoid the aforementioned problems of the standard approach. Hilbert terms are rather different from choice functions in that there is one polymorphic operator and not one operator per formula. They also open an intriguing connection between the logic for meaning assembly, the typed lambda calculus handling compositionality and the many-sorted logic for semantical representations. Furthermore epsilon terms naturally introduce type-judgements and confirm the claim that type judgments are a form of presupposition.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01145860
Audience (conference):International conference proceedings
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:27 Apr 2015 09:43

Repository Staff Only: item control page