Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. In addition, mathematicians regard some proofs as explaining why the theorems being proved do in fact hold. This book proposes new philosophical accounts of many kinds of non-causal explanations in science and mathematics.

This book combines physics, history, and philosophy in a radical new approach to introducing the philosophy of physics.

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

Ceteris-paribus clauses are nothing to worry about; aceteris-paribus qualifier is not poisonously indeterminate in meaning. Ceteris-paribus laws teach us that a law need not be associated straightforwardly with a regularity in the manner demanded by regularity analyses of law and analyses of laws as relations among universals. This lesson enables us to understand the sense in which the laws of nature would have been no different under various counterfactual suppositions — a feature even of those laws that involve no ceteris-paribus (...) qualification and are actually associated with exceptionless regularities. Ceteris-paribus generalizations of an‘inexact science’ qualify as laws of that science in virtue of their distinctive relation to counterfactuals: they form a set that is stable for the purposes of that field. (Though an accident may possess tremendous resilience under counterfactual suppositions, the laws are sharply distinguished from the accidents in that the laws are collectively as resilient as they could logically possibly be.) The stability of an inexact science's laws may involve their remaining reliable even under certain counterfactual suppositions violating fundamental laws of physics. The ceteris-paribus laws of an inexact science may thus possess a kind of necessity lacking in the fundamental laws of physics. A nomological explanation supplied by an inexact science would then be irreducible to an explanation of the same phenomenon at the level of fundamental physics. Island biogeography is used to illustrate how a special science could be autonomous in this manner. (shrink)

Although all mathematical truths are necessary, mathematicians take certain combinations of mathematical truths to be ‘coincidental’, ‘accidental’, or ‘fortuitous’. The notion of a ‘ mathematical coincidence’ has so far failed to receive sufficient attention from philosophers. I argue that a mathematical coincidence is not merely an unforeseen or surprising mathematical result, and that being a misleading combination of mathematical facts is neither necessary nor sufficient for qualifying as a mathematical coincidence. I argue that although the components of a mathematical coincidence (...) may possess a common explainer, they have no common explanation ; that two mathematical facts have a unified explanation makes their truth non-coincidental. I suggest that any motivation we may have for thinking that there are mathematical coincidences should also motivate us to think that there are mathematical explanations, since the notion of a mathematical coincidence can be understood only in terms of the notion of a mathematical explanation. I also argue that the notion of a mathematical coincidence plays an important role in scientific explanation. When two phenomenological laws of nature are similar, despite concerning physically distinct processes, it may be that any correct scientific explanation of their similarity proceeds by revealing their similarity to be no mathematical coincidence. (shrink)

Ceteris-paribus clauses are nothing to worry about; aceteris-paribus qualifier is not poisonously indeterminate in meaning. Ceteris-paribus laws teach us that a law need not be associated straightforwardly with a regularity in the manner demanded by regularity analyses of law and analyses of laws as relations among universals. This lesson enables us to understand the sense in which the laws of nature would have been no different under various counterfactual suppositions — a feature even of those laws that involve no ceteris-paribus (...) qualification and are actually associated with exceptionless regularities. Ceteris-paribus generalizations of an‘inexact science’ qualify as laws of that science in virtue of their distinctive relation to counterfactuals: they form a set that is stable for the purposes of that field. (Though an accident may possess tremendous resilience under counterfactual suppositions, the laws are sharply distinguished from the accidents in that the laws are collectively as resilient as they could logically possibly be.) The stability of an inexact science's laws may involve their remaining reliable even under certain counterfactual suppositions violating fundamental laws of physics. The ceteris-paribus laws of an inexact science may thus possess a kind of necessity lacking in the fundamental laws of physics. A nomological explanation supplied by an inexact science would then be irreducible to an explanation of the same phenomenon at the level of fundamental physics. Island biogeography is used to illustrate how a special science could be autonomous in this manner. (shrink)

Several foundational documents of bioethics mention the special obligation researchers have to vulnerable research participants. However, the treatment of vulnerability offered by these documents often relies on enumeration of vulnerable groups rather than an analysis of the features that make such groups vulnerable. Recent attempts in the scholarly literature to lend philosophical weight to the concept of vulnerability are offered by Luna and Hurst. Luna suggests that vulnerability is irreducibly contextual and that Institutional Review Boards (Research Ethics Committees) can only (...) identify vulnerable participants by carefully examining the details of the proposed research. Hurst, in contrast, defines the vulnerable as those especially at risk of incurring the wrongs to which all research ethics participants are exposed. We offer a more substantive conception of vulnerability than Luna but one that gives rise to a different rubric of responsibilities from Hurst's. While we understand vulnerability to be an ontological condition of human existence, in the context of research ethics, we take the vulnerable to be research subjects who are especially prone to harm or exploitation. Our analysis rests on developing a typology of sources of vulnerability and showing how distinct sources generate distinct obligations on the part of the researcher. Our account emphasizes that the researcher's first obligation is not to make the research participant even more vulnerable than they already are. To illustrate our framework, we consider two cases: that of a vulnerable population involved in international research and that of a domestic population of people with diminished capacity. (shrink)

Among the niftiest arguments for scientific anti-realism is the ‘pessimistic induction’ (also sometimes called ‘the disastrous historical meta-induction’). Although various versions of this argument differ in their details (see, for example, Poincare 1952: 160, Putnam 1978: 25, and Laudan 1981), the argument generally begins by recalling the many scientific theories that posit unobservable entities and that at one time or another were widely accepted. The anti-realist then argues that when these old theories were accepted, the evidence for them was quite (...) persuasive – roughly as compelling as our current evidence is for our best scientific theories positing various unobservable entities. Nevertheless, the anti-realist argues, most of these old theories turned out to be incorrect in the unobservables they posited. Therefore, the anti-realist concludes that with regard to the theories we currently accept, we should believe that probably, most of them are likewise incorrect in the unobservable entities they posit. (This argument appeals to what our best current theories say about unobservables in order to show that the entities posited by some earlier theory are not real. So the argument takes the form of a reductio of the view that the apparent success of some scientific theory justifies our believing in its accuracy regarding unobservables.) Of course, this argument has been criticized on many grounds. Some have argued, for instance, that the scientific theories we currently accept are much better supported than were earlier scientific theories at the time they were accepted. In addition, some have argued that many scientific theories accepted justly in the past were in fact accurate.. (shrink)

A conservation law in physics can be either a constraint on the kinds of interaction there could be or a coincidence of the kinds of interactions there actually are. This is an important, unjustly neglected distinction. Only if a conservation law constrains the possible kinds of interaction can a derivation from it constitute a scientific explanation despite failing to describe the causal/mechanical details behind the result derived. This conception of the relation between “bottom-up” scientific explanations and one kind of “top-down” (...) scientific explanation is motivated by several examples from classical and modern physics. (shrink)

Scientific essentialism aims to account for the natural laws' special capacity to support counterfactuals. I argue that scientific essentialism can do so only by resorting to devices that are just as ad hoc as those that essentialists accuse Humean regularity theories of employing. I conclude by offering an account of the laws' distinctive relation to counterfactuals that portrays laws as contingent but nevertheless distinct from accidents by virtue of possessing a genuine variety of necessity.

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)

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

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

Humean accounts of natural law have long been charged with being unable to account for the laws’ explanatory power in science. One form of this objection is to charge Humean accounts with explanatory circularity: a fact in the Humean mosaic helps to explain why some regularity is a law (first premise), but that law, in turn, helps to explain why that mosaic fact holds (second premise). To this objection, Humeans have replied that the explanation in the first premise is metaphysical (...) whereas the explanation in the second premise is scientific, so (since these two varieties of explanation operate very differently) the two explanations cannot be chained together to yield explanatory circularity. This paper presents a new circularity argument that avoids this objection because both explanations in the premises are metaphysical. The new circularity argument also avoids the objection that the contrasts at the point where the two explanations are chained together fail to line up properly. The upshot is to leave the Humean account of law with two unattractive options: to regard scientific explanation under natural law as not constituting genuine explanation at all or to regard the Humean account as involving a vicious explanatory circularity. (shrink)

Some mathematical proofs explain why the theorems they prove hold. This paper identifies several challenges for any counterfactual account of explanation in mathematics (that is, any account according to which an explanatory proof reveals how the explanandum would have been different, had facts in the explanans been different). The paper presumes that countermathematicals can be nontrivial. It argues that nevertheless, a counterfactual account portrays explanatory power as too easy to achieve, does not capture explanatory asymmetry, and fails to specify why (...) certain proofs are explanatory and others are not. Greater informativeness about counterfactual dependence can even yield less explanatory power. (shrink)

Why do forces compose according to the parallelogram of forces? This question has been controversial; it is one episode in a longstanding, fundamental dispute regarding which facts are not to be explained dynamically. If the parallelogram law is explained statically, then the laws of statics are separate from and “transcend” the laws of dynamics. Alternatively, if the parallelogram law is explained dynamically, then statical laws become mere corollaries to the dynamical laws. I shall attempt to trace the history of this (...) controversy in order to identify what it would be for one or the other of these rival views to be correct. I shall argue that various familiar accounts of natural law not only make it difficult to see what the point of this dispute could have been, but also improperly foreclose some serious scientific options. I will sketch an alternative account of laws that helps us to understand what this dispute was all about. (shrink)

. A typical textbook explanation of a rocket’s motion when its engine is fired appeals to momentum conservation: the rocket accelerates forward because its exhaust accelerates rearward and the system’s momentum must be conserved. This paper examines how this explanation works, considering three challenges it faces. First, the explanation does not proceed by describing the forces causing the rocket’s motion. Second, the rocket’s motion has a causal-mechanical explanation involving those forces. Third, if momentum conservation and the rearward motion of the (...) rocket’s exhaust explain why the rocket accelerates forward, then presumably momentum conservation and the rocket’s forward motion likewise explain why the rocket emits exhaust rearward. Explanatory circularity threatens to follow from this pair of explanations. This paper examines how the conservation-law explanation works and how it is compatible with the causal-mechanical explanation. The paper argues that these two explanations do not explain precisely the same fact relative to the same contrast class. The paper interprets the two conservation-law explanations as non-causal and argues that they yield no explanatory circularity. (shrink)

Sober 2011 argues that, contrary to Hume, some causal statements can be known a priori to be true—notably, some ‘would promote’ statements figuring in causal models of natural selection. We find Sober's argument unconvincing. We regard the Humean thesis as denying that causal explanations contain any a priori knowable statements specifying certain features of events to be causally relevant. We argue that not every ‘would promote’ statement is genuinely causal, and we suggest that Sober has not shown that his examples (...) of ‘would promote’ statements manage to achieve a priori status without sacrificing their causal character. (shrink)

After reviewing several failed arguments that laws cannot change, I use the laws' special relation to counterfactuals to show how temporary laws would have to differ from eternal but time-dependent laws. Then I argue that temporary laws are impossible and that neither Lewis's nor Armstrong's analyses of law nicely accounts for the laws' immutability. *Received September 2006; revised September 2007. ‡Many thanks to John Roberts and John Carroll for valuable comments on earlier drafts, as well as to several anonymous referees (...) for their good suggestions. †To contact the author, please write to: Department of Philosophy, University of North Carolina, CB #3125, Caldwell Hall, Chapel Hill, NC 27599-3125; e-mail: [email protected]. (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 analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

Myrvold (2003) has proposed an attractive Bayesian account of why theories that unify phenomena tend to derive greater epistemic support from those phenomena than do theories that fail to unify them. It is argued, however, that "unification" in Myrvold's sense is both too easy and too difficult for theories to achieve. Myrvold's account fails to capture what it is that makes unification sometimes count in a theory's favor.

The institution of the family and its importance have recently received considerable attention from political theorists. Leading views maintain that the institution’s justification is grounded, at least in part, in the non-instrumental value of the parent-child relationship itself. Such views face the challenge of identifying a specific good in the parent-child relationship that can account for how adults acquire parental rights over a particular child—as opposed to general parental rights, which need not warrant a claim to parent one’s biological progeny. (...) I develop a view that meets this challenge. This Project View identifies the pursuit of a parental project as a distinctive non-instrumentally valuable good that provides a justification for the family and whose pursuit is necessary and sufficient for the acquisition of parental rights. This view grounds moral parenthood in a normative relation as opposed to a biological one, supports polyadic forms of parenting, and provides plausible guidance in cases of assisted reproduction. (shrink)

Why should science be so interested in discovering whether p is a law over and above whether p is true? The answer may involve the laws' relation to counterfactuals: p is a law iff p would still have obtained under any counterfactual supposition that is consistent with the laws. But unless we already understand why science is especially concerned with the laws, we cannot explain why science is especially interested in what would have happened under those counterfactual suppositions consistent with (...) the laws. It is argued that the laws form the only non-trivially "stable" set, where "stability" is invariance under a certain range of counterfactual suppositions not itself defined by reference to the laws. It is then explained why science should be so interested in identifying a non-trivially "stable" set: because of stability's relation to the best set of "inductive strategies". (shrink)

I offer an argument regarding chances that appears to yield a dilemma: either the chances at time t must be determined by the natural laws and the history through t of instantiations of categorical properties, or the function ch(•) assigning chances need not satisfy the axioms of probability. The dilemma's first horn might seem like a remnant of determinism. On the other hand, this horn might be inspired by our best scientific theories. In addition, it is entailed by the familiar (...) view that facts about chances at t are ontologically reducible to facts about the laws and the categorical history through t. However, that laws are ontologically prior to chances stands in some tension with the view that chances are governed by laws just as categorical-property instantiations are. The dilemma's second horn entails that if chances are in fact probabilities, then this is a matter of natural law rather than logical or conceptual necessity. I conclude with a suggestion for going between the horns of the dilemma. This suggestion involves a generalization of the notion that chances evolve by conditionalization. Introduction "Chances evolve by conditionalization" How might the lawful magnitude principle be defended? A historical interlude What if chances failed to be determined by the laws and categorical facts? (shrink)

Several philosophers have argued that ‘constraints’ constrain (and thereby explain) by virtue of being modally stronger than ordinary laws of nature. In this way, a constraint applies to all possible systems, for a variety of possibility that is broader (that is, more inclusive) than the variety we employ when we say that the ordinary laws of nature apply to all physically possible systems. Explanations by constraint are thus more broadly unifying than ordinary causal explanations. Philosophical examples of good candidates for (...) constraints have heretofore been drawn almost exclusively from fundamental physics. This paper argues for the existence of such constraints (even multiple levels of them) in at least one human science (linguistics), not just in physics. (shrink)

Why should science be so interested in discovering whether p is a law over and above whether p is true? The answer may involve the laws’ relation to counterfactuals: p is a law iff p would still have obtained under any counterfactual supposition that is consistent with the laws. But unless we already understand why science is especially concerned with the laws, we cannot explain why science is especially interested in what would have happened under those counterfactual suppositions consistent with (...) the laws. It is argued that the laws form the only non-trivially “stable” set, where “stability” is invariance under a certain range of counterfactual suppositions not itself defined by reference to the laws. It is then explained why science should be so interested in identifying a non-trivially “stable” set: because of stability’s relation to the best set of “inductive strategies”. (shrink)

A widespread perspective describes emotions as distinct categories bridged by fuzzy boundaries, indicating that emotions are distinct and dimensional at the same time. Theoretical and methodological approaches to this perspective still need further development. We conceptualize emotions as overlapping networks of causal relationships between emotion components—networks representing distinct emotions share components with and relate to each other. To investigate this conceptualization, we introduce network analysis to emotion research and apply it to the reanalysis of a data set on multiple positive (...) emotions. Specifically, we describe the estimation of networks from data, and the detection of overlapping communities of nodes in these networks. The network perspective has implications for the understanding of distinct emotions, their co-occurrence, and their measurement. (shrink)

We say a countable model ������ has a 0-basis if the types realized in ������ are uniformly computable. We say ������ has a (d-)decidable copy if there exists a model ������ ≅ ������ such that the elementary diagram of ������ is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model ������ with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0' be any low₂ degree. We show that there exists a homogeneous (...) model ������ with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous ������ with a 0-basis has a d-decidable copy. In previous work, we showed that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding $\Delta _{2}^{0}$ degrees. (shrink)

AI-supported methods for identifying and combating disinformation are progressing in their development and application. However, these methods face a litany of epistemic and ethical challenges. These include (1) robustly defining disinformation, (2) reliably classifying data according to this definition, and (3) navigating ethical risks in the deployment of countermeasures, which involve a mixture of harms and benefits. This paper seeks to expose and offer preliminary analysis of these challenges.

The public and scholars alike largely consider envy to be reprehensible. This judgment of the value of envy commonly results either from a limited understanding of the nature of envy or from a limited understanding of how to determine the value of phenomena. Overcoming this state requires an interdisciplinary collaboration of psychologists and philosophers. That is, broad empirical evidence regarding the nature of envy generated in psychological studies must inform judgments about the value of envy according to sophisticated philosophical standards. (...) We conducted such a collaboration. Empirical research indicates that envy is constituted by multiple components which in turn predict diverse outcomes that may be functional for the self and society. Accordingly, the value of envy is similarly nuanced. Sometimes, envy may have instrumental value in promoting prudentially and morally good outcomes. Sometimes, envy may be non-instrumentally prudentially and morally good. Sometimes, envy may be bad. This nuanced perspective on the value of envy has implications for recommendations on how to deal with envy and paves the way toward future empirical and theoretical investigations on the nature and the value of envy. (shrink)

Roche and Sober (2013; 2014; 2017; 2019) have offered an important new argument that explanatoriness lacks confirmatory significance. My aim in this paper is not only to contend that their argument fails to show that in confirmation ‘there is nothing special about explanatoriness’ (Roche & Sober, 2017: 589), but also to reveal what is special confirmationwise about explanatoriness. I will argue that much of the heavy work in Roche and Sober's argument is done by the dichotomy into which they carve (...) up the philosophical options: either explanatory considerations per se are confirmatorily relevant or they acquire whatever confirmatory significance they may possess only by way of background beliefs and so no differently from non‐explanatory considerations. I will argue that this is a false dichotomy: Explanatoriness per se can have confirmatory relevance even while explanatory considerations acquire their confirmatory relevance only through background opinions. Furthermore, there is ‘something special’ about the background opinions concerning explanations that allow explanatoriness in itself to have confirmatory impact. Unlike other sorts of background, having some background opinions expressly about explanations is indispensable to being an observer at all. (shrink)

Clinical psychologists describe decentering as the mental operation in which a subject “moves out” of immersion in a mental state. Such decentering is philosophically puzzling. It involves that a subject attends to her mental state to distance herself from it. That is, she attends to the state to make it less determining of her processing. This paper provides a philosophical explanation of the nature of decentering. It analyses decentering as a complex mental operation composed of two sub-operations: introspection and detachment. (...) Drawing on this analysis, the paper argues that decentering involves certain dynamics of attention and attention control that pose an important challenge to a selection for action theory of attention. This challenge concerns adequately describing the workings of detachment in decentering. The paper discusses how a selection for action theory might reply, yet it argues that all the available replies involve unattractive aspects. The paper closes with broader perspectives, suggesting that decentering might also pose a puzzle for other theories of attention. (shrink)