Afficher la notice abrégée

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorRETORÉ, Christian
dc.date.accessioned2024-04-15T09:46:43Z
dc.date.available2024-04-15T09:46:43Z
dc.date.issued2011-12-05
dc.date.conference2011-12-05
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198034
dc.description.abstractEnThis 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.isoen
dc.subject.entype theory
dc.subject.enquantification
dc.subject.ensecond order logic
dc.title.enSpecimens: "most of" generic NPs in a contextually flexible type theory
dc.typeCommunication dans un congrès
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.subject.halSciences de l'Homme et Société/Linguistique
dc.subject.halSciences de l'Homme et Société/Philosophie
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
dc.identifier.arxiv1111.1378
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleGenius III
bordeaux.countryFR
bordeaux.conference.cityParis
bordeaux.peerReviewedoui
hal.identifierinria-00637326
hal.version1
hal.invitednon
hal.proceedingsoui
hal.conference.end2011-12-06
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00637326v1
bordeaux.COinSctx_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

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée