Online research in philosophy

Fictionalism in the philosophy of mathematics is the view that mathematical statements, such as ‘8+5=13’ and ‘π is irrational’, are to be interpreted at face value and, thus interpreted, are false. Fictionalists are typically driven to reject the truth of such mathematical statements because these statements imply the existence of mathematical entities, and according to fictionalists there are no such entities. Fictionalism is a nominalist (or anti-realist) account of mathematics in that it denies the existence of a realm of abstract mathematical entities. It should be contrasted with mathematical realism (or Platonism) where mathematical statements are taken to be true, and, moreover, are taken to be truths about mathematical entities. Fictionalism should also be contrasted with other nominalist philosophical accounts of mathematics that propose a reinterpretation of mathematical statements, according to which the statements in question are true but no longer about mathematical entities. Fictionalism is thus an error theory of mathematical discourse: at face value mathematical discourse commits us to mathematical entities and although we normally take many of the statements of this discourse to be true, in doing so we are in error (cf. error theories in ethics).

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.

Mark Colyvan uses applications of mathematics to argue that mathematical entities exist. I claim that his argument is invalid based on the assumption that a certain way of thinking about applications, called `the mapping account,' is correct. My main contention is that successful applications depend only on there being appropriate structural relations between physical situations and the mathematical domain. As a variety of non-realist interpretations of mathematics deliver these structural relations, indispensability arguments are invalid.

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.

I argue that the most popular versions of naturalism imply nominalism in philosophy of mathematics. In particular, there is a conflict in Quine's philosophy between naturalism and realism in mathematics. The argument starts from a consequence of naturalism on the nature of human cognitive subjects, physicalism about cognitive subjects, and concludes that this implies a version of nominalism, which I will carefully characterize. The indispensability of classical mathematics for the sciences and semantic/confirmation holism does not affect the argument. The disquotational theory of reference and truth is discussed but rejected. This argument differs from the Benacerrafian arguments against realism, because it does not rely on any specific assumption about the nature of knowledge or reference. It differs from the popular objections to the indispensability argument for realism as well, because it can admit both indispensability and holism. This argument motivates a new, radically naturalistic and nominalistic approach to philosophy of mathematics.

Indispensability arguments for realism about mathematical entities have come under serious attack in recent years. To my mind the most profound attack has come from Penelope Maddy, who argues that scientific/mathematical practice doesn't support the key premise of the indispensability argument, that is, that we ought to have ontological commitment to those entities that are indispensable to our best scientific theories. In this paper I defend the Quine/Putnam indispensability argument against Maddy's objections.

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indis- pensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which ref- erence is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I ar- gue that these two arguments are in conflict with each other. Whereas the indispensability argument supports realism about mathematics, the indeter- minacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics.

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument.

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.