Much of the current thought concerning mathematical ontology and epistemology follows Quine and Putnam in looking to the indispensable application of mathematics in science. A standard assumption of the indispensability approach is some version of confirmational holism, i.e., that only "sufficiently large" sets of beliefs "face the tribunal of experience." In this paper I develop and defend a distinction between a pure mathematical theory and a mathematized scientific theory in which it is applied. This distinction allows for the possibility that (...) pure mathematical theories are systematically insulated from such confirmation in virtue of their being distinct from the "sufficiently large" blocks of scientific theory that are empirically confirmed. (shrink)

The axiom of infinity states that infinite sets exist. I will argue that this axiom lacks justification. I start by showing that the axiom is not self-evident, so it needs separate justification. Following Maddy’s :481–511, 1988) distinction, I argue that the axiom of infinity lacks both intrinsic and extrinsic justification. Crucial to my project is Skolem’s From Frege to Gödel: a source book in mathematical logic, 1879–1931, Cambridge, Harvard University Press, pp. 290–301, 1922) distinction between a theory of real sets, (...) and a theory of objects that theory calls “sets”. While Dedekind’s argument fails, his approach was correct: the axiom of infinity needs a justification it currently lacks. This epistemic situation is at variance with everyday mathematical practice. A dilemma ensues: should we relax epistemic standards or insist, in a skeptical vein, that a foundational problem has been ignored? (shrink)

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)

One of the most influential arguments for realism about mathematical objects is the indispensability argument. Simply put, this is the argument that insofar as we are committed to the existence of the physical objects existentially quantified over in our best scientific theories, we are also committed to the mathematical objects existentially quantified over in these theories. Following the Quine–Putnam formulation of the indispensability argument, some proponents of the indispensability argument have made the mistake of taking confirmational holism to be an (...) essential premise of the argument. In this paper, I consider the reasons philosophers have taken confirmational holism to be essential to the argument and argue that, contrary to the traditional view, confirmational holism is dispensable. (shrink)

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense outlined by Hartry Field. (...) The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

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

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these theories is also varied. (...) Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)