Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

I explore a challenge that idealisations pose to scientific realism and argue that the realist can best accommodate idealisations by capitalising on certain modal features of idealised models that are underwritten by laws of nature.

There is a tension in Emilie Du Châtelet’s thought on mathematics. The objects of mathematics are ideal or fictional entities; nevertheless, mathematics is presented as indispensable for an account of the physical world. After outlining Du Châtelet’s position, and showing how she departs from Christian Wolff’s pessimism about Newtonian mathematical physics, I show that the tension in her position is only apparent. Du Châtelet has a worked-out defense of the explanatory and epistemic need for mathematical objects, consistent with their metaphysical (...) nonfundamentality. I conclude by sketching how Du Châtelet’s conception of mathematical indispensability differs interestingly from many contemporary approaches. (shrink)

Pure mathematics can play an indispensable role explaining empirical phenomena if recent accounts of insect evolution are correct. In particular, the prime life cycles of cicadas and the geometric structure of honeycombs are taken to undergird an inference to the best explanation about mathematical entities. Neither example supports this inference or the mathematical realism it is intended to establish. Both incorrectly assume that facts about mathematical optimality drove selection for the respective traits and explain why they exist. We show how (...) this problem can be avoided, identify limitations of explanatory indispensability arguments, and attempt to clarify the nature of mathematical explanation. (shrink)

One of the popular realist responses to the pessimistic meta-induction is the ‘selective’ move, where a realist only commits to the ‘working posits’ of a successful theory, and withholds commitment to ‘idle posits’. Antirealists often criticise selective realists for not being able to articulate exactly what is meant by ‘working’ and/or not being able to identify the working posits except in hindsight. This paper aims to establish two results: sometimes a proposition is, in an important sense, ‘doing work’, and yet (...) does not warrant realist commitment, and the realist will be able to respond to PMI-style historical challenges if she can merely show that certain selected posits do not require realist commitment. These two results act to significantly adjust the dialectic vis-à-vis PMI-style challenges to selective realism. (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)

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)

Baker (Mind 114:223–238, 2005; Brit J Philos Sci 60:611–633, 2009) has recently defended what he calls the “enhanced” version of the indispensability argument for mathematical Platonism. In this paper I demonstrate that the nominalist can respond to Baker’s argument. First, I outline Baker’s argument in more detail before providing a nominalistically acceptable paraphrase of prime-number talk. Second, I argue that, for the nominalist, mathematical language is used to express physical facts about the world. In endorsing this line I follow moves (...) made by Saatsi (Brit J Philos Sci 62(1):143–154, 2011). But, unlike Saatsi, I go on to argue that the nominalist requires a paraphrase of prime-number talk, for otherwise we lack an account of what that ‘physical fact’ is in the case of mathematics that seemingly makes reference to prime numbers. (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)

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)

Aidan Lyon has recently argued that some mathematical explanations of empirical facts can be understood as program explanations. I present three objections to his argument.

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)

In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

It is argued that explanations of shock waves display explanatory emergence in two different ways. Firstly, the use of discontinuities to model jumps in flow variables is an example of “physics avoidance”. This is where microphysical details can be ignored in an abstract model thus allowing us access to modal information which cannot be attained in principle in any other way. Secondly, Whitham’s interleaving criterion for continuous shock structure is an example of the way different characteristic scales interact in shock (...) dynamics. To fully explain the shock structure one must take account of these different scales, and by doing so explanations of shock structure have irreducible aspects. Lastly, the implications of this explanatory irreducibility are examined in the context of explanatory indispensability arguments used in realism debates elsewhere in the philosophy of science. It is concluded that explanatory emergence on its own only supports an epistemic form of emergence. Yet this epistemic emergence is fully objective. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

In this paper I shall adopt a possible reading of the notions of ‘explanatory indispensability’ and ‘genuine mathematical explanation in science’ on which the Enhanced Indispensability Argument proposed by Alan Baker is based. Furthermore, I shall propose two examples of mathematical explanation in science and I shall show that, whether the EIA-partisans accept the reading I suggest, they are easily caught in a dilemma. To escape this dilemma they need to adopt some account of explanation and offer a plausible answer (...) to the following ‘question of evidence’: What is a genuine mathematical explanation in empirical science and on what basis do we consider it as such? Finally, I shall suggest how a possible answer to the question of evidence might be given through a specific account of mathematical explanation in science. Nevertheless, the price of adopting this standpoint is that the genuineness of mathematical explanations of scientific facts turns out to be dependent on pragmatic constraints and therefore cannot be plugged in EIA and used to establish existential claims about mathematical objects. (shrink)

Several philosophers have argued that to capture the generality of certain scientific explanations, we must count mathematical facts among their explanantia. I argue that we can better understand these explanations by adopting a more nuanced stance toward mathematical representations, recognizing the role of mathematical representation schemata in representing highly abstract features of physical systems. It is by picking out these abstract but nonmathematical features that explanations appealing to mathematics achieve a high degree of generality. The result is a rich conception (...) of the role of mathematics in scientific explanations that does not require us to treat mathematical facts as explanantia. (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)

The ‘indispensability argument’ for the existence of mathematical objects appeals to the role mathematics plays in science. In a series of publications, Joseph Melia has offered a distinctive reply to the indispensability argument. The purpose of this paper is to clarify Melia’s response to the indispensability argument and to advise Melia and his critics on how best to carry forward the debate. We will begin by presenting Melia’s response and diagnosing some recent misunderstandings of it. Then we will discuss four (...) avenues for replying to Melia. We will argue that the three replies pursued in the literature so far are unpromising. We will then propose one new reply that is much more powerful, and—in the light of this—advise participants in the debate where to focus their energies. (shrink)

Are there genuine mathematical explanations of physical phenomena, and if so, how can mathematical theories, which are typically thought to concern abstract mathematical objects, explain contingent empirical matters? The answer, I argue, is in seeing an important range of mathematical explanations as structural explanations, where structural explanations explain a phenomenon by showing it to have been an inevitable consequence of the structural features instantiated in the physical system under consideration. Such explanations are best cast as deductive arguments which, by virtue (...) of their form, establish that, given the mathematical structure instantiated in the physical system under consideration, the explanandum had to occur. Against the claims of platonists such as Alan Baker and Mark Colyvan, I argue that formulating mathematical explanations as structural explanations in this way shows that we can accept that mathematics can play an indispensable explanatory role in empirical science without committing to the existence of any abstract mathematical objects. (shrink)

Several philosophers have suggested that some scientific explanations work not by virtue of describing aspects of the world’s causal history and relations, but rather by citing mathematical facts. This paper investigates what mathematical facts could be in order for them to figure in such “distinctively mathematical” scientific explanations. For “distinctively mathematical explanations” to be explanations by constraint, mathematical language cannot operate in science as representationalism or platonism describes. It can operate as Aristotelian realism describes. That is because Aristotelian realism enables (...) mathematics to apply to the physical world without a morphism’s mediation. (shrink)

If ontic dependence is the basis of explanation, there cannot be mathematical explanations. Accounting for the explanatory dependency between mathematical properties and empirical phenomena poses i...

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)

So-called ‘distinctively mathematical explanations’ (DMEs) are said to explain physical phenomena, not in terms of contingent causal laws, but rather in terms of mathematical necessities that constrain the physical system in question. Lange argues that the existence of four or more equilibrium positions of any double pendulum has a DME. Here we refute both Lange’s claim itself and a strengthened and extended version of the claim that would pertain to any n-tuple pendulum system on the ground that such explanations are (...) actually causal explanations in disguise and their associated modal conditionals are not general enough to explain the said features of such dynamical systems. We argue and show that if circumscribing the antecedent for a necessarily true conditional in such explanations involves making a causal analysis of the problem, then the resulting explanation is not distinctively mathematical or non-causal. Our argument generalises to other dynamical systems that may have purported DMEs analogous to the one proposed by Lange, and even to some other counterfactual accounts of non-causal explanation given by Reutlinger and Rice. (shrink)

A number of philosophers have recently suggested that some abstract, plausibly non-causal and/or mathematical, explanations explain in a way that is radically dif- ferent from the way causal explanation explain. Namely, while causal explanations explain by providing information about causal dependence, allegedly some abstract explanations explain in a way tied to the independence of the explanandum from the microdetails, or causal laws, for example. We oppose this recent trend to regard abstractions as explanatory in some sui generis way, and argue (...) that a prominent ac- count of causal explanation can be naturally extended to capture explanations that radically abstract away from microphysical and causal-nomological details. To this end, we distinguish di erent senses in which an explanation can be more or less abstract, and analyse the connection between explanations’ abstractness and their explanatory power. According to our analysis abstract explanations have much in common with counterfactual causal explanations. (shrink)

Alan Baker’s enhanced indispensability argument supports mathematical platonism through the explanatory role of mathematics in science. Busch and Morrison defend nominalism by denying that scientific realists use inference to the best explanation to directly establish ontological claims. In response to Busch and Morrison, I argue that nominalists can rebut the EIA while still accepting Baker’s form of IBE. Nominalists can plausibly require that defenders of the EIA establish the indispensability of a particular mathematical entity. Next, I argue that IBE cannot (...) establish that any particular mathematical entity is indispensable. Mathematical entities do not compete with each other in the way physical unobservables do. This lack of competition enables alternative formulations of scientific explanations that use different, but compatible, mathematical entities. The compatibility of these explanations prevents IBE from establishing platonism. (shrink)

Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent and (...) that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (shrink)

We answer three questions: 1. Can we give a wholly mathematical explanation of a physical phenomenon? 2. Can we give a wholly mathematical explanation for a whole physical theory? 3. What is gained or lost in giving a wholly, or partially, mathematical explanation of a phenomenon or a scientific theory? To answer these questions we look at a project developed by Hajnal Andréka, Judit Madarász, István Németi and Gergely Székely. They, together with collaborators, present special relativity theory in a three-sorted (...) first-order formal language. (shrink)

Current analytic metaphysics has been claimed to be, at best, out of touch with modern physics, at worst, actually in conflict with the latter The continuum companion to the philosophy of science, Continuum, London, 2011; Ladyman and Ross Every thing must go: metaphysics naturalized, Oxford University Press, Oxford, 2007). While agreeing with some of these claims, it has been suggested that metaphysics may still be of service by providing a kind of ‘toolbox’ of devices that philosophers of science can access (...) in order to help provide an interpretation of theories in fundamental physics Metaphysics in contemporary physics, Rodopi, Amsterdam, 2015). In this context it has been argued that ‘standard’ forms of dispositionalism simply cannot be sustained in the context of modern physics but that certain ‘non-standard’ views may provide the resources to help explicate the sense in which physics may be regarded as ‘modally informed’. Here that suggestion will be further extended in order to consider the implications both with regard to the overall relevance of metaphysics given advances in science and for the prospects of a naturalised metaphysics more generally. In particular, this paper will focus on three concerns: that the particular tools identified are not, in fact, ‘scientifically disinterested’ and thus that the distinction between ‘naturalised’ and ‘non-naturalised’ metaphysics is at best vague or poorly drawn; that the usefulness of such tools depends on their being shaped to fit the relevant physics and thus the latter ‘guts’ metaphysics; that if metaphysics does prove to be useful in this sense then we have no reason to scorn non-naturalised metaphysics to begin with. (shrink)

What is the role of the imagination in scientific practice? Here I focus on the nature and role of invitations to imagine in certain scientific texts as represented by the example of Einstein’s Special Relativity paper from 1905. Drawing on related discussions in aesthetics, I argue, on the one hand, that this role cannot be simply subsumed under ‘supposition’ but that, on the other, concerns about the impact of genre and symbolism can be dealt with, and hence present no obstacle (...) to regarding imagination as appropriately belief-like. By applying the framework of ‘semi- propositional representations’ and ‘quasi-truth’ to this case I thereby offer a new unitary framework for understanding the epistemology of scientific imagination. (shrink)

Indispensability arguments are among the strongest arguments in support of mathematical realism. Given the controversial nature of their conclusions, it is not surprising that critics have supplied a number of rejoinders to these arguments. In this paper, I focus on one such rejoinder, Melia’s ‘Weasel Response’. The weasel is someone who accepts that scientific theories imply that there are mathematical objects, but then proceeds to ‘take back’ this commitment. While weaseling seems improper, accounts supplied in the literature have failed to (...) explain why. Drawing on examples of weaseling in more mundane contexts, I develop an account of the presumption against weaseling as grounded in a misalignment between two types of commitments. This is good news to the weasel’s opponents. It reinforces that they were right to question the legitimacy of weaseling. This account is also beneficial to the weasel. Uncovering the source of the presumption against weaseling also serves to draw out the challenge that the weasel must meet to override this presumption—what is required to be an ‘honest weasel’. (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)

In the debate over whether mathematical facts, properties, or entities explain physical events (in what philosophers call “extra-mathematical” explanations), Aidan Lyon’s (2012) affirmative answer stands out for its employment of the program explanation (PE) methodology of Frank Jackson and Philip Pettit (1990). Juha Saatsi (2012; 2016) objects, however, that Lyon’s examples from the indispensabilist literature are (i) unsuitable for PE, (ii) nominalizable into non-mathematical terms, and (iii) mysterious about the explanatory relation alleged to obtain between the PE’s mathematical explanantia and (...) physical explananda. In this paper, I propose a counterexample to Saatsi’s objections. My counterexample is Frank Jackson’s (1998a) program explanation for color experience, which I argue needs recasting as an extra-mathematical PE due to its implicit reliance on reflectance, a property that suffers conceptual regress unless redefined with Fourier harmonics. Pace Saatsi, I argue that this recast example is an authoritative PE, non-nominalizable, and minimally esoteric. Important for the indispensability debate at large, moreover, is that my counterexample reifies Fourier harmonics without the Enhanced Indispensability Argument (an argument to which Lyon applies PE as a premise). Indispensabilists have long overlooked the conditionalization of a limited mathematical realism on property realism, and my counterexample to Saatsi exploits this conditionalization. (shrink)

This article examines three candidate cases of non-causal explanation in computational neuroscience. I argue that there are instances of efficient coding explanation that are strongly analogous to examples of non-causal explanation in physics and biology, as presented by Batterman, Woodward, and Lange. By integrating Lange’s and Woodward’s accounts, I offer a new way to elucidate the distinction between causal and non-causal explanation, and to address concerns about the explanatory sufficiency of non-mechanistic models in neuroscience. I also use this framework to (...) shed light on the dispute over the interpretation of dynamical models of the brain. _1_ Introduction _1.1_ Efficient coding explanation in computational neuroscience _1.2_ Defining non-causal explanation _2_ Case I: Hybrid Computation _3_ Case II: The Gabor Model Revisited _4_ Case III: A Dynamical Model of Prefrontal Cortex _4.1_ A new explanation of context-dependent computation _4.2_ Causal or non-causal? _5_ Causal and Non-causal: Does the Difference Matter? (shrink)

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

This paper argues that scientific realism commits us to a metaphysical determination relation between the mathematical entities that are indispensible to scientific explanation and the modal structure of the empirical phenomena those entities explain. The argument presupposes that scientific realism commits us to the indispensability argument. The viewpresented here is that the indispensability of mathematics commits us not only to the existence of mathematical structures and entities but to a metaphysical determination relation between those entities and the modal structure of (...) the physical world. The no-miracles argument is the primary motivation for scientific realism. It is a presupposition of this argument that unobservable entities are explanatory only when they determine the empirical phenomena they explain. I argue that mathematical entities should also be seen as explanatory only when they determine the empirical facts they explain, namely, the modal structure of the physical world. Thus, scientific realism commits us to a metaphysical determination relation between mathematics and physical modality that has not been previously recognized. The requirement to account for the metaphysical dependence of modal physical structure on mathematics limits the class of acceptable solutions to the applicability problem that are available to the scientific realist. (shrink)

Mathematics clearly plays an important role in scientific explanation. Debate continues, however, over the kind of role that mathematics plays. I argue that if pure mathematical explananda and physical explananda are unified under a common explanation within science, then we have good reason to believe that mathematics is explanatory in its own right. The argument motivates the search for a new kind of scientific case study, a case in which pure mathematical facts and physical facts are explanatorily unified. I argue (...) that it is possible for there to be such cases, and provide some toy examples to demonstrate this. I then identify a potential source of scientific case studies as a guide for future work. (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)

The indispensability argument seeks to establish the existence of mathematical objects. The success of the indispensability argument turns on finding cases of genuine extra- mathematical explanation. In this paper, I identify a new case of extra- mathematical explanation, involving the search patterns of fully-aquatic marine predators. I go on to use this case to predict the prevalence of extra- mathematical explanation in science.

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 a genuine explanatory role in science. But how do mathematical explanations work? Recently, a counterfactual approach to mathematical explanation has been suggested. I argue that such a view fails to differentiate the explanatory uses of mathematics within science from the non-explanatory uses. I go on to offer a solution to this problem by combining elements of the counterfactual theory of explanation with elements of a unification theory of explanation. The result is a theory according to which (...) a counterfactual is explanatory when it is an instance of a generalized counterfactual scheme. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)