Online research in philosophy

Three theses are gleaned from Wittgenstein’s writing. First, extra-mathematical uses of mathematical expressions are not referential uses. Second, the senses of the expressions of pure mathematics are to be found in their uses outside of mathematics. Third, mathematical truth is fixed by mathematical proof. These theses are defended. The philosophy of mathematics defined by the three theses is compared with realism, nominalism, and formalism.

The Quine-Putnam Indispensability argument is the argument for treating mathematical entities on a par with other theoretical entities of our best scientific theories. This argument is usually taken to be an argument for mathematical realism. In this chapter I will argue that the proper way to understand this argument is as putting pressure on the viability of the marriage of scientific realism and mathematical nominalism. Although such a marriage is a popular option amongst philosophers of science and mathematics, in light of the indispensability argument, the marriage is seen to be very unstable. Unless one is careful about how the Quine-Putnam argument is disarmed, one can be forced to either mathematical realism or, alternatively, scientific instrumentalism. I will explore the various options: (i) finding a way to reconcile the two partners in the marriage by disarming the indispensability argument (Jody Azzouni [2], Hartry Field [13, 14], Alan Musgrave [18, 19], David Papineau [21]); (ii) embracing mathematical realism (W.V.O. Quine [23], Michael Resnik [25], J.J.C. Smart [27]); and (iii) embracing some form of scientific instrumentalism (Ot´ avio Bueno [7, 8], Bas van Fraassen [30]). Elsewhere [11], I have argued for option (ii) and I won’t repeat those arguments here. Instead, I will consider the difficulties for each of the three options just mentioned, with special attention to option (i). In relation to the latter, I will discuss an argument due to Alan Musgrave [19] for why option (i) is a plausible and promising approach. From the discussion of Musgrave’s argument, it will emerge that the issue of holist versus separatist theories of confirmation plays a curious role in the realism–antirealism debate in the philosophy of mathematics. I will argue that if you take confirmation to be an holistic matter—it’s whole theories (or significant parts thereof) that are confirmed in any experiment—then there’s an inclination to opt for (ii) in order to resolve the marital tension outlined above..

Quine and Putnam argued for mathematical realism on the basis of the indispensability of mathematics to science. They claimed that the mathematics that is used in physical theories is confirmed along with those theories and that scientific realism entails mathematical realism. I argue here that current theories of confirmation suggest that mathematics does not receive empirical support simply in virtue of being a part of well confirmed scientific theories and that the reasons for adopting a realist view of scientific theories do not support realism about mathematical entities, despite the use of mathematics in formulating scientific theory.

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument.

An emphasis on explanatory contribution is central to a recent formulation of the indispensability argument (IA) for mathematical realism. Because scientific realism is argued for by means of inference to the best explanation (IBE), it has been further argued that being a scientific realist entails a commitment to IA and thus to mathematical realism. It has, however, gone largely unnoticed that the way that IBE is argued to be truth conducive involves citing successful applications of IBE and tracing this success over time. This in turn involves identifying those constituents of scientific theories that are responsible for their predictive success and showing that these constituents are retained across theory change in science. I argue that even if mathematics can be shown to feature in best explanations, the role of mathematics in scientific theories does not satisfy the condition that mathematics is always retained across theory change. According to a scientific realist, this condition needs to be met for making ontological claims on the basis of explanatory contribution. Thus scientific realists are not committed to mathematical realism on the basis of this recent formulation of IA.

After reviewing some different indispensability arguments, I distinguish several different ways in which mathematics can make an important contribution to a scientific explanation. Once these contributions are highlighted it will be possible to see that indispensability arguments have little chance of convincing us of the existence of abstract objects, even though they may give us good reason to accept the truth of some mathematical claims. However, in the concluding part of this paper, I argue that even though there is a valid indispensability argument for realism about some mathematical claims, this argument is problematic as it begs the question at issue. This challenge to indispensability arguments is then used to suggest that if mathematics is making these sorts of contributions to science, then it may be the case that mathematical claims receive some non-empirical support prior to their application in scientific explanation.

Penelope Maddy and Elliott Sober recently attacked the confirmational indispensability argument for mathematical realism. We cannot count on science to provide evidence for the truth of mathematics, they say, because either scientific testing fails to confirm mathematics (Sober) or too much mathematics occurs in false scientific theories (Maddy). I present a pragmatic indispensability argument immune to these objections, and show that this argument supports mathematical realism independently of scientific realism. Mathematical realism, it turns out, may be even more firmly established than scientific realism.

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, and I discuss potential future directions of research for each side in the debate over the existence of abstract mathematical objects. Introduction: Mathematical Explanation Indispensability and Explanation Is the Mathematics Indispensable to the Explanation? 3.1 Object-level arbitrariness 3.2 Concept-level arbitrariness 3.3 Theory-level arbitrariness Is the Explanandum ‘Purely Physical’? Is the Mathematics Explanatory in Its Own Right? Does Inference to the Best Explanation Apply to Mathematics? 6.1 Leng's first argument 6.2 Leng's second argument 6.3 Leng's third argument Conclusions CiteULike Connotea Del.icio.us What's this?

Baker (2005) claims to provide an example of mathematical explanation of an empirical phenomenon which leads to ontological commitment to mathematical objects. This is meant to show that the positing of mathematical entities is necessary for satisfactory scientific explanations and thus that the application of mathematics to science can be used, at least in some cases, to support mathematical realism. In this paper I show that the example of explanation Baker considers can actually be given without postulating mathematical objects and thus cannot be used by the mathematical realist. I also show that, despite this, mathematics keeps playing an important methodological role in the explanation and does not reduce to a merely computational or descriptive framework.

Arguing for mathematical realism on the basis of Field’s explanationist version of the Quine–Putnam Indispensability argument, Alan Baker has recently claimed to have found an instance of a genuine mathematical explanation of a physical phenomenon. While I agree that Baker presents a very interesting example in which mathematics plays an essential explanatory role, I show that this example, and the argument built upon it, begs the question against the mathematical nominalist.