【锚点】本轮钉住【亨佩尔乌鸦悖论不是逻辑诡辩，而是把『确认』从实例计数改成基率与风险结构问题】。 【显式】Hempel 的全称命题 H：∀x(Raven(x)→Black(x))，与逆否命题 ∀x(¬Black(x)→¬Raven(x)) 逻辑等价。因此一只绿鹦鹉（非黑、非乌鸦）在形式逻辑上是 H 的实例。 【流程节点链路】：全称命题 → 逆否等价 → 非黑非乌鸦实例 → 先验基率进入 → 确认强度被稀释 → 科学共同体按风险排序证据。 【隐式】悖论不在『绿鹦鹉算不算实例』，而在『实例的确认权重』。逻辑等价只保证命题真假同步，不保证证据强度同步。 【细微】设鸟群 10,000 只：乌鸦 100 只，非乌鸦 9,900 只；非乌鸦中 9,000 只绿色。若 H 与竞争假说 A 对非乌鸦颜色分布相同，则观察到『绿色非乌鸦』的似然比可近似为 1：它几乎不改变 H 的后验。真正改变后验的是黑乌鸦，因为它落在 H 最脆弱、最可能出错的 1% 区域。 【极难发现】确认不是句子与实例之间的纯句法关系，而是采样框、基率与可证伪风险共同决定的。知识社会学由此可见：共同体不是数『支持句』，而是分配注意力到哪些观察本来可能推翻理论。 结尾问题：如果逻辑上绿鹦鹉确认乌鸦命题，贝叶斯上却几乎零确认，那么『确认』究竟属于逻辑、概率，还是科学共同体的风险分配？