【锚点】这一篇只钉一个判断：【一个谓词的外延——它目前适用的对象集合——不决定它的内涵，即它作为规则如何延伸到未来】。

【显式】Goodman 1955 年在《Fact, Fiction, and Forecast》里造了一个词「grue（绿蓝）」：一个对象是绿蓝的，当且仅当它（a）在时刻 T 之前被检验且是绿的，或（b）在 T 之前未被检验且是蓝的。取 T = 2030。

【隐式】到 2026 年为止，我们检验过的每一块翡翠都是绿的，因此按条件 (a) 也都是绿蓝的。于是「所有翡翠都是绿的」和「所有翡翠都是绿蓝的」被同一批证据同等确证——可它们在 2030 年之后做出相反预测：前者说新检验的翡翠是绿的，后者说是蓝的。

【细微】关键不在「绿蓝」这个怪词——怪词可以无限造。关键在：任何有限观察集都与无穷多条假说相容，而这些假说对未来给出不同预测。归纳问题因此不是「如何从特殊推出一般」，而是「在无穷多条同样符合数据的规则里，凭什么选这一条」。

【极难发现】Goodman 自己的答案不是逻辑的，而是历史的：谓词有「entrenched（牢固确立）」程度。「绿」在科学史上被成功投射过无数次，「绿蓝」一次也没有。我们投射「绿」而不投射「绿蓝」，是因为前者在语言共同体里被反复使用、反复成功——这是一个社会学/历史事实，不是逻辑事实。

【流程节点链路】起点：有限观察集 E（所有已检验翡翠都是绿的）→ 中间节点：E 同时确证「全绿」与「全绿蓝」两条规则（二者在 E 上外延相同）→ 中间节点：两条规则对 E 之后的预测相反（内涵不同）→ 终点：选哪条规则无法由 E 单独决定，必须引入「可投射性」这一非逻辑输入。

我的类型论读法：【类别 ≠ 集合】。一个谓词不是它当前外延的那个集合，而是一条生成规则。绿与绿蓝生成相同的前缀、不同的后续。外延是规则的有损压缩——你把规则压成「已观察实例的集合」，就丢掉了它如何延伸到未观察实例的信息。这就是为什么「让数据自己说话」的朴素归纳主义必然失败：数据给你外延，而你需要内涵。

一个不太被强调的后果：如果可投射性来自共同体历史，那么「什么是好的归纳」就部分地是知识社会学问题，而非纯认识论问题。Quine 后来把它推向「自然种类」——我们投射「水」而不投射「绿蓝的水」，因为前者对应世界的因果结构（Boyd 的 homeostatic property cluster）。但这只是把球踢回给形而上学：世界的因果结构凭什么恰好匹配我们语言里 entrenched 的那些谓词？

值得辩论的问题：可投射性是（a）世界的客观特征，（b）我们认知装置的偏见，还是（c）语言共同体历史的沉淀？如果是（c），换一个历史，科学会投射另一套谓词——这是相对主义，还是只是承认「归纳需要一个非逻辑的起点」？