I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (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)

In semiclassical mechanics one finds explanations of quantum phenomena that appeal to classical structures. These explanations are prima facie problematic insofar as the classical structures they appeal to do not exist. Here I defend the view that fictional structures can be genuinely explanatory by introducing a model-based account of scientific explanation. Applying this framework to the semiclassical phenomenon of wavefunction scarring, I argue that not only can the fictional classical trajectories explain certain aspects of this quantum phenomenon, but also that (...) an explanation that does not make reference to these classical structures is, in a certain sense, deficient. (shrink)

The present paper advances an analogy between cases of extra-mathematical explanation and cases of what might be termed ‘extra-logical explanation’: the explanation of a physical fact by a logical fact. A particular case of extra-logical explanation is identified that arises in the philosophical literature on time travel. This instance of extra-logical explanation is subsequently shown to be of a piece with cases of extra-mathematical explanation. Using this analogy, we argue extra-mathematical explanation is part of a broader class of non-causal explanation. (...) This has important implications for extra-mathematical explanation, for time travel and for theories of explanation more generally. (shrink)

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

The rise of the field of “ experimental mathematics” poses an apparent challenge to traditional philosophical accounts of mathematics as an a priori, non-empirical endeavor. This paper surveys different attempts to characterize experimental mathematics. One suggestion is that experimental mathematics makes essential use of electronic computers. A second suggestion is that experimental mathematics involves support being gathered for an hypothesis which is inductive rather than deductive. Each of these options turns out to be inadequate, and instead a third suggestion is (...) considered according to which experimental mathematics involves calculating instances of some general hypothesis. The paper concludes with the examination of some philosophical implications of this characterization. (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...) be expected by deepening our understanding of the topic. (shrink)

Many important explanations in physics are based on ideas and assumptions about symmetries, but little has been said about the nature of such explanations. This chapter aims to fill this lacuna, arguing that various symmetry explanations can be naturally captured in the spirit of the counterfactual-dependence account of Woodward, liberalized from its causal trappings. From the perspective of this account symmetries explain by providing modal information about an explanatory dependence, by showing how the explanandum would have been different, had the (...) facts about an explanatory symmetry been different. Furthermore, the authors argue that such explanatory dependencies need not be causal. (shrink)

Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defenses, objections, and replies into a convincing defense of the core of his theory, which is that we can analyze causation by appeal to the notion of manipulation.

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)

This paper examines explanations that turn on non-local geometrical facts about the space of possible configurations a system can occupy. I argue that it makes sense to contrast such explanations from "geometry of motion" with causal explanations. I also explore how my analysis of these explanations cuts across the distinction between kinematics and dynamics.

This paper examines explanations that turn on non-local geometrical facts about the space of possible configurations a system can occupy. I argue that it makes sense to contrast such explanations from ‘geometry of motion’ with causal explanations. I also explore how my analysis of these explanations cuts across the distinction between kinematics and dynamics.

This paper examines explanations that turn on non-local geometrical facts about the space of possible configurations a system can occupy. I argue that it makes sense to contrast such explanations from “geometry of motion” with causal explanations. I also explore how my analysis of these explanations cuts across the distinction between kinematics and dynamics.

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)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us to (...) rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)

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.

In the recent philosophy of explanation, a growing attention to and discussion of non-causal explanations has emerged, as there seem to be compelling examples of non-causal explanations in the sciences, in pure mathematics, and in metaphysics. I defend the claim that the counterfactual theory of explanation (CTE) captures the explanatory character of both non-causal scientific and metaphysical explanations. According to the CTE, scientific and metaphysical explanations are explanatory by virtue of revealing counterfactual dependencies between the explanandum and the explanans. I (...) support this claim by illustrating that CTE is applicable to Euler’s explanation (an example of a non-causal scientific explanation) and Loewer’s explanation (an example of a non-causal metaphysical explanation). (shrink)

In the recent philosophy of explanation, a growing attention to and discussion of non-causal explanations has emerged, as there seem to be compelling examples of non-causal explanations in the sciences, in pure mathematics, and in metaphysics. I defend the claim that the counterfactual theory of explanation captures the explanatory character of both non-causal scientific and metaphysical explanations. According to the CTE, scientific and metaphysical explanations are explanatory by virtue of revealing counterfactual dependencies between the explanandum and the explanans. I support (...) this claim by illustrating that CTE is applicable to Euler’s explanation and Loewer’s explanation. (shrink)

Dimensional analysis can offer us explanations by allowing us to answer What-if–things-had-been-different? questions rather than in virtue of, say, unifying diverse phenomena, important as that is. Additionally, it is argued that dimensional analysis is a form of modelling as it involves several of the aspects crucial in modelling, such as misrepresenting aspects of a target system. By highlighting the continuities dimensional analysis has with forms of modelling we are able to describe more precisely what makes dimensional analysis explanatory and understand (...) otherwise puzzling aspects of dimensional reasoning, such as introducing fictitious dimensions and excluding dimensionally relevant information to characterise some systems. Finally, thinking of dimensional arguments as a form of modelling allows an explication of the role abstraction and multiple realisability; not as compatibility with other possible worlds but as compatibility with different fictional descriptions of our own world. (shrink)

In a notable article entitled “What is the Theory of Relativity?” written at the request of The Times and published in its November 28, 1919 edition, Albert Einstein famously distinguished “theories of principle” from “constructive theories.” Einstein placed relativity theory among the principle theories. His distinction has recently received increased attention, especially as it relates to scientific explanation. In particular, there has been considerable discussion of how to explain why there obtain the Lorentz transformations as well as of how to (...) account for the Lorentz covariance of the dynamical laws. Some .. (shrink)

This paper examines some recent attempts that use counterfactuals to understand the asymmetry of non-causal scientific explanations. These attempts recognize that even when there is explanatory asymmetry, there may be symmetry in counterfactual dependence. Therefore, something more than mere counterfactual dependence is needed to account for explanatory asymmetry. Whether that further ingredient, even if applicable to causal explanation, can fit non-causal explanation is the challenge that explanatory asymmetry poses for counterfactual accounts of non-causal explanation. This paper argues that several recent (...) accounts Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 117–140, 2018; Jansson and Saatsi in Br J Philos Sci, forthcoming; Jansson in J Philos 112:7–599, 2015; Saatsi and Pexton in Philos Sci 80: 613–624, 2013; French and Saatsi, in: Reutlinger and Saatsi Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 185–205, 2018) fail to meet this challenge. The paper then sketches a more positive proposal for dealing with explanatory asymmetry in non-causal explanations. (shrink)

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

The key idea of the interventionist account of causation is that a variable A causes a variable B if and only if B would change if A were manipulated in the appropriate way. This paper raises two problems for Woodward's (2003) version of interventionism. The first is that the conditions it imposes are not sufficient for causation, because these conditions are also satisfied by non-causal relations of nomological dependence expressed in association laws. Such laws ground a relation of mutual manipulability (...) that is incompatible with the asymmetry of causation. Several ways of defending the interventionist account are examined and found unsatisfying. The second problem is that it often seems to be impossible, in a model that contains variables linked by an association law, to satisfy the conditions imposed on interventions on such variables. Various ways to solve this second problem, most importantly the analysis of manipulability in terms of difference making, are examined. Given that none solves the problem, I conclude that the interventionist conditions are neither sufficient nor necessary for causation. It is suggested that they provide an analysis of nomological dependence, which may be supplemented with the notion of a causal process to yield an analysis of causation. (shrink)

The problem of explanatory non-symmetries provides the strongest reason to abandon the view that laws can figure in explanations without causal underpinnings. I argue that this problem can be overcome. The solution that I propose starts from noticing the importance of conditions of application when laws do explanatory work, and I go on to develop a notion of nomological dependence that can tackle the non-symmetry problem. The strategy is to show how a strong notion of counterfactual dependence as guaranteed by (...) the laws is a plausible account of what we aim towards when we give law-based explanations. The aim of this project is not to deny that causal relations can do explanatory work but to restore laws of nature as capable of being explanatory even in the absence of any knowledge of causal underpinnings. (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)

Does smoke cause fire or does fire cause smoke? James Woodward’s “Flagpoles anyone? Causal and explanatory asymmetries” argues that various statistical independence relations not only help us to uncover the directions of causal and explanatory relations in our world, but also are the worldly basis of causal and explanatory directions. We raise questions about Woodward’s envisioned epistemology, but our primary focus is on his metaphysics. We argue that any alleged connection between statistical dependence and causal/explanatory direction is contingent, at best. (...) The directions of causal/explanatory relations in our world seem not to depend on the statistical dependence relations in our world. Thus, we doubt that statistical dependence relations are the worldly basis of causal and explanatory directions. (shrink)

This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each chapter has a number of discussion questions and recommended further reading from both the contemporary literature and (...) older sources. Very little mathematical background is assumed and all of the mathematics encountered is clearly introduced and explained using a wide variety of examples. The book is suitable for an undergraduate course in philosophy of mathematics and, more widely, for anyone interested in philosophy and mathematics. (shrink)

As Aristotle stated, scientific explanation is based on deductive argument--yet, Wesley C. Salmon points out, not all deductive arguments are qualified explanations. The validity of the explanation must itself be examined. _Four Decades of Scientific Explanation_ provides a comprehensive account of the developments in scientific explanation that transpired in the last four decades of the twentieth century. It continues to stand as the most comprehensive treatment of the writings on the subject during these years. Building on the historic 1948 essay (...) by Carl G. Hempel and Paul Oppenheim, "Studies in the Logic of Explanation,” which introduced the deductive-nomological model on which most work on scientific explanation was based for the following four decades, Salmon goes beyond this model's inherent basis of describing empirical knowledge to tells us “not only _what,_ but also _why_.” Salmon examines the predominant models in chronological order and describes their development, refinement, and criticism or rejection. _Four Decades of Scientific Explanation_ underscores the need for a consensus of approach and ongoing evaluations of methodology in scientific explanation, with the goal of providing a better understanding of natural phenomena. (shrink)

This paper explores whether there is any relation between mathematical proofs that specify the grounds of the theorem being proved and mathematical proofs that explain why the theorem obtains. The paper argues that a mathematical fact’s grounds do not, simply by virtue of grounding it, thereby explain why that fact obtains. It argues that oftentimes, a proof specifying a mathematical fact’s grounds fails to explain why that fact obtains whereas any explanation of the fact does not specify its ground. The (...) paper offers several examples from mathematical practice to illustrate these points. These examples suggest several reasons why explaining and grounding tend to come apart, including that explanatory proofs need not exhibit purity, tend not to be brute force, and often unify separate cases by identifying common reasons behind them even when those cases have distinct grounds. The paper sketches an account of what makes a proof explanatory and uses that account to defend the morals drawn from the examples already given. (shrink)

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.

Does smoke cause fire or does fire cause smoke? James Woodward’s “Flagpoles anyone? Causal and explanatory asymmetries” argues that various statistical independence relations not only help us to uncover the directions of causal and explanatory relations in our world, but also are the worldly basis of causal and explanatory directions. We raise questions about Woodward’s envisioned epistemology, but our primary focus is on his metaphysics. We argue that any alleged connection between statistical (in)dependence and causal/explanatory direction is contingent, at best. (...) The directions of causal/explanatory relations in our world seem not to depend on the statistical (in)dependence relations in our world (conceived of either as frequency patterns or as relations among chances). Thus, we doubt that statistical (in)dependence relations are the worldly basis of causal and explanatory directions. (shrink)

Various ideals of purity are surveyed and discussed. These include the classical Aristotelian ideal, as well as certain neo-classical and contemporary ideals. The focus is on a type of purity ideal I call topical purity. This is purity which emphasizes a certain symmetry between the conceptual resources used to prove a theorem and those needed for the clarification of its content. The basic idea is that the resources of proof ought ideally to be restricted to those which determine its content.

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)