This discussion note examines a recent argument for the principle that any counterfactual with true components is itself true. That argument rests upon two widely accepted principles of counterfactual logic to which the paper presents counterexamples. The conclusion speculates briefly upon the wider lessons that philosophers should draw from these examples for the semantics of counterfactuals.

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)

It seems to be generally accepted that (a) counterfactual conditionals are to be analysed in terms of possible worlds and inter-world relations of similarity and (b) causation is conceptually prior to counterfactuals. I argue here that both (a) and (b) are false. The argument against (a) is not a general metaphysical or epistemological one but simply that, structurally speaking, possible worlds theories are wrong: this is revealed when we try to extend them to cover the case of probabilistic counterfactuals. Indeed (...) a type of counterfactual probability exists which cannot be expressed in possible worlds terms at all. The argument against (b) emerges when we look at the form of an adequate account of both probabilistic and non-probabilistic counterfactuals. I do this by sketching and defending an approach to counterfactuals that, first, invoke a generalized notion of cause as primitive and, secondly, is algorithmic in form: counterfactuals are evaluated algorithmically in terms of other counterfactuals, without vicious circularity. Structures like possible worlds do not play a role either in general truth-conditions or in evaluation. They are simply the wrong sorts of structures. (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)

In the article I discuss possible amendments and corrections to Lewis’s semantics for counterfactuals that are necessary in order to account for the indeterministic and non-local character of the quantum world. I argue that Lewis’s criteria of similarity between possible worlds produce incorrect valuations for alternate-outcome counterfactuals in the EPR case. Later I discuss an alternative semantics which rejects the notion of miraculous events and relies entirely on the comparison of the agreement with respect to individual facts. However, a controversy (...) exists whether to include future indeterministic events in the criteria of similarity. J. Bennett has suggested that an indeterministic event count toward similarity only if it is a result of the same causal chain as in the actual world. I claim that a much better agreement with the demands of the quantum-mechanical indeterminism can be achieved when we stipulate that possible worlds which differ only with respect to indeterministic facts that take place after the antecedent-event should always be treated as equally similar to the actual world. In the article I analyze and dismiss some common-sense counterexamples to this claim. Finally, I critically evaluate Bennett’s proposal regarding the truth-conditions for true-antecedent counterfactuals. (shrink)

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...) semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation. (shrink)

One of the basic assumptions of David Lewis''s formal semantics of counterfactuals is that the crucial relation of comparative similarity between possible worlds is a linear ordering.Yet there are arguments that when we take into account relativistic features of space-time, this relationshould be only a partial ordering. The first part of the paper deals with the question of how to formulate appropriatetruth conditions for counterfactuals under the supposition of a partial ordering of possible worlds. Such truthconditions will be put forward, (...) and it will be argued that they are more general than those proposed in recentliterature, because they turn out to be applicable also when the so-called Limit Assumption is not met. The secondpart analyzes two relativistically invariant ways of interpreting spatiotemporal counterfactuals with antecedentsreferring to free-chance point events. After briefly examining key differences between these two approaches,the issue of their extension for a broader class of antecedents will be addressed. Following the approach of Finkelstein (1999), who has proposed a specifically designed similarity relation between possible worlds, servingas a generalization tool in the case of one of the above intuitions, the possibility of a similar extension forthe second interpretation will be considered. The main result of the paper is the theorem to the effect that thegeneralization of the second intuition is impossible to obtain. More specifically, the theorem proved in the paperstates that there is no similarity relation which together with the Lewis-style truth conditions for counterfactualswould imply the second of the above interpretations as a special case. Some consequences of thistheorem for the applicability of the Lewis logic of counterfactuals to quantum phenomena will be briefly mentionedat the end of the paper. (shrink)

The traditional Lewis-Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents---counterpossibles---can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised'' seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled'' seems false. -/- Many have proposed to extend the Lewis-Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis-Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true'' by going to closest world---whether possible or impossible---in which A is true and check whether C is also true in that world. If the answer is "yes'', the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled---they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled'' comes out false, as desired. -/- In this paper, I will critically investigate the extended Lewis-Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis-Stalnaker semantics that can avoid these problems. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

It is widely agreed that contraposition, strengthening the antecedent and hypothetical syllogism fail for subjunctive conditionals. The following putative counter-examples are frequently cited, respectively.

The thesis that a temporal asymmetry of counterfactual dependence characterizes our world plays a central role in Lewis’s philosophy, as. among other things, it underpins one of Lewis most renowned theses—that causation can be analyzed in terms of counterfactual dependence. To maintain that a temporal asymmetry of counterfactual dependence characterizes our world, Lewis committed himself to two other theses. The first is that the closest possible worlds at which the antecedent of a counterfactual conditional is true is one in which (...) a small miracle occurs—i.e. one whose laws differ from the actual laws in a small spatiotemporal region. The second is that our world is characterized by a temporal asymmetry of miracles. In this paper, I will argue, first, that the latter thesis is either false or incompatible with the picture of the relations among temporal asymmetries endorsed by Lewis and, second, that former thesis conflicts with some of the intuitions which seem to guide us when engaging in counterfactual reasoning. If there is any fact of the matter as to which possible worlds in which the antecedent of a counterfactual conditional is true are closest to the actual world, these are not worlds at which a small miracle occurs. (shrink)

Berit Brogaard and Joe Salerno (Counterfactuals and Context, ANALYSIS 68 (2008): 39-46) argue that the standard Stalnaker-Lewis counterexamples to hypothetical syllogism, strengthening the antecedent, and contraposition trade on a failure to hold fixed the context in which truth values are determined for the premises and conclusion in each counterexample. I argue that no contextual fallacy is committed in the standard counterexamples, and I offer a different view of what it is for a fact to be held fixed by a counterfactual (...) antecedent. On my view, for a fact to be held fixed is an epistemological matter, not a semantic matter. (shrink)

In “Backward Causation and the Stalnaker–Lewis Approach to Counterfactuals,” Analysis 62:191–7, (2002), Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker–Lewis comparative world similarity account of the truth conditions of counterfactuals cannot be sound. In “Tooley on Backward Causation,” Analysis 63:157–62, (2003), Paul Noordhof argues that Tooley’s example can be reconciled with a Stalnaker–Lewis account of counterfactuals if the comparative world similarity relation on which the Stalnaker–Lewis account relies is allowed to be antecedent-relative. (...) In this paper I show that taking comparative world similarity to be antecedent-relative results in a formal semantics which is a comparative world similarity semantics in name only. (shrink)

In "Backward causation and the Stalnaker-Lewis approach to counterfactuals," Analysis 62 (2002): 191–97, Michael Tooley argues that if a certain kind of backward causation is possible, then a Stalnaker-Lewis style comparative world similarity account of the truth conditions of counterfactuals cannot be sound. Tooley’s target is one particular type of semantics, but, as I show, the significance of Tooley’s example goes well beyond its consequences for any one semantics for the conditional.

In this paper I present some difficulties for Lewis’s and similar theories of counterfactuals, and suggest that the problem lies in the notion of absolute similarity. In order to explain the problem, I discuss the relation between Lewis’s and Goodman’s theory, and show that the two theories are not related in the way Lewis thought they were.

If one flips an unbiased coin a million times, there are 2 1,000,000 series of possible heads/tails sequences, any one of which might be the sequence that obtains, and each of which is equally likely to obtain. So it seems (1) ‘If I had tossed a fair coin one million times, it might have landed heads every time’ is true. But as several authors have pointed out, (2) ‘If I had tossed a fair coin a million times, it wouldn’t have (...) come up heads every time’ will be counted as true in everyday contexts. And according to David Lewis’ influential semantics for counterfactuals, (1) and (2) are contradictories. We have a puzzle. We must either (A) deny that (2) is true, (B) deny that (1) is true, or (C) deny that (1) and (2) are contradictories, thus rejecting Lewis’ semantics. In this paper I discuss and criticize the proposals of David Lewis and more recently J. Robert G. Williams which solve the puzzle by taking option (B). I argue that we should opt for either (A) or (C). (shrink)

Berit Brogaard and Joe Salerno (2008) have defended the validity of counterfactual hypothetical syllogism (CHS) within the Stalnaker-Lewis account. Whenever the premisses of an instance of CHS are non-vacuosly true, a shift in context has occurred. Hence the standard counterexamples to CHS suffer from context failure. Charles Cross (2011) rejects this argument as irreconcilable with the Stalnaker-Lewis account. I argue against Cross that the basic Stalnaker-Lewis truth condition may be supplemented in a way that makes (CHS) valid. Yet pace Brogaard (...) and Salerno, there are alternative ways of spelling out the basic truth condition which are standard in most debates; and given these ways, the counterexamples to CHS are successful. (shrink)

This paper studies the causal interpretation of counterfactual sentences using a modifiable structural equation model. It is shown that two properties of counterfactuals, namely, composition and effectiveness, are sound and complete relative to this interpretation, when recursive (i.e., feedback-less) models are considered. Composition and effectiveness also hold in Lewis's closest-world semantics, which implies that for recursive models the causal interpretation imposes no restrictions beyond those embodied in Lewis's framework. A third property, called reversibility, holds in nonrecursive causal models but not (...) in Lewis's closest-world semantics, which implies that Lewis's axioms do not capture some properties of systems with feedback. Causal inferences based on counterfactual analysis are exemplified and compared to those based on graphical models. (shrink)

According to Lewis, causal claims must be analysed in terms of counterfactual conditionals, and these in turn are understood in terms of relations of comparative similarity among single concrete possible worlds. Lewis also claims that there is no trans-world causation because there is no way to make sense of trans-world counterfactuals without automatically making them come out to be false. In this paper I argue against this claim. I show how to make sense of trans-world counterfactuals in a non-trivial way (...) that can make them come out to be true, by appealing to relations of comparative similarity among concrete possible worlds (i.e., assuming modal realism). I argue that either merely making such sense of a relevant counterfactual is not enough to have causation, or that Lewis’ modal realism must be given up. (shrink)

Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...) matter. (shrink)

David Lewis and many others hold that the "antecedent-worlds" relevant for the evaluations of most counterfactuals contain violations of the laws of the actual world, or "miracles". But this isn’t necessary. We may think of the counterfactual present "as if" it were the result of an unlawful divergence from actual history, while still extrapolating to a lawful counterfactual past. Not only does this account render miracles unnecessary, it serves as a unified way to evaluate forward and backward counterfactuals.

Closest-possible-world analyses of counterfactuals suffer from what has been called the ‘problem of counterpossibles’: some counterfactuals with metaphysically impossible antecedents seem plainly false, but the proposed analyses imply that they are all (vacuously) true. One alleged solution to this problem is the addition of impossible worlds. In this paper, I argue that the closest possible or impossible world analyses that have recently been suggested suffer from the ‘new problem of counterpossibles’: the proposed analyses imply that some plainly true counterpossibles (viz., (...) ‘counterlogicals’) are false. After motivating and presenting the ‘new problem’, I give reasons to think that the most plausible objection to my argument is not compelling. (shrink)

This paper evaluates the recent trend to renounce the similarity approach to counterfactuals in favor of the older metalinguistic theory. I try to show, first, that the metalinguistic theory cannot work in anything like its present form (the form described by many in the last decade who claim to be able to solve Goodman''s old problem of cotenability). This is so, I argue, because the metalinguistic theory requires laws of nature of a sort that we (apparently) do not have: current (...) physical theory cannot underwrite the metalinguistic theory. Second, I draw from the first point a motivation for the similarity approach, a motivation based on theoretical considerations apart from the standard ones of pretheoretical intuition. (shrink)

Suppose the world is chancy. The worry arises that most ordinary counterfactuals are false. This paper examines David Lewis' strategy for rescuing such counterfactuals, and argues that it is highly problematic.

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

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)

We argue that a semantics for counterfactual conditionals in terms of comparative overall similarity faces a formal limitation due to Arrow’s impossibility theorem from social choice theory. According to Lewis’s account, the truth-conditions for counterfactual conditionals are given in terms of the comparative overall similarity between possible worlds, which is in turn determined by various aspects of similarity between possible worlds. We argue that a function from aspects of similarity to overall similarity should satisfy certain plausible constraints while Arrow’s impossibility (...) theorem rules out that such a function satisfies all the constraints simultaneously. We argue that a way out of this impasse is to represent aspectual similarity in terms of ranking functions instead of representing it in a purely ordinal fashion. Further, we argue against the claim that the determination of overall similarity by aspects of similarity faces a difficulty in addition to the Arrovian limitation, namely the incommensurability of different aspects of similarity. The phenomena that have been cited as evidence for such incommensurability are best explained by ordinary vagueness. (shrink)

The book also includes an appendix of related writings by Lewis.

This is the second volume of philosophical essays by one of the most innovative and influential philosophers now writing in English. Containing thirteen papers in all, the book includes both new essays and previously published papers, some of them with extensive new postscripts reflecting Lewis's current thinking. The papers in Volume II focus on causation and several other closely related topics, including counterfactual and indicative conditionals, the direction of time, subjective and objective probability, causation, explanation, perception, free will, and rational (...) decision. Throughout, Lewis analyzes global features of the world in such a way as to show that they might turn out to supervene on the spatiotemporal arrangement of local qualities. (shrink)

In this note I discuss what seems to be a new kind of counterexample to Lewis’s account of counterfactuals. A coin is to be tossed twice. I bet on ‘Two heads’, and I win. Common sense says that (1) is false. But Lewis’s theory says that it is true. (1) If at least one head had come up, I would have won.

An objection is presented to Lewis’s analysis of counterfactual conditionals in terms of relative closeness of possible worlds. The objection depends on no special assumptions about the ‘closer-than’ relation. The argument also casts doubt on Lewis’s claim that Antecedent Strengthening fails for counterfactuals.

Early commentators on David Lewis's account of counterfactuals noted that certain examples suggest that some counterfactuals with true antecedents and true consequents are false. Lewis's account has the consequence that all such counterfactuals are true, leaving us to choose between explaining away our intuitions about the examples in question or offering an alternative to Lewis's account. Here I argue that a simple modification of the familiar Lewisian truth conditions yields the intuitively correct verdicts about these examples, and so we can (...) take our intuitions about these examples at face value without any major departure from Lewis's approach to counterfactuals. (shrink)

Comparative overall similarity lies at the basis of a lot of recent metaphysics and epistemology. It is a poor foundation. Overall similarity is supposed to be an aggregate of similarities and differences in various respects. But there is no good way of combining them all.

In assessing counterfactuals, should we consider circumstances which match the actual circumstances in all probablistically independent fact or all causally independent fact? Jonathan Schaffer argues the latter and claims that the former approach, advanced by me, cannot deal with the case of Morgenbesser’s coin. More generally, he argues that, where there is a difference between the two, his account yields our intuitive verdicts about the truth of counterfactuals where mine does not (Schaffer 2004: 307, n. 16). In this brief note, (...) I explain how my approach deals with the case of Morgenbesser’s coin and argue that the situation is, in fact, the reverse. To keep things brief, I rely upon Schaffer’s paper for general explanation of the context of our debate. (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)

One criticism of David Lewis''s account of counterfactuals is that it sometimes assigns the wrong truth-value to a counterfactual when both antecedent and consequent happen to be true. Lewis has suggested a possible remedy to this situation, but commentators have found this to be unsatisfactory. I suggest an alternative solution which involves a modification of Lewis''s truth conditions, but which confines itself to the resources already present in his account. This modification involves the device of embedding one counterfactual within another. (...) On the revised set of truth conditions, counterfactuals with true components are sometimes true and sometimes false, in a way that is more in keeping with our intuitive judgments about such statements. (shrink)

(No abstract is available for this citation).

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).

My aim in this paper is to investigate the notions of comparative similarity definable in the framework of branching space-times. A notion of this kind is required to give a rigorous Lewis-style semantics of space-time counterfactuals, which is the task undertaken by Thomas Muller (PITT-PHIL-SCI00000509, this archive). In turn, the semantical analysis is needed to decide whether the recently proposed proofs of the non-locality of quantum mechanics are correct. From among the three notions of comparative similarity I select two which (...) appear equally good as far as their intuitiveness and algebraic properties are concerned. However, the relations are not transitive, and thus cannot be used in the semantics proposed by (Lewis 1973), which requires transitivity. Yet they are adequate for the account of (Lewis 1981). (shrink)

Consider the reasonable axioms of subjunctive conditionals (1) if p q 1 and p q 2 at some world, then p (q 1 & q 2) at that world, and (2) if p 1 q and p 2 q at some world, then (p 1 ∨ p 2) q at that world, where p q is the subjunctive conditional. I show that a Lewis-style semantics for subjunctive conditionals satisfies these axioms if and only if one makes a certain technical assumption (...) about the closeness relation, an assumption that is probably false. I will then show how Lewisian semantics can be modified so as to assure (1) and (2) even when the technical assumption fails, and in fact in one sense the semantics actually becomes simpler then. (shrink)

David Lewis (1979) has argued that according to his possible worlds analysis of counterfactuals, “backtracking” counterfactuals of the form “If event A were to happen at tA, then event B would happen at tB” where tB precedes tA, are usually false if B does not actually happen at tB. On the other..

This paper considers six comparatively neglected problems for David Lewis’s (1973; 1979) account of counterfactual conditionals (counterfactuals). Four, we shall see, can be tackled without major compromises. The remaining two objections, however, do demand a re-appraisal of Lewis’s project. One casts doubt on the account’s explanatory virtues and drives a wedge between what a counterfactual statement..

In several works on modality, G. H. von Wright presents tree structures to explain possible worlds. Worlds that might have developed from an earlier world are possible relative to it. Actually possible worlds are possible relative to the world as it actually was at some point. Many logically consistent worlds are not actually possible. Transitions from node to node in a tree structure are probabilistic. Probabilities are often more useful than similarities between worlds in treating counterfactual conditionals.

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).

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a species (...) of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

The aim of the paper is to draw a connection between a semantical theory of conditional statements and the theory of conditional probability. First, the probability calculus is interpreted as a semantics for truth functional logic. Absolute probabilities are treated as degrees of rational belief. Conditional probabilities are explicitly defined in terms of absolute probabilities in the familiar way. Second, the probability calculus is extended in order to provide an interpretation for counterfactual probabilities--conditional probabilities where the condition has zero probability. (...) Third, conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent. An axiom system for this conditional connective is recovered from the probabilistic definition. Finally, the primary semantics for this axiom system, presented elsewhere, is related to the probabilistic interpretation. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker 1975) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three much-discussed phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study of conditionals, (...) broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

This paper presents and discusses a range of counterexamples to the common view that quantifiers cannot take scope over epistemic modals. Some of the counterexamples raise problems for ‘force modifier’ theories of epistemic modals. Some of the counterexamples raise problems for Robert Stalnaker’s theory of counterfactuals, according to which a special kind of epistemic modal must be able to scope over a whole counterfactual. Finally, some of the counterexamples suggest that David Lewis must countenance ‘would’ counterfactuals in which a covert (...) ‘would’ scopes over the whole consequent of the counterfactual, including an overt ‘might.’. (shrink)

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

That all subjunctive conditionals with true antecedents and trueconsequents are themselves also true is implied by every plausibleand popularly endorsed account. But I am wary of endorsing thisimplication. I argue that all presently endorsed accounts fail tocapture the nature of certain subjunctive conditionals in contextsof consequentialist reasoning. I attempt to show that we must allowfor the possibility that some subjunctive conditionals with trueantecedents and true consequents are false, if we are to believethat certain types of straightforward consequentialist reasoningare coherent. I (...) begin by evaluating a pair of morally releventcounterfactuals in a case via David Lewis's account. I then turnto a slight modification of the case, arguing that Lewis'ssemantics fails to generate the correct truth values of thesubjunctive conditionals in the modified case. Finally, I presenta modified version of Lewis's semantics that generates the correctresults in all of the cases. (shrink)

I reply to Ahmed's rejection (2011) of my argument (Walters 2009) that all counterfactuals with true antecedents and consequents are themselves true.

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us to (...) the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

David Lewis has long defended an analysis of counterfactuals in terms of comparative similarity of possible worlds. The purpose of this paper is to reevaluate Lewis’s response to one of the oldest and most familiar objections to this proposal, the future similarity objection.

This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional modal logic, (...) those resources will be brought to bear on the logic of conditionals. (shrink)

Chancy counterfactuals are a headache. Dylan Dodd (2009) presents an interesting argument against a certain general strategy for accounting for them, instances of which are found in the appendices to Lewis (1979) and in Williams (2008). I will argue (i) that Dodd’s understates the counterintuitiveness of the conclusions he can reach; (ii) that the counterintuitiveness can be thought of as an instance of more general oddities arising when we treat vagueness and indeterminacy in a classical setting; and (iii) the underlying (...) source of discontent which animates Dodd’s complains is to be found in a certain general constraint one might impose on conditionals—what I’ll call the counterfactual Ramsey bound. Unfortunately, the counterfactual Ramsey bound is just as problematic as its famous indicative cousin. The moral is that there’s no comfortable resting place in this area; for violations of the counterfactual Ramsey bound are going to lead to prima facie surprising results. (shrink)

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong.I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne’s challenges. I argue that this is closer to the spirit of Lewis’s first (non-chancy) proposal (...) than is Lewis’s own suggested modification. (shrink)

Why believe Hume's Dictum, according to which there are, roughly speaking, no necessary connections between wholly distinct entities? Schaffer ('Quiddistic Knowledge', 2009) suggests that HD, at least as applied to causal or nomological connections, is motivated as required by the best account of (the truth) of counterfactuals---namely, a similarity-based possible worlds account, where the operative notion of similarity requires 'miracles'---more specifically, worlds where entities of the same type that actually exist enter into different laws. The main cited motivations for such (...) an account of similarity are first, that some salient contexts presuppose CF asymmetry, and second, that accounts of CFs failing to presuppose CF asymmetry are epistemologically problematic, such that under conditions of determinism, the variations in initial micro-conditions needed to implement a given counterfactual antecedent would result in so many changes to macro-states that evaluation of CFs would be rendered practically impossible. Against the first reason, I argue that no non-artificial contexts presuppose CF asymmetry; against the second, I observe that such micro-variation is compatible, in principle, with significant similarity as regards macroscopic states of affairs---enough, in particular, to allow CFs to be appropriately evaluated. (shrink)

A possible worlds treatment of the normal alethic modalities was, after classical model theory, logic’s most significant semantic achievement in the century just past.[1] Kripke’s groundbreaking paper appeared in 1959 and, in the scant few succeeding years, its principal analytical tool, possible worlds, was adapted to serve a range of quite different-seeming purposes – from nonnormal logics,[2] to epistemic and doxastic logics[3], deontic[4] and temporal logics[5] and, not much later, the logic of counterfactual conditionals.[6] In short order, possible worlds acquired (...) a twofold reputation which has steadily enlarged to the present day. They were celebrated for both their mathematical power and their sheer versatility. This sets the stage for what I want to do here. I wish to explore the extent to which the supposed versatility of a possible worlds semantics is justified. In so doing, I shall confine my attention to its role in (1) logics of counterfactual conditionals, and (2) logics of belief. The question I pose is, why and on what grounds should we think that the device of possible worlds turns the semantic trick for these logics? My answer is that they do not turn the trick for them. Whereupon a further question presses for attention. If possible worlds semantics don’t work there, why does virtually everyone think that they do? Answering this second question is risky. Who am I to say why virtually everyone thinks that the possible worlds approach is more successful than I do? Who has vouchsafed me these powers? I shall try to mitigate the riskiness of my answer by contextualizing the evaluation of this approach in the following ways. First, the triumph of possible worlds occurred in the midst of a powerful general trend in logical theory, especially, in the past 60 years. In that period, logical theory became aggressively and widely pluralistic. Second, the versatility – the sheer ubiquity – of possible worlds as a tool of semantic and philosophical analysis, gives to possible worlds a kind of hegemonic standing.. (shrink)