One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, (...) an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

The bridges of Königsberg case has been widely cited in recent philosophical discussions on scientific explanation as a potential example of a structural explanation of a physical phenomenon. However, when discussing this case, different authors have focused on two different versions, depending on what they take the explanandum to be. In one version, the explanandum is the _failure_ of a given individual in performing an Eulerian walk over the bridge system. In the other version, the explanandum is the _impossibility_ of (...) performing an Eulerian walk over the bridges. The goal of this paper is to show that only the latter version amounts to a real case of a structural explanation. I will also suggest how to fix the first version, and show how my remarks apply to other purported cases of structural explanations. (shrink)

Extra-mathematical explanations explain natural phenomena primarily by appeal to mathematical facts. Philosophers disagree about whether there are extra-mathematical explanations, the correct account of them if they exist, and their implications (e.g., for the philosophy of scientific explanation and for the metaphysics of mathematics) (Baker 2005, 2009; Bangu 2008; Colyvan 1998; Craver and Povich 2017; Lange 2013, 2016, 2018; Mancosu 2008; Povich 2019, 2020; Steiner 1978). In this discussion note, I present three desiderata for any account of extra-mathematical explanation and argue (...) that Baron’s (2020) U-Counterfactual Theory fails to meet each of them. I conclude with some reasons for pessimism that a successful account will be forthcoming. (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)

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)

In the last two decades, philosophy of neuroscience has predominantly focused on explanation. Indeed, it has been argued that mechanistic models are the standards of explanatory success in neuroscience over, among other things, topological models. However, explanatory power is only one virtue of a scientific model. Another is its predictive power. Unfortunately, the notion of prediction has received comparatively little attention in the philosophy of neuroscience, in part because predictions seem disconnected from interventions. In contrast, we argue that topological predictions (...) can and do guide interventions in science, both inside and outside of neuroscience. Topological models allow researchers to predict many phenomena, including diseases, treatment outcomes, aging, and cognition, among others. Moreover, we argue that these predictions also offer strategies for useful interventions. Topology-based predictions play this role regardless of whether they do or can receive a mechanistic interpretation. We conclude by making a case for philosophers to focus on prediction in neuroscience in addition to explanation alone. (shrink)

Lange argues that some natural phenomena can be explained by appeal to mathematical, rather than natural, facts. In these “distinctively mathematical” explanations, the core explanatory facts are either modally stronger than facts about ordinary causal law or understood to be constitutive of the physical task or arrangement at issue. Craver and Povich argue that Lange’s account of DME fails to exclude certain “reversals”. Lange has replied that his account can avoid these directionality charges. Specifically, Lange argues that in legitimate DMEs, (...) but not in their “reversals,” the empirical fact appealed to in the explanation is “understood to be constitutive of the physical task or arrangement at issue” in the explanandum. I argue that Lange’s reply is unsatisfactory because it leaves the crucial notion of being “understood to be constitutive of the physical task or arrangement” obscure in ways that fail to block “reversals” except by an apparent ad hoc stipulation or by abandoning the reliance on understanding and instead accepting a strong realism about essence. (shrink)

Lange’s collection of expanded, mostly previously published essays, packed with numerous, beautiful examples of putatively non-causal explanations from biology, physics, and mathematics, challenges the increasingly ossified causal consensus about scientific explanation, and, in so doing, launches a new field of philosophic investigation. However, those who embraced causal monism about explanation have done so because appeal to causal factors sorts good from bad scientific explanations and because the explanatory force of good explanations seems to derive from revealing the relevant causal (or (...) ontic) structures. The taxonomic project of collecting examples and sorting their types is an essential starting place for a theory of non-causal explanation. But the title of Lange’s book requires something further: showing that the putative explanations are, in fact, explanatory and revealing the non-causal source of their explanatory power. This project is incomplete if there are examples of putative non-causal explanations that fit the form but that nobody would accept as explanatory (absent a radical revision of intuitions). Here we provide some reasons for thinking that there are such examples. (shrink)

Recent literature on non-causal explanation raises the question as to whether explanatory monism, the thesis that all explanations submit to the same analysis, is true. The leading monist proposal holds that all explanations support change-relating counterfactuals. We provide several objections to this monist position. 1Introduction2Change-Relating Monism's Three Problems3Dependency and Monism: Unhappy Together4Another Challenge: Counterfactual Incidentalism4.1High-grade necessity4.2Unity in diversity5Conclusion.

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what the (...) world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (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)

This chapter provides a systematic overview of topological explanations in the philosophy of science literature. It does so by presenting an account of topological explanation that I (Kostić and Khalifa 2021; Kostić 2020a; 2020b; 2018) have developed in other publications and then comparing this account to other accounts of topological explanation. Finally, this appraisal is opinionated because it highlights some problems in alternative accounts of topological explanations, and also it outlines responses to some of the main criticisms raised by the (...) so-called new mechanists. (shrink)

Proponents of ontic conceptions of explanation require all explanations to be backed by causal, constitutive, or similar relations. Among their justifications is that only ontic conceptions can do justice to the ‘directionality’ of explanation, i.e., the requirement that if X explains Y , then not-Y does not explain not-X . Using topological explanations as an illustration, we argue that non-ontic conceptions of explanation have ample resources for securing the directionality of explanations. The different ways in which neuroscientists rely on multiplexes (...) involving both functional and anatomical connectivity in their topological explanations vividly illustrate why ontic considerations are frequently (if not always) irrelevant to explanatory directionality. Therefore, directionality poses no problem to non-ontic conceptions of explanation. (shrink)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)

Marcello Barbieri has presented code biology as an alternative to the Peircean approach to biosemiotics. Some critics questioned the viability of code biology on grounds that Barbieri’s conception of science is limited. It has been argued that code biology’s mechanistic tendency is the cause of the allegedly limited conception of science. In this paper, I evaluate the scientific viability of the code model from the perspective of scientific realism in the philosophy of science. To be more precise, I draw on (...) resources of the mechanistic view in philosophy to argue that far from harbouring a limited conception of science, code biology could indeed improve the scientific prospects of biosemiotics. I show that the mechanistic and model-based tendency of the code model enhances its vigour as a full-blooded scientific approach to the study of meaning in living systems. To consolidate my claim, I draw on some recent debates in the mechanistic philosophy to argue that even relational approaches to understanding the meaning in living systems—such as an approach that is defended by Vega in a recent paper—could be underpinned by mechanistic processes at a foundational level. (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)

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.

This paper advances the view that some explanations in cognitive science are extra-mathematical explanations. Demonstrating the plausibility of this interpretation centers around certain efficient coding cases which ineliminably enlist information theoretic laws, facts and theorems to identify in-principle, mathematical constraints on neuronal information processing capacities. The explanatory structure in these cases is shown to parallel other putative instances of mathematical explanation. The upshot for cognitive mathematical explanations is thus two-fold: first, the view capably rebuts standard mechanistic objections to non-mechanistic explanation; (...) second, this view serves to importantly widen the possibility space for non-mechanistic forms of explanation in cognitive science. (shrink)

It is generally accepted that, in the cognitive and neural sciences, there are both computational and mechanistic explanations. We ask how computational explanations can integrate into the mechanistic hierarchy. The problem stems from the fact that implementation and mechanistic relations have different forms. The implementation relation, from the states of an abstract computational system to the physical, implementing states is a homomorphism mapping relation. The mechanistic relation, however, is that of part/whole; the explaining features in a mechanistic explanation are the (...) components of the explanandum phenomenon and their causal organization. Moreover, each component in one level of mechanism is constituted and explained by components of an underlying level of mechanism. Hence, it seems, computational variables and functions cannot be mechanistically explained by the medium-dependent states and properties that implement them. How then, do the computational and the implementational integrate to create the mechanistic hierarchy? After explicating the general problem, we further demonstrate it through a concrete example, of reinforcement learning, in the cognitive and neural sciences. We then examine two possible solutions. On one solution, the mechanistic hierarchy embeds at the same levels computational and implementational properties. This picture fits with the view that computational explanations are mechanistic sketches. On the other solution, there are two separate hierarchies, one computational and another implementational, which are related by the implementation relation. This picture fits with the view that computational explanations are functional and autonomous explanations. It is less clear how these solutions fit with the view that computational explanations are full-fledged mechanistic explanations. Finally, we argue that both pictures are consistent with the reinforcement learning example, but that scientific practice does not align with the view that computational models are merely mechanistic sketches. (shrink)

A popular view presents explanations in the cognitive sciences as causal or mechanistic and argues that an important feature of such explanations is that they allow us to manipulate and control the explanandum phenomena. Nonetheless, whether there can be explanations in the cognitive sciences that are neither causal nor mechanistic is still under debate. Another prominent view suggests that both causal and non-causal relations of counterfactual dependence can be explanatory, but this view is open to the criticism that it is (...) not clear how to distinguish explanatory from non-explanatory relations. In this paper, I draw from both views and suggest that, in the cognitive sciences, relations of counterfactual dependence that allow manipulation and control can be explanatory even when they are neither causal nor mechanistic. Furthermore, the ability to allow manipulation can determine whether non-causal counterfactual dependence relations are explanatory. I present a preliminary framework for manipulation relations that includes some non-causal relations and use two examples from the cognitive sciences to show how this framework distinguishes between explanatory and non-explanatory, non-causal relations. The proposed framework suggests that, in the cognitive sciences, causal and non-causal relations have the same criterion for explanatory value, namely, whether or not they allow manipulation and control. (shrink)

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)

The increasing preponderance of opinion that some natural phenomena can be explained mathematically has inspired a search for a viable account of distinctively mathematical explanation. Among the desiderata for an adequate account is that it should solve the problem of directionality and the reversals of distinctively mathematical explanations should not count as members among the explanatory fold but any solution must also avoid the exclusion of genuine explanations. In what follows, I introduce and defend what I refer to as a (...) quasi-erotetic solution which provides a remedy to the problem in the form of an additional necessary condition on explanation. (shrink)