I identify and characterize a type of noncausal explanation in physics. I first introduce a distinction, between the physical properties of a system, and the representational properties of the mathematical expressions of the system’s physical properties. Then I introduce a novel kind of property, which I shall call a dual property. This is a special kind of representational property, one for which there is an interpretation as a physical property. It is these dual properties that, I claim, are amenable to (...) noncausal (mathematical, in fact) explanations. I discuss a typical example of such a dual property, and an example of an explanation as to why that dual property holds (the explanation of the quantization of the linear momentum). (shrink)

ABSTRACT Our goal in this paper is to extend counterfactual accounts of scientific explanation to mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of one mathematical fact in terms of another. We offer a basic counterfactual theory of intra-mathematical explanations, before modelling the explanatory structure of a test case using counterfactual machinery. We finish by considering the application of counterpossibles to mathematical explanation, and explore a second test case along these lines.

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)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

The paper presents, and discusses, four candidate explanations of the structure, and construction, of the bees’ honeycomb. So far, philosophers have used one of these four explanations, based on the mathematical Honeycomb Conjecture, while the other three candidate explanations have been ignored. I use the four cases to resolve a dispute between Pincock and Baker about the Honeycomb Conjecture explanation. Finally, I find that the two explanations focusing on the construction mechanism are more promising than those focusing exclusively on the (...) resulting, optimal structure. The main reason for this is that optimal structures do not uniquely determine the relevant optimization leading to the optimal structure. (shrink)

This paper provides a sorely-needed evaluation of the view that mathematical explanations in science explain by unifying. Illustrating with some novel examples, I argue that the view is misguided. For believers in mathematical explanations in science, my discussion rules out one way of spelling out how they work, bringing us one step closer to the right way. For non-believers, it contributes to a divide-and-conquer strategy for showing that there are no such explanations in science. My discussion also undermines the appeal (...) to unifying power in support of the enhanced indispensability argument. (shrink)

I show how mathematical platonism combined with belief in the God of classical theism can respond to Field's epistemological objection. I defend an account of divine mathematical knowledge by showing that it falls out of an independently motivated general account of divine knowledge. I use this to explain the accuracy of God's mathematical beliefs, which in turn explains the accuracy of our own. My arguments provide good news for theistic platonists, while also shedding new light on Field's influential objection.

This paper is aimed at identifying how a model’s explanatory power is constructed and identified, particularly in the practice of template-based modeling (Humphreys, Philos Sci 69:1–11, 2002; Extending ourselves: computational science, empiricism, and scientific method, 2004), and what kinds of explanations models constructed in this way can provide. In particular, this paper offers an account of non-causal structural explanation that forms an alternative to causal–mechanical accounts of model explanation that are currently popular in philosophy of biology and cognitive science. Clearly, (...) defences of non-causal explanation are far from new (e.g. Batterman, Br J Philos Sci 53:21–38, 2002a; The devil in the details: asymptotic reasoning in explanation, reduction, and emergence, 2002b; Pincock, Noûs 41:253–275, 2007; Mathematics and scientific representation 2012; Rice, Noûs. doi:10.1111/nous.12042, 2013; Biol Philos 27:685–703, 2012), so the targets here are focused on a particular type of robust phenomenon and how strong invariance to interventions can block a range of causal explanations. By focusing on a common form of model construction, the paper also ties functional or computational style explanations found in cognitive science and biology more firmly with explanatory practices across model-based science in general. (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)

Tim travels back in time and tries to kill his grandfather before his father was born. Tim fails. But why? Lewis's response was to cite "coincidences": Tim is the unlucky subject of gun jammings, banana peels, sudden changes of heart, and so on. A number of challenges have been raised against Lewis's response. The latest of these focuses on explanation. This paper diagnoses the source of this new disgruntlement and offers an alternative explanation for Tim's failure, one that Lewis would (...) not have liked. The explanation is an obvious one but controversial, so it is defended against all the objections that can be mustered. (shrink)

Enhanced indispensability arguments seek to establish realism about mathematics based on the explanatory role that mathematics plays in science. Idealizations pose a problem for such arguments. Idealizations, in a similar way to mathematics, boost the explanatory credentials of our best scientific theories. And yet, idealizations are not the sorts of things that are supposed to attract a realist attitude. I argue that the explanatory symmetry between idealizations and mathematics can potentially be broken as follows: although idealizations contribute to the explanatory (...) power of our best theories, they do not carry the explanatory load. It is at least open however that mathematics is load-carrying. To give this idea substance, I offer an analysis of what it is to carry the explanatory load in terms of difference-making and counterfactuals. (shrink)

It has seemed, to many, that there is an important connection between the ways in which some theoretical posits explain our observations, and our reasons for being ontologically committed to those posits. One way to spell out this connection is in terms of what has become known as the explanatory criterion of ontological commitment. This is, roughly, the view that we ought to posit only those entities that are indispensable to our best explanations. Our primary aim is to argue that (...) the moral nonnaturalist places herself in an invidious position if she simply accepts that the nonnatural moral facts that she posits are not explanatory. Instead, we offer the nonnaturalist an alternative strategy for dealing with moral explanations. The strategy is to retain the explanatory criterion of ontological commitment and maintain that moral properties are, in fact, explanatory. The explanations they provide are not causal explanations; instead, moral properties make a non-causal difference to the physical facts. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

Mathematics appears to play an explanatory role in science. This, in turn, is thought to pave a way toward mathematical Platonism. A central challenge for mathematical Platonists, however, is to provide an account of how mathematical explanations work. I propose a property-based account: physical systems possess mathematical properties, which either guarantee the presence of other mathematical properties and, by extension, the physical states that possess them; or rule out other mathematical properties, and their associated physical states. I explain why Platonists (...) should accept that physical systems have mathematical properties, and why a property based account is better than existing accounts of mathematical explanation. I close by considering whether nominalists can accept the view I propose here. I argue that they cannot. (shrink)

Can there be mathematical explanations of physical phenomena? In this paper, I suggest an affirmative answer to this question. I outline a strategy to reconstruct several typical examples of such explanations, and I show that they fit a common model. The model reveals that the role of mathematics is explicatory. Isolating this role may help to re-focus the current debate on the more specific question as to whether this explicatory role is, as proposed here, also an explanatory one.

ABSTRACT Can there be mathematical explanations of physical phenomena? In this paper, I suggest an affirmative answer to this question. I outline a strategy to reconstruct several typical examples of such explanations, and I show that they fit a common model. The model reveals that the role of mathematics is explicatory. Isolating this role may help to re-focus the current debate on the more specific question as to whether this explicatory role is, as proposed here, also an explanatory one.

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)

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)

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

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

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (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)