Some theories of conditionals maintain that the difference between indicative and subjunctive conditionals involves the standard temporal interpretation of past tense. I provide an argument against such theories. The argument is based on the claim that these views do not correctly predict the correspondence between tense marking and temporal interpretation in certain conditionals.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

The existence of non-local correlations between outcomes of measurements in quantum entangled systems strongly suggests that we are dealing with some form of causation here. An assessment of this conjecture in the context of the collapse interpretation of quantum mechanics is the primary goal of this paper. Following the counterfactual approach to causation, I argue that the details of the underlying causal mechanism which could explain the non-local correlations in entangled states strongly depend on the adopted semantics for counterfactuals. Several (...) relativistically-invariant interpretations of spatiotemporal counterfactual conditionals are discussed, and the corresponding causal stories describing interactions between parts of an entangled system are evaluated. It is observed that the most controversial feature of the postulated causal connections is not so much their non-local character as a peculiar type of circularity that affects them. (shrink)

Special science generalizations admit of exceptions. Among the class of non-exceptionless special science generalizations, I distinguish minutis rectis generalizations from the more familiar category of ceteris paribus generalizations. I argue that the challenges involved in showing that mr generalizations can play the law role are underappreciated, and quite different from those involved in showing that cp generalizations can do so. I outline a strategy for meeting the challenges posed by mr generalizations.

This paper outlines a non-reductive counterfactual account of grounding along interventionist lines, and uses the account to argue that taking grounding seriously requires ascribing non-trivial truth-conditions to a range of counterpossible counterfactuals. This result allows for a diagnosis of a route to scepticism about grounding, as deriving at least in part from scepticism about non-trivial counterpossible truth and falsity.

Clark Glymour, together with his students Peter Spirtes and Richard Scheines, did pioneering work on graphical causal models . One of the central advances provided by these models is the ability to simply represent the effects of interventions. In an elegant paper , Glymour and his student Christopher Meek applied these methods to problems in decision theory. One of the morals they drew was that causal decision theory should be understood in terms of interventions. I revisit their proposal, and extend (...) the analysis by showing how graphical causal models might be used to address decision problems that arise in “exotic” situations, such as those involving crystal balls or time travelers. (shrink)

Our ordinary causal concept seems to fit poorly with how our best physics describes the world. We think of causation as a time-asymmetric dependence relation between relatively local events. Yet fundamental physics describes the world in terms of dynamical laws that are, possible small exceptions aside, time symmetric and that relate global time slices. My goal in this paper is to show why we are successful at using local, time-asymmetric models in causal explanations despite this apparent mismatch with fundamental physics. (...) In particular, I will argue that there is an important connection between time asymmetry and locality, namely: understanding the locality of our causal models is the key to understanding why the physical time asymmetries in our universe give rise to time asymmetry in causal explanation. My theory thus provides a unified account of why causation is local and time asymmetric and thereby enables a reply to Russell’s famous attack on causation. (shrink)

Jaegwon Kim’s (2005) most recent formulation of the so-called Supervenience Argument against Non-Reductive Physicalism is discussed. The two stages of Kim’s argument can be seen as instances of, what I will call, the Generalized Exclusion Argument.

Stephen Barker argues that a possible worlds semantics for the counterfactual conditional of the sort proposed by Stalnaker and Lewis cannot accommodate certain examples in which determinism is true and a counterfactual Q > R is false, but where, for some P, the compound counterfactual P > (Q > R) is true. I argue that the completeness theorem for Lewis’s system VC of counterfactual logic shows that Stalnaker–Lewis semantics does accommodate Barker’s example, and I argue that its doing so should (...) be understood as showing that the example is an exception to Lewis’s Time’s Arrow requirements. (shrink)

Possible worlds semantics for conditionals leave open the problem of how to construct models for realistic domains. In this paper, we show how to adapt logics of action and change such as John McCarthy’s Situation Calculus to conditional logics. We illustrate the idea by presenting models for conditionals whose antecedents combine a declarative condition with a hypothetical action.

Philosophers typically rely on intuitions when providing a semantics for counterfactual conditionals. However, intuitions regarding counterfactual conditionals are notoriously shaky. The aim of this paper is to provide a principled account of the semantics of counterfactual conditionals. This principled account is provided by what I dub the Royal Rule, a deterministic analogue of the Principal Principle relating chance and credence. The Royal Rule says that an ideal doxastic agent’s initial grade of disbelief in a proposition \(A\) , given that the (...) counterfactual distance in a given context to the closest \(A\) -worlds equals \(n\) , and no further information that is not admissible in this context, should equal \(n\) . Under the two assumptions that the presuppositions of a given context are admissible in this context, and that the theory of deterministic alethic or metaphysical modality is admissible in any context, it follows that the counterfactual distance distribution in a given context has the structure of a ranking function. The basic conditional logic V is shown to be sound and complete with respect to the resulting rank-theoretic semantics of counterfactuals. (shrink)

There are, by now, many rival, sophisticated philosophical accounts of causation that qualify as ‘metaphysically reductive’. This is a good thing: these collective efforts have vastly improved our understanding of causation over the last 30 years or so. They also put us in an excellent position to reflect on some central methodological questions: What exactly is the point of offering a metaphysical reduction of causation? What philosophical scruples ought to guide the pursuit of such a reduction? Finally, how should answers (...) to these latter questions affect one’s assessment of the main contemporary approaches? That’s what we investigate in this essay. Section 1 lays out our presuppositions. Section 2 reviews a sample of philosophical accounts. Then comes the main event: Section 3 looks in detail at the foregoing methodological questions, closing with a reconsideration of our sample accounts, in light of what we’ve found. (shrink)

The mechanistic and causal accounts of explanation are often conflated to yield a ‘causal-mechanical’ account. This paper prizes them apart and asks: if the mechanistic account is correct, how can causal explanations be explanatory? The answer to this question varies according to how causality itself is understood. It is argued that difference-making, mechanistic, dualist and inferentialist accounts of causality all struggle to yield explanatory causal explanations, but that an epistemic account of causality is more promising in this regard.

The paper argues that dualism can explain mental causation and solve the exclusion problem. If dualism is combined with the assumption that the psychophysical laws have a special status, it follows that some physical events counterfactually depend on, and are therefore caused by, mental events. Proponents of this account of mental causation can solve the exclusion problem in either of two ways: they can deny that it follows that the physical effect of a mental event is overdetermined by its mental (...) and physical causes, or they can accept that the physical effect is overdetermined but claim that this is unproblematic because the case is sufficiently dissimilar to prototypical cases of overdetermination. (shrink)

Lange issues a novel challenge to philosophical accounts of laws of nature. He notes that the laws of nature seem to be themselves governed by laws analogous to the way that the laws govern particular facts. These higher order laws are the meta-laws of nature. He claims that if a philosophical account of laws aims to accurately characterize the laws, it should be able to account for these meta-laws. To generalize this challenge, I introduce the notion of roles played by (...) laws of nature according to a philosophical account, and identify a number of salient roles. I then apply Lange’s challenge to two views: the regularity view and the universals view. I argue that the regularity view may be able to meet the generalized version of Lange’s challenge, and that the universals view is able to meet the challenge. 1 Meta-laws2 Lange’s Challenge3 The Roles Played by Laws and Meta-laws4 Meta-laws and the Regularity View5 Meta-laws and the Universals View6 Summary and Conclusion. (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)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

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)

Backtracking influence is influence that zigzags in time. For example, backtracking influence exists when an event E_1 makes an event E_2 more likely by way of a nomic connection that goes from E_1 back in time to an event C and then forward in time to E_2. I contend that in our local region of spacetime, at least, backtracking influence is redundant in the sense that any existing backtracking influence exerted by E_1 on E_2 is equivalent to E_1's temporally direct (...) influence on E_2. I prove the redundancy of backtracking influence using several plausible physical principles without assuming any fundamental temporal or causal asymmetry. This explanation can play a prominent role in an account of why causation appears to be objectively asymmetric regardless of whether the fundamental laws are symmetric. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

This paper discusses Lee’s argument that Lewis’s reformed conditional analysis of dispositions is preferable to the simple conditional analysis of dispositions. Lee’s argument is basically that there are some examples that can be adequately handled by Lewis’s analysis but cannot by the simple conditional analysis of dispositions. But I will reveal that, when carefully understood, they spell no trouble for the simple conditional analysis of dispositions, failing to serve a motivating role for Lewis’s analysis.

Bryne & Hajek (1997) argue that Lewis’s (1988; 1996) objections to identifying desire with belief do not go through if our notion of desire is ‘causalized’ (characterized by causal, rather than evidential, decision theory). I argue that versions of the argument go through on certain assumptions about the formulation of decision theory. There is one version of causal decision theory where the original arguments cannot be formulated—the ‘imaging’ formulation that Joyce (1999) advocates. But I argue this formulation is independently objectionable. (...) If we want to maintain the desire as belief thesis, there’s no shortcut through causalization. (shrink)

Jonathan Schaffer (2004 ) proposes an ingenious amendment to David Lewis's semantics for counterfactuals. This amendment explicitly invokes the notion of causal independence, thus giving up Lewis's ambitions for a reductive counterfactual account of causation. But in return, it rescues Lewis's semantics from extant counterexamples. I present a new counterexample that defeats even Schaffer's amendment. Further, I argue that a better approach would be to follow the causal modelling literature and evaluate counterfactuals via an explicit postulated causal structure. This alternative (...) approach easily resolves the new counterexample, as well as all the previous ones. Up to now, its perceived drawback relative to Lewis's scheme has been its non-reductiveness. But since the same drawback applies equally to Schaffer's amended scheme, this becomes no longer a point of comparative disadvantage. (shrink)

The generalizations found in biology, psychology, sociology, and other high-level sciences are typically physically contingent. You might conclude that they play only a limited role in scientific investigation, on the grounds that physically contingent generalizations offer no or only feeble counterfactual support. But the link between contingency and counterfactual support is more complex than is commonly supposed. A certain class of physically contingent generalizations, comprising many, perhaps the vast majority, of those in the high-level sciences, provides strong counterfactual support of (...) just the sort that appears to be scientifically important. This paper explains why. (shrink)

David Lewis has offered a reply to the standard argument for the claim that the truth of determinism is incompatible with anyone’s being able to do otherwise than she in fact does. Helen Beebee has argued that Lewis’s compatibilist strategy is untenable. In this paper I show that one recent attempt to defend Lewis’s view against this argument fails and then go on to offer my own defense of Lewis’s view.

In their development of causal decision theory, Allan Gibbard and William Harper advocate a particular method for calculating the expected utility of an action, a method based upon the probabilities of certain counterfactuals. Gibbard and Harper then employ their method to support a two-box solution to Newcomb’s paradox. This paper argues against some of Gibbard and Harper’s key claims concerning the truth-values and probabilities of counterfactuals involved in expected utility calculations, thereby disputing their analysis of Newcomb’s Paradox. If we are (...) right, then Gibbard and Harper’s method of calculating expected utility does not adequately represent rational choice. (shrink)

There are many ways of attaching two objects together: for example, they can be connected, linked, tied or bound together; and the connection, link, tie or bind can be made of chain, rope, or cement. Every one of these binding methods has been used as a metaphor for causation. What is the real significance of these metaphors? They express a commitment to a certain way of thinking about causation, summarized in the following thesis: ‘In any concrete situation, there is an (...) objective fact of the matter as to whether two events are in fact bound by the causal relation. It is the aim of philosophical inquiry to analyze this objective relation.’ Through a variety of examples, I hope to cast doubt on this seemingly innocuous thesis. The problem lies not with the word ‘objective’, but with the word ‘the’. The goal of a philosophical account of causation should not be to capture the causal relation, but rather to capture the many ways in which the events of the world can be bound together. 1 The metaphors 2 Unpacking the metaphors 3 Theories of causation 4 The two assassins 5 The birth control pills 6 The smoker-protector gene 7 The bicycle thief 8 Further examples 8.1 Indeterminism 8.2 Probability-lowering causes 8.3 Parts vs wholes 8.4 Symmetric overdetermination 8.5 Delayers 8.6 Causation by omission 8.7 Double prevention/disconnection 8.8 Preemptive prevention 8.9 Quantitative variables 9 Conclusion. (shrink)

I develop an account of counterfactual conditionals using “causal models”, and argue that this account is preferable to the currently standard account in terms of “similarity of possible worlds” due to David Lewis and Robert Stalnaker. I diagnose the attraction of counterfactual theories of causation, and argue that it is illusory.

Nancy Cartwright offers an account of causal powers, and argues that it explains some important general features of scientific method. Patricia Cheng argues that this theory is superior as a psychological theory of learning to standard models of conditioning. I extend and develop the theory, and argue that it provides the best explanation of a number of problem cases for philosophical theories of causation, including preemption, overdetermination and puzzles about transitivity. Hitchcock and Halpern & Pearl on ‘actual causes’ Problems and (...) morals 2.1 Puzzles about prevention 2.2 Counterfactuals Causal powers 3.1 Generative causal power 3.2 Preventative causal power Net and component powers ‘Actual’ or ‘successful’ causes Solutions to puzzle cases Conclusion. (shrink)

Judea Pearl (2000) has recently advanced a theory of token causation using his structural equations approach. This paper examines some counterexamples to Pearl's theory, and argues that the theory can be modified in a natural way to overcome them.

August 16, 1997 David Lewis2 has long defended an account of scientific law acceptable even to an empiricist with significant metaphysical scruples. On this account, the laws are defined to be the consequences of the best system for axiomitizing all occurrent fact. Here "best system" means the set of sentences which yields the best combination of strength of descriptive content 3 with simplicity of exposition. And occurrent facts, the facts to be systematized, are roughly the particular facts about a localized (...) space-time region that are non-modal, non-dispositional, and non-causal. Scientists providing or attempting to provide laws are plausibly seen as giving general principles that unify a body of data. Thus they organize or systematize the arrangement of occurrences. For this reason, Lewis's account has the important merits of providing contact with actual scientific practice while making sense of the standard philosophical conception that laws should be general but more than mere accidental generalizations. However, Lewis has long known about a potential problem with this account, a problem involving chance and credence.4 In a recent series of articles he, Michael Thau, and Ned Hall have developed a new formulation of the relationship between chance and credence which solves the problem. However, I will argue that these articles leave untouched and even exacerbate a closely related and more fundamental problem with the best system account, the problem of nomic necessity. Laws are supposed to be more than true; in some sense they must be true. Yet a principle's membership in the best systematization for one world seems to say nothing about its necessity, i.e., its truth at other worlds. I close by briefly describing how an alternative empiricist account may remove both problems. (shrink)

The counterfactual analysis of causation has focused on one particular counterfactual conditional, taking as its starting-point the suggestion that C causes E iff (C E). In this paper, some consequences are explored of reversing this counterfactual, and developing an account starting with the idea that C causes E iff (E C). This suggestion is discussed in relation to the problem of pre-emption. It is found that the 'reversed' counterfactual analysis can handle even the most difficult cases of pre-emption with only (...) minimal complications. The paper closes with a discussion of the wider philosophical implications of developing a reversed counterfactual analysis, especially concerning the differentiation of causes from causal conditions, causation by absences, and the extent to which causes suffice for their effects. (shrink)

In this paper I argue that it is not a priori that all the laws of nature are contingent. I assume that the fundamental laws are contingent and show that some non-trivial, a posteriori, non-basic laws may nonetheless be necessary in the sense of having no counterinstances in any possible world. I consider a law LS (such as 'salt dissolves in water') that concerns a substance S. Kripke's arguments concerning constitution show that the existence of S requires that a certain (...) deeper level law or variants thereof hold. At the same time, that law and its variants may each entail the truth of LS. Thus the existence of S entails LS. Consequently there is no world in which S exists and fails to obey LS. I consider the conditions concerning the fundamental laws that would make this phenomenon ubiquitous. I conclude with some consequences for metaphysics. (shrink)

A popular view about why death is bad for the one who dies is that death deprives its subject of the good things in life. This is the “deprivation account” of the evil of death. There is another view about death that seems incompatible with the deprivation account: the view that a person’s death is less bad if she has lived a good life. In The Ethics of Killing, Jeff McMahan argues that a deprivation account should discount the evil of (...) death for previous gains in life. I argue against discounting evils, and show how a version of the deprivation view can accommodate McMahan’s examples. (shrink)

The paper argues that mental causation can be explained from the sufficiency of counterfactual dependence for causation together with relatively weak assumptions about the metaphysics of mind. If a physical event counterfactually depends on an earlier physical event, it also counterfactually depends on, and hence is caused by, a mental event that correlates with (or supervenes on) this earlier physical event, provided that this correlation (or supervenience) is sufficiently modally robust. This account of mental causation is consistent with the overdetermination (...) of physical events by mental events and other physical events, but does not entail it. (shrink)

Questions about the relative priorities of mind and language suffer from a double obscurity. First, it is often not clear which mental and linguistic facts are in question: we can ask about the relationship between any of the semantic or syntactic properties of public languages and the judgments, intentions, beliefs, or other propositional attitudes of speakers of those languages. Second, there is an obscurity about what 'priority' comes to here.We can approach the first problem by way of the second. Often, (...) talk about one class of facts being prior to another is glossed in terms of the claim that we can give an account of the latter in terms of the former. This gloss might seem to be a small advance, since it is .. (shrink)

What, if anything, is wrong with conspiracy theories (CTs)? A conspiracy refers to a group of people acting in secret to achieve some nefarious goal. Given that the pages of history are full of such plots, however, why are CTs often regarded with suspicion and even disdain? According to “particularism,” the currently dominant view among philosophers, each CT should be evaluated on its own merits and the negative reputation of CTs as a class is wholly undeserved. In this paper, I (...) defend a moderate version of “generalism,” the view that there is indeed something prima facie suspicious about CTs, properly defined, and that they suffer from common epistemic defects. To demarcate legitimate theorizing about real-life conspiracies from “mere conspiracy theories” (in the pejorative sense), I draw on a deep asymmetry between causes and effects in the natural world. Because of their extreme resilience to counterevidence, CTs can be seen as the epistemological equivalent of black holes, in which unwary truth-seekers are drawn, never to escape. Finally, by presenting a generic “recipe” for generating novel CTs around any given event, regardless of the circumstances and the available evidence, I rescue the intuitions beneath colloquial phrases like “That's just a conspiracy theory.”. (shrink)

Causal eliminativists maintain that all causal talk is false. The prospects for such a view seem to be stymied by an indispensability argument, charging that any agent must distinguish between effective and ineffective strategies, and that such a distinction must commit that agent to causal notions. However, this argument has been under-explored. The contributions of this paper are twofold: first, I provide a thorough explication of the indispensability argument and the various ways it might be defended. Second, I point to (...) an important limitation in the argument and suggest that it does not give us sufficient reason to reject eliminativism. In support of this last claim, I show that the distinction between effective and ineffective strategies could perfectly well be grounded in a counterfactual rather than a causal decision theory and argue that there are fully adequate explanations of how we could come to make the requisite counterfactual judgments that need not invoke causal concepts. (shrink)

The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

Callender [2017] claims that contemporary science demonstrates that there is no objective present and no objective flow of time, especially since all sensed events come from the past, our various senses need different amounts of time to react, and there are enough asymmetries in the physical world to explain our experience of time. This paper holds that, although Callender’s arguments for the subjectivity of the flow of time are unconvincing, the scientific discoveries and arguments he indicates can still be applied (...) to improve theories of the objective flow of time. The paper develops precisely such a theory, one which introduces multiple individual proper presents for all of the objects that make up our world. (shrink)

Lewis’s original Best Systems Account of laws was not motivated much by pragmatics. But recent commentary on his general approach to laws has taken a ‘pragmatic turn’. This was initiated by Hall’s defence against the charge of ‘ratbag idealism’ which maintained that best systems accounts should be admired rather than criticised for the inherent pragmatism behind their choice of desiderata for what counts as ‘best’. Emboldened by Hall’s pragmatic turn, recent commentators have proposed the addition of pragmatically motivated desiderata to (...) complement or replace the canonical desiderata of strength and simplicity. This, they hope, will allow their revisionary BSAs to respond better to various counterexamples against the original account. While the pragmatic turn itself is well taken, here I problematise these revisionary approaches. First, there are reasonable responses to the counterexamples from within the canonical BSA. Second, while actual laws may satisfy the newly proposed desiderata, there are reasons to think these desiderata cannot be constitutive of laws. By comparison, the canonical desiderata appear to be relevant to explaining why and when the revisionary desiderata will reflect pragmatic features of the laws and better reflect the motives behind practitioners of fundamental physics. (shrink)

In this paper, we investigate the semantics and logic of choice-driven counterfactuals, that is, of counterfactuals whose evaluation relies on auxiliary premises about how agents are expected to act, i.e., about their default choice behavior. To do this, we merge one of the most prominent logics of agency in the philosophical literature, namely stit logic, with the well-known logic of counterfactuals due to Stalnaker and Lewis. A key component of our semantics for counterfactuals is to distinguish between deviant and non-deviant (...) actions at a moment, where an action available to an agent at a moment is deviant when its performance does not agree with the agent’s default choice behavior at that moment. After developing and axiomatizing a stit logic with action types, instants, and deviant actions, we study the philosophical implications and logical properties of two candidate semantics for choice-driven counterfactuals, one called rewind models inspired by Lewis, 455–476 1979) and the other called independence models motivated by well-known counterexamples to Lewis’s proposal Slote, 3–27 1978). In the last part of the paper we consider how to evaluate choice-driven counterfactuals at moments arrived at by some agents performing a deviant action. (shrink)