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)

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)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, (...) how do they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (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)

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)

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)

A new trend in the philosophical literature on scientific explanation is that of starting from a case that has been somehow identified as an explanation and then proceed to bringing to light its characteristic features and to constructing an account for the type of explanation it exemplifies. A type of this approach to thinking about explanation – the piecemeal approach, as I will call it – is used, among others, by Lange (2013) and Pincock (2015) in (...) the context of their treatment of the problem of mathematical explanations of physical phenomena. This problem is of central importance in two different recent philosophical disputes: the dispute about the existence on non-causal scientific explanations and the dispute between realists and antirealists in the philosophy of mathematics. My aim in this paper is twofold. I will first argue that Lange (2013) and Pincock (2015) fail to make a significant contribution to these disputes. They fail to contribute to the dispute in the philosophy of mathematics because, in this context, their approach can be seen as question begging. They also fail to contribute to the dispute in the general philosophy of science because, as I will argue, there are important problems with the cases discussed by Lange and Pincock. I will then argue that the source of the problems with these two papers has to do with the fact that the piecemeal approach used to account for mathematical explanation is problematic. (shrink)

We have reached the peculiar situation where the advance of mainstream science has required us to dismiss as unreal our own existence as free, creative agents, the very condition of there being science at all. Efforts to free science from this dead-end and to give a place to creative becoming in the world have been hampered by unexamined assumptions about what science should be, assumptions which presuppose that if creative becoming is explained, it will be explained away as an illusion. (...) In this paper it is shown that this problem has permeated the whole of European civilization from the Ancient Greeks onwards, leading to a radical disjunction between cosmology which aims at a grasp of the universe through mathematics and history which aims to comprehend human action through stories. By going back to the Ancient Greeks and tracing the evolution of the denial of creative becoming, I trace the layers of assumptions that must in some way be transcended if we are to develop a truly post-Egyptian science consistent with the forms of understanding and explanation that have evolved within history. (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)

In “What Makes a Scientific Explanation Distinctively Mathematical?” (2013b), Lange uses several compelling examples to argue that certain explanations for natural phenomena appeal primarily to mathematical, rather than natural, facts. In such explanations, the core explanatory facts are modally stronger than facts about causation, regularity, and other natural relations. We show that Lange's account of distinctively mathematical explanation is flawed in that it fails to account for the implicit directionality in each of his examples. This (...) inadequacy is remediable in each case by appeal to ontic facts that account for why the explanation is acceptable in one direction and unacceptable in the other direction. The mathematics involved in these examples cannot play this crucial normative role. While Lange's examples fail to demonstrate the existence of distinctively mathematical explanations, they help to emphasize that many superficially natural scientific explanations rely for their explanatory force on relations of stronger-than-natural necessity. These are not opposing kinds of scientific explanations; they are different aspects of scientific explanation. (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)

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)

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)

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)

In this chapter we use methods of corpus linguistics to investigate the ways in which mathematicians describe their work as explanatory in their research papers. We analyse use of the words explain/explanation (and various related words and expressions) in a large corpus of texts containing research papers in mathematics and in physical sciences, comparing this with their use in corpora of general, day-to-day English. We find that although mathematicians do use this family of words, such use is considerably (...) less prevalent in mathematics papers than in physics papers or in general English. Furthermore, we find that the proportion with which mathematicians use expressions related to ‘explaining why’ and ‘explaining how’ is significantly different to the equivalent proportion in physics and in general English. We discuss possible accounts for these differences. (shrink)

In this dissertation I achieve the following: (1) I present motivating criteria for a general comprehensive theory of scientific explanation. I review historical approaches to modeling explanation in light of these criteria. (2) I present New Mechanist Explanation ("NME") as the leading candidate for a contemporary, complete theory of scientific explanation. (3) I present constraints on the applicability of New Mechanism in modeling biology, chemistry, and physics. I argue for the unsuitability of NME as a candidate (...) for a general theory of explanation due to its significant omissions of explanatory content and subsequent incompleteness. (4) I present arguments for the indispensable explanatory power of mathematics in science, noting that much of NME's failures are owed to its poor integration of mathematical explanation as applied to science. (5) I propose a Rational-Relational theory of explanation(“RRE”). I present RRE in detail and demonstrate it as a true working general theory of explanation which best meets the motivating criteria presented in (1). I disambiguate RRE from structural explanation ("SE"). I show that historical models of explanation, including the deductive nomological (DNE) model, statistical relevance ("SRE") model, structural model (SE) and unification model ("UE") may be successfully treated as sub-classes of explanation within the scope of RRE. I provide a rubric for selecting amongst sub-theories of explanation under RRE in the purpose of highlighting particular features of relational explanations. (6) In conclusion, I argue that philosophers of science should move forward using RRE as a general model of scientific explanation as a working alternative to the incomplete model of NME. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with (...) the Lotka-Volterra equations. There are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of theories; (...) the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)

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)

In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. (...) The results of this empirical study suggest that mathematical explanations do occur in research articles published in mathematics journals, as indicated by the occurrence of explanation indicators. When compared with the use of justification indicators, however, the data suggest that justifications occur much more frequently than explanations in scholarly mathematical practice. The results also suggest that justificatory proofs occur much more frequently than explanatory proofs, thus suggesting that proof may be playing a larger justificatory role than an explanatory role in scholarly mathematical practice. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...) an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

In the last couple of years, a few seemingly independent debates on scientific explanation have emerged, with several key questions that take different forms in different areas. For example, the questions what makes an explanation distinctly mathematical and are there any non-causal explanations in sciences (i.e., explanations that don’t cite causes in the explanans) sometimes take a form of the question of what makes mathematical models explanatory, especially whether highly idealized models in science can be (...) explanatory and in virtue of what they are explanatory. These questions raise further issues about counterfactuals, modality, and explanatory asymmetries: i.e., do mathematical and non-causal explanations support counterfactuals, and how ought we to understand explanatory asymmetries in non-causal explanations? Even though these are very common issues in the philosophy of physics and mathematics, they can be found in different guises in the philosophy of biology where there is the statistical interpretation of the Modern Synthesis theory of evolution, according to which the post-Darwinian theory of natural selection explains evolutionary change by citing statistical properties of populations and not the causes of changes. These questions also arise in philosophy of ecology or neuroscience in regard to the nature of topological explanations. The question here is can the mathematical (or more precisely topological) properties in network models in biology, ecology, neuroscience, and computer science be explanatory of physical phenomena, or are they just different ways to represent causal structures. The aim of this special issue is to unify all these debates around several overlapping questions. These questions are: are there genuinely or distinctively mathematical and non-causal explanations?; are all distinctively mathematical explanations also non-causal; in virtue of what they are explanatory; does the instantiation, implementation, or in general, applicability of mathematical structures to a variety of phenomena and systems play any explanatory role? This special issue provides a platform for unifying the debates around several key issues and thus opens up avenues for better understanding of mathematical and non-causal explanations in general, but also, it will enable even better understanding of key issues within each of the debates. (shrink)

Mathematical models provide explanations of limited power of specific aspects of phenomena. One way of articulating their limits here, without denying their essential powers, is in terms of contrastive explanation.

[EDIT: This book will be published open access. Production is taking longer than expected but I will post the link to the whole book, hopefully by October.] 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)

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)

Mathematics is often taken to play one of two roles in the empirical sciences: either it represents empirical phenomena or it explains these phenomena by imposing constraints on them. This article identifies a third and distinct role that has not been fully appreciated in the literature on applicability of mathematics and may be pervasive in scientific practice. I call this the “bridging” role of mathematics, according to which mathematics acts as a connecting scheme in our explanatory reasoning about why (...) and how two different descriptions of an empirical phenomenon relate to each other. I discuss two bridging roles appearing in biological and physical explanations. (shrink)

This article had its start with another article, concerned with measuring the speed of gravitational waves - "The Measurement of the Light Deflection from Jupiter: Experimental Results" by Ed Fomalont and Sergei Kopeikin (2003) - The Astrophysical Journal 598 (1): 704–711. This starting-point led to many other topics that required explanation or naturally seemed to follow on – Unification of gravity with electromagnetism and the 2 nuclear forces, Speed of electromagnetic waves, Energy of cosmic rays and UHECRs, Digital string (...) theory, Dark energy+gravity+binary digits, Cosmic strings and wormholes from Figure-8 Klein bottles, Massless and massive photons and gravitons, Inverse square+quantum entanglement = God+evolution, Binary digits projected to make Prof. Greene’s cosmic holographic movie, Renormalization of infinity, Colliding subuniverses, Unifying cosmic inflation, TOE (emphasizing “EVERYthing”) = Bose-Einstein renormalized. The text also addresses (in a nonmathematical way) the wavelength of electromagnetic waves, the frequency of gravitational waves, gravitational and electromagnetic waves having identical speed, the gamma-ray burst designated GRB 090510, the smoothness of space, and includes these words – “Gravity produces electromagnetism. Retrocausally (by means of humans travelling into the past of this subuniverse with their electronics); this “Cosmic EM Background” produces base-2 mathematics, which produces gravity. EM interacts with gravity to produce particles, mass – gravity/EM could be termed “the Higgs field” - and the nuclear forces associated with those particles. It makes gravity using BITS that copy the principle of magnetism attracting and repelling, before pasting it into what we call the strong force and dark energy.” . (shrink)

A common kind of explanation in cognitive neuroscience might be called functiontheoretic: with some target cognitive capacity in view, the theorist hypothesizes that the system computes a well-defined function (in the mathematical sense) and explains how computing this function constitutes (in the system’s normal environment) the exercise of the cognitive capacity. Recently, proponents of the so-called ‘new mechanist’ approach in philosophy of science have argued that a model of a cognitive capacity is explanatory only to the extent that (...) it reveals the causal structure of the mechanism underlying the capacity. If they are right, then a cognitive model that resists a transparent mapping to known neural mechanisms fails to be explanatory. I argue that a functiontheoretic characterization of a cognitive capacity can be genuinely explanatory even absent an account of how the capacity is realized in neural hardware. (shrink)

Compared with Western Philosophy, Chinese Philosophy seldom talks about "the other world". This difference can be further proved in language categories. What exists in language text is different from what exists in language structure or language categories. Language categories reflect the styles of deep thinking. The lacking of subjunctive in Chinese language reflects the indifference between facts and ultra-facts in Chinese minds. There is a pan-fact attention in Chinese culture, while an ultra-fact attention in Western culture. This difference also embodies (...) in the activities of religion, logic, mathematics and 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)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is (...) unexplanatory. In defense of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

A common kind of explanation in cognitive neuroscience might be called function-theoretic: with some target cognitive capacity in view, the theorist hypothesizes that the system computes a well-defined function (in the mathematical sense) and explains how computing this function constitutes (in the system’s normal environment) the exercise of the cognitive capacity. Recently, proponents of the so-called ‘new mechanist’ approach in philosophy of science have argued that a model of a cognitive capacity is explanatory only to the extent that (...) it reveals the causal structure of the mechanism underlying the capacity. If they are right, then a cognitive model that resists a transparent mapping to known neural mechanisms fails to be explanatory. I argue that a function-theoretic char-acterization of a cognitive capacity can be genuinely explanatory even absent an account of how the capacity is realized in neural hardware. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical (...) ontology: what does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

This is an introduction to the volume "Explanation Beyond Causation: Philosophical Perspectives on Non-Causal Explanations", edited by A. Reutlinger and J. Saatsi (OUP, forthcoming in 2017). -/- Explanations are very important to us in many contexts: in science, mathematics, philosophy, and also in everyday and juridical contexts. But what is an explanation? In the philosophical study of explanation, there is long-standing, influential tradition that links explanation intimately to causation: we often explain by providing accurate information about (...) the causes of the phenomenon to be explained. Such causal accounts have been the received view of the nature of explanation, particularly in philosophy of science, since the 1980s. However, philosophers have recently begun to break with this causal tradition by shifting their focus to kinds of explanation that do not turn on causal information. The increasing recognition of the importance of such non-causal explanations in the sciences and elsewhere raises pressing questions for philosophers of explanation. What is the nature of non-causal explanations - and which theory best captures it? How do non-causal explanations relate to causal ones? How are non-causal explanations in the sciences related to those in mathematics and metaphysics? This volume of new essays explores answers to these and other questions at the heart of contemporary philosophy of explanation. The essays address these questions from a variety of perspectives, including general accounts of non-causal and causal explanations, as well as a wide range of detailed case studies of non-causal explanations from the sciences, mathematics and metaphysics. (shrink)

Models are indispensable tools of scientific inquiry, and one of their main uses is to improve our understanding of the phenomena they represent. How do models accomplish this? And what does this tell us about the nature of understanding? While much recent work has aimed at answering these questions, philosophers' focus has been squarely on models in empirical science. I aim to show that pure mathematics also deserves a seat at the table. I begin by presenting two cases: Cramér’s random (...) model of the prime numbers and the function field model of the integers. These cases show that mathematicians, like empirical scientists, rely on unrealistic models to gain understanding of complex phenomena. They also have important implications for some much-discussed theses about scientific understanding. First, modeling practices in mathematics confirm that one can gain understanding without obtaining an explanation. Second, these cases undermine the popular thesis that unrealistic models confer understanding by imparting counterfactual knowledge. (shrink)

Detailed examinations of scientific practice have revealed that the use of idealized models in the sciences is pervasive. These models play a central role in not only the investigation and prediction of phenomena, but in their received scientific explanations as well. This has led philosophers of science to begin revising the traditional philosophical accounts of scientific explanation in order to make sense of this practice. These new model-based accounts of scientific explanation, however, raise a number of key (...) questions: Can the fictions and falsehoods inherent in the modeling practice do real explanatory work? Do some highly abstract and mathematical models exhibit a noncausal form of scientific explanation? How can one distinguish an exploratory "how-possibly" model explanation from a genuine "how-actually" model explanation? Do modelers face tradeoffs such that a model that is optimized for yielding explanatory insight, for example, might fail to be the most predictively accurate, and vice versa? This chapter explores the various answers that have been given to these questions. (shrink)

Recently, many have argued that there are certain kinds of abstract mathematical explanations that are noncausal. In particular, the irrelevancy approach suggests that abstracting away irrelevant causal details can leave us with a noncausal explanation. In this paper, I argue that the common example of Renormalization Group explanations of universality used to motivate the irrelevancy approach deserves more critical attention. I argue that the reasons given by those who hold up RG as noncausal do not stand up to (...) critical scrutiny. As a result, the irrelevancy approach and the line between casual and noncausal explanation deserves more scrutiny. (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)

Any philosophy of science ought to have something to say about the nature of mathematics, especially an account like constructive empiricism in which mathematical concepts like model and isomorphism play a central role. This thesis is a contribution to the larger project of formulating a constructive empiricist account of mathematics. The philosophy of mathematics developed is fictionalist, with an anti-realist metaphysics. In the thesis, van Fraassen's constructive empiricism is defended and various accounts of mathematics are considered and rejected. Constructive (...) empiricism cannot be realist about abstract objects; it must reject even the realism advocated by otherwise ontologically restrained and epistemologically empiricist indispensability theorists. Indispensability arguments rely on the kind of inference to the best explanation the rejection of which is definitive of constructive empiricism. On the other hand, formalist and logicist anti-realist positions are also shown to be untenable. It is argued that a constructive empiricist philosophy of mathematics must be fictionalist. Borrowing and developing elements from both Philip Kitcher's constructive naturalism and Kendall Walton's theory of fiction, the account of mathematics advanced treats mathematics as a collection of stories told about an ideal agent and mathematical objects as fictions. The account explains what true portions of mathematics are about and why mathematics is useful, even while it is a story about an ideal agent operating in an ideal world; it connects theory and practice in mathematics with human experience of the phenomenal world. At the same time, the make-believe and game-playing aspects of the theory show how we can make sense of mathematics as fiction, as stories, without either undermining that explanation or being forced to accept abstract mathematical objects into our ontology. All of this occurs within the framework that constructive empiricism itself provides the epistemological limitations it mandates, the semantic view of theories, and an emphasis on the pragmatic dimension of our theories, our explanations, and of our relation to the language we use. (shrink)

Arguments for the effectiveness, and even the indispensability, of mathematics in scientific explanation rely on the claim that mathematics is an effective or even a necessary component in successful scientific predictions and explanations. Well-known accounts of successful mathematical explanation in physical science appeals to scientists’ ability to solve equations directly in key domains. But there are spectacular physical theories, including general relativity and fluid dynamics, in which the equations of the theory cannot be solved directly in target (...) domains, and yet scientists and mathematicians do effective work there (McLarty 2023, Elder 2023). Building on extant accounts of structural scientific explanation (Bokulich 2011, Leng 2021), I argue that philosophical accounts of the role of equations in scientific explanation need not rely on scientists’ ability to solve equations independently of their understanding of the empirical or experimental context. For instance, the process of formulating solutions to equations can involve significant appeal to information about experimental contexts (Curiel 2010) or of physically similar systems (Sterrett 2023). Working from a close analysis of work in fluid mechanics by Martin Bazant and Keith Moffatt (2005), I propose an account of heuristic structural explanation in mathematics (Einstein 1921, Pincock 2021), which explains how physical explanations can be constructed even in domains where basic equations cannot be solved directly. (shrink)

Easy-road mathematical fictionalists grant for the sake of argument that quantification over mathematical entities is indispensable to some of our best scientific theories and explanations. Even so they maintain we can accept those theories and explanations, without believing their mathematical components, provided we believe the concrete world is intrinsically as it needs to be for those components to be true. Those I refer to as “mathematical surrealists” by contrast appeal to facts about the intrinsic character of (...) the concrete world, not to explain why our best mathematically imbued scientific theories and explanations are acceptable in spite of having false components, but in order to replace those theories and explanations with parasitic, nominalistically acceptable alternatives. I argue that easy-road fictionalism is viable only if mathematical surrealism is and that the latter constitutes a superior nominalist strategy. Two advantages of mathematical surrealism are that it neither begs the question concerning the explanatory role of mathematics in science nor requires rejecting the cogency of inference to the best explanation. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes (...) that make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the nature (...) of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

The philosophical conception of mechanistic explanation is grounded on a limited number of canonical examples. These examples provide an overly narrow view of contemporary scientific practice, because they do not reflect the extent to which the heuristic strategies and descriptive practices that contribute to mechanistic explanation have evolved beyond the well-known methods of decomposition, localization, and pictorial representation. Recent examples from evolutionary robotics and network approaches to biology and neuroscience demonstrate the increasingly important role played by computer simulations (...) and mathematical representations in the epistemic practices of mechanism discovery and mechanism description. These examples also indicate that the scope of mechanistic explanation must be re-examined: With new and increasingly powerful methods of discovery and description comes the possibility of describing mechanisms far more complex than traditionally assumed. (shrink)

In non-causal explanations, some non-causal facts (such as mathematical, modal or metaphysical) are used to explain some physical facts. However, precisely because these explanations abstract away from causal facts, they face two challenges: 1) it is not clear why would one rather than the other non-causal explanantia be relevant for the explanandum; and 2) why would standing in a particular explanatory relation (e.g., “counterfactual dependence”, “constraint”, “entailment”, “constitution”, “grounding”, and so on), and not in some other, be explanatory. I (...) develop an explanatory relevance account which is based on erotetic constraints and show how it addresses these two challenges. (shrink)

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)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense (...) outlined by Hartry Field. The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

Recent work on interpretability in machine learning and AI has focused on the building of simplified models that approximate the true criteria used to make decisions. These models are a useful pedagogical device for teaching trained professionals how to predict what decisions will be made by the complex system, and most importantly how the system might break. However, when considering any such model it’s important to remember Box’s maxim that "All models are wrong but some are useful." We focus on (...) the distinction between these models and explanations in philosophy and sociology. These models can be understood as a "do it yourself kit" for explanations, allowing a practitioner to directly answer "what if questions" or generate contrastive explanations without external assistance. Although a valuable ability, giving these models as explanations appears more difficult than necessary, and other forms of explanation may not have the same trade-offs. We contrast the different schools of thought on what makes an explanation, and suggest that machine learning might benefit from viewing the problem more broadly. (shrink)

Husserl’s early picture of explanation in the sciences has never been completely provided. This lack represents an oversight, which we here redress. In contrast to currently accepted interpretations, we demonstrate that Husserl does not adhere to the much maligned deductive-nomological (DN) model of scientific explanation. Instead, via a close reading of early Husserlian texts, we reveal that he presents a unificationist account of scientific explanation. By doing so, we disclose that Husserl’s philosophy of scientific explanation (...) is no mere anachronism. It is, instead, tenable and relevant. We discuss how Husserl and other contemporary thinkers draw theoretical inspiration from the same source—namely, Bernard Bolzano. Husserl’s theory of scientific explanation shares a common language and discusses the same themes as, for example, Phillip Kitcher and Kit Fine. To advance our novel reading, we discuss Husserl’s investigations of grounding, inter-lawful explanation, intra-mathematical explanation, and scientific unification. (shrink)

I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My (...) argument shows that Hobbesian natural philosophy relies upon suppositions that bodies plausibly behave according to these borrowed causal principles from geometry, acknowledging that bodies in the world may not actually behave this way. First, I consider Hobbes's relation to Aristotelian mixed mathematics and to Isaac Barrow's broadening of mixed mathematics in Mathematical Lectures (1683). I show that for Hobbes maker's knowledge from geometry provides the ‘why’ in mixed-mathematical explanations. Next, I examine two explanations from De corpore Part IV: (1) the explanation of sense in De corpore 25.1-2; and (2) the explanation of the swelling of parts of the body when they become warm in De corpore 27.3. In both explanations, I show Hobbes borrowing and citing geometrical principles and mixing these principles with appeals to experience. (shrink)