36
$\begingroup$

In Judea Pearl's "Book of Why" he talks about what he calls the Ladder of Causation, which is essentially a hierarchy comprised of different levels of causal reasoning. The lowest is concerned with patterns of association in observed data (e.g., correlation, conditional probability, etc.), the next focuses on intervention (what happens if we deliberately change the data generating process in some prespecified way?), and the third is counterfactual (what would happen in another possible world if something had or had not happened)?

What I'm not understanding is how rungs two and three differ. If we ask a counterfactual question, are we not simply asking a question about intervening so as to negate some aspect of the observed world?

$\endgroup$
3
  • $\begingroup$ Is this really on topic? Asking out of curiosity $\endgroup$
    – Firebug
    Commented Dec 1, 2018 at 19:53
  • 7
    $\begingroup$ @Firebug is causality on topic? If you want to compute the probability of counterfactuals (such as the probability that a specific drug was sufficient for someone's death) you need to understand this. $\endgroup$ Commented Dec 1, 2018 at 19:55
  • 8
    $\begingroup$ twitter.com/yudapearl/status/1069533953223155713 ! $\endgroup$
    – Tim
    Commented Dec 3, 2018 at 10:15

4 Answers 4

35
$\begingroup$

There is no contradiction between the factual world and the action of interest in the interventional level. For example, smoking until today and being forced to quit smoking starting tomorrow are not in contradiction with each other, even though you could say one “negates” the other. But now imagine the following scenario. You know Joe, a lifetime smoker who has lung cancer, and you wonder: what if Joe had not smoked for thirty years, would he be healthy today? In this case we are dealing with the same person, in the same time, imagining a scenario where action and outcome are in direct contradiction with known facts.

Thus, the main difference of interventions and counterfactuals is that, whereas in interventions you are asking what will happen on average if you perform an action, in counterfactuals you are asking what would have happened had you taken a different course of action in a specific situation, given that you have information about what actually happened. Note that, since you already know what happened in the actual world, you need to update your information about the past in light of the evidence you have observed.

These two types of queries are mathematically distinct because they require different levels of information to be answered (counterfactuals need more information to be answered) and even more elaborate language to be articulated!.

With the information needed to answer Rung 3 questions you can answer Rung 2 questions, but not the other way around. More precisely, you cannot answer counterfactual questions with just interventional information. Examples where the clash of interventions and counterfactuals happens were already given here in CV, see this post and this post. However, for the sake of completeness, I will include an example here as well.

The example below can be found in Causality, section 1.4.4.

Consider that you have performed a randomized experiment where patients were randomly assigned (50% / 50%) to treatment ($x =1$) and control conditions ($x=0$), and in both treatment and control groups 50% recovered ($y=0$) and 50% died ($y=1$). That is $P(y|x) = 0.5~~~\forall x,y$.

The result of the experiment tells you that the average causal effect of the intervention is zero. This is a rung 2 question, $P(Y = 1|do(X = 1)) - P(Y=1|do(X =0) = 0$.

But now let us ask the following question: what percentage of those patients who died under treatment would have recovered had they not taken the treatment? Mathematically, you want to compute $P(Y_{0} = 0|X =1, Y = 1)$.

This question cannot be answered just with the interventional data you have. The proof is simple: I can create two different causal models that will have the same interventional distributions, yet different counterfactual distributions. The two are provided below:

enter image description here

Here, $U$ amounts to unobserved factors that explain how the patient reacts to the treatment. You can think of factors that explain treatment heterogeneity, for instance. Note the marginal distribution $P(y, x)$ of both models agree.

Note that, in the first model, no one is affected by the treatment, thus the percentage of those patients who died under treatment that would have recovered had they not taken the treatment is zero.

However, in the second model, every patient is affected by the treatment, and we have a mixture of two populations in which the average causal effect turns out to be zero. In this example, the counterfactual quantity now goes to 100% --- in Model 2, all patients who died under treatment would have recovered had they not taken the treatment.

Thus, there's a clear distinction of rung 2 and rung 3. As the example shows, you can't answer counterfactual questions with just information and assumptions about interventions. This is made clear with the three steps for computing a counterfactual:

  1. Step 1 (abduction): update the probability of unobserved factors $P(u)$ in light of the observed evidence $P(u|e)$
  2. Step 2 (action): perform the action in the model (for instance $do(x))$.
  3. Step 3 (prediction): predict $Y$ in the modified model.

This will not be possible to compute without some functional information about the causal model, or without some information about latent variables.

$\endgroup$
6
  • 1
    $\begingroup$ Interesting answer! A couple of follow-ups: 1) You say "With Rung 3 information you can answer Rung 2 questions, but not the other way around". But in your smoking example, I don't understand how knowing whether Joe would be healthy if he had never smoked answers the question 'Would he be healthy if he quit tomorrow after 30 years of smoking'. They seem like distinct questions, so I think I'm missing something. $\endgroup$
    – mkt
    Commented Dec 3, 2018 at 9:24
  • 2
    $\begingroup$ Also, your subsequent worked example relies on the 2 unobserved variables being nonrandomly distributed between the treatment and control. But you described this as a randomized experiment - so isn't this a case of bad randomization? With proper randomization, I don't see how you get two such different outcomes unless I'm missing something basic. $\endgroup$
    – mkt
    Commented Dec 3, 2018 at 9:26
  • $\begingroup$ @mkt from last to first. The unobserved variable is randomly distrubuted between treated and control, you have exactly 50% of each category of u in both arms. By information we mean the partial specification of the model needed to answer counterfactual queries in general, not the answer to a specific query. To answer counterfactual queries you need the causal structure + some functional information or information of the distribution of the latent variables. $\endgroup$ Commented Dec 3, 2018 at 9:34
  • $\begingroup$ It's such a nice post :) clear and concise! And yes, it convinces me how counterfactual and intervention are different. I do have some disagreement on what you said last -- you can't compute without functional info -- do you mean that we can't use causal graph model (without SCM) to compute counterfactual statement? $\endgroup$
    – windweller
    Commented Apr 27, 2021 at 18:05
  • $\begingroup$ @windweller unless the model is deterministic, you can’t identify counterfactuals with the graph only. For further formalization of this, you may want to check causalai.net/r60.pdf $\endgroup$ Commented Apr 28, 2021 at 14:33
5
$\begingroup$

Here is the answer Judea Pearl gave on twitter:

Readers ask: Why is intervention (Rung-2) different from counterfactual (Rung-3)? Doesn't intervening negate some aspects of the observed world?

Ans. Interventions change but do not contradict the observed world, because the world before and after the intervention entails time-distinct variables. In contrast, "Had I been dead" contradicts known facts. For a recent discussion, see this discussion.

Remark: Both Harvard's #causalinference group and Rubin's potential outcome framework do not distinguish Rung-2 from Rung-3.

This, I believe, is a culturally rooted resistance that will be rectified in the future. It stems from the origin of both frameworks in the "as if randomized" metaphor, as opposed to the physical "listening" metaphor of #Bookofwhy

$\endgroup$
2
$\begingroup$

Counterfactual questions are also questions about intervening. But the difference is that the noise terms (which may include unobserved confounders) are not resampled but have to be identical as they were in the observation.

Counterfactuals are computed in SCMs through the following procedure:

  1. Update the noise distribution to its posterior given the observed evidence (“abduction”).
  2. Manipulate the structural equations to capture the hypothetical intervention (“action”).
  3. Use the modified SCM to infer the quantity of interest (“prediction”).

Example 4.11 of this paper explains this intuitively with simple numbers.

$\endgroup$
2
$\begingroup$

To add more insight to this question and the other answers:

Intervention: We want to answer/predict what will happen to variable $Z$, if we intervene on a variable $X$ in the present.

Counterfactual: We want to answer/predict what would happen to variable $Z$, had we intervened on a variable $X$ in the past. But the world has moved on and many other variables of the system have changed. Thus, we can't use intervention in the present to answer such a scenario.

Finally, an example to make the difference between intervention (rung 2) and counterfactual (rung 3) clear. Assuming there are 3 variables $X, Y, Z$ with $Z$ being a common effect of $X$ and $Y$ as shown in the graph below:

Common effect causal model

Now, in rung 2 (intervention), if we perform an action/intervention on $X$, the value of $Y$ might change/adapt. However, rung 3 (counterfactual), can be thought of as an imaginary intervention on the graph, whereas all variables that are not affected by the imaginary intervention, here $Y$, have to stay fixed at the levels/values we observed prior to the action. Therefore, the value of $Y$ does not change/adapt.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.