This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

We standardly evaluate counterfactuals and abilities in temporally asymmetric terms—by keeping the past fixed and holding the future open. Only future events depend counterfactually on what happens now. Past events do not. Conversely, past events are relevant to what abilities one has now in a way that future events are not. Lewis, Sider and others continue to evaluate counterfactuals and abilities in temporally asymmetric terms, even in cases of backwards time travel. I’ll argue that we need more temporally neutral methods. (...) The past shouldn’t always be held fixed, because backwards time travel requires backwards counterfactual dependence. Future events should sometimes be held fixed, because they’re in the causal history of the past, and agents have evidence of them independently of their decisions now. We need temporally neutral methods to maintain connections between causation, counterfactuals and evidence, and if counterfactuals are used to explain the temporal asymmetry of causation. (shrink)

A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.

The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter should be (...) a consequence of rejecting the former. Instead I consider how one might defuse putative counterexamples to the truth of true-true counterfactuals. (shrink)

David Lewis’s semantics for counterfactuals remains the standard view. Yet counter-examples have emerged, which suggest a need to invoke causal independence, and thus threaten conceptual circularity. I will review some of these counter-examples (§§1–2), illustrate how causal independence proves useful (§3), and suggest that any resulting circularity is unproblematic (§4).

A definition of causation as probability-raising is threatened by two kinds of counterexample: first, when a cause lowers the probability of its effect; and second, when the probability of an effect is raised by a non-cause. In this paper, I present an account that deals successfully with problem cases of both these kinds. In doing so, I also explore some novel implications of incorporating into the metaphysical investigation considerations of causal psychology.

What does it mean to say that one event is a cause of another? The simplest counterfactual analyses identify causation with one of two counterfactual-dependence relations: if event c had not occurred, then event e would not have occurred; if c had not occurred, e's probability would have been lower. These analyses enjoy some success. For the first: the dart-throw caused the balloon-pop, because if the throw had not occurred, the pop would not have occurred. For the second: suppose two (...) radioactive samples, A and B, are introduced into a room containing a Geiger counter, and the counter clicks once due to an emission from an A-atom; then the introduction of A is a cause of the click; the click might have occurred without the A-introduction , but we can say at least that without the A-introduction, the probability of the click would have been lower. ;Ultimately, however, these analyses fail, for two clear reasons. Preemption: add to the dart scene that Lucy would have thrown her dart if I had refrained---then although my throw caused the pop, the pop is not dependent on my throw. Failed potential causes: the probability of the click would have been lower without the B-introduction, but the B-introduction did not actually succeed in causing of the click. ;I defend the two simple analyses against various other objections; I then try to home in on the precise nature of their genuine problems; I examine almost all the attempts to date to improve upon the simple analyses; and finally I propose two new analyses. One of my analyses is deterministic, the other is confined to worlds that are purely indeterministic. Both analyses take causation to be primarily a matter of counterfactual dependence in the circumstances: holding certain features of the world fixed, effects and their probabilities do indeed depend on their causes . ;My discussion of background issues---counterfactual semantics, objective chance, events---includes arguments for substantial simplifications of David Lewis's theory of events. (shrink)

This is part A of a paper in which we defend a semantics for counterfactuals which is probabilistic in the sense that the truth condition for counterfactuals refers to a probability measure. Because of its probabilistic nature, it allows a counterfactual ‘ifAthenB’ to be true even in the presence of relevant ‘Aand notB’-worlds, as long such exceptions are not too widely spread. The semantics is made precise and studied in different versions which are related to each other by representation theorems. (...) Despite its probabilistic nature, we show that the semantics and the resulting system of logic may be regarded as a naturalistically vindicated variant of David Lewis’ truth-conditional semantics and logic of counterfactuals. At the same time, the semantics overlaps in various ways with the non-truth-conditional suppositional theory for conditionals that derives from Ernest Adams’ work. We argue that counterfactuals have two kinds of pragmatic meanings and come attached with two types of degrees of acceptability or belief, one being suppositional, the other one being truth based as determined by our probabilistic semantics; these degrees could not always coincide due to a new triviality result for counterfactuals, and they should not be identified in the light of their different interpretation and pragmatic purpose. However, for plain assertability the difference between them does not matter. Hence, if the suppositional theory of counterfactuals is formulated with sufficient care, our truth-conditional theory of counterfactuals is consistent with it. The results of our investigation are used to assess a claim considered by Hawthorne and Hájek, that is, the thesis that most ordinary counterfactuals are false. (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (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)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (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)

Questions about the metaphysics of causation may be usefully divided as follows. First, there are questions about the nature of the causal relata, including (1.1) whether they are in spacetime immanence), (1.2) how fine grained they are individuation), and (1.3) how many there are adicity). Second, there are questions about the metaphysics of the causal relation, including (2.1) what is the difference between causally related and causally unrelated sequences connection), (2.2) what is the difference between sequences related as cause to (...) effect, and those related as effect to cause or as joint effects of a common cause direction), and (2.3) what is the difference between sequences involving the cause, and those involving mere conditions selection). (shrink)

In this article I offer an approach to counterfactuals based on a notion of objective probability. It is in the spirit of, though it does not fall squarely under, the metalinguistic model. Thus, it is not developed in terms of possible worlds, or notions parasitic on them (e.g., similarity). Its dominant features are rooted in objective probability and causal relevance (analyzed probabilistically), and thus it is not close in spirit to a maximal similarity or a minimal change approach.

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.

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)

David Lewis famously defends a counterfactual theory of causation and a non-causal, similarity-based theory of counterfactuals. Lewis also famously defends the possibility of backward causation. I argue that this combination of views is untenable—given the possibility of backward causation, one ought to reject Lewis's theories of causation and counterfactuals.

In this paper I explore the ambiguity that arises between two readings of the counterfactual construction, then–d and thel–p, analyzed in my bookA Theory of Counterfactuals. I then extend the analysis I offered there to counterfactuals with true antecedents, and offer a more precise formulation of the conception of temporal divergence points used in thel–p interpretation. Finally, I discuss some ramifications of these issues for counterfactual analyses of knowledge.

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user (...) as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of. (shrink)

We present an analysis of counterfactuals in terms of stories and combine it with an account similar to Walton’s account of truth in fiction to yield truth conditions for counterfactuals. We discuss unusual features of this account, and compare it to other main approaches. In particular, we argue that our analysis succeeds in accounting for counterpossibles and counterfactuals with true antecedents while the other two main approaches fail, and we give reasons for thinking that it is important to have an (...) adequate account of these two areas. (shrink)

It is widely held that, as Morgenbesser’s case is usually taken to show, considerations of causal or probabilistic dependence should enter into the evaluation of counterfactuals. This paper challenges that idea. I present a modified version of Morgenbesser’s case and show how probabilistic approaches to counterfactuals are in serious trouble. Specifically, I show how probabilistic approaches run into a dilemma in characterizing probabilistic independence. The modified case also illustrates a difficulty in defining causal independence. I close with a suggestion for (...) a strategy to handle this difficulty. (shrink)

Comparative syllogism is a type of scientific reasoning widely used, explicitly or implicitly, for inferences from observations to conclusions about effectiveness, but its philosophical significance has not been fully elaborated or appreciated. In its simplest form, the comparative syllogism derives a conclusion about the effectiveness of a factor (e.g. a treatment or an exposure) on a certain property via an experiment design using a test (experimental) group and a comparison (control) group. Our objective is to show that the comparative syllogism (...) can be understood as encoding a simulation view of counterfactuals, in that counterfactual situations are conceptual constructs that can be correctly simulated by homogeneous comparison groups. In this simulation view, the empirical data from the comparison groups play an evidential role in the evaluation of counterfactuals and in obtaining counterfactual knowledge. We further indicate how successful experimental designs can help us to obtain correct simulations, and thus to bring us to scientifically-empirically based counterfactual knowledge. (shrink)

A recent group of social scientists have argued that counterfactual questions play an essential role in their disciplines, and that it is possible to have rigorous methods to investigate them. Unfortunately, there has been little (if any) interaction between these social scientists and the philosophers who have long held that rigorous counterfactual reasoning is possible. In this paper, I hope to encourage some fresh thinking on both sides by creating new connections between them. I describe what I term "problem of (...) selecting antecedent scenarios," and show that this is an essential challenge in real-life counterfactual reasoning. Then, I demonstrate that the major extant theories of counterfactuals (especially the Lewis/Stalnaker theory and Igal Kvart's rival account) are unable to solve this problem. I show that there are instances of real-life counterfactual reasoning in the social sciences that are counterexamples to both of these accounts. And finally, I develop a new theory of how to select antecedent scenarios that overcomes these difficulties, and so would be part of a more adequate theory of counterfactuals (and counterfactual reasoning). (shrink)

In his 2003 paper, "Does the Existence of Mathematical Objects Make a Difference?", Alan Baker criticizes what he terms the 'Makes No Difference' argument by arguing that it does not succeed in undermining platonism. In this paper, I raise two objections. The first objection is that Baker is wrong in claiming that the premise of the MND argument lacks a truth-value. The second objection is that the theory of counterlegals which he appeals to in his argument is incompatible with actual (...) scientific practice. I conclude that we ought not to accept Baker's claim. (shrink)

We will present a new lottery-style paradox on counterfactuals and chance. The upshot will be: combining natural assumptions on the truth values of ordinary counterfactuals, the conditional chances of possible but non-actual events, the manner in which and relate to each other, and a fragment of the logic of counterfactuals leads to disaster. In contrast with the usual lottery-style paradoxes, logical closure under conjunction—that is, in this case, the rule of Agglomeration of counterfactuals—will not play a role in the derivation (...) and will not be entailed by our premises either. We will sketch four obvious but problematic ways out of the dilemma, and we will end up with a new resolution strategy that is non-obvious but less problematic: contextualism about what counts as a proposition. This proposal will not just save us from the paradox, it will also save each premise in at least some context, and it will be motivated by independent considerations from measure theory and probability theory. (shrink)

Sidney Morgenbesser brought to attention cases of the following form: (MC1) Chump tosses an indeterministic coin and, whilst it is in mid-air, calls heads. The coin lands tails, and Chump loses. His betting was causally independent of the coin’s fall. Chump seems right to say: ‘If I had bet tails, I would have won.’1 (MC2).

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)