Skip to main content
Log in

The counterfactual direct argument

  • Original Research
  • Published:
Linguistics and Philosophy Aims and scope Submit manuscript

Abstract

Many have accepted that ordinary counterfactuals and might counterfactuals are duals. In this paper, I show that this thesis leads to paradoxical results when combined with a few different unorthodox yet increasingly popular theses, including the thesis that counterfactuals are strict conditionals. Given Duality and several other theses, we can quickly infer the validity of another paradoxical principle, ‘The Counterfactual Direct Argument’, which says that ‘A> (B or C)’ entails ‘A> (not B> C)’. First, I provide a collapse theorem for the ‘counterfactual direct argument’ (CDA). The counterfactual direct argument entails the logical equivalence of the subjunctive and material conditional, given a variety of assumptions. Second, I provide a semantics that validates the counterfactual direct argument without collapse. This theory further develops extant dynamic accounts of conditionals. I give a new semantics for disjunction, on which A or B is only true in a context when A and B are both unsettled. The resulting framework validates CDA while invalidating other commonly accepted principles concerning the conditional and disjunction.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Abbott, B. (2004). Some remarks on indicative conditionals. In B. Robert & Young (Eds.), Proceedings of SALT (Vol. 14, pp. 579–606). Ithaca, NY: CLC Publications.

    Google Scholar 

  • Adams, E. W. (1970). Subjunctive and indicative conditionals. Foundations of Language, 6, 89–94.

    Google Scholar 

  • Aher, M. (2012). Free choice in deontic inquisitive semantics (DIS). In M. Aloni, V. Kimmelman, F. Roelofsen, G. Sassoon, K. Schulz, & M. Westera (Eds.), Logic, language and meaning (pp. 22–31). Berlin: Springer.

    Google Scholar 

  • Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510–530.

    Google Scholar 

  • Aloni, M. (2007). Free choice, modals, and imperatives. Natural Language Semantics, 15(1), 65–94.

    Google Scholar 

  • Alonso-Ovalle, L. (2006). Disjunction in alternative semantics. PhD thesis, University of Massachusetts Amherst.

  • Asher, N., & Bonevac, D. (2005). Free choice permission is strong permission. Synthese, 145, 303–323.

    Google Scholar 

  • Barker, C. (2010). Free choice permission as resource-sensitive reasoning. Semantics and Pragmatics, 3(10), 1–38.

    Google Scholar 

  • Beaver, D. (2001). Presupposition and assertion in dynamic semantics. Stanford, CA: CSLI Publications.

    Google Scholar 

  • Bennett, J. (1974). Counterfactuals and possible worlds. Canadian Journal of Philosophy, 4, 381–402.

    Google Scholar 

  • Bennett, J. (2003). A philosophical guide to conditionals. Oxford: Clarendon Press.

    Google Scholar 

  • Block, E. (2008). Indicative conditionals in context. Mind, 117(468), 783–794.

    Google Scholar 

  • Boylan, D., & Schultheis, G. (2017). Strengthening principles and counterfactual semantics. In T. van Gessel, F. Roelofsen, & A. Cremers (Eds.), Proceedings of the 21st Amsterdam Colloquium (pp. 115–164).

  • Briggs, R. (2012). Interventionist counterfactuals. Philosophical Studies, 160(1), 139–166.

    Google Scholar 

  • Charlow, N. (2015). Prospects for an expressivist theory of meaning. Philosophers’ Imprint, 15, 1–43.

    Google Scholar 

  • Chemla, E., & Bott, L. (2014). Processing inferences at the semantics/pragmatics frontier: Disjunction and Free Choice. Cognition, 130(3), 380–396.

    Google Scholar 

  • Chierchia, G., Fox, D., & Spector, B. (2009). Hurford’s constraint and the theory of scalar implicatures: Evidence for embedded implicatures. In P. Egré & G. Magri (Eds.), Presuppositions and implicatures (pp. 47–62). Cambridge, MA: MIT Press.

  • Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2009). Attention! Might in inquisitive semantics. Proceedings of SALT, 29, 91–108.

    Google Scholar 

  • Clark, M. (1971). Ifs and hooks. Analysis, 32(2), 33–39.

    Google Scholar 

  • DeRose, K. (1994). Lewis on ‘might’ and ‘would’ counterfactual conditionals. Canadian Journal of Philosophy, 24(3), 413–418.

    Google Scholar 

  • DeRose, K. (1999). Can it be that it would have been even though it might not have been? Philosophical Perspectives, 13, 387–413.

    Google Scholar 

  • Douven, I. (2011). Indicative conditionals. In L. Horsten, R. Pettigrew (Eds.), A companion to philosophical logic (pp. 383–405). Oxford: Continuum Press.

  • Eagle, A. (2007). ‘Might’ counterfactuals. Manuscript, University of Oxford.

  • Edgington, D. (1995). On conditionals. Mind, 104(414), 235–329.

    Google Scholar 

  • Fine, K. (1975). Critical notice of Counterfactuals. Mind, 84(335), 451–458.

    Google Scholar 

  • Fitelson, B. (2013). Gibbard’s collapse theorem for the indicative conditional: An axiomatic approach. New York: Springer.

    Google Scholar 

  • Fox, D. (2007). Free choice and the theory of scalar implicatures. In U. Sauerland & P. Stateva (Eds.), Presupposition and implicature in compositional semantics (pp. 71–120). Basingstoke: Palgrave Macmillan.

    Google Scholar 

  • Franke, M. (2011). Quantity implicatures, exhaustive interpretation, and rational conversation. Semantics and Pragmatics, 4(1), 1–82.

    Google Scholar 

  • Fusco, M. (2015). Deontic modals and the semantics of choice. Philosophers’ Imprint, 15(28), 1–27.

    Google Scholar 

  • Gardenförs, P. (1988). Knowledge in flux. Cambridge, MA: MIT Press.

    Google Scholar 

  • Gazdar, G. (1979). Pragmatics: Implicature, presupposition and logical form. New York: Academic Press.

    Google Scholar 

  • Geurts, B. (2005). Entertaining alternatives: Disjunctions as modals. Natural Language Semantics, 13, 383–410.

    Google Scholar 

  • Gibbard, A. (1981). Two recent theories of conditionals. In W. L. Harper, R. Stalnaker, & G. Pearce (Eds.), IFS: Conditionals, belief, decision, chance and time (pp. 211–247). Dordrecht: Springer.

    Google Scholar 

  • Gillies, A. S. (2004). Epistemic conditionals and conditional epistemics. Noûs, 38(4), 585–616.

    Google Scholar 

  • Gillies, A. S. (2007). Counterfactual scorekeeping. Linguistics and Philosophy, 30, 329–360.

    Google Scholar 

  • Gillies, A. S. (2009). On truth-conditions for if (but not quite only if). Philosophical Review, 118(3), 325–349.

    Google Scholar 

  • Gillies, A. S. (2010). Iffiness. Semantics and Pragmatics, 3(4), 1–42. https://doi.org/10.3765/sp.3.4.

    Article  Google Scholar 

  • Gillies, A. S. (2018). Updating data semantics. Mind, fzy008. https://doi.org/10.1093/mind/fzy008.

  • Grice, P. (1975/1989a). Logic and conversation. In Studies in the way of words (pp. 22–40). Cambridge, MA: Harvard University Press.

  • Groenendijk, J., & Stokhof, M. (1990). Dynamic montague grammar. In L. Kalman & L. Polos (Eds.), Papers from the second symposium on logic and language (pp. 3–48). Budapest: Akademiai Kiado.

    Google Scholar 

  • Groenendijk, J., & Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1), 39–100.

    Google Scholar 

  • Hanson, W. H. (1991). Indicative conditionals are truth-functional. Mind, 100(1), 53–72.

    Google Scholar 

  • He, C. (2016). Conjunction, connection and counterfactuals. Erkenntnis, 81(4), 705–719.

    Google Scholar 

  • Heim, I. (1982). The semantics of definite and indefinite noun phrases. PhD thesis, University of Massachusetts, Amherst, MA.

  • Heim, I. (1983). On the projection problem for presuppositions. WCCFL, 2, 114–125.

    Google Scholar 

  • Heim, I. (1992). Presupposition projection and the semantics of attitude verbs. Journal of Semantics, 9(3), 183–221.

    Google Scholar 

  • Heller, M. (1995). Might-counterfactuals and gratuitous differences. Australasian Journal of Philosophy, 73(1), 91–101.

    Google Scholar 

  • Hurford, J. (1974). Exclusive or inclusive disjunction. Foundations of Language, 11, 409–11.

    Google Scholar 

  • Jackson, F. (1987). Conditionals. Oxford: Blackwell.

    Google Scholar 

  • Kadmon, N., & Landman, F. (1993). Any. Linguistics and Philosophy, 16, 353–422.

    Google Scholar 

  • Karttunen, L. (1974). Presuppositions and linguistic context. Theoretical Linguistics, 1, 181–194.

    Google Scholar 

  • Karttunen, L., & Peters, S. (1979). Conventional implicature. In C.-K. Oh & D. Dinneen (Eds.), Syntax and Semantics volume 11: Presupposition (pp. 1–56). New York: Academic Press.

  • Katzuno, H., & Mendelzon, A. O. (1992). On the difference between updating a knowledge base and revising it. In P. Gardenförs (Ed.), Belief revision (pp. 183–203). Cambridge: Cambridge University Press.

    Google Scholar 

  • Kaufmann, M. (2016). Free choice as a form of dependence. Natural Language Semantics, 24(3), 247–290.

    Google Scholar 

  • Kaufmann, M., & Kaufmann, S. (2015). Conditionals and modality. In S. Lappin & C. Fox (Eds.), Handbook of contemporary semantic theory (pp. 237–270). Hoboken: Wiley.

  • Kaufmann, S. (2000). Dynamic discourse management. In M. Pauly, M. Faller, & S. Kaufmann (Eds.), Formalizing the dynamics of information (pp. 171–188). Palo Alto: CSLI Publications.

    Google Scholar 

  • Klinedinst, N. (2007). Plurality and possibility. PhD thesis, UCLA.

  • Kolodny, N., & MacFarlane, J. (2010). Ifs and oughts. Journal of Philosophy, 107(3), 115–143.

    Google Scholar 

  • Kratzer, A. (1981). Partition and revision: The semantics of counterfactuals. Journal of Philosophical Logic, 10(2), 201–216.

    Google Scholar 

  • Kratzer, A. (1986). Conditionals. Chicago Linguistics Society, 22, 1–15.

    Google Scholar 

  • Kratzer, A., & Shimoyama, J. (2002). Indeterminate pronouns: The view from Japanese. In Y. Otsu (Ed.), The proceedings of the third Tokyo conference on psycholinguistics (pp. 1–25). Tokyo: Hituzi Syobo.

  • Leahy, Brian. (2011). Presuppositions and antipresuppositions in conditionals. In N. Ashton, A. Chereches & D. Lutz (Eds.), Proceedings of SALT (Vol. 21, pp. 257–274). Ithaca, NY: CLC Publications.

  • Lepore, E., & Stone, M. (2014). Imagination and convention. Oxford: Oxford University Press.

    Google Scholar 

  • Levi, I. (1996). For the sake of the argument. Cambridge: Cambridge University Press.

    Google Scholar 

  • Lewis, D. (1973). Counterfactuals. Hoboken: Blackwell.

    Google Scholar 

  • Lewis, D. (1976). Probabilities of conditionals and conditional probabilities. The Philosophical Review, 85, 297–315.

    Google Scholar 

  • McDermott, M. (2007). True antecedents. Acta Analytica, 22, 333–335.

    Google Scholar 

  • McGee, V. (1985). A counterexample to modus ponens. The Journal of Philosophy, 82(9), 462–471.

    Google Scholar 

  • McGlynn, A. (2012). The problem of true–true counterfactuals. Analysis, 72, 276–85.

    Google Scholar 

  • Meyer, M.-C. (2014). Deriving hurford’s constraint. Proceedings of SALT, 24, 577–596.

    Google Scholar 

  • Meyer, M.-C. (2015). Redundancy and embedded exhaustification. Proceedings of SALT, 25, 491–511.

    Google Scholar 

  • Nolan, D. (2003). Defending a possible-worlds account of indicative conditionals. Philosophical Studies, 116(3), 215–69.

    Google Scholar 

  • Penczek, A. (1997). Counterfactuals with true components. Erkenntnis, 46, 79–85.

    Google Scholar 

  • Pollock, J. (1976). Subjunctive reasoning. Dordrecht: Reidel.

    Google Scholar 

  • Pynn, G. (2010). Defending the \(\supset \) analysis of indicative conditionals. Manuscript.

  • Ramsey, F. P. (1927). Philosophical papers. Cambridge: Cambridge University Press.

    Google Scholar 

  • Rieger, A. (2006). A simple theory of conditionals. Analysis, 3, 233–240.

    Google Scholar 

  • Rieger, A. (2013). Conditionals are material: The positive arguments. Synthese, 190, 3161–3174.

    Google Scholar 

  • Rieger, A. (2015). Defending a simple theory of conditionals. American Philosophical Quarterly, 52(3), 253–261.

    Google Scholar 

  • Roelofsen, F. (2013). A bare bone attentive semantics for Might. In M. Aloni, M. Franke, & F. Roelofsen (Eds.), The dynamic, inquisitive, and visionary Life of \(\phi \), \(?\phi \), and \(\diamond \phi \) (pp. 190–215). Amsterdam: ILLC Publications.

  • Romoli, J., & Santorio, P. (2017). Probability and implicatures: A unified account of the scalar effects of disjunction under modals. Semantics and Pragmatics, Vol. 10. https://doi.org/10.3765/sp.10.13.

    Google Scholar 

  • Ross, J. (1969). Guess who? In G. Green, R. Binnick, A. Davidson, & J. Morgan (Eds.), Chicago Linguistics Society (CLS) (Vol. 5, pp. 252–286). Chicago, IL: Chicago Linguistic Society, University of Chicago.

    Google Scholar 

  • Sauerland, U. (2004). Scalar implicatures in complex sentences. Linguistics and Philosophy, 27, 367–391.

    Google Scholar 

  • Schulz, K. (2005). A pragmatic solution for the paradox of free choice permission. Synthese, 147(2), 343–377.

    Google Scholar 

  • Simons, M. (2005). Dividing things up: The semantics of or and the modal/or interaction. Natural Language Semantics, 13, 271–316.

    Google Scholar 

  • Sobel, J. H. (1970). Utilitarianisms: Simple and general. Inquiry, 13, 394–449.

    Google Scholar 

  • Stalnaker, R. (1968). A theory of conditionals. American Philosophical Quarterly, 98–112.

  • Stalnaker, R. (1973). Presuppositions. Journal of Philosophical Logic, 2, 447–457.

    Google Scholar 

  • Stalnaker, R. (1975). Indicative conditionals. Philosophia, 5, 269–86.

    Google Scholar 

  • Stalnaker, R. (1981). A defense of conditional excluded middle. In W. L. Harper, R. Stalnaker, & G. Pearce (Eds.), IFS: Conditionals, belief, decision, chance and time (pp. 87–104). Dordrecht: Springer.

    Google Scholar 

  • Stalnaker, R. (2014). Context. Oxford: Oxford University Press.

    Google Scholar 

  • Starr, W. B. (2014). A uniform theory of conditionals. Journal of Philosophical Logic, 43(6), 1019–1064.

    Google Scholar 

  • Starr, W. B. (2016). Expressing permission. Proceedings of SALT, 26, 325–349.

    Google Scholar 

  • Strawson, P. F. (1952). Introduction to logical theory. London: Methuen.

    Google Scholar 

  • Thomson, J. F. (1990). in defense of ‘\(\supset \)’. The Journal of Philosophy, 87(2), 57–70.

    Google Scholar 

  • Tieu, L., Romoli, J., Zhou, P., & Crain, S. (2016). Children’s knowledge of free choice inferences and scalar implicatures. Journal of Semantics, 33(2), 269–298.

    Google Scholar 

  • van Benthem, J. (1996). Exploring logical dynamics. Stanford: CSLI Publications.

    Google Scholar 

  • Veltman, F. (1985). Logics for conditionals. PhD thesis, University of Amsterdam.

  • Veltman, F. (1996). Defaults in update semantics. Journal of Philosophical Logic, 25(3), 221–261.

    Google Scholar 

  • Veltman, F. (2005). Making counterfactual assumptions. Journal of Semantics, 22, 159–180.

    Google Scholar 

  • von Fintel, K. (1998). The presupposition of subjunctive conditionals. In U. Sauerland & O. Percus (Eds.), The interpretive tract (pp. 29–44). Cambridge, MA: MITWPL.

  • Von Fintel, K. (1999). NPI-licensing, Strawson-entailment, and context-dependency. Journal of Semantics, 16(1), 97.

    Google Scholar 

  • Von Fintel, K. (2001). Counterfactuals in a dynamic context. In M. Kenstowicz (Ed.), Ken Hale: A life in language (pp. 123–152). Cambridge, MA: MIT Press.

  • von Fintel, K., & Gillies, A. S. (2010). Must...stay...strong!. Natural Language Semantics, 18(4), 351–383.

    Google Scholar 

  • Wierenga, E. (1998). Theism and counterpossibles. Philosophical Studies, 89, 87–103.

    Google Scholar 

  • Willer, M. (2014). Dynamic thoughts on ifs and oughts. Philosophers’ Imprint, 14(28), 1–30.

    Google Scholar 

  • Willer, M. (2015). Simplifying counterfactuals. In Proceedings of the 20th Amsterdam Colloquium (pp. 428–437).

  • Willer, M. (2017). Simplifying with free choice. Topoi, 1–14.

  • Williams, J. R. G. (2010). Defending conditional excluded middle. Noûs, 44(4), 650–668.

    Google Scholar 

  • Yalcin, S. (2012). A counterexample to modus tollens. Journal of Philosophical Logic, 41(6), 1001–1024.

    Google Scholar 

  • Zagzebski, L. (1990). What if the impossible had been actual. In M. Beaty (Ed.), Christian theism and the problems of philosophy (pp. 168–183). Notre Dame: University of Notre Dame Press.

    Google Scholar 

  • Zimmermann, T. E. (2000). Free choice disjunction and epistemic possibility. Natural Language Semantics, 8, 255–290.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Simon Goldstein.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This research was supported by Research Grants Council Grant #23602118.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Goldstein, S. The counterfactual direct argument. Linguist and Philos 43, 193–232 (2020). https://doi.org/10.1007/s10988-019-09272-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10988-019-09272-9

Keywords

Navigation