Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Tomasz Bigaj (2003). The Indispensability Argument – a New Chance for Empiricism in Mathematics? Foundations of Science 8 (2):173-200.In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable.
Similar books and articles
One recent trend in the philosophy of mathematics has been to approach the central epistemological and metaphysical issues concerning mathematics from the perspective of the applications of mathematics to describing the world, especially within the context of empirical science. A second area of activity is where philosophy of mathematics intersects with foundational issues in mathematics, including debates over the choice of set-theoretic axioms, and over whether category theory, for example, may provide an alternative foundation for mathematics. My central claim is that these latter issues are of direct relevance to philosophical arguments connected to the applicability of mathematics. In particular, the possibility of there being distinct alternative foundations for mathematics blocks the standard argument from the indispensable role of mathematics in science to the existence of specific mathematical objects.
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.
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.
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.
The Enhanced Indispensability Argument (Baker [ 2009 ]) exemplifies the new wave of the indispensability argument for mathematical Platonism. The new wave capitalizes on mathematics' role in scientific explanations. I will criticize some analyses of mathematics' explanatory function. In turn, I will emphasize the representational role of mathematics, and argue that the debate would significantly benefit from acknowledging this alternative viewpoint to mathematics' contribution to scientific explanations and knowledge.
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.
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.
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.
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.
Discussion of Tomasz Bigaj, The indispensability argument – a new chance for empiricism in mathematics?
|
|
There are no threads in this forum |
Nothing in this forum yet.

