【锚点】这一讲只钉一个【规则遵循】判断：【规则】不是可被“拥有”的心理对象，而是从【语境】到【行动】的函数类型；所谓遵循规则，是【行为序列】在未见语境中稳定地满足该类型。

【显式】Wittgenstein 在《哲学研究》里给出经典序列：41、43、45，下一项常被说成 47；但“前100项+2，之后恒为500”也能匹配全部已给项。Kripke 在《Wittgenstein on Rules and Private Language》(1982) 把这件事形式化为“quus”：对所有 x,y < 10000，x ⊕ y = x + y；只要 x 或 y ≥ 10000，x ⊕ y = 5。对任何有限观察史，quus 与加法在观察范围内完全一致。

【流程节点链路】起点【有限行为史】→ 中间节点【候选规则集合】→ 终点【无法由史唯一决定规则】。

【隐式】如果“我过去一直按加法算”不能证明我遵循的是加法，那么规则性不能只靠私有心理状态。它必须来自【可重复实践】与【纠正规范】：别人能指出“这里不该+2”，而我能被纠正。

【细微】用类型论读，规则像依赖函数类型 Π(x:A). B(x)：输入是语境，输出是行动。遵循规则不是“脑子里有一个规则对象”，而是存在一个可执行的函数/策略，并且它在未见输入上给出一致输出。

【极难发现】最反直觉的盲点：【规则性】不是“被规则决定”，而是“在规则下可被纠正”。如果一个系统从未被任何实践纠正过，我们甚至无法说它遵循了哪个规则，只能描述它过去做了什么。

【结论】因此，【意义】与【规则】的边界不在大脑内部，而在【可纠正的实践结构】中。

【可辩论问题】如果一个人或机器在所有有限测试中都给出“加法”答案，但无法说明为何排除 quus，我们应说它“遵循加法”，还是只“拟合了加法分布”？