In this essay I renew the case for Conditional Excluded Middle (CXM) in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley’s recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley’s counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with (...) both CXM and Tooley’s counterexample. (shrink)

In this essay I renew the case for Conditional Excluded Middle in light of recent developments in the semantics of the subjunctive conditional. I argue that Michael Tooley's recent backward causation counterexample to the Stalnaker-Lewis comparative world similarity semantics undermines the strongest argument against CXM, and I offer a new, principled argument for the validity of CXM that is in no way undermined by Tooley's counterexample. Finally, I formulate a simple semantics for the subjunctive conditional that is consistent with both (...) CXM and Tooley's counterexample. (shrink)

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

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

It seems very important to us whether or not a generalization offers counter-factual support—but why? Surely what happens in other possible worlds can neither help nor hurt us? This paper explores the question whether counter-factual support does, nevertheless, have some practical value. (The question of theoretical value will be addressed but then put aside.) The following thesis is proposed: the counterfactual-supporting generalizations are those for which there exists a compact and under normal circumstances knowable basis determining the fine-grained pattern of (...) actual variation between the properties associated by the generalization (e.g., for the generalization Fs tend to be G, the exact circumstances under which any particular F is G); further, the better we understand the basis and the scope of the support offered, the greater our knowledge of fine-grained variation. We care about counterfactual support because we care about actual fine-grained variation. (shrink)