David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
We shall consider a formulation of generalised quantiﬁers using type theory with records (TTR). TTR follows closely the development of record types in Martin-L¨of or constructive type theory but differs in that the type theory is deﬁned on a classical set theoretic basis. This means that the classical set-theoretic approach to generalised quantiﬁers can be imported into the type theoretic framework. The result is, I believe, equivalent to the proposal for dynamic generalised quantiﬁers in Chierchia (1995). The use of dependent types provides us with an elegant approach to the formulation of dynamic quantiﬁers. We use a notion of hypothetical context which we have used elsewhere to give accounts of intentional identity, answers to questions and information state updates in dialogue management. We suggest that this points towards a general theory of hypothetical context in natural language. We suspect also that our analysis using records will support analyses of common noun phrase and verb-phrase anaphora and also facilitate representations which are underspeciﬁed with respect to quantiﬁer scope, though we leave the investigation of this to future research.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Chris Fox & Shalom Lappin (2004). An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Chris Fox & Shalom Lappin, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Jakub Szymanik (2007). A Note on Some Neuroimaging Study of Natural Language Quantifiers Comprehension. Neuropsychologia 45 (9):2158-2160.
Jakub Szymanik & Marcin Zajenkowski (2011). Contribution of Working Memory in the Parity and Proportional Judgments. Belgian Journal of Linguistics 25:189-206.
Yoad Winter (2003). Monotonicity and Collective Quantification. Journal of Logic, Language and Information 12 (2):127-151.
Michael Glanzberg (2007). Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered. European Journal of Analytic Philosophy 3 (2):133-158.
Added to index2010-12-22
Total downloads19 ( #194,089 of 1,796,303 )
Recent downloads (6 months)8 ( #97,741 of 1,796,303 )
How can I increase my downloads?