inria-00637326, version 1
Specimens: "most of" generic NPs in a contextually flexible type theory
Genius III (2011)
Abstract: 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.
- 1:
- CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II
- 2:
- INRIA – CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Université Michel de Montaigne - Bordeaux III – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)
- Domain : Mathematics/Logic
Humanities and Social Sciences/Linguistics
Humanities and Social Sciences/Philosophy
Computer Science/Logic in Computer Science - Keywords : type theory – quantification – second order logic
- Available versions : v1 (2011-11-05) v2 (2011-11-06)
- inria-00637326, version 1
- http://hal.inria.fr/inria-00637326
- oai:hal.inria.fr:inria-00637326
- From:
- Submitted on: Friday, 4 November 2011 22:56:28
- Updated on: Saturday, 5 November 2011 14:47:50





Associated documents

Export