Al Baker

This chapter examines how the general framework for indispensability arguments developed by Enoch in the metaethical context plays out in its ancestral home, the philosophy of mathematics. Enoch’s framework is inspired by the Quine–Putnam type of indispensability argument in mathematics and is liable to inherit the latter’s holism. But once this holism is expunged from Enoch’s framework it turns out that Enoch’s indispensability argument is stronger in the moral than in the mathematical case, since it is more plausible that normative entities are indispensible to all projects of practical deliberation than it is that mathematical entities are indispensible to all projects of scientific theorizing. The upshot is that, given Enoch’s framework, the move away from holism undermines indispensability arguments in mathematics but not in ethics.

In his recent book, The Making of Mathematics, Carol Celucci raises three objections to the possibility of mathematical explanations in science; the Problem of Aboutness, the Problem of Abstraction, and the Problem of Arbitrariness. I argue that only the last of these raises any serious concerns. The current mainstream view on how mathematics is applied in science is that this involves the mapping of physical phenomena onto mathematical apparatus. The mapping is supposed to relate physical structure to mathematical structure, but arbitrariness occurs because any given physical phenomenon exhibits a myriad of different structures. To illustrate, I discuss the well-known bridges of Königsberg example, and the less well-known river crossings of Manhattan example. I explore a possible solution to this problem that involves linking mathematics not to phenomena but to problems. The idea is that a problem may naturally prioritize one physical structure over others, thus picking out a unique structure for the mapping relation.

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.

Philosophical theories of counterfactuals have had relatively little to say about counterfactual reasoning in mathematics. Partly this is because most mathematical counterfactuals seem also to be counterpossibles, in that their antecedents deny some necessary truth. In this chapter, I delineate several different categories of mathematical counterfactual (or “countermathematical”) and then examine in detail a case study from mathematical practice that features counterfactual reasoning about “spoof perfect” numbers. I argue that reasoning about spoof perfect numbers presents both a challenge to philosophical analyses of counterfactuals and a resource for thinking more productively about the role of counterfactual reasoning in mathematics.

In this paper I present a case study of mathematical explanation in science that is new to the philosophical literature, and that arises in the context of estimating the energetic costs of running in bipedal animals. I refer to this as the Bipedal Gait Costs explanation. I argue that it is important for examples of applied mathematics to be driven not just by philosophical and mathematical concerns but also by scientific concerns. After a detailed presentation of the BGC case study, I discuss ways in which it is different from standard examples of MES. One distinctive aspect of BGC is that substantive mathematics occurs at two different levels. I argue for a distinction to be drawn between the mathematical modeling that occurs at one level, which is non-explanatory, and the mathematical theorem which is applied to results gleaned from these models, which is explanatory. I conclude by drawing some connections with broader indispensability-based arguments for platonism in the philosophy of mathematics.

Defenders of the enhanced indispensability argument argue that the most effective route to platonism is via the explanatory role of mathematical posits in science. Various compelling cases of mathematical explanation in science have been proposed, but a satisfactory general philosophical account of such explanations is lacking. In this paper, I lay out the framework for such an account based on the notion of “the mathematical stance.” This is developed by analogy with Dennett’s well-known concept of “the intentional stance.” Roughly, adopting the mathematical stance towards a particular physical phenomenon involves treating it as an abstract mathematical structure for the purposes of prediction and explanation. Interestingly, Dennett himself frequently draws analogies between his intentional stance towards beliefs and desires and scientists’ stance towards centers of gravity. I explore the theoretical role played by centers of gravity within science and discuss how an indispensabilist platonist ought to categorize the ontological status of this type of posit. I conclude with some thoughts on how an approach based on the mathematical stance might be developed into a more general philosophical account of the application of mathematics in science.

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.

The aim of this paper is to open a new front in the debate between platonism and nominalism by arguing that the degree of explanatory entanglement of mathematics in science is much more extensive than has been hitherto acknowledged. Even standard examples, such as the prime life cycles of periodical cicadas, involve a penumbra of mathematical features whose presence can only be explained using relatively sophisticated mathematics. I introduce the term ‘mathematical spandrel’ to describe these penumbral properties, and focus on the property that cicada period lengths are expressible as the sum of two perfect squares. I argue that mathematical spandrels pose a particular problem for nominalism because of the way in which they are entangled with scientific explanations.

According to one popular nominalist picture, even when mathematics features indispensably in scientific explanations, this mathematics plays only a purely representational role: physical facts are represented, and these exclusively carry the explanatory load. I think that this view is mistaken, and that there are cases where mathematics itself plays an explanatory role. I distinguish two kinds of explanatory generality: scope generality and topic generality. Using the well-known periodical-cicada example, and also a new case study involving bicycle gears, I argue that what is picked out by the mathematics are structural facts that go beyond any specific physical facts.

Philosophers of mathematics have become increasingly interested in the explanatory role of mathematics in empirical science, in the context of new versions of the Quinean ‘Indispensability Argument’ which employ inference to the best explanation for the existence of abstract mathematical objects. However, little attention has been paid to analysing the nature of the explanatory relation involved in these mathematical explanations in science (MES). In this paper, I attack the only articulated account of MES in the literature (an account sketched by Mark Steiner), according to which a genuine MES incorporates an explanatory proof of the mathematical result being used. The central case study involves an explanation for why bees build the cells of their honeycombs in the shape of hexagons. I make a distinction between two kinds of MES, mathematics-driven explanation in science and science-driven mathematical explanation, and argue that it is the second category which is both scientifically and philosophical more central. I conclude that the explanatory relation involved in MES is genuinely scientific and hence that the phenomenon of MES poses a challenge to general accounts of scientific explanation.

The aim of the paper is to introduce some of the history and key concepts of network science to a philosophical audience, and to highlight a crucial—and often problematic—presumption that underlies the network approach to complex systems. Network scientists often talk of “the structure” of a given complex system or phenomenon, which encourages the view that there is a unique and privileged structure inherent to the system, and that the aim of a network model is to delineate this structure. I argue that this sort of naïve realism about structure is not a coherent or plausible position, especially given the multiplicity of types of entities and relations that can feature as nodes and links in complex networks.