Indispensability Arguments in Mathematics

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...) be expected by deepening our understanding of the topic. (shrink)

In his influential book, The Nature of Morality, Gilbert Harman writes: “In explaining the observations that support a physical theory, scientists typically appeal to mathematical principles. On the other hand, one never seems to need to appeal in this way to moral principles.” What is the epistemological relevance of this contrast, if genuine? This chapter argues that ethicists and philosophers of mathematics have misunderstood it. They have confused what the chapter calls the justificatory challenge for realism about an area, D—the (...) challenge to justify our D-beliefs—with the reliability challenge for D-realism—the challenge to explain the reliability of our D-beliefs. Harman’s contrast is relevant to the first, but not, evidently, to the second. One upshot of the discussion is that genealogical debunking arguments are fallacious. Another is that indispensability considerations cannot answer the Benacerraf–Field challenge for mathematical realism. (shrink)

Taking mathematics as a language based on empirical experience, I argue for an account of mathematics in which its objects are abstracta that describe and communicate the structure of reality based on some of our ancestral interactions with their environment. I argue that mathematics as a language is mostly invented, and it is mind-dependent in a specific sense. However, the bases of mathematics will characterize it as a real, non-fictional science of structures.

Reflectance physicalists define reflectance as the intrinsic disposition of a surface to reflect light at a given efficiency per wavelength. I criticize a leading account of dispositional reflectance for failing to account for what I call 'harmonic dispersion', the inverse relationship of a light pulse's duration to its bandwidth. I argue that harmonic dispersion renders reflectance defined in terms of light pulses an extrinsic disposition. Reflectance defined as the per-wavelength efficiency to reflect the superimposed, infinite-duration, Fourier harmonics of pulses can (...) be an intrinsic disposition of surfaces. This conclusion raises questions about mathematical realism, about which I nevertheless remain neutral. (shrink)

Infinite idealizations appear in our best scientific explanations of phase transitions. This is thought by some to be paradoxical. In this paper I connect the existing literature on the phase transition paradox to work on the concept of indispensability, which arises in discussions of realism and anti-realism within the philosophy of science and the philosophy of mathematics. I formulate a version of the phase transition paradox based on the idea that infinite idealizations are explanatorily indispensable to our best science, and (...) so ought to attract a realist attitude. I go on to offer a solution to the paradox by drawing a distinction between two types of indispensability: constructive and substantive indispensability. I argue that infinite idealizations are constructively indispensable to explanations of phase transitions, but not substantively indispensable. This helps to resolve the paradox, I maintain, since realist commitment tracks substantive, and not constructive, indispensability. (shrink)

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as ex- planatory generality is concerned. (shrink)

In this paper I will take into examination the relevance of the main indispensability arguments for the comprehension of the applicability of mathematics. I will conclude not only that none of these indispensability arguments are of any help for understanding mathematical applicability, but also that these arguments rather require a preliminary analysis of the problems raised by the applicability of mathematics in order to avoid some tricky difficulties in their formulations. As a consequence, we cannot any longer consider the applicability (...) problems as subordinate to ontological ones: no ontological stance on mathematical entities can offer an easy road to the comprehension of the applicability of mathematics. (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)

A way to argue that something plays an explanatory role in science is by linking explanatory relevance with importance in the context of an explanation. The idea is deceptively simple: a part of an explanation is an explanatorily relevant part of that explanation if removing it affects the explanation either by destroying it or by diminishing its explanatory power, i.e. an important part is an explanatorily relevant part. This can be very useful in many ontological debates. My aim in this (...) paper is twofold. First of all, I will try to assess how this view on explanatory relevance can affect the recent ontological debate in the philosophy of mathematics—as I will argue, contrary to how it may appear at first glance, it does not help very much the mathematical realists. Second of all, I will show that there are big problems with it. (shrink)

A new trend in the philosophical literature on scientific explanation is that of starting from a case that has been somehow identified as an explanation and then proceed to bringing to light its characteristic features and to constructing an account for the type of explanation it exemplifies. A type of this approach to thinking about explanation – the piecemeal approach, as I will call it – is used, among others, by Lange (2013) and Pincock (2015) in the context of their (...) treatment of the problem of mathematical explanations of physical phenomena. This problem is of central importance in two different recent philosophical disputes: the dispute about the existence on non-causal scientific explanations and the dispute between realists and antirealists in the philosophy of mathematics. My aim in this paper is twofold. I will first argue that Lange (2013) and Pincock (2015) fail to make a significant contribution to these disputes. They fail to contribute to the dispute in the philosophy of mathematics because, in this context, their approach can be seen as question begging. They also fail to contribute to the dispute in the general philosophy of science because, as I will argue, there are important problems with the cases discussed by Lange and Pincock. I will then argue that the source of the problems with these two papers has to do with the fact that the piecemeal approach used to account for mathematical explanation is problematic. (shrink)

Can mathematics contribute to our understanding of physical phenomena? One way to try to answer this question is by getting involved in the recent philosophical dispute about the existence of mathematical explanations of physical phenomena. If there is such a thing, given the relation between explanation and understanding, we can say that there is an affirmative answer to our question. But what if we do not agree that mathematics can play an explanatory role in science? Can we still consider that (...) the above question can have an affirmative answer? My main aim here is to give an account that takes mathematics, in some of the cases discussed in the literature, as contributing to our understanding of physical phenomena despite not being explanatory. (shrink)

Philosophers of science have long been concerned with these questions. In the 1980s, influential work by Clark Glymour, Michael Friedman, John Watkins, and Philip Kitcher articulated general accounts of theory unification that attempted to underwrite a connection between unification, truth, and understanding. According to the ‘unifiers,’ as we may call them, a theory is unified to the extent that it has a small theoretical structure relative to the domain of phenomena it covers, and there are general syntactic criteria that allow (...) one to determine how unified a theory is. The explanatory power of a theory, and the understanding of nature it gives us, is a direct consequence of this unity. As well, the more unified a theory is, the better confirmed it will be, and under some conditions a theory’s unity can justify realism about unobservable entities posited by it. In the 1990s disunity became the dominant theme, with books such as John Dupré’s The Disorder of Things and the Galison and Stump anthology arguing that it is a mistake to view science as a unified practice and that rather than an epistemic virtue, unification in science is a metaphysical vice. (shrink)

The debate over whether we should believe that mathematical objects exist quickly leads to the question of how to determine what we should believe. Indispensabilists claim that we should believe in the existence of mathematical objects because of their ineliminable roles in scientific theory. Eleatics argue that only objects with causal properties exist. Mark Colyvan’s recent defenses of Quine’s indispensability argument against some contemporary eleatics attempt to provide reasons to favor the indispensabilist’s criterion. I show that Colyvan’s argument is not (...) decisive against the eleatic and sketch a way to capture the important intuitions behind both views. (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)

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)

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)

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)

It has been recently debated whether there exists a so-called “easy road” to nominalism. In this essay, I attempt to fill a lacuna in the debate by making a connection with the literature on infinite and infinitesimal idealization in science through an example from mathematical physics that has been largely ignored by philosophers. Specifically, by appealing to John Norton’s distinction between idealization and approximation, I argue that the phenomena of fractional quantum statistics bears negatively on Mary Leng’s proposed path to (...) easy road nominalism, thereby partially defending Mark Colyvan’s claim that there is no easy road to nominalism. (shrink)

I critically examine confirmational holism as it pertains to the indispensability arguments for mathematical Platonism. I employ a distinction between pure and applied mathematics that grows out of the often overlooked symbiotic relationship between mathematics and science. I argue that this distinction undercuts the notion that mathematical theories fall under the holistic scope of the confirmation of our scientific theories.Keywords: Confirmational holism; Indispensability argument; Mathematics; Application; Science.

The enhanced mathematical indispensability argument, proposed by Alan Baker (2005), argues that we must commit to mathematical entities, because mathematical entities play an indispensable explanatory role in our best scientific theories. This article clarifies the doctrines that support this argument, namely, the doctrines of naturalism and confirmational holism.

This study addresses a central theme in current philosophy: Platonism vs Naturalism and provides accounts of both approaches to mathematics, crucially discussing Quine, Maddy, Kitcher, Lakoff, Colyvan, and many others. Beginning with accounts of both approaches, Brown defends Platonism by arguing that only a Platonistic approach can account for concept acquisition in a number of special cases in the sciences. He also argues for a particular view of applied mathematics, a view that supports Platonism against Naturalist alternatives. Not only does (...) this engaging book present the Platonist-Naturalist debate over mathematics in a comprehensive fashion, but it also sheds considerable light on non-mathematical aspects of a dispute that is central to contemporary philosophy. (shrink)

There are lots of arguments for, or justifications of, mathematical theorems that make use of principles from physics. Do any of these constitute explanations? On the one hand, physical principles do not seem like they should be explanatorily relevant; on the other, some particular examples of physical justifications do look explanatory. In this article, I defend the idea that physical justifications can and do explain mathematical facts. 1 Physical Arguments for Mathematical Truths2 Preview3 Mathematical Facts4 Purity5 Doubts about Purity: I6 (...) Doubts about Purity: II7 How Physical Arguments Might Explain: I8 How Physical Arguments Might Explain: II9 Conclusion. (shrink)

In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.

Comprehensive resource for indispensability research.

Indispensablists contend that accepting scientific realism while rejecting mathematical realism involves a double standard. I refute this contention by developing an enhanced version of scientific realism, which I call interactive realism. It holds that interactively successful theories are typically approximately true, and that the interactive unobservable entities posited by them are likely to exist. It is immune to the pessimistic induction while mathematical realism is susceptible to it.

I defend a new position in philosophy of mathematics that I call mathematical inferentialism. It holds that a mathematical sentence can perform the function of facilitating deductive inferences from some concrete sentences to other concrete sentences, that a mathematical sentence is true if and only if all of its concrete consequences are true, that the abstract world does not exist, and that we acquire mathematical knowledge by confirming concrete sentences. Mathematical inferentialism has several advantages over mathematical realism and fictionalism.

Dans cet article je propose d'exprimer et de défendre une conception des pratiques et du domaine de discours mathématiques qui soit sensible, d'une part, au pluralisme des relations entre pratiques inférentielles et intérêts, et d'autre part, à la structure objective et déterminante des concepts mathématiques. J'ébauche tout d'abord une caractérisation générale des pratiques, pour ensuite préciser certains phénomènes propres aux pratiques mathématiques. Suit un recensement des idées qui se dégagent des arguments pluralistes, et de celles qui sont à retenir. Mais (...) je défends par la suite la nécessité d'une forme de réalisme mathématique, qui toutefois ne peut être le réalisme d'objets que prônent les partisans de l'argument d'indispensabilité. Je défends plutôt un réalisme des concepts, soutenu par ce que je baptise l'« argument de la contrainte ».In this piece I articulate and defend a conception of mathematical practice and mathematical subject-matter, which is responsive both to a sensible pluralism concerning the connection between inferential practices and guiding interests, on the one hand, and to the objective content-determining structure of mathematical concepts on the other. I begin by sketching a general characterization of practices themselves, and by specifying some of the unique features of mathematical practices. An examination of inferential pluralism follows, and some insights of pluralist arguments are retained. But I argue further for the requirement of some form of mathematical realism, though the object-realism of the indispensability argument is assessed and rejected. My positive proposal argues for a form of concept-realism, which is established by what I call the "argument from constraint.". (shrink)

This paper elaborates on the fictionalist conception of mathematics, and on how it accommodates the obvious fact that mathematical claims are important in application to the physical world. It also replies to Maddy's argument that fictionalism does not have the epistemological advantage over Platonism that it appears to have; the reply involves a discussion of whether mathematics should be regarded as conservative over second order physical theories as well as first order ones.

This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it cannot distinguish mathematics from pseudo-science. I shall clarify Maddy’s arguments and show that (...) the objection can be overcome. I shall then reformulate a novel version of the objection and consider a possible answer, and I shall conclude that mathematical naturalism does not ultimately provide a viable strategy for accommodating an anti-revisionary stance on mathematics within a Quinean naturalist framework. (shrink)

Indispensability-based arguments for mathematical platonism are typically motivated by drawing an analogy between abstract mathematical objects and concrete scientific posits. In this paper, I argue that mathematics can sometimes help to reduce our concrete ontological, ideological, and structural commitments. My focus is on optimization explanations, and in particular the case study involving periodical cicadas. I argue that in this case, stronger mathematical apparatus yields explanations that have fewer concrete commitments. The nominalist cannot accept these more parsimonious explanations without embracing the (...) stronger mathematics, and this poses a challenge for the nominalist position. (shrink)

For quite some time the indispensability arguments of Quine and Putnam were considered a formidable obstacle to anyone who would reject the existence of mathematical objects.1 Various attempts to respond to the indispensability arguments were developed, most notably by Chihara and Field.2 Field tried to defend mathematical fictionalism, according to which the existential assertions of mathematics are false, by showing that the mathematics used in applications is in fact dispensable. Chihara suggested, on the other hand, that mathematics makes true existential (...) assertions, but that these can be interpreted so as to remove the commitment to abstract objects. More recently, there have been various attempts to show that the indispensability arguments contain assumptions that are conceptually misguided in ways having little to do with mathematical content.3 All of this work is of considerable interest, and the result has been a gathering consensus that the indispensability arguments, as put forth by Quine and Putnam, do not provide convincing reason to accept mathematical realism. The focus here will be on the ways of responding to the indispensability arguments, and in particular on the obstacles to fictionalism that remain after the versions of Quine and Putnam are undercut. (shrink)

This reply to Gash’s (Found Sci 2014) commentary on Nescolarde-Selva and Usó-Doménech (Found Sci 2014b) answers the questions raised and at the same time opens up new questions.

Most science requires applied mathematics. This truism underlies the Quine-Putnam indispensability argument: we cannot be mathematical nominalists without rejecting whole swaths of good science that are seamlessly linked with mathematics. One style of response accepts the challenge head-on and attempts to show how to do science without mathematics. There is some consensus that the response fails because the nominalistic apparatus deployed either is not extendible to all of mathematical physics or is merely a deft reconstrual equivalent to standard mathematics. A (...) second style of response denies that indispensability entails realism: when we mathematize a physical problem we treat its physical content as if it were the mathematical representation; provided the two are sufficiently similar, we can use the mathematics to draw conclusions about the physics; even if we cannot represent physical facts without mathematical tools, as-if-fictionalism is reasonable. In this paper I argue that uses of mathematics in science reach deeper than is appreciated by this second response and, indeed, in the more general literature. More specifically, our confidence that we can use the mathematics to draw conclusions about the physics itself depends on mathematics. If the mathematical premises we employ in concluding that a certain application is trustworthy are false, we may lack a justification for supposing that the application will reliably lead us from correct input to correct output. For example, solutions to many physical problems require the determination of a function satisfying a differential equation. Sometimes the existence of a solution for initial value problems can be established directly; where direct methods fail, the existence of a solution must be established indirectly, generally by constructing a sequence of functions that converges to a limit function that satisfies the initial value problem. Moreover, the solution often cannot be evaluated by analytic methods, and scientists must rely on finite element numerical methods to approximate the solution. Mathematical analysis of errors provides further useful information governing the choice of approximation method and of the step size and number of elements needed for the approximation to reach a desired precision. Mathematical physicists rely on the background mathematical theories presupposed in proving the existence of the solutions and approximating them. It is difficult to see how they could do this while adding the fictionalist disclaimer, “But, you know, I don’t believe any of the mathematics I’m using”. It is difficult to see how a fictionalist pursuing the second strategy can account for the soundness of mathematical reasoning in mathematical physics and elsewhere in the sciences. The paper will fill out this argument by appeal to examples and attempt to make clear how mathematics is indispensable to understanding – and thus underwriting our confidence in – applications that would otherwise be shaky approximations and idealizations and how this role is difficult to square with fictionalism. (shrink)