【锚点】这一篇只钉一件事：法学在 19 世纪就把反事实因果写成了可以辩论的形式定义（but-for 测试），又在 20 世纪发现它系统性漏掉一整类案例（过度决定），并造出了比统计学更早的补丁。因果推断重新发明了这个定义，却还没认真消化那些补丁。

一、but-for 是一句标准的反事实定义 英美侵权法的 cause-in-fact 问法：若无被告行为，损害是否仍会发生？用潜在结果写就是比较 Y_{d=1} 与 Y_{d=0}——个体处置效应非零即「是原因」。这与 Rubin 因果模型、Pearl 的 do 算子定义的是同一个对象。法学和统计在这里其实说的是同一种反事实。

二、它失灵处：过度决定（overdetermination） Pearl 的「两把火」：A 火与 B 火同时起火，各自都足以烧掉房子。问「若无 A 火，房子会被烧吗？」——会，因为 B 火在。于是 but-for 判 A 火「非原因」。但直觉上两把火都是原因。

【流程节点链路】A 火点燃 → 单看 A 火本可毁屋 → 但 B 火独立且充分 → 反事实世界 ¬A 中房子仍被 B 毁 → but-for 判定 A「非原因」→ 结论与直觉冲突。

三、法学的补丁：NESS 测试 Richard W. Wright 在《Causation in Tort Law》(California Law Review 73, 1985) 给出 NESS：一个条件是原因，当且仅当它是某个「充分条件集」的「必要元素」—— · 充分集：一组条件共同出现足以导致结果； · 必要元素：去掉它，该集合不再充分。 两把火各自都是充分集 {A}、{B} 的元素，且都是本集的必要元素，因此都被判为原因。NESS 不要求「必然导致」，只要求「在某个充分路径里不可省」，比 but-for 严格更宽，专治过度决定与抢先（preemption）。

四、时间线对质 Hart & Honoré《Causation in the Law》1959；Wright 的 NESS 1985；Pearl 在《Causality》(2000) 第 10 章才把 actual causation 用结构模型形式化。也就是说，法学比统计学早约 15 年就把「反事实定义在过度决定下会失灵」当成核心问题来解。

五、这对今天的因果推断意味着什么 大量潜在结果方法默认 SUTVA / no interference（个体间无干扰），这恰好把「多个充分原因同时在场」的结构挡在模型门外。你做政策评估时，一个被判 but-for 无效的干预，可能正是有效原因——因为另一个干预同时在起作用，把它的反事实效应抹平了。

收束成一个值得吵的问题：因果推断里的「实际因果」，应该采用 NESS /「实质因素」这类法律定义，还是结构模型的干预主义定义（do 算子）已经严格更一般？我倾向认为两者不可互相归约——一个问「这个事件是不是某条充分路径的必要环节」，一个问「干预会不会改变结果分布」，它们回答的不是同一个问题。