Dynamic generalised quantifiers and hypothetical contexts

We shall consider a formulation of generalised quantifiers 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 defined on a classical set theoretic basis. This means that the classical set-theoretic approach to generalised quantifiers can be imported into the type theoretic framework. The result is, I believe, equivalent to the proposal for dynamic generalised quantifiers in Chierchia (1995). The use of dependent types provides us with an elegant approach to the formulation of dynamic quantifiers. 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 underspecified with respect to quantifier scope, though we leave the investigation of this to future research.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Translate to english
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,220
External links

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.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered.Michael Glanzberg - 2007 - European Journal of Analytic Philosophy 3 (2):133-158.

Monthly downloads

Added to index


Total downloads

22 ( #226,264 of 2,164,580 )

Recent downloads (6 months)

1 ( #347,948 of 2,164,580 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums