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
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 24,470
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
Craige Roberts (2003). Uniqueness in Definite Noun Phrases. Linguistics and Philosophy 26 (3):287-350.
Robert Stalnaker (1973). Presuppositions. Journal of Philosophical Logic 2 (4):447 - 457.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Larry M. Jorgensen (2011). Leibniz on Memory and Consciousness. British Journal for the History of Philosophy 19 (5):887-916.

Monthly downloads

Added to index


Total downloads

25 ( #191,006 of 1,925,564 )

Recent downloads (6 months)

7 ( #124,665 of 1,925,564 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.