Specimens: "most of" generic NPs in a contextually flexible type theory
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| dc.contributor.author | RETORÉ, Christian | |
| dc.date.accessioned | 2024-04-15T09:46:43Z | |
| dc.date.available | 2024-04-15T09:46:43Z | |
| dc.date.issued | 2011-12-05 | |
| dc.date.conference | 2011-12-05 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198034 | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | en | |
| dc.subject.en | type theory | |
| dc.subject.en | quantification | |
| dc.subject.en | second order logic | |
| dc.title.en | Specimens: "most of" generic NPs in a contextually flexible type theory | |
| dc.type | Communication dans un congrès | |
| dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
| dc.subject.hal | Sciences de l'Homme et Société/Linguistique | |
| dc.subject.hal | Sciences de l'Homme et Société/Philosophie | |
| dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
| dc.identifier.arxiv | 1111.1378 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | Genius III | |
| bordeaux.country | FR | |
| bordeaux.conference.city | Paris | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | inria-00637326 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.conference.end | 2011-12-06 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//inria-00637326v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2011-12-05&rft.au=RETOR%C3%89,%20Christian&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||