Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

The Generative Lexicon presents a novel and exciting theory of lexical semantics that addresses the problem of the "multiplicity of word meaning" - that is, how ...

This paper is part of a broader project whose aim is to present a coherent unified approach to natural language dialogue semantics using tools from type theory. Here we explore aspects of our approach which relate to situation theory and situation semantics. We first point out a relationship between type theory and the Austinian notion of truth. We then consider how records in type theory might be used to represent situations and how dependent record types can be used to model (...) constraints on situations. We then sketch treatments of attitude phenomena for which Barwise and Perry proposed situation semantic analyses (perception complements, belief, the Pierre puzzle) as well as two other intensional phenomena (intensional verbs and intentional identity). Finally we give a characterisation of the type theory used and a small illustrative fragment of English. (shrink)

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. (shrink)

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

I will explore possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-L¨of type theory (Betarte, 1998, Betarte and Tasistro, 1998, Coquand, Pollock and Takeyama, 2003, Tasistro, 1997). I will suggest that they give us the tools to develop a theory which includes aspects of Montague semantics, using the lambda calculus1, Discourse Representation Theory (DRT)2, situation semantics3 and Head-Driven Phrase Structure Grammar (HPSG)4 in a single theory. I will also (...) argue that formulating these theories in terms of record types may provide us not only with a unified approach but also with certain improvements over the individual theories. (shrink)