Online research in philosophy

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. (shrink)

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.

For many philosophers not automatically inclined to Platonism, the indispensability argument for the existence of mathematical objectshas provided the best (and perhaps only) evidence for mathematicalrealism. Recently, however, this argument has been subject to attack, most notably by Penelope Maddy (1992, 1997),on the grounds that its conclusions do not sit well with mathematical practice. I offer a diagnosis of what has gone wrong with the indispensability argument (I claim that mathematics is indispensable in the wrong way), and, taking my cue (...) from Mark Colyvan''s (1998) attempt to provide a Quinean account of unapplied mathematics as `recreational'', suggest that, if one approaches the problem from a Quinean naturalist starting point, one must conclude that all mathematics is recreational in this way. (shrink)

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. (shrink)

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. (shrink)

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. (shrink)

Book Information The Indispensability of Mathematics. By Mark Colyvan. Oxford University Press. New York. 2001. Pp. 172. Hardback, £30.00.

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. (shrink)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract mathematical (...) entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)