Presuppositions, probabilities and belief

The proviso problem concerns presuppositions of complex sentences that seem stronger than predicted by satisfaction-type thoeries of projection such as Heim's (1983). We propose a probabilistic account, similar to Lassiters's (2012) for coordinated and conditional sentences, for the case of embedded attitude reports. For example, in (1), the satisfaction theory predicts that only (1a) is presupposed, but (1b) is usually inferred as well. (1) John believes that it stopped raining a. John believes that it was raining. b. It was raining. Our account includes a standard semantics for belief, but employs a probabilistic information state parameter whose value is dynamically updated.