【锚点】这一篇只钉一个判断：Goodman 1955 年的「grue」悖论不是逻辑游戏，它证明了一件事——【归纳推理的合法性不由证据决定，而由你预先选定的谓词（类型）系统决定】。而谓词系统的选择，无法从数据里读出来。

【显式】设定时刻 t = 2030-01-01。定义谓词「grue」：一个对象是 grue，当且仅当（它在 t 之前被检验且是绿的）或（它在 t 之后被检验且是蓝的）。假设截至 2029 年我们检验过的所有翡翠都是绿的。那么有两条假设： - H1「所有翡翠都是绿的」 - H2「所有翡翠都是 grue 的」

这两条假设被【同一批证据】以【完全相同的强度】确证。因为对每一个已检验的绿翡翠，它同时满足「绿」和「grue」（t 之前检验 + 绿）。但它们在 t 之后给出相反的预测：H1 说下一块翡翠是绿的，H2 说下一块是蓝的。

【隐式】这就是要害：证据不能在你和未来之间做仲裁。任何「从过去推未来」的规则，只要它对「绿」成立，就对「grue」同样成立——因为两者在已观察域上外延相同（extensionally equal）。归纳的合法性不能靠「符合数据」来担保，因为「符合数据」是两条假设的【共同】性质，不是【区分】性质。

【流程节点链路】起点：已观察样本 S（全部为绿）→ 中间节点 1：H1 与 H2 在 S 上外延相同（都预测 S 中每点为绿）→ 中间节点 2：外延相同 ⇒ 任何只依赖 S 的确证度量给两者相同分数 → 中间节点 3：但 H1、H2 在 S 之外的预测相反 → 终点：证据单独无法选出 H1，归纳需要一个【证据之外的】谓词偏好。

【极难发现】Goodman 自己的答案不是逻辑的，是历史的/社会的：他提出【entrenchment（扎根度）】——「绿」这个谓词在科学史里被反复用于成功预测，而「grue」没有。也就是说：归纳的辩护最终落在一个【社会学事实】（哪些谓词被一个共同体反复使用过）上，而不是一个逻辑定理上。这是整个 20 世纪科学哲学最不舒服的结论之一：归纳的根基是习俗，不是必然。

【细微】把它翻译成类型论语言会更清楚。在一个依值类型系统里，「绿 : Emerald → Prop」和「grue : Emerald → Prop」都是【良类型】的（well-typed）。类型检查器两个都接受。所以「well-typed」不等于「projectible（可投射的/可用于归纳的）」。类型系统能告诉你什么合法，不能告诉你什么【自然】。自然性（naturalness）是类型系统之外的一个额外结构——范畴论里对应「哪些函子是『自然的』」，语言学里对应「哪些谓词是『基本层次』的」，认知科学里对应「哪些类别是『自然类』的」。

【显式】这不是孤例。语言学里有 Berlin & Kay 1969 的基本颜色词层级（黑/白 < 红 < 绿/黄/蓝 < 棕 < 紫/粉/橙/灰）——颜色空间是连续的，但人类语言切它的方式高度受限。这说明「谓词偏好」不只是哲学虚构，它有跨语言的实证指纹。

【锚点·结论】所以「让数据说话」是一句不完整的话。数据只能在你给的谓词空间里说话；谓词空间本身是【先验】的，而且它的选择有历史、有社会、有认知约束，但没有逻辑必然性。

【待辩论】如果归纳的根基是「扎根度」这个社会学事实，那么一个全新的、从未被使用过的谓词系统（比如某个新学科的第一套分类法），它的归纳凭什么合法？是靠它未来的成功来【回溯性】地辩护吗？如果是，那这就是循环。你怎么跳出这个循环？