Skip to Main content Skip to Navigation
Journal articles

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most"

Abstract : This paper proposes a way to compute the meanings associated with sentences with generic noun phrases corresponding to the generalized quantifier most. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can thereafter be interpreted in your favourite models. To do so, we depart significantly from the dominant Fregean view with a single untyped universe. Indeed, our proposal adopts type theory with some hints from Hilbert ε-calculus (Hilbert, 1922; Avigad and Zach, 2008) and from medieval philosophy, see e.g. de Libera (1993, 1996). Our type theoretic analysis bears some resemblance with ongoing work in lexical semantics (Asher 2011; Bassac et al. 2010; Moot, Prévot and Retoré 2011). Our model also applies to classical examples involving a class, or a generic element of this class, which is not uttered but provided by the context. An outcome of this study is that, in the minimalism-contextualism debate, see Conrad (2011), if one adopts a type theoretical view, terms encode the purely semantic meaning component while their typing is pragmatically determined.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Christian Retoré Connect in order to contact the contributor
Submitted on : Wednesday, March 7, 2012 - 10:49:02 PM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Long-term archiving on: : Friday, June 8, 2012 - 2:35:10 AM


Files produced by the author(s)


  • HAL Id : hal-00677312, version 1
  • ARXIV : 1203.1743



Christian Retoré. Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most". Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2012, 41, pp.83-102. ⟨hal-00677312⟩



Record views


Files downloads