Abstract
Alan Baker’s enhanced indispensability argument (EIA) supports mathematical platonism through the explanatory role of mathematics in science. Busch and Morrison defend nominalism by denying that scientific realists use inference to the best explanation (IBE) to directly establish ontological claims. In response to Busch and Morrison, I argue that nominalists can rebut the EIA while still accepting Baker’s form of IBE. Nominalists can plausibly require that defenders of the EIA establish the indispensability of a particular mathematical entity. Next, I argue that IBE cannot establish that any particular mathematical entity is indispensable. Mathematical entities do not compete with each other in the way physical unobservables do. This lack of competition enables alternative formulations of scientific explanations that use different, but compatible, mathematical entities. The compatibility of these explanations prevents IBE from establishing platonism.
Similar content being viewed by others
Notes
This pertains to versions of the Quine-Putnam indispensability argument. These arguments include non-explanatory indispensability arguments as well, such as Colyvan’s (2001, cf. p. 8).
I thank Busch and Morrison for suggesting this name for their position.
For a careful catalog of these styles of indispensability arguments, confer Panza and Sereni (2013).
In the next section, I consider Busch and Morrison’s reservations about this statement.
Daly and Langford extend Melia’s (2000) nominalist strategy, which they refer to as “Melia’s indexing argument” (2009, p. 642). By saying that mathematics indexes concrete physical relations, Daly and Langford intend to generalize the idea that the number “1” can be used to stand for the length of a meter-bar: the number indexes the physical length of a concrete object (2009, p. 644).
By “the 2-Step,” I refer to Busch and Morrison’s formulation. Alternative formulations could modify their second step to allow alternative criteria for ontological commitment.
I am indebted to Busch’s conference presentation at the 2012 IHPST Indispensability and Explanation workshop; responding to this presentation was important for developing my argument.
Citing this same objection, Rizza has extended Field’s nominalization program to rebut the EIA (2011, pp. 111–112).
I thank two anonymous reviewers for asking me to clarify this point.
Baker’s discussion of “science driven mathematical explanations” in his (2012) also does not meet this burden of proof.
Baker does, however, acknowledge a similar burden of proof: “Does the platonist need to give a positive argument for why the mathematics in [Baker’s example] is explanatory in its own right, or does the nominalist need to give a positive argument to the contrary?” (2009, p. 624). However, Baker claims that “it is reasonable to place the burden of proof here on the nominalist” (2009, p. 625). I attempt to meet this burden of proof as well.
An anonymous reviewer has pointed out that this requirement is an instance of the fallacy of division. Nevertheless, in the context of genuinely explanatory mathematical objects, it is plausible that this fallacy does not apply. Since my primary goal is to motivate a demand for the stronger \(\exists \forall \) claim, I do not address this further.
I consider a version of this refinement in Sect. 4.2. I argue that it goes outside the dialectical bounds of the enhanced indispensability argument by forcing scientific realists to assume a specific form of structuralism.
Since indispensability arguments are directed at scientific realists—most of whom accept IBE—it is dialectically impermissible to reject inference to the best explanation in order to defend nominalism.
I thank an anonymous reviewer for asking me to clarify this point.
I thank an anonymous reviewer for asking me to clarify this point.
Baker has also formulated the indispensability argument in terms of mathematical theories, contending that platonists are “not arguing that individual numbers are indispensable for science or play an explanatory role in science, but rather that certain mathematical theories are indispensable and explanatory” (2005, p. 227). I return to this point below.
References
Awodey, S. (2004). An answer to Hellman’s question ‘Does category theory provide a framework for mathematical structuralism?’. Philosophia Mathematica, 12(3), 54–64.
Baker, A. (2003). The indispensability argument and multiple foundations for mathematics. The Philosophical Quarterly, 53(210), 49–67.
Baker, A. (2005). Are there genuine mathematical explanations of physical phenomena? Mind, 114, 223–238.
Baker, A. (2009). Mathematical explanation in science. British Journal for the Philosophy of Science, 60, 611–633.
Baker, A. (2012). Science driven mathematical explanation. Mind, 121(482), 243–267.
Bangu, S. (2008). Inference to the best explanation and mathematical realism. Synthese, 160(1), 13–20.
Bangu, S. (2013). Indispensability and explanation. British Journal for the Philosophy of Science, 64(2), 255–277.
Busch, J. (2011). Scientific realism and the indispensability argument for mathematical realism: A marriage made in hell. International Studies in the Philosophy of Science, 25(4), 307–325.
Busch, J., & Morrison, J. (2015). Should scientific realists be platonists? Synthese. doi:10.1007/s11229-015-0676-6.
Colyvan, M. (2001). The indispensability of mathematics. Oxford: Oxford University Press.
Colyvan, M. (2002). Mathematics and aesthetic considerations in science. Mind, 111(441), 69–74.
Daly, C., & Langford, S. (2009). Mathematical explanation and indispensability arguments. The Philosophical Quarterly, 59(237), 641–658.
Field, H. H. (1989). Realism, mathematics, and modality. Oxford: Blackwell.
Leng, M. (2005). Mathematical explanation. In C. Cellucci & D. Gillies (Eds.), Mathematical reasoning, heuristics and the development of mathematics (pp. 167–189). London: King’s College.
Lipton, P. (2004). Inference to the best explanation (International library of philosophy) (2nd ed.). London: Routledge/Taylor and Francis Group.
Lyon, A. (2012). Mathematical explanations of empirical facts, and mathematical realism. Australasian Journal of Philosophy, 90(3), 559–578.
Lyon, A., & Colyvan, M. (2008). The explanatory power of phase spaces. Philosophia Mathematica, 16(2), 227–243.
Maddy, P. (1992). Indispensability and practice. The Journal of Philosophy, 89(6), 275–289.
Maddy, P. (2005). Three forms of naturalism. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 437–459). Oxford: Oxford University Press.
Mazur, B. (2008). When is one thing equal to some other thing? In B. Gold, & R. Simons (Eds.), Proof and other dilemmas: Mathematics and philosophy (pp. 221–241). Spectrum.
Melia, J. (2000). Weasling away the indispensability argument. Mind, 109(435), 455–479.
Melia, J. (2002). Response to Colyvan. Mind, 111(441), 75–79.
Panza, M., & Sereni, A. (2013). Plato’s problem : An introduction to mathematical platonism. New York: Palgrave Macmillan.
Pincock, C. (2012). Mathematics and scientific representation. Oxford: Oxford University Press.
Rizza, D. (2011). Magicicada, mathematical explanation and mathematical realism. Erkenntnis, 74(1), 101–114.
Saatsi, J. (2007). Living in harmony: Nominalism and the explanationist argument for realism. International Studies in the Philosophy of Science, 21(1), 19–33.
Saatsi, J. (2011). The enhanced indispensability argument: Representational versus explanatory role of mathematics in science. British Journal for the Philosophy of Science, 62(1), 143–154.
Shapiro, S. (2000). Thinking about mathematics: The philosophy of mathematics. New York: Oxford University Press.
Sober, E. (1993). Mathematics and indispensability. The Philosophical Review, 102(1), 35–57.
Acknowledgments
I thank Jacob Busch, Joe Morrison, and the anonymous reviewers for their advice and criticism. For guidance on earlier versions of this essay, I thank Kyle Stanford, Alan Baker, Giovanni Valente, Julia Bursten, Thomas Ricketts, and the participants of the Indispensability and Explanation conference. I especially thank Kenneth Manders for help in the early stages of this project.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hunt, J. Indispensability and the problem of compatible explanations. Synthese 193, 451–467 (2016). https://doi.org/10.1007/s11229-015-0667-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-015-0667-7