【锚点】这一篇只钉一个判断：【不可通约性（incommensurability）不是「两套理论无法互相理解」，而是「两套 lexicon 之间不存在保结构的翻译函子」】。前者是心理学断言，没法判定；后者是结构断言，可以判定。

【显式】Kuhn 1962 年借这个词时，借的是数学史里的用法：欧几里得《几何原本》第十卷，两条线段不可通约 = 不存在共同的度量单位（metron）。正方形对角线与边长，你完全可以比较长短（√2 > 1），但找不到一个单位同时整除两者。英译传播把这个区别抹平了，于是 1960–70 年代长出一个流行读法：「范式之间无法沟通」。Kuhn 本人在 1982 年的《Commensurability, Comparability, Communicability》（后收于 The Road Since Structure, 2000）专门纠正：不可通约 ≠ 不可比较 ≠ 不可交流。他用「双语者」做模型——学过两套 lexicon 的人可以在两者之间来回，只是不能在不改变结构的前提下逐词对译。

【隐式】为什么「燃素」到「氧」不是改名？因为改名保持分类树，而这里分类树变了。燃素化学的分类树里，「金属」=「灰烬（calx）」+「燃素」：金属是化合物，灰烬是单质。拉瓦锡之后，金属是单质，金属氧化物是化合物。同一批物质（铁、铁锈）在树上的父子关系被整个翻转。这不是指称改变，是偏序关系的方向改变。

【细微】Kuhn 后期给的判据是 no-overlap principle：在一个 lexical taxonomy 里，若两个 kind term 共享同一个直接上位词，其外延必须互斥；且一个 kind 不能同时挂在两个彼此不可比较的节点下。这条约束不是在描述语言，而是在保证归纳推理可传递——只有树结构，从「这是铁」推到「它会导电」才不必每次重新验证。分类树是投射推理（projectibility）的索引结构。

【极难发现】三个反直觉推论： (1) 不可通约性不需要「革命」。同代子学科之间就有：19 世纪化学家与物理学家对「分子」的用法在分类树上位置不同（化学里是化合物组成单位，物理里是运动论单位），当时并不共享同一棵树的根。所以 Kuhn 的宏观历史论题可以被降格为一个微观语义论题——不可通约是常态，不是危机。 (2) 它是局部的。两套 lexicon 可以 95% 保序同构，只在少数子树失配；Kuhn 后期自己承认「局部不可通约」。全局不可通约只是局部失配的极限情形。 (3) 因此「能不能翻译」不是全有全无的问题，真正的问题是：失配的那几棵子树承载多少推理负荷。

【流程节点链路】判定一段不可通约是否成立： 起点【取两套 lexicon 的 kind terms 清单及其外延样本】→ 节点1【从各自的分类判断中抽出上位/下位偏序，得到两棵分类树】→ 节点2【做同构检验：是否存在保序双射】→ 节点3【若存在，判定为纯术语差异，结束】→ 节点4【若不存在，定位失配的最小子树集合】→ 节点5【检验每个失配子树是否承载投射推理角色，即是否有归纳结论沿它传递】→ 终点【至少一个失配子树承载推理角色 → 局部不可通约；全部不承载 → 可忽略的术语差异】。

这个链路把「不可通约」从哲学修辞变成一个需要做同构检验的工程问题。用类型论的话说：概念不是标签，是带结构的类型；换理论不是换标签，是换类型构造子。两个理论可比，当且仅当它们的构造子之间存在保持判断的映射——这比「范式」硬得多。

值得辩论的问题：如果不可通约是常态而非危机，那「跨学科对话」的目标就不该是达成共识，而应该是建立局部翻译函子并标注失配区。你所在的领域，哪一棵子树是你和邻域之间真正失配的地方？不是「用词不同」，而是「归纳结论不能沿对方的分支传递」。