The recognition of striking regularities in the physical world plays a major role in the justification of hypotheses and the development of new theories both in the natural sciences and in philosophy. However, while scientists consider only strictly natural hypotheses as explanations for such regularities, philosophers also explore meta-natural hypotheses. One example is mathematical realism, which proposes the existence of abstract mathematical entities as an explanation for the applicability of mathematics in the sciences. Another example is theism, which (...) offers the existence of a supernatural being as an explanation for the design-like appearance of the physical cosmos. Although all meta-natural hypotheses defy empirical testing, there is a strong intuition that some of them are more warranted than others. The goal of this paper is to sharpen this intuition into a clear criterion for the admissibility of meta-natural explanations for empirical facts. Drawing on recent debates about the indispensability of mathematics and teleological arguments for the existence of God, I argue that a meta-natural explanation is admissible just in case the explanation refers to an entity that, though not itself causally efficacious, guarantees the instantiation of a causally efficacious entity that is an actual cause of the regularity. (shrink)

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)

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.

Mathematical concepts are explications, in Carnap's sense, of vague or otherwise non-clear concepts; mathematical theories have an empirical and a deductive component. From this perspective, I argue that the empirical component of a mathematical theory may be tested together with the fruitfulness of its explications. Using these ideas, I furthermore give an argument for mathematical realism, based on the indispensability argument combined with a weakened version of confirmational holism.

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of (...) mathematical theorems can cover at most one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (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)

This discussion note points to some verbal imprecisions in the formulation of the Enhanced Indispensability Argument. The examination of the plausibility of alternative interpretations reveals that the argument’s minor premise should be understood as a particular, not a universal, statement. Interpretations of the major premise and the conclusion oscillate between de re and de dicto readings. The attempt to find an appropriate interpretation for the EIA leads to undesirable results. If assumed to be valid and sound, the argument warrants (...) the rationality of the belief in an unusual variant of Platonism. On the other hand, if taken as it stands, the argument is either invalid or is unsound or does not support the mathematical Platonism. Thus, the EIA in its present form cannot serve as a useful device for the Platonist. (shrink)

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

Realists persuaded by indispensability arguments af- firm the existence of numbers, genes, and quarks. Van Fraassen's empiricism remains agnostic with respect to all three. The point of agreement is that the posits of mathematics and the posits of biology and physics stand orfall together. The mathematical Platonist can take heart from this consensus; even if the existence of num- bers is still problematic, it seems no more problematic than the existence of genes or quarks. If the two positions (...) just described were the only ones possible, there could be no objection to this melding of numbers with genes and quarks. However, the position I call contrastive empiricism (Sober 1990a) stands opposed to both realism and to Van Fraassen's em- piricism. As it turns out, contrastive empiricism entails that coalesc- ing mathematics with empirical science is highly problematic. I believe that there is an important kernel of truth in abductive ar- guments for genes and quarks. But no counterpart argument exists for the case of numbers. Of course, the existence of this third way would be uninteresting, if contrastive empiricism were wholly implausible. However, I will argue that contrastive empiricism captures what makes sense in standard versions of realism and empiricism, while avoiding the excesses of each. This third way is a middle way; it cannot be dismissed out of hand. (shrink)

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

The subject with which Mark Colyvan's book deals is timely indeed. While discussions of mathematical ontology have been a mainstay in philosophy of mathematics for the last century (at least), for the last thirty years or so this discussion has begun with (and often not left) the Quine/Putnam indispensability argument. Though the argument is widely cited, to my knowledge this is the first book-length project exclusively dedicated to articulating and defending the Quine/Putnam indispensability argument for mathematical (...) platonism. In the first section below, I shall run through a summary of the book (following its chapter layout) with a few critical remarks. In the second section I shall raise a few critical issues organized topically. (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)

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)

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.

The literature on the indispensability argument for mathematical realism often refers to the ‘indispensable explanatory role’ of mathematics. I argue that we should examine the notion of explanatory indispensability from the point of view of specific conceptions of scientific explanation. The reason is that explanatory indispensability in and of itself turns out to be insufficient for justifying the ontological conclusions at stake. To show this I introduce a distinction between different kinds of explanatory roles—some ‘thick’ and (...) ontologically committing, others ‘thin’ and ontologically peripheral—and examine this distinction in relation to some notable ‘ontic’ accounts of explanation. I also discuss the issue in the broader context of other ‘explanationist’ realist arguments. (shrink)

In his influential 1960 paper ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Eugene P. Wigner raises the question of why something that was developed without concern for empirical facts—mathematics—should turn out to be so powerful in explaining facts about the natural world. Recent philosophy of science has developed ‘Wigner’s puzzle’ in two different directions: First, in relation to the supposed indispensability of mathematical facts to particular scientific explanations and, secondly, in connection with the idea that aesthetic (...) criteria track theoretical desiderata such as empirical success. An important aspect of Wigner’s article has, however, been overlooked in these debates: his worries about the underdetermination of physical theories by mathematical frameworks. The present paper argues that, by restoring this aspect of Wigner’s argument to its proper place, Wigner’s puzzle may become an instructive case study for the teaching of core issues in the philosophy of science and its history. (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)

Indispensability arguments occupy a prominent role in discussions of mathematical realism. While different versions of these arguments are discussed in the literature, their general structure remains the same. These arguments contend that insofar as reference to mathematical objects is indispensable to science, we are committed to the existence of these ‘objects’. Unsurprisingly, much of the debate concerning indispensability arguments focuses on the crucial contention that mathematical objects are indispensable to science. For these arguments to provide (...) support for mathematical realism, what we require are some compelling examples of mathematics playing an indispensable role in science. Towards this end, Alan Baker has supplied an example in which mathematics appears to be indispensable to a scientific explanation, what has come to be called the “Cicada MES”. This example has been the subject of much criticism, most notably that it depends on an unsupported empirical supposition. Recently, Baker proposed a number of revisions to the Cicada MES that aim to address some of these criticisms. In this paper, I argue that while Baker’s revisions go some way towards mitigating prominent criticisms of the Cicada MES, the underlying problem with the explanation remains. I argue that his revisions actually go in the wrong direction mathematically and empirically. In contrast, I propose a new Cicada MES. This new version accomplishes Baker’s goals and responds to the central objection to the explanation. It invokes a mathematical principle that plays a unifying role in the explanation, which makes providing adequate nominalist surrogates more difficult. And, more importantly, it accommodates an empirically grounded explanation of the phenomenon to be explained. Consequently, this new Cicada MES provides what proponents of indispensability arguments require, a compelling example of mathematics playing an indispensable role in science. (shrink)

The ramifications are explored of taking physical theories to commit their advocates only to ‘physically real’ entities, where ‘physically real’ means ‘causally efficacious’ (e.g., actual particles moving through space, such as dust motes), the ‘physically significant’ (e.g., centers of mass), and the merely mathematical—despite the fact that, in ordinary physical theory, all three sorts of posits are quantified over. It's argued that when such theories are regimented, existential quantification, even when interpreted ‘objectually’ (that is, in terms of satisfaction via (...) variables, rather than by substitution-instances) need not imply any ontological commitments. (shrink)

The author of “Evidence, Explanation, Enhanced Indispensability” advances a criticism to the Enhanced Indispensability Argument and the use of Inference to the Best Explanation in order to draw ontological conclusions from mathematical explanations in science. His argument relies on the availability of equivalent though competing explanations, and a pluralist stance on explanation. I discuss whether pluralism emerges as a stable position, and focus here on two main points: whether cases of equivalent explanations have been actually offered, and (...) which ontological consequences should follow from these. (shrink)

The main task of this paper is to defend anti-platonism by providing an anti-platonist (in particular, a fictionalist) account of the indispensable applications of mathematics to empirical science.

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.

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)

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)

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this (...) work is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)

Indispensability arguments purport to show that empirical data provide evidence for the existence of mathematical entities. In this paper we argue that indispensability arguments fail to show that empirical data bears on the mathematical. In order to show this we attempt to clarify what it is to be mathematical , and separate the question whether abstracta in general exist from whether distinctively mathematical abstracta exist. We introduce the notion of an ‘agnostified’ empirical theory as (...) a heuristic device for clarifying the role of mathematical terminology in empirical theories. The special case of spaces is then briefly considered. (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.

Inference to the best explanation (IBE) is the principle of inference according to which, when faced with a set of competing hypotheses, where each hypothesis is empirically adequate for explaining the phenomena, we should infer the truth of the hypothesis that best explains the phenomena. When our theories correctly display this principle, we call them our ‘best’. In this paper, I examine the explanatory role of mathematics in our best scientific theories. In particular, I will elucidate the enormous utility of (...) mathematical structures. I argue from a reformed indispensability argument that mathematical structures are explanatorily indispensable to our best scientific theories. Therefore, IBE scientific realism entails mathematical realism. I develop a naturalistic, neo-Quinean ontology, which grounds physical and mathematical entities in structures. Mathematical structures are the truthmakers for the entities of our quantificational discourse. I also develop an ‘ontic conception’ of explanation, according to which explanations exist in the world, whether or not we discover and model them. I apply the ontic account to mathematical structures, arguing that these structures are the explanations for particles, forces, and even the conservation laws of physics. As such, mathematical structures provide the fundamental grounding for ontological commitment. I conclude by reviewing the evidence from modern physics for the existence of mathematical structures. (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)

In this paper, I examine Putnam’s nuanced views in the philosophy of mathematics, distinguishing three proposals: modalism, quasi-empirical realism, and an indispensability view. I argue that, as he shifted through these views, Putnam aimed to preserve a semantic realist account of mathematics that avoids platonism. In the end, however, each of the proposals faces significant difficulties. A form of skepticism then emerges.

This book offers a defence of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of (...) our best empirical theories are (at least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focused on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. This book, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized. (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)

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)

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

When considering mathematical realism, some scientific realists reject it, and express sympathy for the opposite view, mathematical nominalism; moreover, many justify this option by invoking the causal inertness of mathematical objects. The main aim of this note is to show that the scientific realists’ endorsement of this causal mathematical nominalism is in tension with another position some of them also accept, the doctrine of methodological naturalism. By highlighting this conflict, I intend to tip the balance in (...) favor of a rival of mathematical nominalism, the mathematical realist position supported by the ‘Indispensability Argument’ – but I do this indirectly, by showing that the road toward it is not blocked by considerations from causation. (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 Quine/Putnam indispensability approach to the confirmation of mathematical theories in recent times has been the subject of significant criticism. In this paper I explore an alternative to the Quine/Putnam indispensability approach. I begin with a van Fraassen-like distinction between accepting the adequacy of a mathematical theory and believing in the truth of a mathematical theory. Finally, I consider the problem of moving from the adequacy of a mathematical theory to its truth. I argue (...) that the prospects for justifying this move are qualitatively worse in mathematics than they are in science. (shrink)

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