Online research in philosophy

Much of the current thought concerning mathematical ontology in volves in some way the Quine/Putnam indispensability argument. The indispensability approach needs to be more thoroughly specified, however, before substantive progress can be made in assessing it. To this end I examine in some detail the ways in which pure mathematics is applied to physical theory; such considerations give rise to three specific issues with which the indispensability approach must come to grips.

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.

It is claimed that the indispensability argument for the existence of mathematical entities (IA) works in a way that allows a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. This is supposed to be possible by virtue of the appeal to confirmational holism that enters into the formulation of IA. Holism about confirmation is supposed to be motivated in analogy with holism about falsification. I present an account of how holism about falsification is supposed to be motivated. I argue that the argument for holism about falsification is in tension with how we think about confirmation and with two principles suggested by Quine for construing a plausible variety of holism. Finally, I show that one of Quine's principles does not allow a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist.

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..

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.

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.

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage.

According to the indispensability argument, scientific realists ought to believe in the existence of mathematical entities, due to their indispensable role in theorising. Arguably the crucial sense of indispensability can be understood in terms of the contribution that mathematics sometimes makes to the super-empirical virtues of a theory. Moreover, the way in which the scientific realist values such virtues, in general, and draws on explanatory virtues, in particular, ought to make the realist ontologically committed to abstracta. This paper shows that this version of the indispensability argument glosses over crucial detail about how the scientific realist attempts to generate justificatory commitment to unobservables. The kind of role that the Platonist attributes to mathematics in scientific reasoning is compatible with nominalism, as far as scientific realist arguments are concerned.

Quine's views on indispensability arguments in mathematics are scrutinised. A weak indispensability argument is distinguished from a strong indispensability thesis. The weak argument is the combination of the criterion of ontological commitment, holism and a mild naturalism. It is used to refute nominalism. Quine's strong indispensability thesis claims that one should consider all and only the mathematical entities that are really indispensable. Quine has little support for this thesis. This is even clearer if one takes into account Maddy's critique of Quine's strong indispensability thesis. Maddy's critique does not refute Quine's weak indispensability argument. We are left with a weak and almost unassailable indispensability argument.

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.