RETORÉ, Christian

Métadonnées

Licence d’utilisation du document

RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]

Langue

Communication dans un congrès

Ce document a été publié dans

Genius III, 2011-12-05, Paris. 2011-12-05

Résumé en anglais

This paper proposes to compute the meanings associated to sentences with generic NPs correspond- ing to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or pro- totypes in lexical semantics. The meanings are viewed as logical formulae that can be thereafter interpreted in your favorite models. We rather depart from the dominant Fregean single untyped universe and go for type theory with hints from Hilbert epsilon calculus and from medieval philosophy. Our type theoretic analysis bears some resemblance with on going work in lexical semantics. Our model also applies to classical examples involving a class (or a generic element of this class) which is pro- vided by the context. An outcome of this study is that, in the minimalism-contextualism debate, if one adopts a type theoretical view, terms encode the purely semantic meaning component while their typing is pragmatically determined.< Réduire

Mots clés en anglais

type theory

quantification

second order logic

Métadonnées

Partager cette publication !

Licence d’utilisation du document

Specimens: "most of" generic NPs in a contextually flexible type theory

Langue

Ce document a été publié dans

Résumé en anglais

Mots clés en anglais

URI

Origine

Unités de recherche