Presuppositions, provisos, and probability
Paper · 2012 · Daniel Lassiter
Summary
The paper addresses the proviso problem identified by Geurts (1996). Satisfaction theories in the Heim tradition predict that when a conditional's consequent carries a presupposition, it projects only weakly, as "if p then q". Yet speakers often infer plain q, as with Theo's manager, and only sometimes the conditional, as with John's wetsuit. Lassiter keeps the dynamic, satisfaction-based architecture, building on Klinedinst & Rothschild (2012) and Yalcin (2007). He changes one thing: information states are probability distributions rather than sets of worlds. A presupposition then becomes a requirement that some content be highly probable in the participants' epistemic state. For conditionals, this yields constraints on conditional probabilities. The theory picks the best English rendering of those constraints from what listeners know about dependencies between antecedent and presupposition. As a result, unconditional readings follow without any extra strengthening mechanism. The account also handles semi-conditional presuppositions and gives a graded measure of how hard accommodation is. This matters because it removes a central objection to satisfaction theories using machinery motivated independently by work on modality and cognition.
Key points
- Core contrast: for a conditional "if p, …q…", the plain-q paraphrase wins when q is probabilistically independent of p. The conditional paraphrase wins when pr(q|p) exceeds pr(q).
- New data: unconditional inferences also appear when pr(q|p) is lower than pr(q). This undercuts strengthening accounts based on irrelevance or independence alone, such as Schlenker (2011) and Singh (2007).
- The account explains semi-conditional presuppositions. In the "diver and wants to impress his girlfriend" case, only the diver part conditions the wetsuit inference.
- It also explains why "Sam knows that if p then q" presupposes the conditional itself and does not get strengthened.
- Accommodation difficulty is modelled as surprisal, I(φ) = −log₂ pr(φ). This cost is zero for certain content, infinite for impossible content, and rises as probability falls. Local accommodation (e.g. "I don't have a pet ferret") is left open as an unsolved challenge.
Interesting ideas
- I1. Rather than adding a special rule that turns a weak conditional inference into a stronger one, the paper lets the stronger reading fall out of the probabilistic structure, which avoids stipulated patches.
- I2. Whether an inference is stated conditionally or unconditionally depends on how the antecedent shifts the probability of the presupposed content: raised, unchanged or lowered.
- I3. Surprisal gives a single graded, explainable cost for accepting unstated background material, in place of a yes/no felicity check.
- I4. The paper argues by contrast pairs: minimally different sentences whose inferences diverge, as in the wetsuit, manager and "Sam knows" cases.
For Mova
How these ideas could serve Mova, our small open language model — its files, stages and tests:
- I1 (frames): In crate prag, presupposition projection could be computed once, with the global-versus-conditional choice made by consulting dependency knowledge, instead of keeping a list of strengthening exceptions.
- I2 (world): The world model could store coarse dependency labels between states (e.g. "being a diver raises owning a wetsuit") so that the system can explain why a presupposed entity, such as Theo's manager, is added globally.
- I3 (answer): When a QA reader must accommodate a presupposition from a fable question, it could log the −log₂ probability as a confidence cost and flag answers that depend on highly surprising accommodations.
- I4 (learn): These minimal pairs could become a negative-control test suite, checking that the presupposition module projects globally in one case and conditionally in its twin.
Institutions
📚 Shelves 5The field of science this work belongs to (OpenAlex fields).Computer Science · 9,086 worksArtificial Intelligence · 8,889 worksArts and Humanities · 9,296 worksLanguage and Linguistics · 9,206 worksPhilosophy · 211 works
🧭 Topics 1Research subjects and languages the work is about.Implicature · 72 works
Cite
Cite as Daniel Lassiter. 2012. Presuppositions, provisos, and probability. Semantics and Pragmatics.
@article{lassiter2012presuppositions,
title = {{Presuppositions, provisos, and probability}},
author = {Daniel Lassiter},
journal = {Semantics and Pragmatics},
year = {2012},
doi = {10.3765/sp.5.2},
url = {https://doi.org/10.3765/sp.5.2}
}References
- Beaver, David. 1999. Presupposition accommodation: A plea for common sense. In Lawrence S. Moss, Jonathan Ginzburg & Maarten de Rijke (eds.), Presuppositions, provisos, and probability Logic, language and computation, vol. 2, 21–44. CSLI. https://webspace.utexas.edu/dib97/itallc.pdf. ↗
- Beaver, David. 2001. Presupposition and assertion in dynamic semantics. CSLI. find
- Beaver, David & Henk Zeevat. 2007. Accommodation. In Gillian Ramchand & Charles Reiss (eds.), Oxford handbook of linguistic interfaces. Oxford University Press. find
- Chater, Nick, Joshua B. Tenenbaum & Alan Yuille. 2006. Probabilistic models of cognition: Conceptual foundations. Trends in Cognitive Sciences 10(7). 287–291. http://dx.doi.org/10.1016/j.tics.2006.05.007. ↗
- Clark, Herbert H. & Catherine R. Marshall. 1981. Definite reference and mutual knowledge. In Aravind K. Joshi, Bonnie L. Webber & Ivan A. Sag (eds.), Elements of discourse understanding, 10–63. Cambridge University Press. find
- Cover, Thomas M. & Joy A. Thomas. 1991. Elements of information theory. Wiley. find
- Cresswell, M.J. 2002. Static semantics for dynamic discourse. Linguistics and Philosophy 25(5). 545–571. http://dx.doi.org/10.1023/A:1020834910542. ↗
- Dekker, Paul J. E. 2010. There is something about might. In Maria Aloni, Harald Bastiaanse, Titiku de Jager & Katrin Schulz (eds.), Logic, language and meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, revised selected papers, 244–253. Springer. http://dx.doi.org/10.1007/978-3-642-14287-1_25. ↗
- Edgington, Dorothy. 1986. Do conditionals have truth conditions? Crítica: Revista Hispanoamericana de Filosofía 18(52). 3–39. http://www.jstor.org/ pss/40104380. ↗
- Edgington, Dorothy. 1995. On conditionals. Mind 104(414). 235. http://dx.doi.org/10.1093/mind/104.414.235. ↗
- Egré, Paul & Mikaël Cozic. 2011. If-clauses and probability operators. Topoi. 1–13. http://dx.doi.org/10.1007/s11245-010-9087-y. van Fraassen, Bas C. 1980. Review of Brian Ellis, Rational Belief Systems. Canadian Journal of Philosophy 10(3). 497–511. ↗
- Gazdar, Gerald. 1979. Pragmatics: Implicature, presupposition, and logical form. Academic Press. find
- Geis, Michael L. & Arnold M. Zwicky. 1971. On invited inferences. Linguistic Inquiry 2(4). 561–566. http://www.jstor.org/stable/4177664. ↗
- Geurts, Bart. 1996. Local satisfaction guaranteed: A presupposition theory and its problems. Linguistics and Philosophy 19(3). 259–294. http://dx.doi.org/10.1007/BF00628201. ↗
- Daniel Lassiter Geurts, Bart. 1998. Presuppositions and anaphors in attitude contexts. Linguistics and Philosophy 21(6). 545–601. http://dx.doi.org/10.1023/A: 1005481821597. ↗
- Geurts, Bart. 1999. Presuppositions and pronouns. Elsevier. find
- Gigerenzer, Gerd. 1991. How to make cognitive illusions disappear: Beyond “heuristics and biases”. European Review of Social Psychology 2(1). 83–115. http://dx.doi.org/10.1080/14792779143000033. ↗
- Grice, H. Paul. 1989. Studies in the ways of words. Harvard University Press. find
- Griffiths, Thomas L., Charles Kemp & Joshua B. Tenenbaum. 2008. Bayesian models of cognition. In R. Sun (ed.), Cambridge handbook of computational psychology, 59–100. Cambridge University Press. find
- Hájek, Alan & Ned Hall. 1994. The hypothesis of the conditional construal of conditional probability. In Ellery Eels & Brian Skyrms (eds.), Probability and conditionals: Belief revision and rational decision, 75–112. Cambridge University Press. find
- Heim, Irene. 1983. On the projection problem for presuppositions. Proceedings of the Second West Coast Conference on Formal Linguistics. 114–125. find
- Heim, Irene. 1992. Presupposition projection and the semantics of attitude verbs. Journal of Semantics 9(3). 183–221. http://dx.doi.org/10.1093/jos/ 9.3.183. ↗
- Hilton, Denis J. 1995. The social context of reasoning: Conversational inference and rational judgment. Psychological Bulletin 118(2). 248–271. http://dx.doi.org/10.1037/0033-2909.118.2.248. ↗
- Horn, Laurence R. 1972. On the semantic properties of logical operators in English. UCLA PhD thesis. find
- Horn, Laurence R. 2000. From if to iff: Conditional perfection as pragmatic strengthening. Journal of Pragmatics 32(3). 289–326. http://dx.doi.org/10. 1016/S0378-2166(99)00053-3. ↗
- Kahneman, Daniel, Paul Slovic & Amos Tversky. 1982. Judgment under uncertainty: Heuristics and biases. Cambridge University Press. ↗
- Karttunen, Lauri. 1974. Presupposition and linguistic context. Theoretical Linguistics 1(1-3). 181–194. ↗
- Kaufmann, Stefan. 2001. Probabilities of conditionals. Semantics and Linguistic Theory (SALT) 11. 248–267. http://www.elanguage.net/journals/index. php/salt/article/view/11.248/1711. ↗
- Kaufmann, Stefan. 2005. Conditional predictions: A probabilistic account. Linguistics and Philosophy 28(2). 181–231. http://dx.doi.org/10.1007/ s10988-005-3731-9. Presuppositions, provisos, and probability Kaufmann, Stefan. 2009. Conditionals right and left: Probabilities for the whole family. Journal of Philosophical Logic 38(1). 1–53. http://dx.doi.org/ 10.1007/s10992-008-9088-0. ↗
- Klinedinst, Nathan & Daniel Rothschild. 2012. Connectives without truth-tables. Natural Language Semantics. http://dx.doi.org/10.1007/s11050-011-9079-5. ↗
- Koller, Daphne & Nir Friedman. 2009. Probabilistic graphical models: Principles and techniques. The MIT Press. find
- Kratzer, Angelika. 1986. Conditionals. Chicago Linguistics Society 22(2). 1–15. find
- Lassiter, Daniel. 2010. Gradable epistemic modals, probability, and scale structure. Semantics and Linguistic Theory (SALT) 20. 197–215. http://elanguage.net/journals/index.php/salt/article/view/20.197. ↗
- Lassiter, Daniel. 2011. Measurement and modality: The scalar basis of modal semantics. New York University PhD thesis. http://www.stanford.edu/ ~danlass/Lassiter-diss-Measurement-Modality.pdf. ↗
- Lewis, David. 1976. Probabilities of conditionals and conditional probabilities. Philosophical Review 85(3). 297–315. http://dx.doi.org/10.2307/2184045. ↗
- Lewis, David. 1979. Scorekeeping in a language game. Journal of Philosophical Logic 8(1). 339–359. http://dx.doi.org/10.1007/BF00258436. ↗
- MacKay, David J.C. 2003. Information theory, inference, and learning algorithms. Cambridge University Press. ↗
- Milch, Brian, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong & Andrey Kolobov. 2007. BLOG: Probabilistic models with unknown objects. In Lise Getoor & Ben Taskar (eds.), Introduction to statistical relational learning, 373–398. The MIT Press. ↗
- Pearl, Judea. 1988. Probabilistic reasoning in intelligent systems: Networks of plausible inference. Morgan Kaufmann. find
- Pearl, Judea. 2000. Causality: Models, reasoning and inference. Cambridge University Press. find
- Roberts, Craige. 1996. Information structure in discourse: Towards an integrated formal theory of pragmatics. Working Papers in Linguistics-Ohio State University Department of Linguistics. 91–136. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.129.8440&rep=rep1&type=pdf. ↗
- Romoli, Jacopo. 2011. The presuppositions of soft triggers aren’t presuppositions. Semantics and Linguistic Theory (SALT) 21. 236–256. http://elanguage.net/journals/salt/article/view/21.236. ↗
- Daniel Lassiter van Rooij, Robert. 2003. Questioning to resolve decision problems. Linguistics and Philosophy 26(6). 727–763. http://dx . doi . org / 10 . 1023 / B : LING . 0000004548.98658.8f. van Rooij, Robert. 2004. Utility, informativity and protocols. Journal of Philosophical Logic 33(4). 389–419. http://dx . doi . org / 10 . 1023 / B : LOGI . 0000036830.62877.ee. van Rooij, Robert. 2007. Strengthening conditional presuppositions. Journal of Semantics 24(3). 289–304. http://dx.doi.org/10.1093/jos/ffm007. ↗
- Rothschild, Daniel. 2010. Do indicative conditionals express propositions? Noûs. http://dx.doi.org/10.1111/j.1468-0068.2010.00825.x. ↗
- Rothschild, Daniel. 2011. Explaining presupposition projection with dynamic semantics. Semantics and Pragmatics 4(3). 1–43. http://dx.doi.org/10. 3765/sp.4.3. ↗
- Roussarie, Laurent. 2009. What might be known: Epistemic modality and uncertain contexts. Semantics and Linguistic Theory (SALT) 19. 379–394. http://www.elanguage.net/journals/index.php/salt/article/view/19.22. ↗
- Russell, Stuart & Peter Norvig. 2010. Artificial intelligence: A modern approach. Prentice Hall. van der Sandt, Rob A. 1992. Presupposition projection as anaphora resolution. Journal of Semantics 9(4). 333–377. http://dx.doi.org/10.1093/jos/9.4.333. ↗
- Schlenker, Philippe. 2009. Local contexts. Semantics and Pragmatics 2(3). 1–78. http://dx.doi.org/10.3765/sp.2.3. ↗
- Schlenker, Philippe. 2011. The proviso problem: A note. Natural Language Semantics. 19(4). 395–422. http://dx.doi.org/10.1007/s11050-011-9072-z. ↗
- Schulz, Katrin. 2007. Minimal models in semantics and pragmatics: Free choice, exhaustivity, and conditionals. Institute for Logic, Language & Computation, University of Amsterdam PhD thesis. http://dare.uva.nl/ document/53840. ↗
- Schulz, Katrin. 2011. ‘‘If you’d wiggled A, then B would’ve changed”: Causality and counterfactual conditionals. Synthese 179(2). 239–251. http://dx.doi.org/10.1007/s11229-010-9780-9. ↗
- Simons, Mandy. 2001. On the conversational basis of some presuppositions. Semantics and Linguistic Theory (SALT) 11. 431–448. http://www.hss.cmu.edu/philosophy/simons/simons.SALT2001.pdf. ↗
- Singh, Raj. 2007. Formal alternatives as a solution to the proviso problem. Semantics and Linguistic Theory (SALT) 17. http://elanguage.net/journals/ index.php/salt/article/view/17.264/1854. Presuppositions, provisos, and probability Stalnaker, Robert. 1973. Presuppositions. Journal of Philosophical Logic 2(4). 447–457. http://dx.doi.org/10.1007/BF00262951. ↗
- Stalnaker, Robert. 1974. Pragmatic presuppositions. In Milton K. Munitz & Peter Unger (eds.), Semantics and philosophy, 197–213. New York: New York University Press. find
- Stalnaker, Robert. 1978. Assertion. In Peter Cole (ed.), Syntax and semantics 9: Pragmatics. Academic Press. find
- Stalnaker, Robert & Richard Jeffrey. 1994. Conditionals as random variables. In Ellery Eels & Brian Skyrms (eds.), Probability and conditionals: Belief revision and rational decision, 31–46. Cambridge University Press. find
- Swanson, Eric. 2006. Interactions with context. MIT PhD thesis. http://dx.doi.org/1721.1/37356. ↗
- Tenenbaum, Joshua B. & Thomas L. Griffiths. 2001. The rational basis of representativeness. Proceedings of the 23rd Annual Conference of the Cognitive Science Society. 1036–1041. http://citeseerx.ist.psu.edu/viewdoc/ download?doi=10.1.1.27.5273&rep=rep1&type=pdf. ↗
- Veltman, F. 1996. Defaults in update semantics. Journal of Philosophical Logic 25(3). 221–261. http://dx.doi.org/10.1007/BF00248150. ↗
- Weirich, Paul. 1983. Conditional probabilities and probabilities given knowledge of a condition. Philosophy of Science. 82–95. http://dx.doi.org/10. 1086/289091. ↗
- Yalcin, Seth. 2005. Epistemic modals. MIT Working Papers in Linguistics 51. find
- Yalcin, Seth. 2007. Epistemic modals. Mind 116(464). 983–1026. http://dx.doi.org/10.1093/mind/fzm983. ↗
- Yalcin, Seth. 2010. Probability operators. Philosophy Compass 5(11). 916–937. http://dx.doi.org/10.1111/j.1747-9991.2010.00360.x. ↗
- Yalcin, Seth. 2011. Nonfactualism about epistemic modality. In Andy Egan & Brian Weatherson (eds.), Epistemic modality. Oxford University Press. Daniel Lassiter Computation & Cognition Lab Department of Psychology Stanford University 420 Jordan Hall, 450 Serra Mall Stanford, CA 94305, USA danlassiter@stanford.edu ↗
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/papers/lassiter-2012-presuppositions-provisos-probability/