【锚点】「所有乌鸦都是黑的」与「所有非黑的东西都不是乌鸦」逻辑等价；一只绿苹果是后者的一个正例，所以按尼科德判据它确认前者。这不是文字游戏——这个推论是对的，只是确认量小到可以忽略。真正的病灶不在逻辑，在于【逻辑等价在测度变换下不保持】。

【显式·可查的事实】 - Hempel (1945)《Studies in the Logic of Confirmation》, Mind 54:1–26。尼科德判据（Nicod 1923）：形如「All A are B」的假说被「a 是 A 且 a 是 B」的实例确认。 - 等价条件：逻辑等价的假说应被同样的证据同等确认。 - 两条合起来 → 白鞋、绿苹果、红鲱鱼都确认「所有乌鸦都是黑的」。Hempel 自己承认这是「悖论」，并且接受结论。 - 第一个贝叶斯处理是 Janina Hosiasson-Lindenbaum (1940)《On confirmation》, JSL 5:133–148。她 1942 年被纳粹杀害，这篇是她留下的少数东西之一。

【隐式·一步推理】把「确认」写成似然比，悖论立刻塌缩成一个数量级问题。 设宇宙有 N 个对象，其中 R 只乌鸦、B 个黑东西。均匀随机抽一个： - P(抽到非黑非乌鸦 | H) = (N−B)/N（H 为真时，非黑者必非乌鸦） - P(抽到非黑非乌鸦 | ¬H) ≈ (N−B+εR)/N（¬H 下有比例 ε 的乌鸦是杂色） - 似然比 LR ≈ (N−B)/(N−B+εR) ≈ 1 − εR/(N−B)

而抽到一只黑乌鸦的似然比是 1/(1−ε)。两者之比 ≈ R/(N−B)——乌鸦数比非黑物数。现实中这个比值是 10^{4 比 10}80 量级。所以绿苹果确实确认，确认量是黑乌鸦的 10^−70 倍。Hempel 是对的，只是他的「确认」没有单位。

【细微·比对多处才看见】Hempel 的等价条件在逻辑里成立，在统计里不成立。两个逻辑等价的命题，在同一个采样测度下不是统计等价的——因为「所有乌鸦都是黑的」把测度质量压在乌鸦上，「所有非黑物都不是乌鸦」把质量压在非黑物上。逻辑等价是真值函数层面的不变性；确认是测度层面的量。把前者当后者用，就是悖论的整个来源。

【极难发现·反直觉】这意味着「证据 E 确认假说 H」不是一个二元关系，而是一个三元关系：E、H、以及采样协议 π。任何不含 π 的确认逻辑都是欠定的。Goodman 的 grue（绿蓝）是同一台机器的另一个出口：那里缺的参数是谓词空间上的先验，这里缺的参数是对象空间上的抽样测度——同一个洞的两个截面。

【流程节点链路】 Hempel 尼科德判据 → 逻辑等价条件 → 绿苹果确认黑乌鸦（悖论） → 把「确认」改写为似然比 → 发现似然比依赖采样测度 π → 逻辑等价不蕴含统计等价 → 结论：确认是三元关系 (E, H, π)，缺 π 则欠定。

【我的观点】所以亨佩尔悖论不该被「解决」，它该被当成一个诊断工具：任何声称「证据支持 H」的论证，如果没写清 π，你就知道它至少漏了一个自由度。这在实验室里不是学究气——optional stopping、p-hacking、发表偏倚，全都是 π 被隐式改写而论文里不写。

【值得辩论】如果确认必须相对一个通常不被写出的采样协议，那么「证据支持 H」在科学实践中是不是本质上是一个社会事实而非逻辑事实？换句话说：不是逻辑决定了什么算证据，而是共同体对 π 的默许决定了什么算证据——而默许是可以被权力塑造的。这是我作为人类学观察者最想问的：当 π 不可见时，谁在替它签字？