This article focuses on a case that expert practitioners count as an explanation: a mathematical account of Plateau’s laws for soap films. I argue that this example falls into a class of explanations that I call abstract explanations.explanations involve an appeal to a more abstract entity than the state of affairs being explained. I show that the abstract entity need not be causally relevant to the explanandum for its features to be explanatorily relevant. However, it remains unclear how to unify (...) abstract and causal explanations as instances of a single sort of thing. I conclude by examining the implications of the claim that explanations require objective dependence relations. If this claim is accepted, then there are several kinds of objective dependence relations. 1 Introduction2 A Case3 Abstract and Causal Explanations4 Recent Work on Mathematical Explanation5 Explanation and Dependence6 Conclusion. (shrink)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (shrink)

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader (...) issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument. (shrink)

Comparisons of rival explanations or theories often involve vague appeals to explanatory power. In this paper, we dissect this metaphor by distinguishing between different dimensions of the goodness of an explanation: non-sensitivity, cognitive salience, precision, factual accuracy and degree of integration. These dimensions are partially independent and often come into conflict. Our main contribution is to go beyond simple stipulation or description by explicating why these factors are taken to be explanatory virtues. We accomplish this by using the contrastive-counterfactual approach (...) to explanation and the view of understanding as an inferential ability. By combining these perspectives, we show how the explanatory power of an explanation in a given dimension can be assessed by showing the range of answers it provides to what-if-things-had-been-different questions and the theoretical and pragmatic importance of these questions. Our account also explains intuitions linking explanation to unification or to exhibition of a mechanism. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (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)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

Kit Fine; XIV*—Ontological Dependence, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 269–290, https://doi.org/10.1093/aristote.

The goal of this paper is to develop a counterfactual theory of explanation. The CTE provides a monist framework for causal and non-causal explanations, according to which both causal and non-causal explanations are explanatory by virtue of revealing counterfactual dependencies between the explanandum and the explanans. I argue that the CTE is applicable to two paradigmatic examples of non-causal explanations: Euler’s explanation and renormalization group explanations of universality.

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)

Unlike explanation in science, explanation in mathematics has received relatively scant attention from philosophers. Whereas there are canonical examples of scientific explanations, there are few examples that have become widely accepted as exhibiting the distinction between mathematical proofs that explain why some mathematical theorem holds and proofs that merely prove that the theorem holds without revealing the reason why it holds. This essay offers some examples of proofs that mathematicians have considered explanatory, and it argues that these examples suggest a (...) particular account of explanation in mathematics. The essay compares its account to Steiner's and Kitcher's. Among the topics that arise are proofs that exploit symmetries, mathematical coincidences, brute-force proofs, simplicity in mathematics, merely clever proofs, and proofs that unify what other proofs treat as separate cases. (shrink)

Although there is a consensus among philosophers of mathematics and mathematicians that mathematical explanations exist, only a few authors have proposed accounts of explanation in mathematics. These accounts fit into the unificationist or top-down approach to explanation. We argue that these models can be complemented by a bottom-up approach to explanation in mathematics. We introduce the mechanistic model of explanation in science and discuss the possibility of using this model in mathematics, arguing that using it does not presuppose a Platonist (...) view of mathematics and allows one to gain insight into why a theorem is true by answering what-if-things-had-been-different questions. (shrink)

Ardon Lyon; VIII*—The Immutable Laws of Nature1, Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 107–126, https://doi.org/10.109.

Throughout history, mathematicians have expressed preference for solutions to problems that avoid introducing concepts that are in one sense or another “foreign” or “alien” to the problem under investigation. This preference for “purity” (which German writers commonly referred to as “methoden Reinheit”) has taken various forms. It has also been persistent. This notwithstanding, it has not been analyzed at even a basic philosophical level. In this paper we give a basic analysis of one conception of purity—what we call topical purity—and (...) discuss its epistemological significance. (shrink)

The Enhanced Indispensability Argument (Baker [ 2009 ]) exemplifies the new wave of the indispensability argument for mathematical Platonism. The new wave capitalizes on mathematics' role in scientific explanations. I will criticize some analyses of mathematics' explanatory function. In turn, I will emphasize the representational role of mathematics, and argue that the debate would significantly benefit from acknowledging this alternative viewpoint to mathematics' contribution to scientific explanations and knowledge.

This paper examines contemporary attempts to explicate the explanatory role of mathematics in the physical sciences. Most such approaches involve developing so-called mapping accounts of the relationships between the physical world and mathematical structures. The paper argues that the use of idealizations in physical theorizing poses serious difficulties for such mapping accounts. A new approach to the applicability of mathematics is proposed.

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.

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.

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

This paper explores some issues about the choice of variables for causal representation and explanation. Depending on which variables a researcher employs, many causal inference procedures and many treatments of causation will reach different conclusions about which causal relationships are present in some system of interest. The assumption of this paper is that some choices of variables are superior to other choices for the purpose of causal analysis. A number of possible criteria for variable choice are described and defended within (...) a broadly interventionist approach to causation. (shrink)

This paper provides an inferentialist account of model-based understanding by combining a counterfactual account of explanation and an inferentialist account of representation with a view of modeling as extended cognition. This account makes it understandable how the manipulation of surrogate systems like models can provide genuinely new empirical understanding about the world. Similarly, the account provides an answer to the question how models, that always incorporate assumptions that are literally untrue of the model target, can still provide factive explanations. Finally, (...) the paper shows how the contrastive counterfactual theory of explanation can provide tools for assessing the explanatory power of models. (shrink)

We reassess Woodward’s counterfactual account of explanation in relation to regularity explananda. Woodward presents an account of causal explanation. We argue, by using an explanation of Kleiber’s law to illustrate, that the account can also cover some noncausal explanations. This leads to a tension between the two key aspects of Woodward’s account: the counterfactual aspect and the causal aspect. We explore this tension and make a case for jettisoning the causal aspect as constitutive of explanatory power in connection with regularity (...) explananda. (shrink)

A prominent approach to scientific explanation and modeling claims that for a model to provide an explanation it must accurately represent at least some of the actual causes in the event's causal history. In this paper, I argue that many optimality explanations present a serious challenge to this causal approach. I contend that many optimality models provide highly idealized equilibrium explanations that do not accurately represent the causes of their target system. Furthermore, in many contexts, it is in virtue of (...) their independence of causes that optimality models are able to provide a better explanation than competing causal models. Consequently, our account of explanation and modeling must expand beyond the causal approach. (shrink)

Certain scientific explanations of physical facts have recently been characterized as distinctively mathematical –that is, as mathematical in a different way from ordinary explanations that employ mathematics. This article identifies what it is that makes some scientific explanations distinctively mathematical and how such explanations work. These explanations are non-causal, but this does not mean that they fail to cite the explanandum’s causes, that they abstract away from detailed causal histories, or that they cite no natural laws. Rather, in these explanations, (...) the facts doing the explaining are modally stronger than ordinary causal laws or are understood in the why question’s context to be constitutive of the physical arrangement at issue. A distinctively mathematical explanation works by showing the explanandum to be more necessary than ordinary causal laws could render it. Distinctively mathematical explanations thus supply a kind of understanding that causal explanations cannot. 1 Introduction2 Some Distinctively Mathematical Scientific Explanations3 Are Distinctively Mathematical Explanations Set Apart by their Failure to Cite Causes? 4 Distinctively Mathematical Explanations do not Exploit Causal Powers5 How these Distinctively Mathematical Explanations Work6 Conclusion. (shrink)

The question as to whether there are mathematical explanations of physical phenomena has recently received a great deal of attention in the literature. The answer is potentially relevant for the ontology of mathematics; if affirmative, it would support a new version of the indispensability argument for mathematical realism. In this article, I first review critically a few examples of such explanations and advance a general analysis of the desiderata to be satisfied by them. Second, in an attempt to strengthen the (...) realist position, I propose a new type of example, drawing on probabilistic considerations. 1 Introduction2 Mathematical Explanations2.1 ‘Simplicity’3 An Average Story: The Banana Game3.1 Some clarifications3.2 Hopes and troubles for the nominalist3.3 New hopes?3.4 New troubles4 Conclusion. (shrink)

This paper argues that in at least some cases, one proof of a given theorem is deeper than another by virtue of supplying a deeper explanation of the theorem — that is, a deeper account of why the theorem holds. There are cases of scientific depth that also involve a common abstract structure explaining a similarity between two otherwise unrelated phenomena, making their similarity no coincidence and purchasing depth by answering why questions that separate, dissimilar explanations of the two phenomena (...) cannot correctly answer. The connections between explanation, depth, unification, power, and coincidence in mathematics and science are compared. (shrink)

Mechanisms are often characterized as causal structures and the interventionist account of causation is then used to characterize what it is to be a causal structure. The associated modularity constraint on causal structures has evoked criticism against using the theory as an account of mechanisms, since many mechanisms seem to violate modularity. This paper answers to this criticism by making a distinction between a causal system and a causal structure. It makes sense to ask what the modularity properties of a (...) given causal structure are, but not whether a causal system is modular tout court. The counter-examples to the interventionist account are systems in which a particular structure is modular in variables, but not in parameters. A failure of parameter-modularity does not by itself threaten the interventionist interpretation of the structure and the possibility of causally explaining with that structure, but it does mean that knowledge of the structure is not sufficient to constitutively explain system-level properties of the embedding system. (shrink)