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 more→→Causal 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 Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Terms and Atomic Formulas in FOL → Variable Binding and Scope → Open and Closed Formulas in First-Order Logic → Variable Substitution and Capture-Avoidance in First-Order Logic → Quantifier Instantiation Rules in First-Order Proof Systems → Universal Quantification: Meaning and Scope → Free Variables and Bound Variables → Substitution and Instantiation in Predicate Logic → Terms and Atomic Formulas → Formulas and Well-Formed Expressions → Structures and Interpretations → Model Interpretation and Satisfaction → Interpretation, Truth, and Satisfaction of Formulas → Logical Consequence and Entailment → Soundness Theorem and Validity of Proof Systems → Deductive Reasoning and Formal Proof Systems → First-Order Resolution → Propositional Resolution → Semantic Tableaux (Propositional) → Semantic Tableaux (First-Order) → Decidable Fragments of First-Order Logic → Gödel's Completeness Theorem for First-Order Logic → Gödel's Incompleteness Theorems → Introduction to Intuitionistic Logic → Introduction to Modal Logic → Modal Semantics: Necessity and Possibility → Intensionality and Possible Worlds Semantics → Event Semantics → Aktionsart (Lexical Aspect) → Tense and Aspect in Formal Semantics → Viewpoint Aspect (Perfective and Imperfective) → Formal Semantics of Tense and Time → Formal Semantics of Modality and Possibility → Possible Worlds Semantics → Counterfactual Theory of Causation

Longest path: 107 steps · 670 total prerequisite topics

Prerequisites (5)

Leads To (3)