Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases

Résumé

We have proposed a framework based upon the λ-calculus with higher-order intuitionistic types for the symbolic computation of the semantic analysis, integrating lexical data ([Bassac et al., 2010, Mery, 2011, Retoré, 2014]). We discuss the pertinence of using Russell's ι and Hilbert's ε and τ operators for the semantics of the definite and indefinite determiners, recapitulating the main points of [Retoré, 2014], extending the work of von Heusinger in [Egli and von Heusinger, 1995] with higher-order tyiping in a multi-sorted frameowrk. We then study the possible implications of using such operators on underspecified sets of individuals such as those used when computing the semantics of plurals or massive entities, as done in [Mery et al., 2015].
Fichier principal
Vignette du fichier
epsilon_montpellier.pdf (116.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01214439 , version 1 (12-10-2015)

Identifiants

  • HAL Id : hal-01214439 , version 1

Citer

Bruno Mery, Richard Moot, Christian Retoré. Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases. Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France. ⟨hal-01214439⟩
192 Consultations
93 Téléchargements

Partager

Gmail Facebook X LinkedIn More