The Proviso Problem: a note

Abstract

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.