这一篇只教一件事：把知识对象当成【集合】还是【类型】，会决定你看到的是「归纳危机」还是「规则演化」。这不是修辞游戏，是类型论的基本区分：intension（内涵） vs extension（外延）。

【显式】先给最简区分。一个【集合】由它的元素决定；一个【类型】由它的判定规则决定。{1,2,3} 与「小于4的自然数」外延相同，但内涵不同。在类型论里，Nat 不是所有自然数的枚举，而是由 zero 和 succ 两条构造规则生成的【类型】。这个差异平时被数学掩盖了，一旦进入经验科学，它就变成认识论裂缝。

【隐式】把裂缝搬进语言学，立刻能拆穿一个常见误解：「语法规则是从语料库里统计出来的规律」。Chomsky 的经典例子：Colorless green ideas sleep furiously. 这句话在人类历史上几乎肯定从未出现过，但每个说英语的人都能瞬间判断它合语法。如果语法是【集合】（已说话语的集合），这句话就在集合之外，无从判定；只有把语法理解为【类型】（由生成规则定义），它才能被规则生成并接受判定。

【流程节点链路】起点（语法=已说话语的集合） → 中间节点（从未出现过却可被判定的句子） → 终点（语法=生成规则的类型）。一个节点都不能省：正是中间节点暴露了外延观的死角。

【细微】科学哲学里「自然种类」的争论是同一个结构。Kripke 论证水不是所有水样本的集合，而是由分子结构 H2O 界定的种类——「水」是【类型】。但 Boyd 的 homeostatic property cluster 提醒我们，生物种类往往没有严格本质，更像一簇由因果机制维持的属性质簇。这并不推翻类型观，而是表明【判定规则】本身可以被修订——规则是动态的、可错的。

【极难发现】最反直觉的一步在这里：类型不是先有规则、再找实例的静态框架；规则可以被实例挑战。当鸭嘴兽出现，「哺乳动物」这个类型并没有坍缩成「所有见过的哺乳动物的并集」，而是规则被修订（卵生也可以是哺乳）。所以类型论不是本质主义，它把知识对象的同一性从【所指对象】转移到【判定规则】。规则是公共的、可错的、可审查的——这恰好是知识社会学的入口。

结尾留一个值得辩论的问题：如果自然种类是规则，那么规则的修订权在谁手里？是科学共同体的协商，还是世界自身的反馈？这是类型论无法独自回答、必须交给知识社会学的边界。