This note presents challenge cases for prominent pragmatic responses to the proviso problem. I offer examples of uses of conditionals _if_ \(\psi,\,\phi_{P}\) that seem to commit the speaker unconditionally to the presupposition _P_ of the consequent clause _ϕ_, even though the sentence’s predicted semantic presupposition _ψ_⊃_P_ is antecedently satisfied (contrary to context-repair accounts), and independence between _ψ_ and _P_ isn’t antecedently assumed (contrary to independence-driven accounts). The examples provided avoid problems with other examples from the literature used against pragmatic accounts. (...) I leave the matter as an unresolved challenge for satisfaction theories of presupposition. (shrink)

Two recent and influential papers, van Rooij 2007 and Lassiter 2012, propose solutions to the proviso problem that make central use of related notions of independence—qualitative in the first case, probabilistic in the second. We argue here that, if these solutions are to work, they must incorporate an implicit assumption about presupposition accommodation, namely that accommodation does not interfere with existing qualitative or probabilistic independencies. We show, however, that this assumption is implausible, as updating beliefs with conditional information does not (...) in general preserve independencies. We conclude that the approach taken by van Rooij and Lassiter does not succeed in resolving the proviso problem. (shrink)

I propose a new theory of semantic presupposition, which I call dissatisfaction theory. I first briefly review a cluster of problems − known collectively as the proviso problem − for most extant theories of presupposition, arguing that the main pragmatic response to them faces a serious challenge. I avoid these problems by adopting two changes in perspective on presupposition. First, I propose a theory of projection according to which presuppositions project unless they are locally entailed. Second, I reject the standard (...) assumption that presuppositions are contents which must be entailed by the input context; instead, I propose that presuppositions are contents which are marked as backgrounded. I show that, together, these commitments allow us to avoid the proviso problem altogether, and generally make plausible predictions about presupposition projection out of connectives and attitude predicates. I close by sketching a two-dimensional implementation of my theory which allows us to make further welcome predictions about attitude predicates and quantifiers. (shrink)

The Proviso Problem is the discrepancy between the predictions of nearly every major theory of semantic presupposition about what is semantically presupposed by conditionals, disjunctions, and conjunctions, versus observations about what speakers of certain sentences are felt to be presupposing. I argue that the Proviso Problem is a more serious problem than has been widely recognized. After briefly describing the problem and two standard responses to it, I give a number of examples which, I argue, show that those responses are (...) inadequate. I conclude by briefly exploring alternate approaches to presupposition that avoid this problem. -/- . (shrink)

Maximize Presupposition! is an economy condition that adjudicates between contextually equivalent competing structures. Building on data discovered by O. Percus, I will argue that the constraint is checked in the local contexts of embedded constituents. I will argue that this architecture leads to a general solution to the problem of antipresupposition projection, and also allows I. Heim’s ‘Novelty/Familiarity Condition’ to be eliminated as a constraint on operations of context change.

Some theories assume that sentences like (i) with a presupposition trigger in the scope of a quantifier carry an existential presupposition, as in (ii); others assume that they carry a universal presupposition, as in (iii). No student knows that he is lucky. Existential presupposition: At least one student is lucky.Universal presupposition: Every student is lucky. This work is an experimental investigation of this issue in French. Native speakers were recruited to evaluate the robustness of the inference from (i) to (iii). (...) The main result is that presuppositions triggered from the scope of the quantifier aucun‘no’ are in fact universal. But the present results also suggest that the presuppositions triggered from the scope of other quantifiers depend on the quantifier. This calls for important changes in the main theories of presupposition projection. (shrink)

Several theories of presupposition projection predict that some sentences which intuitively yield unconditional presuppositions should have weaker, conditional ones. For instance, If John is realistic, he knows that he is incompetent is predicted to have the presupposition that if John is realistic, he is incompetent, whereas one certainly infers that John is in fact incompetent. We summarize some difficulties faced by three solutions, DRT, Singh’s ‘Formal Alternatives’, and Singh’s ‘Interacting Alternatives’; we then offer a new analysis which is compatible with (...) several semantic theories of projection, and which does not require the addition of a new representational module. In essence, we obtain unconditional inferences by assuming that speakers may ignore certain parts of a sentence when they accommodate a presupposition—presumably to simplify their computational work. They do so by adding to the context an assumption that would satisfy the presupposition of the sentence no matter which meaning some of its elements have. Depending on which elements are ignored in this way, a variety of strengthened presuppositions are obtained. We speculate on a possible mechanism (which follows some of Singh’s earlier ideas) to determine which of these strengthened inferences are in fact obtained. The analysis correctly predicts some new instances of the Proviso Problem in quantificational examples. (shrink)