Indicative conditionals and tendency causal claims are closely related (e.g., Frosch and Byrne, 2012), but despite these connections, they are usually studied separately. A unifying framework could consist in their dependence on probabilistic factors such as high conditional probability and statistical relevance (e.g., Adams, 1975; Eells, 1991; Douven, 2008, 2015). This paper presents a comparative empirical study on differences between judgments on tendency causal claims and indicative conditionals, how these judgments are driven by probabilistic factors, and how these factors differ (...) in their predictive power for both causal and conditional claims. (shrink)

Integrative experiment design is a needed improvement over ad hoc experiments, but the specific proposed method has limitations. We urge a further break with tradition through the use of an enormous untapped resource: Decades of causal discovery artificial intelligence (AI) literature on optimizing the design of systematic experimentation.

Causation appears to present us with an interpretative difficulty. While arguably a redundant relation given fundamental physics, it is nevertheless apparently pragmatically indispensable. This chapter revisits certain arguments made previously by the author for these claims with the benefit of hindsight, starting with the role of causal models in the human sciences, and attempting to explain why it is not possible to straightforwardly ground such models in fundamental physics. This suggests that further constraints, going beyond physics, are needed to legitimate (...) such models. These supplementary constraints could be reified, but that would seem to conflict with the completeness of physics. A response is to emphasize the practical role of causal talk, and the author suggests that a fictionalist approach might be worth exploring. After clarifying fictionalism as a general approach, they carry out in some detail the project of clarifying what a fictionalist attitude to causation would involve. (shrink)

This paper introduces and defends a new principle for when a structural equation model is apt for analyzing actual causation. Any such analysis in terms of these models has two components: a recipe for reading claims of actual causation off an apt model, and an articulation of what makes a model apt. The primary focus in the literature has been on the first component. But the problem of structural isomorphs has made the second especially pressing (Hall 2007; Hitchcock 2007a). Those (...) with realist sympathies have reason to resist the standard response to this problem, which introduces a normative parameter into the metaphysics (Hall 2007; Halpern and Hitchcock 2010, 2015; Halpern 2016a; Menzies 2017; Gallow 2021). However, the only alternative solution in the literature leaves central questions unanswered (Blanchard and Schaffer 2017). I propose an independently motivated aptness requirement, Evident Mediation, that provides the missing details and resolves the structural isomorph problem without need for a normative parameter. (shrink)

The reduction of grounding to causation, or each to a more general relation of which they are species, has sometimes been justified by the impressive inferential capacity of structural equation modelling, causal Bayes nets, and interventionist causal modelling. Many criticisms of this assimilation focus on how causation is inadequate for grounding. Here, I examine the other direction: how treating grounding in the image of causation makes the resulting view worse for causation. The distinctive features of causal modelling that make this (...) connection appealing are distorted beyond use by forcing them to fit onto grounding. The very inferential strength that makes causation attractive is only possible because of a narrow construal of what counts as a causal relation; as soon as that broadens, the inferential capacity markedly diminishes. Making causation suitable for application to grounding spoils what was appealing about causation for this task in the first place. However, grounding need not appeal to causation: causal modelling does not have exclusive claim to structural equation modeling or other formal techniques of modelling structure. I offer a case in favour of a different kind of metaphysical frugality, which tend towards narrow, more restrictive construals of relations like causation or grounding, because then each relation behaves more homogenously. This more homogenous behavior delivers stronger inferential power per relation even though there may be more relations to which one is committed. (shrink)

It is common to ascribe agency to some organized collectives, such as corporations, courts, and states, and to treat them as loci of responsibility, over and above their individual members. But since responsibility is often assumed to require free will, should we also think that group agents have free will? Surprisingly, the literature contains very few in-depth discussions of this question. The most extensive defence of corporate free will that I am aware of (Hess [2014], “The Free Will of Corporations (...) (and Other Collectives)”, Philosophical Studies 168 (1): 241–260) rests on a compatibilist understanding which takes reasons-responsiveness and acting from one’s own ‘actional springs’ as key conditions for free will but says little about a condition that free-will libertarians emphasize: the possibility of doing otherwise. In this paper, I will argue that group agents can have free will not only in a (less demanding) compatibilist sense, but also in a recognizably libertarian sense, which includes the possibility of doing otherwise. In developing this account of corporate free will, I will bring together recent work on group agency and recent work on free will. (shrink)

I respond to a dilemma for Causal Decision Theory (CDT) under determinism, posed in Adam Elga's paper “Confessions of a Causal Decision Theorist”. The treatment I present highlights (i) the status of laws as predictors, and (ii) the consequences of decision dependence, which arises natively out of Jeffrey Conditioning and CDT's characteristic equation.My argument leverages decision dependence to work around a key assumption of Elga's proof: to wit, that in the two problems he presents, the CDTer must employ subjunctive-suppositional (rather (...) than evidential) transformations of a shared prior. (shrink)

Influence theory is a systematic study of formal models of the communicative influence of one person or group of people on another person or group. In that sense influence theory is an overarching philosophical discipline that includes aspects of decision theory and game theory as sub-disciplines as well as established models of de facto segregation, cultural change, opinion polarization, and epistemic networks. What we offer here is a structured outline of formal results that have been scattered across a range of (...) disciplinary contexts from mathematics, physics and computer science to economics and political science, supplemented with a number of new models, emphasizing their place within the philosophical framework of a general theory of influence. What such an outline offers, we propose, is the prospect of new and important cross-fertilizations and expansions in formal attempts to model the diverse patterns of communicative influence. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In this paper, a novel experimental task is developed for testing the highly influential, but experimentally underexplored, possible worlds account of conditionals (Stalnaker, 1968; Lewis, 1973). In Experiment 1, this new task is used to test both indicative and subjunctive conditionals. For indicative conditionals, five competing truth tables are compared, including the previously untested, multi-dimensional possible worlds semantics of Bradley (2012). In Experiment 2, these results are replicated and it is shown that they cannot be accounted for by an alternative (...) hypothesis proposed by our reviewers. In Experiment 3, individual variation in truth assignments of indicative conditionals is investigated via Bayesian mixture models that classify participants as following one of several competing models. As a novelty of this study, it is found that a possible worlds semantics of Lewis and Stalnaker is capable of accounting for participants’ aggregate truth value assignments in this task. Applied to indicative conditionals, we show across three experiments, that the theory both captures participants’ truth values at the aggregate level (Experiments 1 and 2) and that it makes up the largest subgroup in the analysis of individual variation in our experimental paradigm (Experiment 3). (shrink)

Incorporating normality ascriptions into counterfactual theories of causation was supposed to handle isomorphs. It doesn’t—conjoining isomorphs can produce cases that such ascriptions cannot resolve.

As we understand them, dispositions are relatively uncontroversial 'predicatory' properties had by objects disposed in certain ways. By contrast, powers are hypothetical 'ontic' properties posited in order to explain dispositional behaviour. Chapter 1 outlines this distinction in more detail. Chapter 2 offers a summary of the issues surrounding analysis of dispositions and various strategies in contemporary literature to address them, including one of our own. Chapter 3 describes some of the important questions facing the metaphysics of powers including why they're (...) worth positing, and how they might metaphysically explain laws of nature and modality. (shrink)

I outline a heretofore neglected difference between manipulation scenarios and merely deterministic ones. Plausible scientific determinism does not imply that the relevant prior history of the universe is independent of us, while manipulation does. Owing to sensitive dependence of physical outcomes upon initial conditions, in order to trace a deterministic history, a microphysical level of analysis is required. But on this level physical laws are time-symmetrically deterministic, and causality, conceived asymmetrically, disappears. I then consider a revised scenario to resurrect the (...) threat of manipulation even in the presence of time-symmetry and sensitive dependence upon initial conditions. To do so we posit a manipulator containing all the information of the manipulated and time-symmetrically related to him. The new scenario violates special relativity, but even waiving that objection, the scenario faces a dilemma. I argue that the manipulator either lacks agency enough to manipulate the target, or can integrate thoughts separated by long time spans into a single decision. In the latter case, the 'manipulated agent' disappears into the manipulator, making it the story of just one agent. (shrink)

The attributable fraction (population) has attracted much attention from a theoretical perspective and has been used extensively to assess the impact of potential health interventions. However, despite its extensive use, there is much confusion about its concept and calculation methods. In this article, we discuss the concepts of and calculation methods for the attributable fraction and related measures in the counterfactual framework, both with and without stratification by covariates. Generally, the attributable fraction is useful when the exposure of interest has (...) a causal effect on the outcome. However, it is important to understand that this statement applies to the exposed group. Although the target population of the attributable fraction (population) is the total population, the causal effect should be present not in the total population but in the exposed group. As related measures, we discuss the preventable fraction and prevented fraction, which are generally useful when the exposure of interest has a preventive effect on the outcome, and we further propose a new measure called the attributed fraction. We also discuss the causal and preventive excess fractions, and provide notes on vaccine efficacy. Finally, we discuss the relations between the aforementioned six measures and six possible patterns using a conceptual schema. (shrink)

In response to widespread use of automated decision-making technology, some have considered a right to explanation. In this paper I draw on insights from philosophical work on explanation to present a series of challenges to this idea, showing that the normative motivations for access to such explanations ask for something difficult, if not impossible, to extract from automated systems. I consider an alternative, outcomes-focused approach to the normative evaluation of automated decision-making, and recommend it as a way to pursue the (...) goods originally associated with explainability. (shrink)

This paper explores the prospects of employing a functional approach in order to improve our concept of actual causation. Claims of actual causation play an important role for a variety of purposes. In particular, they are relevant for identifying suitable targets for intervention, and they are relevant for our practices of ascribing responsibility. I argue that this gives rise to the challenge of purpose. The challenge of purpose arises when different goals demand adjustments of the concept that pull in opposing (...) directions. More specifically, I argue that a common distinction between certain kinds of preempted and preempting factors is difficult to motivate from an interventionist viewpoint. This indicates that an appropriately revised concept of actual causation would not distinguish between these two kinds of factors. From the viewpoint of retributivist responsibility, however, the distinction between preempted and preempting factors sometimes is important, which indicates that the distinction should be retained. (shrink)

The causal view of categories assumes that categories are represented by features and their causal relations. To study the effect of causal knowledge on categorization, researchers have used Bayesian causal models. Within that framework, categorization may be viewed as dependent on a likelihood computation (i.e., the likelihood of an exemplar with a certain combination of features, given the category's causal model) or as a posterior computation (i.e., the probability that the exemplar belongs to the category, given its features). Across three (...) experiments, in combination with computational modeling, we offer evidence that categorization is better accounted for by assuming that people compute posteriors and not likelihoods, though both probabilities are closely related. This result contrasts with existing analyses of causal-based categorization, which assume that likelihood computations give a good approximation of human judgments. We also find that people are able to compute likelihoods in a closely related task that elicits judgments of consistency rather than category membership judgments. Our analyses show that people do use causal probabilistic information as prescribed by a Bayesian model but that they flexibly compute likelihoods or posteriors depending on the task. We discuss our results in relation to the relevant literature on the topic. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

We develop a new version of the causal theory of spacetime. Whereas traditional versions of the theory seek to identify spatiotemporal relations with causal relations, the version we develop takes causal relations to be the grounds for spatiotemporal relations. Causation is thus distinct from, and more basic than, spacetime. We argue that this non-identity theory, suitably developed, avoids the challenges facing the traditional identity theory.

This article introduces a non‐cognitivist account of metaphysical explanation according to which the core function of judgements of the form ⌜x because y⌝ is not to state truth‐apt beliefs. Instead, their core function is to express attitudes of commitment to, and recommendation of the acceptance of certain norms governing interventional conduct at contexts.

The integrated information theory (IIT) is an ambitious theory of consciousness that aims to provide both a neuroscientific and a metaphysical account of consciousness by identifying consciousness with integrated information. In the philosophical literature, IIT is often associated with a panpsychist worldview. In this paper, I show that IIT can be considered, instead, as a form of emergentism that is incompatible with panpsychism. First, I show that the panpsychist interpretation of IIT is based on two properties of integrated information: intrinsicality (...) and fundamentality. I show that the way IIT deals with these two properties, however, aligns better with emergentism than panpsychism. Then, after plugging some anti-panpsychist assumptions into IIT’s structure, I analyse different philosophical options for interpreting the formal result of causal emergence of integrated information in terms of dependence on and autonomy from its physical substrate. The upshot is that integrated information can be seen as dependent upon the fusion of the cause-effect powers of a physical substrate, and as autonomous in virtue of global-to-local determination. According to this interpretation, consciousness is the constraining power of the system as a whole upon itself, when this power emerges from the fusion on the cause-effect powers of the system’s components. (shrink)

Advancements in machine learning have fuelled the popularity of using AI decision algorithms in procedures such as bail hearings, medical diagnoses and recruitment. Academic articles, policy texts, and popularizing books alike warn that such algorithms tend to be opaque: they do not provide explanations for their outcomes. Building on a causal account of transparency and opacity as well as recent work on the value of causal explanation, I formulate a moral concern for opaque algorithms that is yet to receive a (...) systematic treatment in the literature: when such algorithms are used in life-changing decisions, they can obstruct us from effectively shaping our lives according to our goals and preferences, thus undermining our autonomy. I argue that this concern deserves closer attention as it furnishes the call for transparency in algorithmic decision-making with both new tools and new challenges. (shrink)

Our scientific theories, like our cognitive structures in general, consist of propositions linked by evidential, explanatory, probabilistic, and logical connections. Those theoretical webs ‘impinge on the world at their edges,’ subject to a continuing barrage of incoming evidence. Our credences in the various elements of those structures change in response to that continuing barrage of evidence, as do the perceived connections between them. Here we model scientific theories as Bayesian nets, with credences at nodes and conditional links between them modelled (...) as conditional probabilities. We update those networks, in terms of both credences at nodes and conditional probabilities at links, through a temporal barrage of random incoming evidence. Robust patterns of punctuated equilibrium, suggestive of ‘normal science’ alternating with ‘paradigm shifts,’ emerge prominently in that change dynamics. The suggestion is that at least some of the phenomena at the core of the Kuhnian tradition are predictable in the typical dynamics of scientific theory change captured as Bayesian nets under even a random evidence barrage. (shrink)

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual reductive account (...) combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

Most philosophers of physics are eliminativists about causation. Following Bertrand Russell’s lead, they think that causation is a folk concept that cannot be rationally reconstructed within a worldview informed by contemporary physics. Against this thesis, I argue that physics contributes to shaping the concept of causation, in two ways. (1) Special Relativity is a physical theory that expresses causal constraints. (2) The physical concept of a conserved quantity can be used in the functional reduction of the notion of causation. The (...) empirical part of this reduction makes the hypothesis that the transference of an amount of a conserved quantity is a necessary and sufficient condition for causation. This hypothesis is defended against several objections from physics: that amounts of energy do not possess the appropriate identity conditions required for being able to be transmitted, that there is no universal principle of the conservation of energy in General Relativity, and that there are at least two types of physical systems in which causation does not involve any transference: entangled systems in quantum mechanics and the Aharonov–Bohm effect. In order to show that physics provides means to elaborate the concept of causation it is important to avoid certain misunderstandings. In particular, the claim that there is causation in a physical world does not mean that causation is an additional ingredient of the “furniture” of the world, over and above the ingredients identified by physics. (shrink)

In “Flagpoles anyone? Causal and explanatory asymmetries”, James Woodward supplements his celebrated interventionist account of causation and explanation with a set of new ideas about causal and explanatory asymmetries, which he extracts from some cutting-edge methods for causal discovery from observational data. Among other things, Woodward draws interesting connections between observational causal discovery and interventionist themes that are inspired in the first place by experimental causal discovery, alluding to a sort of unity between observational and experimental causal discovery. In this (...) paper, I make explicit what I take to be the implicated unity. Like experimental causal discovery, observational causal discovery also relies on interventions, albeit interventions that are not carried out by investigators and hence need to be detected as part of the inference. The observational patterns appealed to in observational causal discovery are not only surrogates for would-be interventions, as Woodward sometimes puts it; they also serve to mark relevant interventions that actually happen in the data generating process. (shrink)

Reichenbach’s ‘principle of the common cause’ is a foundational assumption of some important recent contributions to quantitative social science methodology but no similar principle appears in econometrics. Angrist et al. has argued that the principle is necessary for instrumental variables methods in econometrics, and Angrist Krueger builds a framework using it that he proposes as a means of resolving an important methodological dispute among econometricians. Through analysis of instrumental variables methods and the issue of multicollinearity, we aim to show that (...) the relationship of the principle to econometric methods is more nuanced than implied by previous work but nevertheless may make a valuable contribution to the coherence and validity of existing methods. (shrink)

In her ‘Causality and Determination’, Anscombe argues for the strong thesis that despite centuries of philosophical assumption to the contrary, the supposition that causality and necessity have something essential to do with one another is baseless. In this paper, I assess Anscombe’s arguments and endorse her conclusion. I then attempt to argue that her arguments remain highly relevant today, despite the fact that most popular general views of causation today are firmly probabilistic in orientation and thus show no trace of (...) the assumptions Anscombe hoped to undermine. My suggestion is that Anscombe's interests in causality are distinct from those which mostly animate the modern debate about the general nature of causality and that in those specialized areas of philosophy in which those concerns still dominate, one can still see the effects of the fallacies and confusions to which she alerts us. I conclude by offering two possible complementary explanations of the tendency to suppose that causation is a variety of necessitation. (shrink)

That one person's modus ponens is another's modus tollens is the bane of philosophy because it strips many philosophical arguments of their persuasive force. The problem is that philosophical arguments become mere pantomemes: arguments that are reasonable to resist simply by denying the conclusion. Appeals to proof, intuition, evidence, and truth fail to alleviate the problem. Two broad strategies, however, do help in certain circumstances: an appeal to normal informal standards of what is reasonable (nisowir) and argument by interpretation. The (...) method of explication features prominently in both strategies, and the paper extends this method to apply to nisowir, introducing the concept of canonical explication. The paper illustrates the two strategies with examples of arguments from formal epistemology and suggests that an appeal to nisowir might help to defend against philosophical scepticism by shifting the burden of proof to the sceptic. (shrink)

Causation is a macroscopic phenomenon. The temporal asymmetry displayed by causation must somehow emerge along with other asymmetric macroscopic phenomena like entropy increase and the arrow of radiation. I shall approach this issue by considering ‘causal inference’ techniques that allow causal relations to be inferred from sets of observed correlations. I shall show that these techniques are best explained by a reduction of causation to structures of equations with probabilistically independent exogenous terms. This exogenous probabilistic independence imposes a recursive order (...) on these equations and a consequent distinction between dependent and independent variables that lines up with the temporal asymmetry of causation. (shrink)

On the standard analysis, a counterfactual conditional such as “If P had been the case, then Q would have been the case” is true in the actual world if, in all nearest possible worlds in which its antecedent (P) is true, its consequent (Q) is also true. Despite its elegance, this analysis faces a difficulty if the laws of nature are deterministic. Then the antecedent could not have been true, given prior conditions. So, it is unclear what the relevant “nearest (...) possible worlds” are. David Lewis suggested that they are ones in which a local breach of the laws occurred: a “small miracle”. Others have suggested that they are ones in which the initial conditions were different (“backtracking”). I propose another response. It builds on the idea that the special sciences, where counterfactual reasoning is most common, operate at a higher level of description from fundamental physics, and that the world may behave indeterministically at higher levels even if it behaves deterministically at the fundamental physical one. The challenge from determinism can then be bypassed for many special-science counterfactuals. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence, a fast-growing research area that is so far lacking in firm theoretical foundations. In this article, an expanded version of a paper originally presented at the 37th Conference on Uncertainty in Artificial Intelligence, we attempt to fill this gap. Building on work in logic, probability, and causality, we establish the central role of (...) necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We propose a novel formulation of these concepts, and demonstrate its advantages over leading alternatives. We present a sound and complete algorithm for computing explanatory factors with respect to a given context and set of agentive preferences, allowing users to identify necessary and sufficient conditions for desired outcomes at minimal cost. Experiments on real and simulated data confirm our method’s competitive performance against state of the art XAI tools on a diverse array of tasks. (shrink)

As machine learning has gradually entered into ever more sectors of public and private life, there has been a growing demand for algorithmic explainability. How can we make the predictions of complex statistical models more intelligible to end users? A subdiscipline of computer science known as interpretable machine learning (IML) has emerged to address this urgent question. Numerous influential methods have been proposed, from local linear approximations to rule lists and counterfactuals. In this article, I highlight three conceptual challenges that (...) are largely overlooked by authors in this area. I argue that the vast majority of IML algorithms are plagued by (1) ambiguity with respect to their true target; (2) a disregard for error rates and severe testing; and (3) an emphasis on product over process. Each point is developed at length, drawing on relevant debates in epistemology and philosophy of science. Examples and counterexamples from IML are considered, demonstrating how failure to acknowledge these problems can result in counterintuitive and potentially misleading explanations. Without greater care for the conceptual foundations of IML, future work in this area is doomed to repeat the same mistakes. (shrink)

We define a formal semantics of conditionals based on _normatively ideal worlds_. Such worlds are described informally by Armgardt (Gabbay D, Magnani L, Park W, Pietarinen A-V (eds) Natural arguments: a tribute to john woods, College Publications, London, pp 699–708, 2018) to address well-known problems of the counterfactual approach to causation. Drawing on Armgardt’s proposal, we use iterated conditionals in order to analyse causal relations in scenarios of multi-agent interaction. This results in a refined counterfactual approach to causal responsibility in (...) legal contexts, which solves overdetermination problems in an intuitively accessible manner. (shrink)

According to the theory developed here, we may trace out the processes emanating from a cause in such a way that any consequence lying along one of these processes counts as an effect of the cause. This theory gives intuitive verdicts in a diverse range of problem cases from the literature. Its claims about causation will never be retracted when we include additional variables in our model. And it validates some plausible principles about causation, including Sartorio's ‘Causes as Difference Makers’ (...) principle and Hitchcock's ‘Principle of Sufficient Reason’. (shrink)

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

Recent years have seen growing interest in modifying interventionist accounts of causal explanation in order to characterise noncausal explanation. However, one surprising element of such accounts is that they have typically jettisoned the core feature of interventionism: interventions. Indeed, the prevailing opinion within the philosophy of science literature suggests that interventions exclusively demarcate causal relationships. This position is so prevalent that, until now, no one has even thought to name it. We call it “intervention puritanism” (I-puritanism, for short). In this (...) paper, we mount the first sustained defence of the idea that there are distinctively noncausal explanations which can be characterized in terms of possible interventions; a position we call “intervention liberalism” (I-liberalism, for short). While many have followed James Woodward (2003) in committing to I-puritanism, we trace support for I-liberalism back to the work of Jaegwon Kim (1974). Furthermore, we analyse two recent sources of scepticism regarding I-liberalism: debate surrounding mechanistic constitution; and attempts to provide a monistic account of explanation. We show that neither literature provides compelling reasons for adopting I-puritanism. Finally, we present a novel taxonomy of available positions upon the role of possible interventions in explanation: weak causal imperialism; strong causal imperialism; monist intervention puritanism; pluralist intervention puritanism; monist intervention liberalism; and finally, the specific position defended in this paper, pluralist intervention liberalism. (shrink)

Newton’s First Law of Motion is typically understood to govern only the motion of force-free bodies. This paper argues on textual and conceptual grounds that it is in fact a stronger, more general principle. The First Law limits the extent to which any body can change its state of motion –– even if that body is subject to impressed forces. The misunderstanding can be traced back to an error in the first English translation of Newton’s Principia, which was published a (...) few years after Newton’s death. (shrink)

Philosophers have recently highlighted substantial affinities between causation and grounding, which has inclined some to import the conceptual and formal resources of causal interventionism into the metaphysics of grounding. The prospect of grounding interventionism raises two important questions: exactly what are grounding interventions, and why should we think they enable knowledge of grounding? This paper will approach these questions by examining how causal interventionists have addressed (or might address) analogous questions and then comparing the available options for grounding interventionism. I (...) argue that grounding interventions must be understood in worldly terms, as adding something to or deleting something from the roster of entities, or making some fact obtain or fail to obtain. I consider three bases for counterfactual assessment: imagination, structural equation models, and background theory. I conclude that grounding interventionism requires firmer epistemological foundations, without which the interventionist's epistemology of grounding is incomplete and ineffectually rationalist. (shrink)

Functional robustness refers to a system’s ability to maintain a function in the face of perturbations to the causal structures that support performance of that function. Modularity, a crucial element of standard methods of causal inference and difference-making accounts of causation, refers to the independent manipulability of causal relationships within a system. Functional robustness appears to be at odds with modularity. If a function is maintained despite manipulation of some causal structure that supports that function, then the relationship between that (...) structure and function fails to be manipulable independent of other causal relationships within the system. Contrary to this line of reasoning, I argue that functional robustness often attends feedback control, rather than failures of modularity. Feedback control poses its own challenges to causal explanation and inference, but those challenges do not undermine modularity—and indeed, modularity is crucial to grappling with them. (shrink)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but the same holds for (...) practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealisedexplanation gamein which players collaborate to find the best explanation(s) for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal patterns of (...) variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a (conditionally) optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Professional sport like most human activities undertaken for pay is subject to Article 23(2) of the Universal Declaration of Human Rights (“Equal Pay for Equal Work”). An athlete’s ‘work’ can be variously construed, however, as entertainment/profit generation, athletic performance, or effort. Feminist arguments for gender wage parity in professional sport based on the former two construals rely on counterfactual assumptions, given that most actual audiences and performances of athletes identifying as female do not (currently) equal those of athletes identifying as (...) male. But both philosophical and scientific accounts of the truth-conditions of counterfactual conditionals of the form ‘If conditions X obtained, then the entertainment value/performance of female athletes would equal that of male athletes’ remain uncertain. Construing athletic ‘work’ as effort, on the other hand, ties remuneration to a quasi-unobservable quantity, with paradoxical outcomes when varying levels of athletic or social disadvantage are taken into account. Appeal to procedural justice, finally, does not yield wage equality unless we make the same counterfactual assumptions, or postulate a right to equal remuneration on unrelated grounds of substantive justice. On either of these approaches, the case for gender wage parity in professional sport requires strengthening. (shrink)

The causal efficacy of a material system is usually thought to be produced by the law-like actions and interactions of its constituents. Here, a specific system is constructed and explained that produces a cause that cannot be understood in this way, but instead has novel and autonomous efficacy. The construction establishes a proof-of-feasibility of strong emergence. The system works by utilizing randomness in a targeted and cyclical way, and by relying on sustained evolution by natural selection. It is not vulnerable (...) to standard arguments against strong emergence, in particular ones that assume that the physical realm is causally closed. Moreover, it does not suffer from epiphenomenalism or causal overdetermination. The system uses only standard material components and processes, and is fully consistent with naturalism. It is discussed whether the emergent cause can still be viewed as ‘material’ in the way that term is commonly understood. (shrink)

Sortition, i.e. random appointment for public duty, has been employed by societies throughout the years as a firewall designated to prevent illegitimate interference between parties in a legal case and agents of the legal system. In judicial systems of modern western countries, random procedures are mainly employed to select the jury, the court and/or the judge in charge of judging a legal case. Therefore, these random procedures play an important role in the course of a case, and should comply with (...) some principles, such as transparency and complete auditability. Nevertheless, these principles are neglected by random procedures in some judicial systems, which are performed in secrecy and are not auditable by the involved parties. The assignment of cases in the Brazilian Supreme Court is an example of such a procedure, for it is performed using procedures unknown to the parties involved in the judicial cases. This article presents a review of how sortition has been historically employed by societies and discusses how Mathematical Statistics may be applied to random procedures of the judicial system, as it has been applied for almost a century on clinical trials, for example. A statistical model for assessing randomness in case assignment is proposed and applied to the Brazilian Supreme Court. As final remarks, guidelines for the development of good randomization procedures are outlined. (shrink)

Intentional sampling methods are non-probabilistic procedures that select a group of individuals for a sample with the purpose of meeting specific prescribed criteria. Intentional sampling methods are intended for exploratory research or pilot studies where tight budget constraints preclude the use of traditional randomized representative sampling. The possibility of subsequently generalize statistically from such deterministic samples to the general population has been the issue of long standing arguments and debates. Nevertheless, the intentional sampling techniques developed in this paper explore pragmatic (...) strategies for overcoming some of the real or perceived shortcomings and limitations of intentional sampling in practical applications. (shrink)

Molinists hold that there are contingently true counterfactuals about what agents would do if put in specific circumstances, that God knows these prior to creation, and that God uses this knowledge in choosing how to create. In this essay we critique Molinism, arguing that if these theses were true, agents would not be free. Consider Eve’s sinning upon being tempted by a serpent. We argue that if Molinism is true, then there is some set of facts that fully explains both (...) Eve’s action and everything else Eve does that influences that action; and that if this is the case, Eve does not act freely. The first premise of this argument follows from the explanatory relations the Molinist is committed to, and the second premise follows from libertarian intuitions about free will. (shrink)