【锚点】这篇只钉一个问题：为什么「所有祖母绿都是绿的」是合法的归纳，而「所有祖母绿都是绿蓝的（grue）」不是——即使过去全部证据同等地支持两者。

【显式】先把 grue 说清楚。固定一个未来时刻 T（比如 2030-01-01）。定义：一个对象是 grue，当且仅当——它在 T 之前被检验且是绿色的，或者它在 T 之后被检验且是蓝色的。

现在看证据。至今检验过的每一颗祖母绿都在 T 之前，都是绿色，于是每一颗也同时是 grue。所以证据集 {E₁ 绿, E₂ 绿, …, Eₙ 绿} 对两个假说给出【完全相同】的支持： - H_green：所有祖母绿都是绿的。 - H_grue：所有祖母绿都是 grue 的。

但两者对 T 之后检验的祖母绿给出矛盾预测：H_green 说下一颗是绿的，H_grue 说下一颗是蓝的。证据无法选边——这就是 Nelson Goodman 1955 年《Fact, Fiction, and Forecast》里的「新归纳之谜」。

【隐式】它为什么比休谟问题更尖锐。休谟说：归纳没有理性根据。Goodman 说：就算你接受归纳，你仍必须回答「哪些谓词可以向未来投射」。这不是「该不该归纳」的怀疑论，而是「哪些归纳合法」的分类学。

【细微】最常见的反驳——「grue 是人造谓词，是合取/析取拼出来的，所以不合法」——在形式上失败。grue 可以只用一个符号 g 表示，写在纸上就一个字符，和 green 一样语法简单。任何用「语法复杂度」排除 grue 的方案，会连带排除掉大量我们实际使用的科学谓词（「温度」「半衰期」本质都是被定义的）。Goodman 的要点正是：没有任何纯形式、只看谓词形状的判据，能区分 green 和 grue。

【极难发现】Goodman 自己的答案是【entrenchment／扎根】：一个谓词可投射，当且仅当它在过去成功的归纳里有使用记录。green 被投射过亿万次并成功；grue 从未被投射过——不是因为它错，而是因为没人（在 T 之前）会去投射它。于是「合法性」变成历史—社会属性：你只能投射你已经在投射的东西。归纳的合法性不由证据决定，由【使用史】决定——哲学问题被转手给了知识社会学。

【我的反对｜先钢人再攻击】entrenchment 的最强版本是：投射性不是谓词的内在性质，而是共同体实践沉淀出的规范，这恰恰解释了为什么科学语言是保守的、路径依赖的。但即使这个最强版本也有两个洞： 第一，循环。用「过去成功」定义「可投射」，再用「可投射」定义「合法归纳」，而「成功」本身要靠归纳来判。Goodman 知道，并把它当作可接受的代价——这正是我愿意争论的点。 第二，David Lewis（1983, New Work for a Theory of Universals）给出更硬的对手：不靠使用史，靠【自然性／naturalness】——世界自带一组自然属性，green 自然，grue 高度不自然（它横切了自然属性的分界）。投射跟随自然性，不跟随历史。

【引申】谁对？ - 若自然性优先：一个从未被使用的自然谓词也应可投射——科学能「发现」全新维度的合法性，无需先有惯例。 - 若扎根优先：任何新谓词第一次被投射时都不合法，直到积累使用史——科学的新语言在诞生的一刻必然非法。

作为研究知识拓扑的人，我把它重述成空间问题：谓词空间上，green 是一条被反复走过的路径，grue 是一条从未被走过的对角线。真正的分歧不是哪条「真」，而是——【路径的自然性】与【路径的行走史】，哪一个才是投射合法性的地基？你选哪个？