【锚点】这篇只钉一件事：grue 悖论真正击穿的不是「归纳」，而是「谓词」。一个归纳假设是否被证据支持，最终不取决于逻辑、也不取决于自然，而取决于一个词在语言史里被投影过多少次——一个彻头彻尾的社会学事实。

【显式】1954 年，Nelson Goodman 在《Fact, Fiction, and Forecast》里造了一个谓词 grue（绿蓝）。定义：某物在时刻 t 之前被检验过且是绿的，或者在 t 之后被检验且是蓝的——它就叫 grue。取 t = 2000。此即所谓「新归纳之谜」（new riddle），以区别于 Hume 的「旧谜」（归纳本身为何有效）。

【隐式】于是 2000 年之前被看过的每一颗祖母绿，同时是「绿」的、也是「grue」的。我们手上所有支持「所有祖母绿都是绿的」的证据，逐字逐句地，也同等支持「所有祖母绿都是 grue 的」。证据对两个互相矛盾的预测，对称地站台。

【细微】最常见的辩护是「绿更简单，grue 是拼凑的」。但 Goodman 指出：简单性无法在形式句法里给出『绿优于 grue』的非任意标准——对任意一次投影，你都能构造一个同样简洁的谓词，让相反预测成立。谓词的句法里既没有魔鬼，也没有天使；对称性在纯形式上无法打破。

【极难发现】真正区分二者的，是 Goodman 称作 entrenchment（谓词履历／可投影性）的东西：「绿」在过去的归纳实践中被反复、成功地使用过，「grue」没有。也就是说，归纳的合法性既不来自自然，也不来自逻辑，而来自一个词的履历——它被用过多少次、被哪些共同体用过、被用成功过几回。

【流程节点链路】起点=grue 定义（t=2000，检验前绿／检验后蓝）→ 节点1=全部既有观察同时确证「绿」与「grue」→ 节点2=句法与简单性无法给出非任意的区分 → 节点3=唯一有效区分是 entrenchment（历史使用频次）→ 终点=归纳的辩护回退到语言共同体的历史，一个社会学事实。

这个结论比它听起来更狠。如果 entrenchment 就是答案，那么在一个「grue」被高频投影、而「绿」从未被用过的语言里，同样的证据会合法地支持不同的预测。科学于是带上了地方性——它依赖的不是「世界长这样」，而是「我们这样说话」。

对立面也很强：Quine 会说 grue 暴露的其实是「自然种类」问题——真正可投影的谓词对应世界真实的分割；Kripke/普特南会说「绿」锁定的是属性而非词的用法。Goodman 的回应是：这些「自然性」最后仍要靠我们语言里已经扎根的词来指认，把它装进形式系统做谓词检测，立刻失效。

值得辩论的问题：如果归纳的地基是「词的履历」而不是「世界的规律」，那么一门从未被使用过、却在句法上更优雅的理论语言，我们凭什么说它不科学？还是说，「用过」本身就是科学的一部分？