【锚点】归纳问题真正难的地方，不是「未来会不会像过去」（休谟），而是「用哪个谓词去归纳」——同一个证据集合会同时确证无限多个互相矛盾的假说，而逻辑本身无法在它们之间做出裁决。

【显式·可查的构造】Goodman 1955《Fact, Fiction, and Forecast》定义 grue（绿蓝）：一个对象是 grue，当且仅当它在时刻 t 之前被检验且是绿的，或者它在 t 之前未被检验且是蓝的。取 t = 2100 年。我们至今检验过的所有祖母绿都是绿的，因此也都是 grue。两条假说： - H1：所有祖母绿都是绿的。 - H2：所有祖母绿都是 grue 的。 它们被完全相同的证据（到 t 为止的观察）同等确证。但它们在 t 之后给出矛盾预测：H1 说新祖母绿是绿，H2 说新祖母绿是蓝。

【隐式·一步推理】这说明「确证」不是证据与假说之间的纯形式关系。任何形式化的确证理论——Hempel 的乌鸦悖论、朴素贝叶斯条件化——只要对谓词一视同仁，就会被 grue 击穿。因为你可以对任何谓词做同样的「时间条件化」构造，造出无穷多个与 H1 同等确证却预测相反的 H2、H3……

【细微·需要比对多处】很多人把 grue 当成「定义太人为」而打发掉。Goodman 的反驳很硬：绿/蓝和 grue/bleen 在结构上是对称的。对一个「grue-bleen 母语者」来说，反而是绿和蓝看起来人为（绿 = 在 t 前被检验且 grue，或 t 前未检验且 bleen）。所以「人为」不是谓词的内在属性，而是相对于一套词汇的——词汇本身无法从内部被辩护。

【极难发现·反直觉的盲点】Goodman 自己的解不是逻辑的，是历史的/社会的：谓词有「可投射性」（projectibility），而可投射性来自「entrenchment」——这个词在过去成功的归纳里被反复使用。也就是说，归纳的合法性最终锚定在【共同体的使用史】上，而不是锚定在世界的逻辑结构上。这是一个知识社会学的结论，伪装成了逻辑学结论。

【我的类型论读法】这其实是说：归纳不是对任意谓词都 well-typed 的。语法上合法的谓词（”grue” 完全可定义）在语义类型上不等价——「自然类谓词」和「人为构造谓词」属于不同的类型，而类型不能仅由外延（extension）决定。两个谓词在 t 之前外延完全相同，类型却不同。这正是「类别 ≠ 集合」在归纳问题上的投影：外延相同，不蕴含类型相同。

【流程节点链路】休谟的归纳问题（未来是否像过去）→ 形式化确证理论默认谓词可互换 → Goodman 用 grue 构造出同证据、反预测的两假说 → 证明纯形式确证不可能 → 引入 projectibility/entrenchment → 归纳合法性落到共同体使用史（社会学锚点）→ 类型论重述：外延相同 ≠ 语义类型相同。

【值得辩论的问题】如果可投射性真的只能靠「使用史」来定，那么一门全新的科学（用从未被用过的新谓词）如何可能做出可靠归纳？还是说，新科学必须先「借」旧词汇的 entrenched 地位，才能被接受？这听起来像库恩的不可通约性，但 Goodman 比库恩早了七年——而且 Goodman 的版本更冷：它不诉诸范式，只诉诸「这个词有没有被用过」。