The basic form of the exclusion problem is by now very, very familiar. 2 Start with the claim that the physical realm is causally complete: every physical thing that happens has a sufficient physical cause. Add in the claim that the mental and the physical are distinct. Toss in some claims about overdetermination, give it a stir, and voilá—suddenly it looks as though the mental never causes anything, at least nothing physical. As it is often put, the physical does all (...) the work, and there is nothing left for the mental to do. (shrink)

Some questions are posed for van Fraassen, concerning the role and status of metaphysics in his Scientific Representation.

In a recent paper, Michael Huemer provides a new interpretation for ‘N’, the operator that occurs in Peter van Inwagen’s Consequence Argument, and argues that, given that interpretation, the Consequence Argument is sound. I have no quarrel with Huemer’s claim that the Consequence Argument is valid. I shall argue instead that his defense of its premises—a defense that allegedly involves refuting David Lewis’s response to van Inwagen—is unsuccessful.

According to ‘regularity theories’ of causation, the obtaining of causal relations depends on no more than the obtaining of certain kinds of regularity. Regularity theorists are thus anti-realists about necessary connections in nature. Regularity theories of one form or another have constituted the dominant view in analytic Philosophy for a long time, but have recently come in for some robust criticism, notably from Galen Strawson. Strawson’s criticisms are natural criticisms to make, but have not so far provoked much response from (...) regularity theorists. The paper considers and rebuts Strawson’s objections. For example, Strawson claims that if there were no necessary connections in nature, we ought continually to find the regularity of the Universe surprising. I argue that the fact that the Universe is regular is something we take ourselves (fallibly) to know, and hence, in the light of this knowledge, its continued orderliness is not at all surprising. -/- . (shrink)

This paper addresses a problem that arises when it comes to inferring deterministic causal chains from pertinent empirical data. It will be shown that to every deterministic chain there exists an empirically equivalent common cause structure. Thus, our overall conviction that deterministic chains are one of the most ubiquitous (macroscopic) causal structures is underdetermined by empirical data. It will be argued that even though the chain and its associated common cause model are empirically equivalent there exists an important asymmetry between (...) the two models with respect to model expansions. This asymmetry might constitute a basis on which to disambiguate corresponding causal inferences on non-empirical grounds. (shrink)

In this paper, I argue that David Lewis’s possible world semantics for counterfactual discourse and for fictional discourse are apparently inconsistent and in need of revision. The problem emerges for Lewis’s account once one considers how to evaluate ambifictional counterfactuals. Since this is likely not a concept familiar to most, and since it does not appear that the problem has been previously recognized in the critical literature, I will begin by rehearsing Lewis’s possible worlds semantics for counterfactuals and fiction. Then (...) I will explicate the distinction between intrafictional, extrafictional, interfictional, and ambifictional propositions. Next, I will state what an ambifictional counterfactual proposition is, and explain why this kind of discourse confounds Lewis’s system. I will conclude, finally, with a brief discussion of how the Lewisian would be best advised to resolve the paradox. (shrink)

Tracking theories see knowledge as a relation between a subject’s belief and the truth, where the former is responsive to the latter. This relationship involves causation in virtue of a sensitivity condition, which is constrained by an adherence condition. The result is what I call a stable causal relationship between a fact and a subject’s belief in that fact. I argue that when we apprehend the precise role of causation in the theory, previously obscured problems pour out. This paper presents (...) thirteen distinct and original counterexamples to Nozick’s tracking theory—many of which also constitute problems for more recent tracking theories. I begin by discussing how tracking relates to causation: Nozick invokes causation through conditions similar to those of Lewisian causal dependence. As a result, when causal dependence is not necessary for causation, Nozick fails to identify knowledge. I then address the inability of causation to capture epistemically important concepts, such as justification and truth. I conclude by discussing the underlying asymmetries between causation and knowledge that undermine any attempt to reduce knowledge to a purely metaphysical relation. (shrink)

The quantitative problem of old evidence is the problem of how to measure the degree to which e confirms h for agent A at time t when A regards e as justified at t. Existing attempts to solve this problem have applied the e-difference approach, which compares A's probability for h at t with what probability A would assign h if A did not regard e as justified at t. The quantitative problem has been widely regarded as unsolvable primarily on (...) the grounds that the e-difference approach suffers from intractable problems. Various philosophers have proposed that 'Bayesianism' should be rejected as a research strategy in confirmation theory in part because of the unsolvability of this problem. I develop a version of the e-difference approach which overcomes these problems and possesses various advantages (but also certain limitations). I develop an alternative 'theistic' approach which handles many cases that my development of the e-difference approach does not handle. I conclude with an assessment of the significance of the quantitative problem for Bayesianism and argue that this problem is misunderstood in so far as it is regarded as unsolvable, and in so far as it is regarded as a problem only for Bayesians. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

We argue that explanations appealing to logical impossibilities are genuine explanations. Our defense is based on a certain picture of impossibility. Namely, that there are impossibilities and that the impossibilities have structure. Assuming this broad picture of impossibility we defend the genuineness of explanations that appeal to logical impossibilities against three objections. First, that such explanations are at odds with the perceived conceptual connection between explanation and counterfactual dependence. Second, that there are no genuinely contrastive why-questions that involve logical impossibilities (...) and, third, that explanations appealing to logical impossibilities rule nothing out. (shrink)

The counterfactual approach to explainable AI (XAI) seeks to provide understanding of AI systems through the provision of counterfactual explanations. In a recent systematic review, Chou et al. (Inform Fus 81:59–83, 2022) argue that the counterfactual approach does not clearly provide causal understanding. They diagnose the problem in terms of the underlying framework within which the counterfactual approach has been developed. To date, the counterfactual approach has not been developed in concert with the approach for specifying causes developed by Pearl (...) (Causality: Models, reasoning, and inference. Cambridge University Press, 2000) and Woodward (Making things happen: A theory of causal explanation. Oxford University Press, 2003). In this paper, I build on Chou et al.’s work by applying the Pearl-Woodward approach. I argue that the standard counterfactual approach to XAI is capable of delivering causal understanding, but that there are limitations on its capacity to do so. I suggest a way to overcome these limitations. (shrink)

A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence. The standard Lewis-Stalnaker semantics is inadequate for handling such counterfactuals. That's because some of these counterfactuals are counterpossibles, and the standard Lewis-Stalnaker semantics trivializes for counterpossibles. Fortunately, there is a straightforward extension of the Lewis-Stalnaker semantics available that handles counterpossibles: simply take Lewis's closeness relation that orders possible worlds and unleash it across impossible worlds. To apply the (...) extended semantics, an account of the closeness relation for counterpossibles is needed. In this paper I offer a strategy for evaluating 'would' counterfactuals of ontological dependence that understands closeness between worlds in terms of the metaphysical concept of grounding. (shrink)

This paper offers a new way to evaluate counterfactual conditionals on the supposition that actually, there is no time. We then parlay this method of evaluation into a way of evaluating causal claims. Our primary aim is to preserve, at a minimum, the assertibility of certain counterfactual and causal claims once time has been excised from reality. This is an important first step in a more general reconstruction project that has two important components. First, recovering our ordinary language claims involving (...) notions such as persistence, change and agency and, second, recovering enough observational evidence so that any timeless metaphysics is not empirically self-refuting. However, the project of investigating causation in a timeless setting has a greater relevance than its application to timeless physical theory alone. For, as we show, it can be used to model the assertibility conditions of causal claims more generally. (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...) of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

I argue that Lewis's counterfactual theory of causation, given his treatment of counterfactuals in terms of world-comparative similarity faces insuperable problems in the form of the problem of effects and the problem of epiphenomena.

Many of us are tempted by the thought that the future is open, whereas the past is not. The future might unfold one way, or it might unfold another; but the past, having occurred, is now settled. In previous work we presented an account of what openness consists in: roughly, that the openness of the future is a matter of it being metaphysically indeterminate how things will turn out to be. We were previously concerned merely with presenting the view and (...) exploring its consequences; we did not attempt to argue for it over rival accounts. That is what we will aim to do in this paper. (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.

In a letter to Wlodek Rabinowicz, David Lewis introduced a decision scenario that he described as “much more problematic for decision theory than the Newcomb Problems”. This scenario, which involves an agent with foreknowledge of the outcome of some chance process, has received little subsequent attention. However, in one of the small number of discussions of such cases, Huw Price's Causation, Chance and the Rational Significance of Supernatural Evidence it has been argued that cases of this sort pose serious problems (...) for causal decision theory. In this paper, I will argue that these problems can be overcome: scenarios of this sort do not pose fatal problems for this theory as there are versions of CDT that reason appropriately in these cases. However, I will also argue that such cases push us toward a particular version of CDT developed by Wlodek Rabinowicz. (shrink)

A prominent philosophical debate concerns whether we should accept causal decision theory or evidential decision theory as our best theory of rational choice. However, instead of accepting one of these theories at the expense of the other, an alternative would be to accept that both theories play a partial role in the true account of rational choice. In this paper, I defend a pluralist account of this sort. In particular, I argue that rational permissibility is an indeterminate notion, with EDT (...) and CDT each corresponding to one sharpening of this notion. (shrink)

Causal pluralism can be defended not only in respect to causal concepts and methodological guidelines, but also at the finer-grained level of causal inference from a particular source of evidence for causation. An argument for this last variety of pluralism is made based on an analysis of causal inference from randomized experiments (RCTs). Here, the causal interpretation of a statistically significant association can be established via multiple paths of reasoning, each relying on different assumptions and providing distinct elements of information (...) in favour of a causal interpretation. (shrink)

Several prominent philosophers have held that physical properties are dispositions. The aim of this paper is to establish the following conjunction: if the thesis that physical properties are dispositions is unsupplemented by controversial assumptions about dispositions, it entails a contradiction; and if it is so supplemented the resulting theory has the consequence that either many worlds which seem to be possible worlds are not possible worlds or some properties which seem to be identical are not identical. In this way it (...) is shown that a dispositional account of physical properties is implausible. (shrink)

The standard philosophical analysis of counterfactual conditionals—the Lewis-Stalnaker analysis—analyzes the truth-conditions of counterfactuals in terms of nearby possible worlds. This paper demonstrates that this analysis is false. §1 shows that it is a serious epistemic and metaphysical possibility that our “world” is a massive computer simulation, and that if the Lewis-Stalnaker analysis of counterfactuals is correct, then it should extend seamlessly to the case that our world is a computer simulation, in the form of a possible-simulation semantics. §2 then shows, (...) however, that a Lewis-Stalnaker-style possible-simulation semantics clearly fails as an analysis of the truth-conditions of counterfactuals in two types of simulated worlds: Humean Simulations and Necessitarian simulations. §3 then considers and answers several objections to the argument. Finally, §4 draws several skeptical, but compelling lessons about counterfactuals from the argument. (shrink)

Differences in the interpretation of would-conditionals with simple (perfective) and perfect antecedent clauses are marked enough to discourage a unified view. However, this paper presents a unified, Lewis–Stalnaker style semantics for the modal in such constructions. Differences in the interpretation of the conditionals are derived from the interaction between the interpretation of different types of aspect and the modal. The paper makes a distinction between perfective and perfect aspect in terms of whether they make reference to or quantify over Lewis-style (...) events. In making reference to Lewis-events, perfective aspect is shown to be incompatible with counterfactual would-conditionals. The so-called ‘epistemic flavor’ of perfective conditionals about the future is derived from the use of diagonalization as an interpretive strategy called upon to resolve reference. (shrink)

This paper investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with respect (...) to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (shrink)

This paper investigates some aspects of the semantics of deontic should-conditionals. The main objective is to understand which actual world facts make deontic statements true. The starting point for the investigation is a famous puzzle known as Chisholm’s Paradox. It is important because making sense of the data in Chisholm-style examples involves arriving at some conclusion regarding the interaction between what we consider ideal and what is actually true. I give an account of how facts affect the evaluation of should (...) formulated in a way that does not predict that the divergence between ideals and facts leads to contradictions. The proposed semantics for should and should-conditionals allows for factual detachment without giving rise to paradoxes. The proposal has several parts: a situation-based semantics for the modal should, a view of the propositions embedded under should that allows aspect to play a crucial role in anchoring propositions to the context set, and a proposal for if-clauses that distinguishes between epistemic if-clauses and if-clauses in the scope of should, treating the latter as restrictors on the quantificational domain of the modal. (shrink)

I start off by relating the standard philosophical account of what time travel is to models of time travel that have recently been discussed by physicists. I then discuss some puzzles associated with time travel. I conclude that philosophers’ arguments against time travel are relevant when assessing the likelihood of the occurrence time travel in our world, and are relevant to the assessment whether time travel is physically possible.

The common cause principle states that common causes produce correlations amongst their effects, but that common effects do not produce correlations amongst their causes. I claim that this principle, as explicated in terms of probabilistic relations, is false in classical statistical mechanics. Indeterminism in the form of stationary Markov processes rather than quantum mechanics is found to be a possible saviour of the principle. In addition I argue that if causation is to be explicated in terms of probabilities, then it (...) should be done in terms of probabilistic relations which are invariant under changes of initial distributions. Such relations can also give rise to an asymmetric cause-effect relationship which always runs forwards in time. (shrink)

The paper discusses radical constructivism about episodic memory as developed by Kourken Michaelian under the name of “simulationism”, a view that equates episodic memory with mental time travel. An alternative, direct realist view is defended, which implies disjunctivism about the appearance of remembering. While admitting the importance of mental time travel as an underlying cognitive mechanism in episodic memory, as well as the prima facie reasonableness of the simulationist’s critique of disjunctivism, I formulate three arguments in defense of disjunctivism, which (...) thus appears to be a feasible alternative to radical constructivism. (shrink)

According to Woodward’s influential account of explanation, explanations have a counterfactual structure, and explanatory counterfactuals are analysed in terms of causal relations and interventions. In this paper, we provide a formal semantics of explanatory counterfactuals based on a Ramsey Test semantics of conditionals. Like Woodward’s account, our account is guided by causal considerations. Unlike Woodward’s account, it makes no reference to causal graphs and it also covers cases of explanation where interventions are impossible.

The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show that there is an (...) incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

This is an essay on the understanding of disposition concepts, which exploits the Ramsey test semantics of conditionals for a refined conditional analysis of dispositions. I will show that this semantics allows for a more accurate account of disposition concepts than the standard semantics of conditionals by David Lewis. This includes dealing with the counterexamples to the conditional analysis, which are known as finks, antidotes, and mimics.

This paper argues that evidential decision theory is incompatible with options having objective values. If options have objective values, then it should always be rationally permissible for an agent to choose an option if they are certain that the option uniquely maximizes objective value. But, as we show, if options have objective values and evidential decision theory is true, then it is not always rationally permissible for an agent to choose an option if they are certain that the option uniquely (...) maximizes objective value. (shrink)

The interesting question about modality is not about its extension, but about its point. Everyone can agree (for instance) that the past is necessary in the Ockhamist sense but not in some ‘modern’ senses, and that the present is necessary in the Ockhamist sense but not in the Scotist sense. But why should it matter? These comments on Pasnau (2020) first set out a simple-minded explication in modern terms of some of these fourteenth-century ideas. Then I take issue with (a) (...) Pasnau’s claim that the necessity of the past has something to do with the structure of ‘narrative history’, and (b) Duns Scotus’s claim that the contingency of the present has something to do with human freedom. (shrink)

It is intuitively attractive to think that it makes a difference in Newcomb’s problem whether or not the predictor is infallible, in the sense of being certainly actually correct. This paper argues that that view is irrational and manifests a well-documented cognitive illusion.

A standard argument for one-boxing in Newcomb’s Problem is ‘Why Ain’cha Rich?’, which emphasizes that one-boxers typically make a million dollars compared to the thousand dollars that two-boxers can expect. A standard reply is the ‘opportunity defence’: the two-boxers who made a thousand never had an opportunity to make more. The paper argues that the opportunity defence is unavailable to anyone who grants that in another case—a Frankfurt case—the agent is deprived of opportunities in the way that advocates of Frankfurt (...) cases typically claim. (shrink)

Causal decision theory (CDT) cares only about the effects of a contemplated act, not its causes. The article constructs a case in which CDT consequently recommends a bet that the agent is certain to lose, rather than a bet that she is certain to win. CDT is plainly giving wrong advice in this case. It therefore stands refuted. 1 The Argument2 The Argument in More Detail2.1 The betting mechanism2.2 Soft determinism2.3 The content of P 2.4 The argument again3 The Descriptive (...) Premise3.1 Causal decision theory3.2 Causal decision theory prefers A14 The Normative Premise5 Objections5.1 Table 1 and Table 2 are misleading5.2 The agency theory of causation5.3 The payment mechanism5.4 Newcomb’s problem5.5 Against the normative premise5.6 Drop soft determinism. (shrink)

I describe a realist, ontologically objective interpretation of probability, "far-flung frequency (FFF) mechanistic probability". FFF mechanistic probability is defined in terms of facts about the causal structure of devices and certain sets of frequencies in the actual world. Though defined partly in terms of frequencies, FFF mechanistic probability avoids many drawbacks of well-known frequency theories and helps causally explain stable frequencies, which will usually be close to the values of mechanistic probabilities. I also argue that it's a virtue rather than (...) a failing of FFF mechanistic probability that it does not define single-case chances, and compare some aspects of my interpretation to a recent interpretation proposed by Strevens. (shrink)

The Meno problem, asking for the surplus value of knowledge beyond the value of true justified belief, was recently much treated within reliabilist and virtue epistemologies. The answers from formal epistemology, by contrast, are quite poor. This paper attempts to improve the score of formal epistemology by precisely explicating Timothy Williamson's suggestion that ‘present knowledge is less vulnerable than mere present true belief to rational undermining by future evidence’. It does so by combining Nozick's sensitivity analysis of knowledge with Spohn's (...) fact‐asserting epistemic interpretation of conditionals. Accordingly, the surplus value of knowledge lies in a specific kind of stability of knowledge, which differs, though, from that claimed by other so‐called stability analyses of knowledge. (shrink)

In this paper, we propose a unified account of conditionals inspired by Frank Ramsey. Most contemporary philosophers agree that Ramsey’s account applies to indicative conditionals only. We observe against this orthodoxy that his account covers subjunctive conditionals as well—including counterfactuals. In light of this observation, we argue that Ramsey’s account of conditionals resembles Robert Stalnaker’s possible worlds semantics supplemented by a model of belief. The resemblance suggests to reinterpret the notion of conditional degree of belief in order to overcome a (...) tension in Ramsey’s account. The result of the reinterpretation is a tenable account of conditionals that covers indicative and subjunctive as well as qualitative and probabilistic conditionals. (shrink)