第十七章 发生必须接受什么检验
17.1 发生解释不是形式证明的替代品
一种理论越希望进入知识的根部，越不能只要求别人接受它的语言。基础性知识革命若只是把现有教材中的术语换成发生、纠缠与三态，便没有真正改变知识的成立方式。本章提出一条贯穿全书的纪律：每一种主张都必须说明自己正在承担什么证明责任，而不能借其他层次的成功替自己免责。
先区分四种工作。提出假说，是说明某种关系可能成立并值得研究；发生重构，是展示一组条件和操作怎样使某种对象或规则得到建立；形式推导，是在公开的语言、前提与推理规则下证明一个命题；经验检验，则要将主张与独立于当前叙述的观察或实验结果比较。这四种工作可以互相支持，却不是同一种证据。
例如，卡片活动能够帮助学习者理解可达关系，是一项教育假说。零步路径、反向路径与路径连接能够分别支持自反、对称、传递，是一项形式构造与推导。某个班级经过教学后在陌生网络任务上表现改善，则需要真实的教育观察。即使形式证明完全正确，也不能据此宣布课堂效果已经获得验证。
反过来，一个教学活动受到学生欢迎，也不能证明它提出的数学结论。喜欢参与、愿意尝试与命题有效是不同事情。若某项活动把有向可达误当成对称关系，课堂气氛再好也不能消除这个错误。发生性教育需要创造的开放性，也需要不同证据各归其位。
本书关于数学基础公理的核心命题，尤其必须接受这种区分。以三原理追问公理何以发生，可以形成重要的研究方向；在具体构型中给出符号化、逻辑化过程，可以形成条件明确的重构；要证明某条公理确实从一组更基础前提出发可推出，还需要逐步展示推导。不能把前两种工作直接命名为第三种。
这并不意味着发生研究比形式证明低一等。形式证明通常在某个既定语言与规则内工作，发生研究则可以追问这些规定为什么被建立，以及其他规定会带来什么结构。二者面向的问题不同。成熟的基础研究需要让它们接合，而不是要求一种任务消灭另一种任务。
为此，正文将使用明确的证据词语。构造出来的情况称为“构造例”，尚待验证的教育安排称为“设计”，有限程序结果称为“枚举检查”，一般逻辑论证称为“证明”。这些词不是谨慎姿态的装饰，而是让读者知道当前文字已经做了什么、尚未做什么。只有这种可辨认性，知识才可能继续被共同修订。
17.2 证据如何区分竞争解释
证据的重要性，不在于数量多，而在于它能够排除什么。一个例子同时符合许多理论，未必能够显示其中任何一种的独特力量。若学习者在活动后进步，可能是因为获得了更多练习、得到更具体反馈、任务更容易，或者发生关系确实被打开。研究需要让这些解释产生不同的可观察后果。
考虑两种解释：甲认为学生只记住了卡片的位置，乙认为学生理解了颜色与形状所规定的连接。保持关系不变而改变位置，可以区分它们。若学生只能在原布局中正确判断，位置记忆解释仍然有力；若在多种布局中都能说明关系，关系理解获得更多支持。这个设计比再做十道同一布局的题更有区分力。
再考虑“学生懂得可达”与“学生把相邻误当成可达”。加入必须经过中间节点的例子，可以使两种解释分开。若只使用完全图，所有点两两相邻，两种策略给出的答案相同，就无法检验差别。优秀的任务不一定复杂，但应当使错误理解无法一直伪装成正确理解。
同样的原则适用于理论比较。若任何SDE解释都能被传统的明确任务分析逐项翻译，而没有增加新的问题、结构或可检验后果，那么SDE的教育贡献就需要进一步说明。它可能提供更统一的表达或更容易迁移的组织方式，但不能直接宣称发现了别人不可能看见的机制。比较应当面向强版本的竞争解释，而不是故意削弱的对手。
证据还需要防止选择性保存。若十次构造中只有一次得到满意结果，却只展示成功的一次，读者就无法判断方法的可靠性。发生档案应记录失败类型与修订理由。并非每次失败都要占据同样篇幅，但决定结论范围的失败必须进入公共记录，不能作为不体面的过程被删除。
在数学部分，竞争解释可以通过模型与反模型区分。若一组前提同时允许满足目标命题与不满足目标命题的模型，那么目标命题就没有由这些前提唯一决定。此时继续增加类似例子不能补足逻辑缺口，必须增加或修改明确的前提，或者承认当前结论尚未推出。
在教育部分，最有价值的比较往往不是SDE活动对完全没有教学，而是对同等时间、同等材料与相近反馈强度的其他优质教学。否则，观察到的优势可能只是多投入了一份资源。基础性知识革命的主张应当承受这种强比较，因为它要改变的不是宣传口号，而是知识教育的真实组织方式。
因此，本书把“证据充分”理解为任务相对的要求。一个术语边界可以通过明确反例得到澄清，一个有限程序可以通过枚举核查，一个课程效果则需要适当的研究设计。不存在一张适用于全部问题的万能证明表，但每项主张都必须面对能够使自己与竞争解释分开的材料。
17.3 失败记录与反例如何改变框架
反例不是理论建成以后才来捣乱的客人，它应当从一开始就参与对象的形成。若一个定义不能说明什么不属于它，概念便容易无限扩张；若一种方法不知道什么结果算失败，它便可能把一切结果都重新解释为成功。三篇底本中关于链条必须能够判错与改轨的要求，在本书中首先施用于发生学自身。[1]
失败可以发生在不同层次。操作失败，意味着某个步骤没有按规定执行；模型失败，意味着步骤执行正确却不能得到模型预期；表达失败，意味着模型可能有内容，但当前符号无法区分关键状态；理论失败，则可能意味着多个局部修补仍无法恢复其核心解释。把这些层次区分开，才能避免一有困难就推翻全部，也避免把所有困难都推给操作者。
第十二章的反例提供了一个清楚的界线。关系R可以满足S由D和E确定，却不满足D由S和E确定。这个失败说明，在当前编码中三方程的互相唯一确定条件不足。合理回应可以是细化S的记录，使原来被混合的状态分开；也可以把G写成关系而不是单值函数；还可以缩小论断范围。不能仅因为框架希望有三个函数，就把多值情况悄悄删除。
但细化编码也不是无代价的补救。若把全部历史都塞进S，当然更容易恢复D，却可能使方程失去解释压缩的意义。任何补充变量都应说明它在任务中的作用，以及是否真正提高辨认力。不能用无限添加隐藏变量的方法，使一个框架在形式上永远不会失败。
这引出一个重要的研究标准：修订应当产生新的约束，而不只是扩大解释自由。把“在某些情况下有效”改成“在所有未说明的特殊情况下也有效”，没有增加知识；明确哪些对象、操作与条件被允许，才使后续检验更有力量。好的修订通常让理论在某些地方更窄，却在这些地方更可靠。
本书的数学公理发生研究也将保存这样的失败。若三原理加上很一般的构造要求，既允许交换运算又允许不交换运算，那么交换律就不是这些一般要求的必然结果。这个边界并不取消发生学对公理选择的研究，它使研究转向更具体的问题：什么额外的发生条件，使交换成为合理且可推导的规定？
教育中的负结果同样需要回写。如果学生能够熟练复述SDE术语，却不能在没有术语提示的新任务中区分关系，课程应当减少标签训练并重新设计材料。如果学生在活动中表现出色，但离开AI后无法解释关键选择，评价就应分别报告复合体表现与个人掌握，而不是把两者合并为进步。
反例由此不是消极破坏，而是使知识发生边界的材料。它迫使概念变得可辨认，逻辑变得可停止，数学结构变得可说明。一个能够公开自己失败之处的基础体系，才有机会成为后来创造的支点；一个永远正确却没有明确内容的体系，只能成为另一种不可打开的权威。
17.4 从一个成功案例到可复用方法的距离
一个成功案例能够说明可能性，却未必说明稳定性；能够说明在某种条件下可行，却未必说明适用于其他对象。将一次成功写成普遍方法，需要回答哪些条件可以改变、哪些条件必须保留，以及失败时怎样辨认原因。发生性认知的可迁移性，必须在这些差异中得到研究。
以卡片任务为例，学生在颜色与形状材料上理解可达，并不保证他能够处理器材交接、论证依赖或社会合作。后者可能具有方向、时间、权利和责任，不能直接把同一张无向图搬过去。迁移的意义不是外观相似，而是能够判断哪些结构可以保留，哪些结构必须重建。
因此，方法复用应当包含一个进入前的适配判断。当前对象是否允许反向操作？连接是否可以任意拼接？路径是否有长度和资源限制？这些问题决定原来的结论能否继续成立。能够判断“不适用”，与能够成功应用一样，都是掌握基础知识的重要表现。
重复检验也要区分同一实现的重复与独立重建。反复运行同一段程序，可以检查结果是否稳定，却不能自动发现代码与理论共同犯下的错误。另一种实现、一个手算的小例子、一份独立的证明，能够提供不同方向的检查。本书的有限枚举只承担它实际完成的范围；没有独立研究者参与的部分，不会被写成独立复核。
本书因此设置两道不同验收。第一道是文本与程序的内部一致性：定义清楚、例子正确、引用对应、推导没有明显跳步。第二道是外部有效性：理论比较是否成立、课程是否带来增量、其他研究者能否重建结果。完成第一道并不意味着第二道已经完成，但第一道做不好，第二道也无从谈起。
对读者而言，一套可复用方法还应当提供退出与修正入口。若所需材料无法获得，就要缩小问题；若形式化损失了关键意义，就要保留非形式表达并说明限制；若使用成本超过当前任务的收益，就要选择适当粒度，而不是强迫所有活动都填满同一张表。基础方法应当使思考更能发生，而不是使日常行动被无限分析冻结。
因此，方法的成熟不以覆盖率口号衡量，而以清晰的适用条件、可比较的结果和可承担的修订机制衡量。研究者应当能够说：在这些对象与操作条件下，方法帮助我们建立了这些关系；在那些条件下，它需要补充或尚未显示优势。这样的陈述没有削弱理论，它使理论成为真正能够被使用的知识。
第三编至此完成。SDE发生学已经不只是共同根基的名称，而获得了相互规定、进入次序、改变回写与证据分层的具体组织。接下来的三编将分别进入符号、逻辑与数学，不再重复宣布它们重要，而是展示新概念、新规律与新结构如何获得发生性认知。
章末来源与论证身份
[1]第6—7页关于链条的可错误性与三类逻辑。[4]本书理论总纲与完整知识标准。[12]有限关系的互相确定反例。其余证据分层、强比较和修订规程为本书研究设计；本书未声称完成真实课堂效果检验或独立同行评审。
新概念何以成立
从整体性、稳定性与独立性的发生，
进入新的具体三方程关系，以及概念的命名和符号表征。
SDE发生学 / 三门根学科 / 创造力的基础知识