Abstract
This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I demonstrate that their assumptions collapse the counterfactual conditional into the material conditional. This collapse entails the success of counterfactual strengthening (the inference from ‘If A were true, then C would be true’ to ‘If A and B were true, then C would be true’), which is controversial within counterfactual logic, and which has counterexamples within pure and applied mathematics. I close by discussing the dispensability of counterfactual conditionals within the language of mathematics.
Similar content being viewed by others
References
Alonso-Ovalle, L. (2006). Counterfactuals, correlatives and disjunction. Linguistics and Philosophy, 32, 207{44.
Bealer, G. (2002). Modal epistemology and the rationalist renaissance. In Gendler, T, & Hawthorne, J (Eds.) Conceivability and possibility (pp. 71{126): Oxford University Press.
Bjerring, J.C. (2013). On Counterpossibles. Philosophical Studies, 190, 327{53.
Bobzien, S. (2011). Dialectical school. Stanford Encyclopedia of Philosophy.
Bobzien, S, & Ian, R. (2020). Intuitionism and the modal logic of vagueness. Journal of Philosophical Logic, 49, 221{48.
Boolos, G, Burgess, J, & Je↑rey, v. (2007). Computability and logic. Cambridge University Press.
Brogaard, B, & Salerno, J. (2013). Remarks on counterpossibles. Synthese, 190, 639{60.
Cohen, D. (1987). The problem of counterpossibles. Notre Dame Journal of Formal Logic, 29(9), 91{101.
Davis, M. (1958). Computability and unsolvability. McGraw-Hill.
Fine, K. (1975). Review of Lewis’s counterfactuals. Mind, 84, 451{8.
Fine, K. (2012). Counterfactuals without possible worlds. Journal of Philosophy, 109(3), 221{46.
Frege, G. (1884). The foundations of arithmetic. Oxford University Press.
Gendler, T, & Hawthorne, J. (2002). Conceivability and possibility. Oxford University Press.
Gillies, A. (2007). Counterfactual scorekeeping. Linguistics and Philosophy, 30, 329{60.
Goodman, J. (2004). An extended Lewis/Stalnaker semantics and the new problem of counterpossibles. Philosophical Papers, 33, 35{66.
Hale, R. (2003). Knowledge of possibility and necessity. Proceedings of the Aristotelian Society, 103, 1{20.
Hale, R, & Wright, C. (2001). The Reason’s proper study: essays toward a Neo-Fregean philosophy of mathematics. Oxford University Press.
Hodges, W. (Forthcoming). Necessity in mathematics.
Jenny, M. (2018). Counterpossibles in science, the case of relative computability. Noûs, 52 (3), 530{60.
Klinedinst, N. (2009). (Simpli↓cation of) disjunctive antecedents. MIT Working Papers in Linguistics 60.
Kment, B. (2018). Essence and modal knowledge. Synthese, 1{23.
Kocurek, A. (Forthcoming). On the substitution of identicals in counterfactual reasoning. Noûs.
Kratzer, A. (1981). The notional category of modality. In Eikmeyer, H.J., & de Gruyter, H R. (Eds.) Words, worlds and contexts: new approaches to world semantics.
Kratzer, A. (1981). Partition and reviesion: the semantics of counterfactuals. Journal of Philosophical Logic, 10(2), 201{16.
Kratzer, A. (1986). Conditionals. Chicago Linguistics Society: Papers from the Parasession on Pragmatics and Grammatical Theory, 22(2), 1{15.
Kratzer, A. (1991). Modality. Semantics: an international handbook of contemporary research (pp. 639{50).
Kripke, SA. (1980). Naming and necessity. Harvard University Press.
Lewis, D. (1973). Counterfactuals. Blackwell Publishers.
Lewis, D. (1973). Counterfactuals and comparative probability. Journal of Philosophical Logic, 2(4), 418{46.
Lewis, D. (1977). Possible-world semantics for counterfactual logics: a rejoinder. Journal of Philosophical Logic, 6(1), 359{63.
Loewer, B. (1976). Counterfactuals with disjunctive antecedents. Journal of Philosophy, 73 (16), 531{7.
Lowe, E.J. (1983). A simpli↓cation of the logic of conditionals. Notre Dame Journal of Formal Logic, 24(3), 357{66.
Lowe, E.J. (2012). What is the source of our knowledge of modal truths? Mind, 121(484), 919{50.
Mares, E. (1997). Who’s afraid of impossible worlds? Notre Dame Journal of Formal Logic, 38, 535{72.
Moss, S. (2012). On the pragmatics of counterfactuals. Noûs, 46(3), 561{86.
Nute, D. (1975). Counterfactuals and the similarity of worlds. Journal of Philosophy, 72(21), 773{8.
Nute, D. (1980). Conversational scorekeeping and conditionals. Journal of Philosophical Logic, 9(2), 153{66.
Peirce, C. (1896). Regenerated logic. The Monist, 7(1), 19{40.
Santorio, P. (2018). Alternatives and truthmakers in conditional semantics. Journal of Philosophy, 115(10), 513{49.
Sobel, H. (1970). Utilitarianisms: simple and general. Inquiry, 13(4), 2008.
Stalnaker, R. (1968). A theory of conditionals. In Recher, N. (Ed.) Studies in logical theory: Oxford University Press.
von Fintel, K. (2001). Counterfactuals in a dynamic context. In Kenstowicz, M. (Ed.) Ken Hale: a life in language (pp. 123{52): MIT Press.
Warmbrōd, K. (1981). An indexical theory of conditionals. Dialogue, 20(4), 644{64.
Willer, M. (2017). Lessons from Sobel sequences. Semantics and Pragmatics, 10(4), 1{57.
Williamson, T. (2007). The philosophy of philosophy. Blackwell Publishing.
Yli-Vakkuri, J, & Hawthorne, J. (2018). The necessity of mathematics. Noûs, 1{28.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional a<liations.
Rights and permissions
About this article
Cite this article
Elgin, S.Z. Counterfactual Logic and the Necessity of Mathematics. J Philos Logic 50, 97–115 (2021). https://doi.org/10.1007/s10992-020-09563-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-020-09563-8