A Higher-Order Theory of Presupposition

Studia Logica 100 (4):727-751 (2012)
So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-012-9427-6
 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
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,173
Through your library
References found in this work BETA
From Discourse to Logic.Hans Kamp & Uwe Reyle - 1993 - Kluwer Academic Publishers.
Uniqueness in Definite Noun Phrases.Craige Roberts - 2003 - Linguistics and Philosophy 26 (3):287-350.
Presuppositions.Robert Stalnaker - 1973 - Journal of Philosophical Logic 2 (4):447 - 457.
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
The Same-Order Monitoring Theory of Consciousness.Uriah Kriegel - 2006 - In Uriah Kriegel & Kenneth Williford (eds.), Self-Representational Approaches to Consciousness. MIT Press. pp. 143--170.
Leibniz on Memory and Consciousness.Larry M. Jorgensen - 2011 - British Journal for the History of Philosophy 19 (5):887-916.

Monthly downloads

Added to index


Total downloads

32 ( #156,726 of 2,152,599 )

Recent downloads (6 months)

7 ( #105,084 of 2,152,599 )

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