Philosophy
The Logic of Counterfactual Conditionals
Quick fact
Counterfactual conditionals are often called 'contrary-to-fact conditionals' because they describe situations that are contrary to what actually happened. David Lewis's 1973 book 'Counterfactuals' developed the most influential semantic theory for them, using the idea of 'possible worlds'.
Why this is interesting
We use 'what-if' statements every day: 'If I had left earlier, I wouldn't have missed the train.' But did you know that the logic behind these statements is famously tricky and philosophically rich?
Read the full explanation
Understanding The Logic of Counterfactual Conditionals
A counterfactual conditional is a statement of the form 'If A had been the case, then B would have been the case,' where A is false in the actual world. For example, 'If I had studied harder, I would have passed.' These statements are not about what is actually true, but about alternative possibilities. To evaluate them, we mentally construct a hypothetical scenario in which the antecedent (the 'if' part) is true, while keeping as many other things as possible the same as in reality. Then we check whether the consequent (the 'then' part) would also be true in that scenario. This is similar to asking 'What would the world look like if this one thing were different?'—a thought experiment that helps us understand causal relationships and enabling conditions.
A deeper explanation
The most influential formal account of counterfactuals is the 'possible worlds' semantics by David Lewis and Robert Stalnaker. According to this view, we evaluate 'If A, then B' by looking at the possible worlds where A is true that are most similar to the actual world. If in all (or the most) similar such worlds B is also true, then the counterfactual is true. This approach explains why counterfactuals are non-monotonic: adding more information to the antecedent can change the truth value. For instance, 'If I had struck the match, it would have lit' is true in a normal world, but false in a world where the match is wet. The logic also highlights the role of causal dependence, because the similarity ordering is often guided by causal laws. This semantic framework enables rigorous reasoning about hypothetical scenarios, making it a cornerstone for fields like philosophy of science, artificial intelligence, and causal inference.