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)

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

A modest proposal concerning laws, counterfactuals, and explanations - - Why be Humean? -- Suggestions from physics for deep metaphysics -- On the passing of time -- Causation, counterfactuals, and the third factor -- The whole ball of wax -- Epilogue : a remark on the method of metaphysics.

Tn this paper I explore and to an extent defend HS. The main philosophical challenges to HS come from philosophical views that say that nomic concepts-laws, chance, and causation-denote features of the world that fail to supervene on non-nomic features. Lewis rejects these views and has labored mightily to construct HS accounts of nomic concepts. His account of laws is fundamental to his program, since his accounts of the other nomic notions rely on it. Recently, a number of philosophers have (...) criticized Lewis's account, and Humean accounts of laws generally, for delivering, at best, a pale imitation ofthe genuine item. These philosophers think that the notion of law needed by science requires laws-if there are any-to be fundamental features of our world that are completely distinct from and not supervenient on the particular facts that they explain. I side with Lewis against these philosophers. Here I will argue that although Lewis-laws don't fulfill all our philosophical expectations, they do play the roles that science needs laws to play. The metaphysics and epistemology of Humean laws, and more specifically, Lewis-laws, are in much better shape than the metaphysics and epistemology of the main anti-Humean alternatives. However, I do have inisgivings about Lewis's account. Both he and his critics assume that the basic properties are so individuated so that the laws are not metaphysically necessary. If this assumption is rejected, then the question of Humean supervenience lapses. I conclude with a brief discussion of this position. (shrink)

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

I present a puzzle concerning counterfactual reasoning and argue that it should be solved by giving up the principle of substitution for logical equivalents.