第二十八章 规律何时真的新：
从相关叙述到可检验关系
28.1 新颖关系与换词重述的区分
一条规律被写得陌生，并不意味着它在知识上新颖；一条规律使用普通语言，也不意味着它缺少创造。判断新规律，首先要比较它改变了什么关系，而不是统计出现了多少新术语。本书对SDE自身提出的规律，同样采用这一标准。
设有人把“先核对条件再接受结论”改写成“在三态协同中实现真理涌现”。后一句可能有某种理论解释意图，但如果没有增加对象、条件或可区分后果，它仍然可能只是前一句的重新命名。真正的理论增量，需要说明新表达使我们能够看见、推导或检验什么此前没有明确的关系。
与之不同，发现“两两可行不保证整体可行”，会改变一个具体推演。原来从每对申请不冲突直接接受全部申请，现在必须检查共同容量。新关系不只是让语言更复杂，而是改变哪些状态被允许。这个差异能够通过明确反例展示，因此具有可以讨论的知识内容。[15]
还要区分一条规律对谁是新的。对于初学者，这个整体约束可能是重要发现；对于组合结构研究，它属于可以用成熟方法理解的关系。本书使用它来展示发生性认知，并不宣称首次发现这一数学事实。教育中的新发生与学术原创需要不同的比较范围。
若要主张领域原创，研究者必须检查最近的已有理论。比较不应停在关键词是否相同，而要看对象域、假设、推论与适用边界。一个旧理论换用不同语言可能已经覆盖新命题；一个名字相近的理论也可能研究完全不同的关系。文献比较本身需要符号学的发生认知，而不能只是搜索同名词。
本书当前能够直接承担的，是把理论主张具体化为可研究的关系，并给出构造、推导与检查。涉及全部数学公理来源的普遍命题，仍需要超出有限示例的论证。把这项任务明确保留，比提前宣布原创地位更有利于真正的创造，因为后续研究知道应该补在哪里。
新规律还必须说明它与旧规律的关系。可能是扩大对象域，可能是增加条件使旧表述更准确，也可能是改换研究单位，产生不同后果。这些变化的价值不同，却都可以有实质内容。不能只有“彻底推翻”才算创造，也不能每次精细化都被夸大为根本革命。
因此，规律的新颖性是一项关系比较，而不是一种自我感受。创造者应当能够把旧命题与新命题并排，让读者看到多出了什么、少了什么、改变了什么，以及这些改变能否在材料中显露。
28.2 轨迹改变是否带来可区分的后果
逻辑路径改变以后，最重要的检验是后果是否不同。若从六种入口出发，最后只是得到六份内容相同的解释，路径设计可能提高了理解便利，却未必产生新规律。要主张新的运行关系，需要展示某种旧链不能完成而新链能够完成的判断。
整体容量例子可以进一步推广。设有n个二值申请，每个取零或一，总容量为n−1。合法状态是所有不全为一的向量。对任何只观察其中少于n个申请的局部视角，每一种零一组合都可以出现：只要把至少一个未观察的申请设为零，整体就合法。因此，全部真局部投影都无法排除所有申请同时为一的状态。
这个论证不是经验频率，而是一个一般构造。它说明，即使掌握了每一个不包含全部变量的局部相容关系，也未必能够恢复整体约束。三人容量为二只是n等于三的特例。由这个构造，我们得到一个清楚的逻辑边界：从全部局部可行直接推出整体可行，需要额外的结构条件。
这项后果使E的研究具有具体内容。特征纠缠不能总被简化为一组两两连线，因为某些承重约束只在整体层级显露。这里不是宣称任何系统都不可分解，而是给出一个足以反驳无条件分解主张的构造。若某类系统确实能够由局部关系恢复整体，需要说明它满足哪些额外条件。
路径改变的作用可以据此观察。只从局部申请出发的序列，会不断获得“没有冲突”的回答；加入全体状态检查以后，原来隐藏的不可行性显露。新路径并没有改变资源总量，却改变了判断所进入的关系层级。它产生的知识增量，是恢复了此前遗漏的整体约束。
同样，在来源审核中，逐个检查每条引用是否存在，不足以保证整段论证得到支持。还要检查这些来源是否共同覆盖了论断所需的条件，是否存在互相冲突或共同依赖的缺口。这个类比只提供研究方向，具体文献关系仍需逐条核对，不能由资源例子的数学证明直接替它完成。
因此，逻辑发生的后果应当可以被限定地比较。新规则排除了哪些错误接受，增加了哪些合理拒绝，又是否误拒绝了原本有效的情况？一个只会更保守的规则，可能减少错误也增加无谓阻塞。评价需要同时检查它的区分力，而不是单看停止次数。
新规律应当产生什么区分力
可以把规律的知识增量落实为一个很朴素的任务：找出两个旧表达无法区分、而新表达能够给出不同合法后续的情形。若永远找不到这样的情形，新说法可能只是旧规律的改述；若找到了，还要说明区别是否真实地改变解释、预测、构造或判断。新术语的密度不是区分力，关系上的差异才是。
以“最多两步可达”为例，旧表达把两个局部成功都记为一个真假值：甲到乙成功，乙到丙成功。它没有保存每段用了多少步，也没有保存两次操作是否消耗同一份预算。新表达给每段路径附上资源条件，就可以把“一步接一步”与“两步接两步”区分开。两种情形在旧记录中同样都是真，在两步总预算下却不能得到相同结论。新增的预算关系承担了可展示的认识工作。
但新增变量还不能自动构成新规律。我们可以给每条路径附上许多无关标签，使记录更复杂，却不改变任何合法推演。真正的规律必须说明这些变量怎样组合：在相同对象域和允许路径拼接的条件下，一段使用至多a步、另一段使用至多b步，连接结果使用至多a+b步。这个结论可以由路径长度的组合证明，不依赖任意添加的描述。
它还应当经受相邻竞争方案的比较。例如，另一个候选说合成预算取两段的最大值。这在某些并行任务中可以有意义，却不适用于当前顺序步行构造。取两段各一步且不重合的路径，就需要两步而不是一步，足以使最大值方案在当前语义下失败。规律之间的争论由此不必停在语言偏好，而可以落到同一任务、同一条件与一个可区分的结果上。
这项比较也保护了真正的新发生。发现最大值不适用于顺序路径，不等于最大值结构毫无价值；它提示我们另开一类对象，例如两个独立步骤同时开始、完成时刻由较慢者决定的任务。在新对象中，还要公开同步与资源独立等条件。由失败区分对象类型，再为不同类型建立不同组合规范，就是一项比给旧规律不断加例外更有创造性的推进。
由此，创造的新规律可以同时产生两种成果：一条在当前构型中得到证明的关系，以及一项使另一种关系可能成立的新对象划分。前者使知识稳定，后者扩展知识的发生空间。六路径组织的不是只有正确答案的一条通道，而是使不同关系在明确条件下各自成立的研究能力。
当轨迹改变能够稳定带来明确的判断差异，逻辑方法才开始具有实质作用。它不一定立即成为一个全新学科理论，但已经超出了文字重述。创造力教育应当让学生经历这种差分，而不是只学会把自己的推理画成更复杂的图。
28.3 反例怎样迫使逻辑改轨
一个真正击中论断的反例，必须满足原命题的前提而不满足结论。如果反例偷偷改变了前提，它可能说明命题有边界，却不能证明命题在原范围内错误。发生性认知需要这种精确性，否则所谓敢于质疑也会成为随意反对。
例如，“无向图中允许零步与任意有限路径时，可达具有对称性”，不能被一张有向图直接反驳，因为有向图不满足原前提。但这张图可以反驳未经限定的“所有网络可达都对称”。反例击中的究竟是哪一句话，必须明确。一个词的省略，可能使证明责任发生根本变化。
反例出现以后，可以有几种合理回应。若原命题过宽，收缩范围；若概念混同，重新定义；若模型遗漏条件，补充关系；若核心判断无法维持，放弃当前命题。选择哪一种需要解释。不能把所有反例都用“特殊情况”吞掉，也不能因为一次表述失误就宣布整个研究方向无效。
新逻辑的发生常常来自反例中的结构。最多两步可达不具有一般传递性，并不意味着路径连接完全不能研究；它提示我们把步数预算放进关系。两段分别有预算的路径连接后，总预算增加。一个旧命题的失败，由此推动新的带条件关系建立，而不是只留下否定。
这种改轨具有创造性，因为它改变了问题单位。原来只问甲能否到丙，现在问在什么预算下能够到达。对象从二元关系扩展为带有资源参数的关系。新增参数不是为逃避反例任意添加，而是直接表达造成失败的承重条件，因此能够产生新的可检验推论。
反例还可以揭露评价标准的错误。若一个学生在熟悉材料中表现优异，在条件稍变时却无法辨认关系，原先以熟题正确率代表完整理解的规则就需要修订。这个反例不否定熟练本身，而是否定某种过度推断。逻辑改轨使不同能力获得不同名称和证据。
为防止事后合理化，研究档案应当保留原命题的确切版本和反例出现的顺序。若每次失败后都悄悄修改原话，后来者无法判断研究究竟学到了什么。公开修订不仅是学术诚实，也使发生过程成为他人能够学习的知识。
因此，反例不是新规律的敌人，而是帮助规律找到真实范围的材料。它使轨迹能够转向，使粘性受证据约束，使速度不再由错误惯性决定。创造性逻辑的成熟，体现在能够把失败转为更清楚的关系，而不是永远维持最初的说法。
28.4 局部规律怎样避免无限外推
一条局部规律一旦有效，很容易被提升为所有问题的钥匙。SDE的三方程、六路径和三原理也面临这种风险。它们作为共同框架能够组织问题，但具体结论仍然需要具体关系。框架的广泛适用主张，不能替每个局部应用免除证明责任。
以整体容量构造为例，它证明某些高阶约束不能由全部局部投影恢复，却不证明所有整体关系都如此。有些系统确实具有足以进行局部分解的特殊结构。由“存在不能分解的例子”推出“任何系统都不能分解”，是量词上的错误。基础性知识必须能够辨认这种推论差别。
同样，有限图枚举显示六十四张图都满足某性质，只证明该有限范围内的结果。若要得到一般图结论，可以给出基于路径构造的证明；若没有证明，就应当明确保留推广假说。有限检查与一般论证能够互相支持，但二者的范围不能混写。
教育方法的推广更需要条件说明。一个小组的成功可能依赖教师经验、任务材料和参与者先修知识。可复用方法需要辨认哪些条件是必要支撑，哪些只是偶然实现。把所有条件都删除以后留下三句口号，方法虽然容易传播，却可能失去实际内容。
本书因此建议给每一项新规律附上范围说明：对象是什么，允许哪些变化，结论有多强，证据来自哪里，什么情况尚未覆盖。这不是在规律之外增加防御文字，而是规律本身的知识结构。没有范围，读者无法判断何时可以依赖它。
局部规律还可以通过层级关系向上发展。若多个案例共享某种明确结构，可以尝试提出更一般的命题，再检查新增范围中的反例。这个过程不是一次从例子跳到宇宙，而是逐步建立新的承重条件。发生学的层级系统，应当允许这种有依据的扩展。
在这个意义上，创造力并不只表现为大胆概括，也表现为精确限制。一个恰当的边界可以终止长期混乱，为新的概念和结构打开空间。基础性知识革命若只奖励宏大主张，而不承认边界澄清，就会再次把显露的声势误当成知识的深度。
下一章将完成一项逻辑创造实作：从“最多两步可达也应当传递”的失败出发，建立带预算的可达关系，展示旧链、新链、反例和复用条件。这里的实作首先是可手算与可编程核查的构造，不是对学习效果的虚构证明。
章末来源与论证身份
[4]新规律与六路径发生主张。[13、15]有限图和容量构造检查。本章n变量局部投影论证为文内直接证明；不据此推断所有系统均不可局部分解。领域原创性需另作近邻文献比较。
本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。