【锚点】这一篇只钉一件事：你无法从任何有限的「使用记录」里读出「规则」。这不是怀疑论修辞，而是一个关于【内涵 vs 外延】的定理；quus、grue、过拟合是它的三个投影。

【显式】Kripke 1982《Wittgenstein on Rules and Private Language》的 quus 实验。假设你过去只用过「+」做小于 57 的加法。定义另一个函数 quus：x⊕y = x+y（当 x,y<57），否则 = 5。你过去所有「+」的用法，quus 全部满足。现在问你 68+57=？你说 125。但按 quus，答案应是 5。有什么事实能证明你过去遵循的是「+」而不是「quus」？

【隐式】关键不在算术，在【内涵/外延】。一条规则是一个函数（内涵，intension）；「过去的使用记录」是它的一个有限外延片段（extension）。从有限外延片段反推内涵，没有唯一解——这是组合学上的事实，不是认识论的悲观。

【细微】Goodman 1955《Fact, Fiction, and Forecast》的 grue 是同一件事换了个方向：green（一直绿）vs grue（t 之前绿、t 之后蓝）。所有 t 之前的观察对两者完全对称。归纳问题 = 规则欠定问题。

【极难发现】机器学习里的「过拟合」是它的工程投影：任何有限训练集都被无穷多个函数完美拟合；模型能泛化，靠的不是数据，是【归纳偏置】（inductive bias）——一个先于数据的先验。而先验本身无法被数据证明，只能被共同体接受。Kripke 的「怀疑论解」正是这个：意义不是个体心灵里的一个事实，而是【共同体的一致用法】（communal agreement）。

【流程节点链路】起点：有限的使用记录 → 中间节点：无穷多条规则与该记录相容（quus 构造）→ 中间节点：需要一条先于数据的归纳偏置来选规则 → 终点：偏置无法由记录本身辩护，只能由共同体的实践承担。

【显式】一个硬锚：Rice 定理（1953）。程序的「外延等价」不可判定——你无法用算法判定两个程序是否对所有输入给出相同输出。所以「从行为反推程序」不仅没有唯一解，连判定都没有算法。类型论的说法：intension 与 extension 之间没有可计算的逆。

所以「规则不是规则性」：规则性（regularity）是观察到的模式，规则（rule）是生成模式的东西。把前者当后者，就是休谟的归纳问题、Goodman 的 grue、Kripke 的 quus、ML 的过拟合——四个名字，一个定理。

值得辩论的问题：如果意义真的由共同体约定承担，那么一个从不与任何他者交互的系统，能否「遵循规则」？还是它只是在产生规则性？——这不是关于 AI 的问题，是关于「规则」这个概念本身的问题。