Abstract
Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (Mind 114(454):223–238, 2005; Br J Philos Sci 60(3):611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position (e.g. Baker in Aust J Philos 95(4):779–793, 2017a). We pick up the circularity problem brought up by Leng (in: Cellucci, Gillies (eds) Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu (Synthese 160(1):13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic.
Similar content being viewed by others
Notes
In (2017a, pp. 783–784), Baker gives an alternative version of the argument. But the first three steps are the same as in the initial formulation. Baker points out that the length of the cicada life cycles can be expressed as sums of perfect squares, which introduces more sophisticated mathematics.
For completeness, both the 13- as well as the 17-year life cycles were mentioned in (D). However, to prevent too much repetition, in what follows only the first datum will be used.
We follow the notation of (Boolos 1998, p. 139)
In fact, any metaphysical theory that claims to be true should be compatible with a theory of truth of sentences, which depends on a theory of syntax, which in turn is hardly conceivable without some kind of theory of concatenation. See Tarski (1936).
Goodman and Quine (1947, p. 106) decline to assume that there are infinitely many objects. As it will turn out, QT has no finite models. So, QT goes beyond what they are willing to assume. However, other nominalists, notably Field, have no scruples in assuming that there are infinitely many objects.
Interestingly, Q is not interpretable in mereology, another favourite of nominalists. This is a consequence of the following theorem listed by Niebergall (2011): there is no consistent mereological theory in which AST is relatively interpretable. This is certainly relevant for the discussion about the evaluation of the nominalistic paraphrase of statements about primeness given by Tallant (2013), because he uses mereological fusions. Taking it further, he hopes that mereology will be enough to paraphrase all “scientifically explanatory mathematics”. The latter cannot include Robinson Arithmetic, if his project is to succeed.
Our strategy is in this sense similar to a strategy suggested by Bueno (2001, p. 119). His idea was for a nominalist to capitalize on the so-called reverse mathematics programme, initiated by Harvey Friedman, and aiming at discovering what the weakest axioms are to prove a theorem. There are a couple of differences though. One is that Bueno is aiming at a nominalistic reconstruction of as much of mathematics as possible, whereas we are only talking about what Tallant (2013, p. 2074) calls “scientifically explanatory mathematics”. Another difference is that Bueno focuses on abstraction principles, which he wants to paraphrase using a combination of plural logic and mereology.
References
Azzouni, J. (2004). Deflating existential commitment: A case for nominalism. Oxford: Oxford University Press.
Baker, A. (2005). Are there genuine mathematical explanations of physical phenomena? Mind, 114(454), 223–238.
Baker, A. (2009). Mathematical explanation in science. British Journal for the Philosophy of Science, 60(3), 611–633.
Baker, A. (2016). Parsimony and inference to the best mathematical explanation. Synthese, 193(2), 333.
Baker, A. (2017a). Mathematical spandrels. Australasian Journal of Philosophy, 95(4), 779–793.
Baker, A. (2017b). Mathematics and explanatory generality. Philosophia Mathematica, 25(2), 194–209.
Bangu, S. I. (2008). Inference to the best explanation and mathematical realism. Synthese, 160(1), 13–20.
Barrantes, M. (2019). Optimal representations and the enhanced indispensability argument. Synthese, 196(1), 247–263.
Boccuni, F., & Woods, J. (2018). Structuralist neologicism. Philosophia Mathematica. https://doi.org/10.1093/philmat/nky017.
Boolos, G. (1981). For every A there is a B. Linguistic Inquiry, 12(3), 465–467.
Boolos, G. (1998). Logic, logic, and logic. Cambridge: Harvard University Press.
Boolos, G., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and logic. Cambridge: Cambridge University Press.
Bueno, O. (2001). Logicism revisited. Principia, 5(1–2), 99–124.
Burgess, J. P. (2005). Fixing frege. Princeton: Princeton University Press.
Colyvan, M. (2002). Mathematics and aesthetic considerations in science. Mind, 111(441), 69–74.
Damnjanovic, Z. (2017). Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Bulletin of Symbolic Logic, 23(4), 381–404.
Darnell, E., Thomas-Bolduc, A. (2018). Is Hume’s principle analytic? Synthese. https://doi.org/10.1007/s11229-018-01988-8.
Enderton, H. B. (2001). A mathematical introduction to logic. London: Academic Press.
Ferreira, F., & Ferreira, G. (2013). Interpretability in Robinson’s Q. Bulletin of Symbolic Logic, 19(3), 289–317.
Field, H. (1984). Frege’s conception of numbers as objects. Canadian Journal of Philosophy, 14(4), 637–662.
Field, H. (1989). Realism, mathematics and modality. Oxford: Basil Blackwell ltd.
Field, H. (1992). A nominalistic proof of the conservativeness of set theory. Journal of Philosophical Logic, 21(2), 111–123.
Frege, G. (1893). Grundgesetze der Arithmetik, Begriffsschriftlich abgeleitet (Vol. 1). Jena: Verlag Hermann Pohle.
Goodman, N., & Quine, W. V. (1947). Steps toward a constructive nominalism. Journal of Symbolic Logic, 12(4), 105–122.
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 Publications.
Maddy, P. (1992). Indispensability and practice. Journal of Philosophy, 89(6), 275–289.
Melia, J. (2000). Weaseling away the indispensability argument. Mind, 109(435), 455–480.
Niebergall, K. G. (2011). Mereology. In: L. Horsten & R. Pettigrew (Eds.), The continuum companion to philosophical logic (pp. 271–298). London: Continuum.
Putnam, H. (1971). Philosophy of logic. London: Allen & Unwin.
Quine, W. V. (1948). On what there is. Review of Metaphysics, 2(1), 21–38.
Quine, W. V. (1953). From a logical point of view. Oxford: Harvard University Press.
Rizza, D. (2011). Magicicada, mathematical explanation and mathematical realism. Erkenntnis, 74, 101–114.
Shapiro, S. (2000). Thinking about mathematics: The philosophy of mathematics. Oxford: Oxford University Press.
Tallant, J. (2013). Optimus prime: Paraphrasing prime number talk. Synthese, 190(12), 2065–2083.
Tarski, A. (1936). The concept of truth in formalized languages. In A. Tarski (Ed.), Logic, semantics, metamathematics (pp. 152–278). Oxford: Oxford University Press.
Wakil, S., & Justus, J. (2017). Mathematical explanation and the biological optimality fallacy. Philosophy of Science, 84, 916–930.
Wright, C. (1999). Is Hume’s principle analytic? Notre Dame Journal of Formal Logic, 40(1), 6–30.
Acknowledgements
We would like to thank two anonymous reviewers for their very helpful comments. Earlier versions of this paper have been presented at the Paris-Leuven Workshop (Paris, 11 October 2018), the IX Conference of the Spanish Society for Logic, Methodology and Philosophy of Science (Madrid, 13 Nov 2018–16 Nov 2018), the seminar of the Philosophy department in Stellenbosch (Stellenbosch, 7 December 2019) and the CLPS Seminar (Leuven, 1 March 2019). We would like to thank all the audiences for their useful feedback. Finally, we would also like to thank Leon Horsten for discussing the topic of this paper with one of the authors.
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 affiliations.
Rights and permissions
About this article
Cite this article
Heylen, J., Tump, L.A. The Enhanced Indispensability Argument, the circularity problem, and the interpretability strategy. Synthese 198, 3033–3045 (2021). https://doi.org/10.1007/s11229-019-02263-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-019-02263-0