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)

I will contrast two conceptions of the nature of mathematical objects: the conception of mathematical objects as preconceived objects, and heavy duty platonism. I will argue that friends of the indispensability argument are committed to some metaphysical theses and that one promising way to motivate such theses is to adopt heavy duty platonism. On the other hand, combining the indispensability argument with the conception of mathematical objects as preconceived objects yields an unstable position. The conclusion is (...) that the metaphysical commitments of the indispensability argument should be carefully scrutinized. (shrink)

In this paper, I propose a solution to a challenge formulated by Judith Jarvis Thomson: We have to explain why the moral asymmetry between doing and allowing harm is a deep feature of our moral thinking. In a nutshell, my solution is this: It could not be otherwise. Accepting the asymmetry is indispensable for the construction and maintenance of stable moral communities. -/- My argument centrally involves mental resource management. Moral communities depend on their members’ commitment to moral norms. (...) And, I argue, community members can only be committed to these norms in the required ways without overextending their mental resources if morality contains the doing/allowing asymmetry. -/- This has two noteworthy implications. Firstly, we can and should stop discussing the asymmetry in normative ethics and, instead, regard it as “moral axiom” we cannot but accept. Secondly, even consequentialists have to accept the asymmetry but, by doing so, their view loses part of its intuitive appeal. Lastly, I turn to an objection. One might think that my indispensability argument confuses issues in moral psychology with issues in normative ethics. I reject the objection on broadly pragmatist grounds. (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)

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)

Instances of explanatory reduction are often advocated on metaphysical grounds; given that the only real things in the world are subatomic particles and their interaction, we have to try to explain everything in terms of the laws of physics. In this paper, we show that explanatory reduction cannot be defended on metaphysical grounds. Nevertheless, indispensability arguments for reductive explanations can be developed, taking into account actual scientific practice and the role of epistemic interests. Reductive explanations might be indispensable to (...) address some epistemic interest answering a specific explanation-seeking question in the most accurate, adequate and efficient way. Just like explanatory pluralists often advocate the indispensability of higher levels of explanation pointing at the pragmatic value of the explanatory information obtained on these higher levels, we argue that explanatory reduction—traditionally understood as the contender of pluralism—can be defended in a similar way. The pragmatic value reductionist, lower level explanations might have in the biomedical sciences and the social sciences is illustrated by some case studies. (shrink)

Instances of explanatory reduction are often advocated on metaphysical grounds; given that the only real things in the world are subatomic particles and their interaction, we have to try to explain everything in terms of the laws of physics. In this paper, we show that explanatory reduction cannot be defended on metaphysical grounds. Nevertheless, indispensability arguments for reductive explanations can be developed, taking into account actual scientific practice and the role of epistemic interests. Reductive explanations might be indispensable to (...) address some epistemic interest answering a specific explanation-seeking question in the most accurate, adequate and efficient way. Just like explanatory pluralists often advocate the indispensability of higher levels of explanation pointing at the pragmatic value of the explanatory information obtained on these higher levels, we argue that explanatory reduction—traditionally understood as the contender of pluralism—can be defended in a similar way. The pragmatic value reductionist, lower level explanations might have in the biomedical sciences and the social sciences is illustrated by some case studies. (shrink)

In the philosophy of mathematics, indispensability arguments aim to show that we are justified in believing that abstract mathematical objects exist. I wish to defend a particular objection to such arguments that has become increasingly popular recently. It is called instrumental nominalism. I consider the recent versions of this view and conclude that it has yet to be given an adequate formulation. I provide such a formulation and show that it can be used to answer the indispensability arguments. (...) -/- There are two main indispensability arguments in the literature, though one has received nearly all of the attention. They correspond to two ways in which we use mathematics in science and in everyday life. We use mathematical language to help us describe non-mathematical reality; and we use mathematical reasoning to help us perform inferences concerning non-mathematical reality using only a feasible amount of cognitive power. The former use is the starting point of the Quine-Putnam indispensability argument ([Quine, 1980a], [Quine, 1980b], [Quine, 1981a], [Quine, 1981b], [Putnam, 1979a], [Putnam, 1979b]); the latter provides the basis for Ketland’s more recent argument ([Ketland, 2005]). I begin by considering the Quine-Putnam argument and introduce instrumental nominalism to defuse it. Then I show that Ketland’s argument can be defused in a similar way. (shrink)

The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions (...) of IA can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and genuine IA, and argue that no genuine sound IA is available or easily forthcoming. We then submit that this holds also in the particularly relevant case in which indispensability is conceived as explanatory indispensability. (shrink)

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.

Indispensability arguments for mathematical realism are commonly traced back to Quine. We identify two different Quinean strands in the interpretation of IA, what we label the ‘logical point of view’ and the ‘theory-contribution’ point of view. Focusing on each of the latter, we offer two minimal versions of IA. These both dispense with a number of theoretical assumptions commonly thought to be relevant to IA. We then show that the attribution of both minimal arguments to Quine is controversial, and (...) stress the extent to which this is so in both cases, in order to attain a better appreciation of the Quinean heritage of IA. (shrink)

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

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.

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response (...) to the indispensability argument—a liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the (...) set of sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

Developing the ideas presented in Jacquette (2011), the paper presents an indispensability argument aimed at justification of induction. First, Hume’s problem of induction is introduced via slightly different reconstructions. Second, several traditional attempts to solve Hume’s problem are presented. Finally, Jacquette’s(2011) proposal to justify induction by an indispensability argument is developed. I conclude with presenting a kind of indispensability argument for induction.

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)

This book includes detailed critical analysis of a wide variety of versions of the indispensability argument, as well as a novel approach to traditional views about mathematics.

When the indispensability argument for mathematical entities (IA) is spelled out, it would appear confirmational holism is needed for the argument to work. It has been argued that confirmational holism is a dispensable premise in the argument if a construal of naturalism, according to which it is denied that we can take different epistemic attitudes towards different parts of our scientific theories, is adopted. I argue that the suggested variety of naturalism will only appeal to a (...) limited number of philosophers. I then suggest that if we allow for some degree of separation between different component parts of theories, IA can be formulated as an argument aimed at more than a limited number of philosophers, but in implementing this strategy the notion of indispensability needs spelling out. The best way of spelling out indispensability is in terms of theory contribution, but doing so requires adopting inference to the best explanation (IBE). IBE is however sufficient for establishing the conclusion that IA is supposed to establish. Thus, IA is a redundant argument. (shrink)

The indispensability argument is a method for showing that abstract mathematical objects exist. Various versions of this argument have been proposed. Lately, commentators seem to have agreed that a holistic indispensability argument will not work, and that an explanatory indispensability argument is the best candidate. In this paper I argue that the dominant reasons for rejecting the holistic indispensability argument are mistaken. This is largely due to an overestimation of the consequences (...) that follow from evidential holism. Nevertheless, the holistic indispensability argument should be rejected, but for a different reason —in order that an indispensability argument relying on holism can work, it must invoke an unmotivated version of evidential holism. Such an argument will be unsound. Correcting the argument with a proper construal of evidential holism means that it can no longer deliver mathematical Platonism as a conclusion: such an argument for Platonism will be invalid. I then show how the reasons for rejecting the holistic indispensability argument importantly constrain what kind of account of explanation will be permissible in explanatory versions. (shrink)

The expression ‘indispensability argument’ denotes a family of arguments for mathematical realism supported among others by Quine and Putnam. More and more often, Gottlob Frege is credited with being the first to state this argument in section 91 of the _Grundgesetze der Arithmetik_. Frege's alleged indispensability argument is the subject of this essay. On the basis of three significant differences between Mark Colyvan's indispensability arguments and Frege's applicability argument, I deny that Frege presents (...) an indispensability argument in that very often quoted section of the _Grundegesetze_. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to (...) formulate a plausible form of the indispensability argument. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is (...) genuinely mathematical, according to Baker :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (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)

We defend Joseph Melia's thesis that the role of mathematics in scientific theory is to 'index' quantities, and that even if mathematics is indispensable to scientific explanations of concrete phenomena, it does not explain any of those phenomena. This thesis is defended against objections by Mark Colyvan and Alan Baker.

Crucial to Hilary Putnam’s realism in the philosophy of mathematics is to maintain the objectivity of mathematics without the commitment to the existence of mathematical objects. Putnam’s indispensability argument was devised as part of this conception. In this paper, I reconstruct and reassess Putnam’s argument for the indispensability of mathematics, and distinguish it from the more familiar, Quinean version of the argument. Although I argue that Putnam’s approach ultimately fails, I develop an alternative way of (...) implementing his form of realism about mathematics that, by using different resources than those Putnam invokes, avoids the difficulties faced by his view. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied (...) and pure mathematics. And Sect. 4 makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

An emphasis on explanatory contribution is central to a recent formulation of the indispensability argument for mathematical realism. Because scientific realism is argued for by means of inference to the best explanation, it has been further argued that being a scientific realist entails a commitment to IA and thus to mathematical realism. It has, however, gone largely unnoticed that the way that IBE is argued to be truth conducive involves citing successful applications of IBE and tracing this success (...) over time. This in turn involves identifying those constituents of scientific theories that are responsible for their predictive success and showing that these constituents are retained across theory change in science. I argue that even if mathematics can be shown to feature in best explanations, the role of mathematics in scientific theories does not satisfy the condition that mathematics is always retained across theory change. According to a scientific realist, this condition needs to be met for making ontological claims on the basis of explanatory contribution. Thus scientific realists are not committed to mathematical realism on the basis of this recent formulation of IA. (shrink)

This paper defends the Quine-Putnam mathematical indispensability argument against two objections raised by Penelope Maddy. The objections concern scientific practices regarding the development of the atomic theory and the role of applied mathematics in the continuum and infinity. I present two alternative accounts by Stephen Brush and Alan Chalmers on the atomic theory. I argue that these two theories are consistent with Quine’s theory of scientific confirmation. I advance some novel versions of the indispensability argument. I (...) argue that these new versions accommodate Maddy’s history of the atomic theory. Counter-examples are provided regarding the role of the mathematical continuum and mathematical infinity in science. (shrink)

According to the Quine-Putnam indispensability argument (QPIA), we should be realists about mathematics because mathematics is indispensable to science. QPIA’s reasoning can be understood in two ways. Under the confirmational analysis, QPIA argues that mathematics is confirmed as part of our best scientific theories. Under the pragmatic analysis, QPIA argues that our scientific practices implicitly assume the truth of mathematics. The usual reasons given in favour of the pragmatic analysis are that it affords advantages to proponents of QPIA (...) by avoiding some dependencies of the confirmational analysis. This paper argues that these reasons are indecisive, because the pragmatic analysis introduces some dependencies of its own. Nevertheless, the paper also argues, there are other reasons to prefer the pragmatic analysis. QPIA is an instance of a wider class of realist arguments—indispensability arguments—and the pragmatic analysis yields a preferable overall understanding of indispensability arguments than does the confirmational analysis. (shrink)

‘Grounding and the indispensability argument’ presents a number of ways in which nominalists can use the notion of grounding to rebut the indispensability argument for the existence of mathematical objects. I will begin by considering the strategy that puts grounding to the service of easy-road nominalists. I will give some support to this strategy by addressing a worry some may have about it. I will then consider a problem for the fast-lane strategy and a problem for (...) easy-road nominalists willing to accept Liggins’ grounding strategy. Both are related to the problem of formulating nominalistic explanations at the right level of generality. I will then consider a problem that Liggins only hints at. This problem has to do with mathematics’ function of providing the sort of covering generalizations we need in scientific explanations. (shrink)

The traditional formulation of the indispensability argument for the existence of mathematical entities (IA) has been criticised due to its reliance on confirmational holism. Recently a formulation of IA that works without appeal to confirmational holism has been defended. This recent formulation is meant to be superior to the traditional formulation in virtue of it not being subject to the kind of criticism that pertains to confirmational holism. I shall argue that a proponent of the version of IA (...) that works without appeal to confirmational holism will struggle to answer a challenge readily answered by proponents of a version of IA that does appeal to confirmational holism. This challenge is to explain why mathematics applied in falsified scientific theories is not considered to be falsified along with the rest of the theory. In cases where mathematics seemingly ought to be falsified it is saved from falsification, by a so called 'Euclidean rescue'. I consider a range of possible answers to this challenge and conclude that each answer fails. (shrink)

Platonists in mathematics endeavour to prove the truthfulness of the proposal about the existence of mathematical objects. However, there have not been many explicit proofs of this proposal. One of the explicit ones is doubtlessly Baker’s Enhanced Indispensability Argument, formulated as a sort of modal syllogism. We aim at showing that the purpose of its creation – the defence of Platonist viewpoint – was not accomplished. Namely, the second premise of the Argument was imprecisely formulated, which gave (...) space for various interpretations of the EIA. Moreover, it is not easy to perceive which of the more precise formulations of the above-mentioned premise would be acceptable. For all these reasons, it is disputable whether the EIA can be used to defend Platonist outlook. At the beginning of this century, Baker has shown that the so-called Quine-Putnam Indispensability Argument can not provide “full” platonism - a guarantee of the existence of all mathematical objects. It turns out, however, that the EIA has a similar disadvantage. (shrink)

The Enhanced Indispensability Argument appeals to the existence of Mathematical Explanations of Physical Phenomena to justify mathematical Platonism, following the principle of Inference to the Best Explanation. In this paper, I examine one example of a MEPP—the explanation of the 13-year and 17-year life cycle of magicicadas—and argue that this case cannot be used defend the EIA. I then generalize my analysis of the cicada case to other MEPPs, and show that these explanations rely on what I will (...) call ‘optimal representations’, which are representations that capture all that is relevant to explain a physical phenomenon at a specified level of description. In the end, because the role of mathematics in MEPPs is ultimately representational, they cannot be used to support mathematical Platonism. I finish the paper by addressing the claim, advanced by many EIA defendants, that quantification over mathematical objects results in explanations that have more theoretical virtues, especially that they are more general and modally stronger than alternative explanations. I will show that the EIA cannot be successfully defended by appealing to these notions. (shrink)

Both the defenders and the challengers of the indispensability argument seem to ignore the obvious fact that it is meant to be an analogical inference. In this note, I shall draw attention to this fact so as to avoid unnecessary confusions in any future discussion of the indispensability argument. For this purpose, I shall criticize Maddy’s version of the indispensability argument. After having noted that Quinean holism does not have to be one of the (...) necessary premises, I shall suggest alternative formulations of the indispensability argument as an analogical inference. Also, some further reflections on how to evaluate Maddy’s objections to the indispensability argument will be in due order. (shrink)

We defend Joseph Melia's thesis that the role of mathematics in scientific theory is to ‘index’ quantities, and that even if mathematics is indispensable to scientific explanations of concrete phenomena, it does not explain any of those phenomena. This thesis is defended against objections by Mark Colyvan and Alan Baker.

The indispensability argument is sometimes seen as weakened by its reliance on a controversial premise of confirmation holism. Recently, some philosophers working on the indispensability argument have developed versions of the argument which, they claim, do not rely on holism. Some of these writers even claim to have strengthened the argument by eliminating the controversial premise. I argue that the apparent removal of holism leaves a lacuna in the argument. Without the holistic premise, (...) or some other premise which facilitates the transfer of evidence to mathematical portions of scientific theories, the argument is implausible. (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)

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)

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)

In ‘The varieties of indispensability arguments’ Marco Panza and Andrea Sereni argue that, for any clear notion of indispensability, either there is no conclusive argument for the thesis that mathematics is indispensable to science, or the notion of indispensability at hand does not support mathematical realism. In this paper, I shall not object to this main thesis directly. I shall instead try to assess in a naturalistic spirit a family of objections the authors make along the (...) way to the use of indispensability premises in indispensability arguments. (shrink)

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.

The contemporary Platonists in the philosophy of mathematics argue that mathematical objects exist. One of the arguments by which they support this standpoint is the so-called Enhanced Indispensability Argument (EIA). This paper aims at pointing out the difficulties inherent to the EIA. The first is contained in the vague formulation of the Argument, which is the reason why not even an approximate scope of the set objects whose existence is stated by the Argument can be established. (...) The second problem is reflected in the vagueness of the very term indispensability, which is essential to the Argument. The paper will remind of a recent definition of the concept of indispensability of a mathematical object, reveal its deficiency and propose an improvement of this definition. Following this, we will deal with one of the consequences of the arbitrary employment of the concept of indispensability of a mathematical theory. We will propose a definition of this concept as well, in accordance with the common intuition about it. Eventually, on the basis of these two definitions, the paper will describe the relation between these two concepts, in the attempt to clarify the conceptual apparatus of the EIA. (shrink)

It is an under-appreciated fact that Quine's rejection of the analytic/synthetic distinction, when coupled with some other plausible and related views, implies that there are serious difficulties in demarcating empirical theories from pure mathematical theories within the Quinean framework. This is a serious problem because there seems to be a principled difference between the two disciplines that cannot apparently be captured in the orthodox Quienan framework. For the purpose of simplicity let us call this Quine's problem of demarcation. In this (...) paper this problem will be articulated and it will be shown that the typical sorts of responses to this problem are all unworkable within the Quinean framework. It will then be shown that the lack of resources to solve this problem within the Quinean framework implies that Quine’s version of the indispensability argument cannot get off the ground, for it presupposes the possibility of making such a distinction. (shrink)

The new explanatory or enhanced indispensability argument alleges that our mathematical beliefs are justified by their indispensable appearances in scientific explanations. This argument differs from the standard indispensability argument which focuses on the uses of mathematics in scientific theories. I argue that the new argument depends for its plausibility on an equivocation between two senses of explanation. On one sense the new argument is an oblique restatement of the standard argument. On the (...) other sense, it is vulnerable to an instrumentalist response. Either way, the explanatory indispensability argument is no improvement on the standard one. (shrink)

Using the theory of definite descriptions, Russell and, following him, Quine masterfully challenged Meinong’s Theory of Objects (TO). In this paper, firstly I try to show that although the Russell-Quine’s interpretation of TO has been taken seriously even by many notable Neo-Meinongians and first-rate scholars, yet it is not the ultimately convincing reading of the Theory, at least not when we boil down the theory to Meinong’s primary motives and his essential arguments. Moreover, I show that a form of the (...) indispensability argument is the backbone of Meinong’s theory. The argument is surprisingly akin to what Quine proposed for his realism with regard to the existence of mathematical entities. Consequently, I argue that mathematics plays an important role in Meinong’s argument and hence his overall theory. I believe that in this way the debate between Meinongian and Quinean can be directed to more compromising and fruitful grounds. (shrink)