A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Counterfactual Theory of Causation

College Depth 106 in the knowledge graph I know this Set as goal
23topics build on this
670prerequisites beneath it
See this on the map →
Causation and Causal RelationsCausation and Determination+3 moreCausal ExplanationCausal Order and Temporal Order+1 more
counterfactuals David Lewis causation possible worlds dependence

Core Idea

Lewis's counterfactual theory analyzes causation in terms of counterfactual dependence: C causes E if, had C not occurred, E would not have occurred. This is evaluated using possible-worlds semantics — E counterfactually depends on C if in the closest possible worlds where C doesn't happen, E also doesn't happen. The theory handles many cases that defeat regularity theories. However, it faces serious problems with preemption (backup causes that would have produced E anyway), overdetermination (two independent sufficient causes), and late preemption, which Lewis and successors have worked to resolve through transitivity and influence accounts.

How It's Best Learned

Read Lewis's 'Causation' (1973) and then immediately work through the preemption and overdetermination counterexamples. Track how each variant of the theory (his 1986 update, influence account) attempts to handle these cases.

Common Misconceptions

Explainer

You already understand causation as a metaphysical relation and the regularity theory, which analyzes causes as events that are regularly followed by their effects (Hume's constant conjunction). The counterfactual theory takes a different approach: instead of looking at patterns across many events, it analyzes what would have happened in a single case if things had gone differently. The core claim is that C causes E if and only if, had C not occurred, E would not have occurred — a condition of counterfactual dependence.

The possible-worlds framework you've studied makes this precise. To evaluate "Had C not occurred, E would not have occurred," you ask: consider the closest possible worlds where C doesn't happen — worlds that differ minimally from the actual world except that C is absent. Do those worlds also lack E? If yes, E counterfactually depends on C, and this dependence constitutes causation (or at least is evidence of it). The elegance of this approach is that it captures our ordinary causal intuitions: the spark caused the fire because, had there been no spark, there would have been no fire (in the nearest possible world where the spark is absent, everything else being equal, the fire also doesn't happen).

The theory handles cases that defeat regularity theories. Regularity theories struggle with singular causation — unique events that have never happened before and will never happen again can't appeal to patterns. They also struggle with overdetermination and preemption. The counterfactual theory initially seems better placed. But it generates its own notorious counterexamples. In preemption, C1 and C2 are both headed toward causing E, but C1 gets there first and C2 never fires. E depends counterfactually on C1 (if C1 hadn't happened, C2 would have fired and E would still have occurred) — so the dependence fails, even though we want to say C1 caused E. Lewis's response involved chains of counterfactual dependence and eventually the influence account (1986), which requires that E's fine-grained properties counterfactually depend on C's fine-grained properties, not merely whether E occurs.

Overdetermination is even trickier: two fires independently and simultaneously reach a barn, each sufficient to burn it. Neither fire is a counterfactual cause by Lewis's original analysis because removing either still leaves the other to do the work. This reveals a general tension: the counterfactual analysis works best for simple, isolated cases and strains under complex causal structure. Contemporary causation theory has branched into interventionist accounts (Woodward), mechanistic accounts, and sophisticated variants of the counterfactual approach — but Lewis's original theory remains the indispensable starting point, and the preemption/overdetermination problems it generated have shaped the entire subsequent discussion.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicModal Semantics: Necessity and PossibilityIntensionality and Possible Worlds SemanticsEvent SemanticsAktionsart (Lexical Aspect)Tense and Aspect in Formal SemanticsViewpoint Aspect (Perfective and Imperfective)Formal Semantics of Tense and TimeFormal Semantics of Modality and PossibilityPossible Worlds SemanticsCounterfactual Theory of Causation

Longest path: 107 steps · 670 total prerequisite topics

Prerequisites (5)

Leads To (3)