第十二章　三方程：
从三个标签到相互规定的具体关系

12.1 三个方程为何必须共同成立

将S、D、E写在纸上，并没有自动建立它们之间的关系。即使再添上三个等号，也仍须回答一个最简单的问题：我们究竟允许哪些三元组合成立？如果显露、差异序列和特征纠缠都没有明确的辨认方式，任何结果都可以在事后被填进式子。三方程只有开始约束可能的组合，才从理论标记进入可研究的表达。

我们先建立一个形式研究语言。令Σ、Δ、ℰ分别表示当前任务中允许的显露、差异序列及特征纠缠的编码范围，用R表示被接受的三元组集合。这里的编码范围不是三维本身的全部存在，而是为具体问题选择的表达尺度。R中的一个元素写为(s,d,e)，表示这三项在当前规定下能够共同成立。这个准备步骤并不自称已经满足三方程。

若要在R上建立s=F(d,e)，就必须保证同一对(d,e)不会对应两个不同的s；若要建立d=G(s,e)，同一对(s,e)也必须唯一规定d；同理，e=H(s,d)需要第三个方向的唯一性。三个要求一起说明：任意两维的已知值，在当前允许域内能够辨认第三维。它们比“这些因素彼此有关”更强，不能由一般关系自动得到。

这个条件可以给出一个简短证明。若三个函数已经存在且与R一致，函数的单值性立即保证相应的唯一性。反过来，若R的三个成对投影都满足这种唯一性，就可以把每一对允许输入所对应的唯一第三项定义为函数值，于是得到F、G、H。函数的定义域先取相应投影，而不是未经说明扩展到所有可能输入。由此，条件在所选R上既必要又充分。

这项证明没有证明全部真实知识都具有这样的编码，它只把一种严格函数化需要什么条件讲清楚。研究者仍须说明：为什么这样选择Σ、Δ、ℰ，编码是否保留了问题中的关键差异，R依据什么被接受。形式清楚不能替代内容根据，内容复杂也不能取消形式责任。三方程的发生性认知，恰恰需要在这两个方面之间往返。

这里还要区分定义域中的输入与现实上可实现的输入。一个公式可以在更大范围内计算，但其中某些组合未必属于当前任务；如果把它们混在一起，就可能产生没有意义的结果。知识记录应当明确哪些输入合法，哪些需要先补充条件，哪些只是用于探索的形式延伸。适用域不是脚注中的小事，而是方程含义的一部分。

三个方程共同成立也不等于已经得到完整动力学。它们说明允许关系，尚未说明一次活动为什么从某一状态转向另一状态。关系与运行需要区分。后文六路径研究进入次序，三原理研究改变与回写；不能因为已有三方程，就把次序与动力都视为已经自动解决。

因此，本章的第一项结论十分具体：三方程的形式化不是三个栏目，而是关于三元关系的三个辨认条件。它需要明确对象域、相容关系与函数定义域。这个要求为新概念的三方程表达提供检验，也使我们能够指出某个候选模型尚未完成在哪一步。

12.2 F、G、H的具体内容从哪里来

为展示一个确实满足条件的有限构型，考虑三个编码值零、一、二，并规定s等于d加e后除以三的余数。于是F(d,e)=(d+e) mod 3，G(s,e)=(s−e) mod 3，H(s,d)=(s−d) mod 3。这里使用已知的模三运算建立演示模型，不声称从SDE无前提地发明了模运算，也不把三个数字当作显露、差异和纠缠的全部含义。

这个模型共有九个允许三元组，而三组两维输入各有九种，每组输入都唯一确定第三项。书稿配套程序已经逐项检查这一事实。[12]它给出三方程能够实际建立的一个有限例子，同时也提醒我们：若只看某一维的单个数值，就无法得知另外两维究竟采用了哪一组组合。完整关系的信息不在一个孤立输出中。

可以把它理解为一个编码活动的简化模型。d代表当前选取的差异操作类别，e代表经过明确校准的编码规则类别，s代表显露的标记。知道操作与编码，就能确定标记；知道标记与编码，就能反查操作；知道标记与操作，也能辨认所用规则类别。这个解释只在三类操作与三类编码已按规定建立时成立，不能扩展为所有符号发生的普遍机制。

具体F、G、H可以来自不同工作。某些任务通过明确定义建立关系，某些任务需要实验或观察支持，某些任务则先以候选模型表达，再逐步检验。来源不同，知识责任也不同。定义可以保证一个形式系统内部的关系，却不能保证现实对象符合定义；经验数据可以支持模型，却不能仅凭有限样本证明所有未见条件都满足同样关系。

在实践中，函数不一定一开始就写成简短公式。关系表、算法或具有明确条件的操作规则，也可以规定函数。关键不是形式是否优雅，而是输入、输出与适用范围能否被辨认。若一个规则在同一输入下有多个允许结果，则需要说明它是关系、选择机制还是概率表达，不能仍在没有条件的情况下称为单值函数。

这项要求并不是否定复杂发生，而是防止模型偷偷删去复杂性。一个真实任务可能含有尚未记录的状态，使相同表面输入出现不同结果。研究者可以增加有根据的状态变量，或者把结论限制在适当范围；也可以承认当前函数化尚未完成。无论采用哪种办法，都应公开改变的理由，不能只为保住公式而无限增添不可观察条件。

模型粒度也会影响反向辨认。把许多不同操作压缩成“尝试过”，就难以由结果和条件反推出具体D；把所有规则统称为“环境良好”，也不可能明确H的输出。这里的失败可能来自编码过粗，而不是对象完全没有关系。发生性建模需要寻找既保留承重差异、又能实际使用的表达尺度。

因此，F、G、H不是等待作者填入的万能函数名，而是需要通过定义、构造、证据与校准建立的具体关系。它们必须使某些组合被接受、某些组合被拒绝，并允许读者复查。这个过程本身就是知识发生的一部分，而不是知识形成之后才进行的包装。

12.3 相互规定不是任意拟合和循环命名

一个最小反例可以说明三个方向为什么不能省略。令R只包含(0,0,0)与(0,1,0)。在这个集合中，每一对(d,e)都能确定s；但同一对(s,e)=(0,0)却对应两个不同的d。因此，正向关系F可以建立，反向关系G却不能在同一表达尺度上建立。只知道“过程和条件决定结果”，尚未满足三个方向的辨认要求。

另一个反例说明，三个函数分别写得清楚，也不保证它们能够共同满足。令三个变量只取零或一，并规定s=1−d、d=1−e、e=1−s。将后两式代回第一式，会得到s=1−s，而零与一都不满足。这个系统没有共同解。它不是新知识的发生，而是需要修改的形式规定；把它称为充满张力，也不能让不存在的共同解自动出现。

配套程序进一步枚举了所有三个二元布尔函数组成的系统，共四千零九十六组。其中九百六十二组没有共同解，其他系统的解数也并不相同。[12]这些数字只描述一个明确定义的有限函数类，不是现实世界中知识失败率。它们的作用在于显示：方程的外观不能保证相容，更不能保证创造。至少还需要检查解是否存在、是否唯一，以及它是否承接了任务含义。

循环命名则是另一种风险。研究者先把所有成功结果叫作“优良S”，再把导致优良S的条件叫作“有效E”，最后宣布有效E产生优良S。这个说法看似符合方程，却没有提供独立辨认方式。若有效性的判断只依赖结果已经成功，模型就无法在新任务中区分条件，也无法解释为什么某次失败。相互规定不能被偷换成同义反复。

任意拟合也需要区分。一个复杂函数可以恰好通过所有已知记录，但这不等于它捕捉了发生关系。模型需要在新的合法输入、边界条件或竞争解释中接受检查。对于形式构造，检查侧重相容与后果；对于经验模型，还需要独立材料。不能只因公式能够重新算出已经用于建立它的数据，就宣布根本机制被发现。

反向方程尤其容易被误作因果倒置。能够由结果和部分条件辨认一个输入，不意味着结果在时间上造成了过去的输入。三个函数可以表达一致关系、反向识别或重构任务，但若要作因果主张，还需要独立说明干预与运行机制。三方程的对称书写不自动使真实过程在因果上完全对称。

因此，严谨的相互规定需要三种清楚性同时存在：变量可以独立辨认，允许组合具有实际约束，关系来源与检验方式可追溯。任何一项缺失，公式都可能变成装饰。SDE发生学越强调方程，就越应当重视这些要求，而不能把批评形式含混的人简单看成不理解发生。

方程相容、过程运行与知识掌握的三层检查

三个函数都写得出来，至少还要通过三层不同检查。第一层是共同相容：是否存在一个三元组同时满足三个关系。第二层是过程实现：我们采用的更新办法是否能够达到或维持这样的三元组。第三层是知识内容：这个三元组与函数究竟表征了什么，其对象辨认、差异区分与特征纠缠是否对应所讨论的任务。任何一层的成功，都不能代替另外两层。

先用一个有限编码把第一、第二层分开。令三个坐标都只能取零或一，规定s=d、d=e、e=s。三条关系具有两个共同解：全零与全一。可是，如果程序每一步同时用旧值更新，便得到新状态(d,e,s)。从(0,0,1)开始，它依次经过(0,1,0)、(1,0,0)，然后回到(0,0,1)，始终没有到达两个共同解。方程有解，并不保证随便选一种迭代方法就会收敛。

现在改变更新次序：先用当前d更新s，再用当前e更新d，最后用已经更新的s更新e。从同一个初态出发，一轮之后得到(0,1,0)，再一轮得到(1,0,1)，仍出现往返。这个例子没有表明三方程错误，也没有表明更新次序无关紧要；它只是准确排除了“只要三个相互规定式写出，任意运行就会自动完成发生”的推断。若希望过程收敛，需要另外分析更新策略、初始条件及允许的调整。三方程提供成立关系，不能代替三原理中关于改变与回写的工作。[18]

第三层更加根本。即使程序很快找到全零状态，也不能由此判断它形成了知识。我们可以把三个坐标随便叫作理解、创造、幸福，计算结果却不会因此获得这些意义。要使编码进入SDE研究，必须说明零与一分别区分什么观察，相关差异怎样被安排，函数为什么可以表达当前纠缠。形式相容是一项必要的表达检查，但它不是本体论命名的许可证。

反过来，完整理解一个不可逆的运算，也不应被排除在完整知识之外。例如取两数较大者，结果和其中一个输入未必唯一决定另一个输入。这说明该运算在当前记录中丢失了某些差异，而不是说明人永远不可能获得关于它的知识。学习者恰恰可以理解这种信息损失，知道什么还能恢复、什么不能恢复。数学公式的两个输入与一个输出，不应未经论证就分别充当S、D、E的全部内容。

因此，本书保留三方程对完整知识的要求，同时对每一个具体编码提出更细的问题：函数是否限定在明确的相容域上，是否遗漏了区分所需的条件，是否只表达了发生整体的局部投影。遇到多解，不应伪造唯一性；遇到无解，不应把不相容包装成深刻；遇到过程循环，也不应把循环次数叫作知识增量。需要改变表达粒度时，就把这项改变公开记入新的具体关系。

这一点对于新概念发生尤其重要。新关系的建立，不是从一个任意三元表中选出若干条目再命名，而是对象与任务的失配使某些区分变得必要，新的区分支持新的函数关系，新的关系又能够约束此前难以判断的情形。方程因而不只总结已经见到的结果，还要能够说明在公开的条件改变下哪些组合允许、哪些组合不允许。这样的约束能力，才使方程成为创造的根知识而不是数学外观。

这也为三原理预留了正确任务。关系不相容时，可以提出改变某一维或重建规则的方案，但改变是否成功需要再次检查。矛盾能够成为研究入口，不等于形式矛盾本身已经产生新知识。新关系的建立必须在新的规定与新的检验中完成。

12.4 新三方程关系的建立如何被辨认

如果把模型中的s、d、e换成三个新字母，再给整个系统起一个新名字，是否建立了新关系？显然，命名变化本身不足以回答。需要比较允许三元组、编码含义与可区分后果是否改变。一个旧模型的重新编号可以便于使用，却不能仅凭外观差异宣布概念创新。新概念的发生必须超过符号替换。

甚至公式看起来改变，也可能只是变量重命名。把e换成一种等价编码后，关系式可能出现不同系数，但如果所有输入输出对应和任务后果完全保持，就可能仍是同一关系的另一种表示。判断新颖性应当明确允许哪些对应，不能一面把名称差异当作创新，一面又忽略实质关系不变。

反过来，公式形式保持，内容也可能真正改变。同样写作S=F(D,E)，若对象边界、差异组织与纠缠条件发生重构，F、G、H的具体意义就可能不同。框架不变不妨碍新知识发生，正如同样使用等号并不意味着所有方程表达同一事物。必须深入具体关系，而不能只比较式子的外形。

本书建议新概念候选至少留下三项对照。先说明旧关系能够处理什么及在哪个案例上失配；再说明新关系改变了哪些对象、条件或允许组合；最后比较新旧关系在相同材料上的不同后果。这些对照不是固定的文书门槛，而是使“新”具有可检查内容。没有对照，读者就难以知道究竟发生了什么。

卡片任务提供一个初步示范。从直接连接转向可达，并不是把同一关系换一个名字，而是增加了路径条件，使某些原来不直接兼容的对象获得间接联系。它在一般数学中并非新概念，但对学习者可以构成新的关系理解。后文将继续区分这种教学发生与领域原创，避免用课堂中的第一次发现冒充数学史上的第一次创造。

新的三方程关系也不必在第一轮就完全成熟。研究可以先得到部分可辨认关系，再通过新差异寻找缺失条件。重要的是明确当前状态：已给出候选三元关系，已验证某些方向，还是已完成三个函数的共同构造。阶段之间不能用相同语气混称，尤其不能让一个宏大概念掩盖关键函数尚未定义的事实。

在完成表达之后，还需要研究它如何被命名、传递与使用。一个新关系如果只能由提出者在单一案例中辨认，尚未形成足够稳定的公共概念。整体性、稳定性与独立性的粒子发生，将在符号学编接续这项工作。三方程提供相互规定的内容，命名与表征使这些内容能够进入共同知识。

本章因此完成了一项必要推进：三个框架式已经被转换为可检查的关系任务，并配有满足条件、反向辨认失败、共同解不存在以及重命名不构成创新的例子。下一章转向六路径，研究面对同一发生关系，为什么可以从不同入口进入，以及不同次序怎样实际改变研究任务。

章末来源与论证身份

[4]三方程与新概念发生的作者总纲。[12]本书实际运行的有限枚举与关系检查，脚本及结果另附。形式命题与证明为本书的明确推导；演示使用既有模运算，不冒充从SDE独立推出全部算术。

本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。[18]提供相应有限构造的复核；一般性论证仍以正文所列前提与证明为准。