Skip to main content Accesibility Help



Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: (X ∧ Y) ⊃ (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.

Corresponding author
Hide All
Adams, E. (1975). The Logic of Conditionals. Dordrecht, Holland: Reidel.
Ahmed, A. (2011). Walters on conjunction conditionalization. Proceedings of the Aristotelian Society, CXI, 115122.
Bennett, J. (1974). Counterfactuals and possible worlds. Canadian Journal of Philosophy, 4, 381402.
Bennett, J. (2001). On forward and backward counterfactual conditionals. In Preyer, G., and Siebelt, F., editors. Reality and Humean Supervenience. New York: Rowman and Littlefield, pp. 177202.
Bennett, J. (2003). A Philosophical Guide to Conditionals. Oxford, UK: Oxford University Press.
Bigelow, J. (1976). If-then meets the possible worlds. Philosophia, 6, 215236.
Burgess, J. (1981). Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic, 22, 7684.
Butcher, D. (1983). An incompatible pair of subjunctive conditional modal axioms. Philosophical Studies, 44, 71110.
Cogburn, J., & Roland, J. W. (2013). Safety and the true-true problem. Pacific Philosophical Quarterly, 94, 246267.
Cross, C. (2009). Conditional excluded middle. Erkenntnis, 70, 173188.
Edgington, D. (2004). Counterfactuals and the benefit of hindsight. In Dowe, P., and Noordhof, P., editors. Cause and Chance: Causation in an Indeterministic World. London, UK: Routledge, pp. 1227.
Fine, K. (1975). Critical notice of David Lewis’s counterfactuals. Mind, 84, 451458. Reprinted in his Modality and Tense (2005). Oxford, UK: Oxford University Press, pp. 357–365.
Gärdenfors, P. (1978). Conditionals and changes of belief. Acta Philosophica Fennica,30, 381404.
Gärdenfors, P. (1988). Knowledge in Flux. Cambridge, MA: MIT Press.
Gundersen, L. (2004). Outline of a new semantics for counterfactuals. Pacific Philosophical Quarterly, 85, 120.
Hiddleston, E. (2005). A causal theory of counterfactuals. Nous, 39, 632657.
Kvart, I. (1986). A Theory of Counterfactuals. Indianapolis, IN: Hackett.
Kvart, I. (1994) Counterfactuals: Ambiguities, true premises and knowledge. Synthese, 100, 133164.
Lewis, D. (1971). Completeness and decidability of three logics of counterfactual conditionals. Theoria, 37, 7485.
Lewis, D. (1979). Counterfactual dependence and time’s arrow. Nous, 13, 455476. Reprinted with postscripts in his Philosophical Papers: Volume II. (1986). Oxford, UK: Oxford University Press.
Lewis, D. (1981). Ordering semantics and premise semantics for counterfactuals. Journal of Philosophical Logic, 10, 217234. Reprinted in his Papers in Philosophical Logic. Cambridge, UK: Cambridge University Press.
Lewis, D. (1986). Counterfactuals, revised edn. Oxford, UK: Basil Blackwell.
Loewer, B. (1979). Cotenability and counterfactual logics. Journal of Philosophical Logic, 8, 99115.
McDermott, M. (1999). Counterfactuals and access points. Mind, 108, 291334.
McDermott, M. (2007). True antecedents. Acta Analytica, 22, 333335.
McGee, V. (1985). A counterexample to Modus Ponens. Journal of Philosophy, 82,462471.
McGlynn, A. (2012). The problem of true-true counterfactuals. Analysis, 72, 276285.
McKay, T., & van Inwagen, P. (1977). Counterfactuals with disjunctive antecedents. Philosophical Studies, 31, 353356.
Morreau, M. (2009). The hypothetical syllogism. Journal of Philosophical Logic, 38,447464.
Noordhof, P. (2004). Prospects for a counterfactual theory of causation. In Dowe, P., and Noordhof, P., editors. Cause and Chance: Causation in an Indeterministic World. London, UK: Routledge, pp. 188201.
Nozick, R. (1981). Philosophical Explanations. Oxford, UK: Oxford University Press.
Nute, D. (1980). Topics in Conditional Logic. Boston, MA: Reidel.
Penczek, A. (1997). Counterfactuals with true components. Erkenntnis, 46, 7985.
Phillips, I. (2007). Morgenbesser cases and closet determinism. Analysis, 67, 4249.
Pollock, J. (1976). Subjunctive Reasoning. Boston, MA: Reidel.
Pollock, J. (1981). A refined theory of counterfactuals. Journal of Philosophical Logic, 10, 239266.
Pruss, A. (2007). Conjunctions, disjunctions and Lewisean semantics for counterfactuals. Synthese, 96, 3352.
Schaffer, J. (2004). Counterfactuals, causal dependence and conceptual circularity. Analysis, 54, 299309.
Slote, M. (1978). Time in counterfactuals. Philosophical Review, 87, 327.
Stalnaker, R. (1968). A theory of conditionals. In Rescher, N., editor. Studies in Logical Theory. American Philosophical Quarterly Monograph Series, No. 2. Oxford, UK: Blackwell, pp. 98112.
Stalnaker, R. (1987) Inquiry. Cambridge, MA: MIT Press.
Tichý, P. (1978). A new theory of subjunctive conditionals. Synthese, 37, 433457.
Tooley, M. (2002). Backward causation and the Stalnaker–Lewis approach to counterfactuals. Analysis, 62, 191197.
Walters, L. (2009). Morgenbesser’s coin and counterfactuals with true components. Proceedings of the Aristotelian Society, CIX, 365379.
Walters, L. (2011). Reply to Ahmed. Proceedings of the Aristotelian Society, CXI, 123133.
Walters, L.(MS) Possible Worlds Semantics and True–True Counterfactuals. Available from:
Williams, J. R. G. (2010). Defending conditional excluded middle. Noûs, 44, 650668.
Williamson, T. (2007). The Philosophy of Philosophy. Oxford, UK: Blackwell.
Won, C. (2009). Morgenbesser’s coin, counterfactuals, and causal versus probabilistic independence. Erkenntnis, 71, 345354.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed