一、四个“所以”，四种不同的承担
一位学生说：“我没有收到回复，所以老师一定不满意。”一位管理员说：“按规则，未签字的申请不能受理；这份没有签字，所以不能受理。”一位维修人员说：“每次这个接头松动，指示灯就闪烁；现在灯闪了，所以先检查接头。”一位数学教师说：“所有正方形都是矩形；这个图形是正方形，所以它是矩形。”四句话都有“所以”，却没有承担完全相同的推理工作。
学生的判断包含从观察到心理解释的跳跃。管理员援引一条制度规则，同时需要确认规则和事实适用于当前情形。维修人员提出一个值得检查的故障假说，并没有排除其他原因。数学教师则在约定的定义下使用一种可以明确检验的后承关系。若只问四人是否“有自己的逻辑”，我们会错过它们之间重要的差别。
SDE把逻辑放在特征纠缠的信息模态E2中，以波态讨论一束纠缠怎样激发另一束纠缠，并形成有路径、速度和阻滞的序列。这使逻辑研究的问题向推理如何实际运行展开。一个人从没有回复迅速走向自责，一个系统从收到表单走向审批动作，一位教师带学生从定义走向结论，都可以成为发生性分析的对象。
但是，发生性分析不能取消另一类问题：这一步究竟有没有充分理由？一个念头确实由另一个念头引发，不代表它就是后者的逻辑后果。一个推理在心理上难以推进，也不代表其形式无效。本章从一开始就保留这种区别。思想的发生和理由的成立相互关联，却不能互相代替。
因此，本章采用三个相接的层次。第一层，辨认被讨论的内容、前提和结论；第二层，检验从前提到结论的推移是否遵守所声明的规则及其适用条件；第三层，研究这种推移如何在身体、工具、经验和制度中真正完成，又如何改变下一次推理的条件。SDE的特色追问主要扩展第三层，同时也促使我们追问前两层的对象和规则怎样形成。
二、一条最简单的有效推理，能说明什么
先看一个形式很简单的推理：如果P，那么Q；P成立；因此Q成立。在经典命题逻辑的通常语义中，如果条件句与P都为真，Q就不能为假。否则，条件句在P真、Q假的情形下便不为真，和前提成立相冲突。这个说明不需要知道P和Q究竟谈刀、课程还是天气。
这种内容上的抽象正是形式逻辑的力量。它不是因为不关心世界而空无一物，而是抓住可以在许多内容之间保留的推移约束。相同形式能够迁移到不同领域，并不表示任何领域知识都可以由它凭空产生。它只保证：若前提在既定解释下成立，而且规则被正确使用，那么结论不会因这一步推移而丢失真值保证。
现在改成“如果P，那么Q；Q成立；因此P成立”。形式相似，却不能得到同样保证。设P是假、Q是真，那么两个前提都可以真，而结论P是假。维修例子正提醒我们注意这一点：接头松动可能导致指示灯闪烁，但闪烁可能还有其他原因。先检查接头可以是合理行动，不等于已经证明接头松动。
形式反例提供了一种可公开复核的纠错办法。争论者不必比谁更自信，也不必先了解全部发生史，就能检查某种推理形式是否允许真前提与假结论并存。SDE若把这种能力全部说成某个地方独有的习惯，就削弱了它自己的公共论证。因为本书提出任何跨案例判断，也需要避免这种形式上的漏洞。
还有一种常见误解，是把有效推理等同于结论新奇。一个结论可能早已知道，推理仍然有效；一个结论令人耳目一新，推理也可能无效。创新性与有效性评价的是不同方面。研究需要创造值得检查的新主张，也需要确认它们能够被现有理由支持到什么程度。不能因为一条结论不惊人便否认其正确，也不能因为它惊人就降低证明要求。
类似地，反驳一个论证并不自动证明其结论为假。一个人用错误理由相信某事，那件事仍可能因其他理由成立。指出维修人员肯定后件，并不证明接头没有松动；它只表明当前理由尚不足以排除其他可能。把“没有证明”迅速改写成“已经证伪”，同样跨过了需要论证的一步。
这种细分有时让讨论暂时慢下来，却能减少无谓对立。我们可以同时说：这个问题重要，这个猜想值得研究，而这份论证还没有完成。三句话没有冲突。发生性思想尤其需要容许这种中间状态，使候选主张既不因尚未成熟被提前扼杀，也不因值得期待便被提前宣布成立。
同时，这种有效性并不保证真实前提已经找到。管理员从一条规则和一个事实正确推出不能受理，仍可能使用了已经废止的规则，或漏掉一种允许补签的例外。有效推理、真实前提、完整情境和适当行动，是相互支持却不同的要求。许多日常争议不在形式本身，而在前提选择和描述方式。
SDE在这里可以增加一个发生性问题：这份申请为什么被显露为“未签字”？系统检查的是纸面签字、电子签章，还是已经验证的身份授权？一个名称背后的任务条件改变，前提就可能不再是原来的前提。规则的形式没有错误，输入给规则的对象却经过了未经说明的重构。这正是符号学与逻辑学连接的地方。
三、推理形式、推理过程与推理制度
为了不把不同问题混在一起，可以把一份论证想成三份相互关联的记录。第一份写它公开声称的前提、规则与结论；第二份写作者实际上怎样得到这条结论；第三份写它怎样被检查、承认、修订和使用。三份记录常常不同。
一个数学猜想可以来自图像直觉，后来通过严密证明成立。图像直觉是发现路径的一部分，但不单独充当公开证明。反过来，一篇论证可以按教材顺序呈现，作者实际却经历了许多失败、倒推和突然想到的联系。公开理由不需要机械复制个人思考的所有先后，仍应允许别人重建必要的论证环节。
科学假说也有类似区分。提出假说的动机可以很偶然，其证据地位却取决于观察、试验、比较和反驳。不能因为动机带有个人情绪，就直接判定假说错误；也不能因为灵感令人震撼，就提高未经检验的结论等级。发生史能够解释我们为何想到它，验证程序决定我们目前能够凭它承担什么。
第三份记录经常最容易被忽略。一个结论公开后，谁有时间核查？谁能接触原始材料？异议是否会影响提出者的机会？错误能否被追踪到修改版本？这些安排会影响一个群体的实际推理质量。形式上存在纠错规则，并不保证制度允许人们实际使用它。
SDE的波态视角可以把这三个层次串联起来：论证如何启动，哪个环节发生阻滞，错误怎样进入后续链条，反馈能否改写前提与规则。这里的“波”是描述推进与激发的理论术语，并非宣称逻辑就是流体或电磁波。若要建立动力学模型，必须再给状态、时间、测量和更新关系。
因此，与其说“形式逻辑是假的，发生逻辑才是真的”，更准确的研究方向是：保留形式有效性，把它放入推理能力生成和使用的完整过程。形式抽象给出一个层次的约束；发生性研究解释这种约束如何被获得、执行和修订，以及什么工作不能单靠形式约束完成。这样的分工既可以合作，也允许彼此批评。
四、逻辑的速度：快到哪里，慢在哪里
在日常经验中，两个人理解同一论证所需的时间可能很不同。一个熟悉定义的人迅速看出结论，一个刚接触术语的人需要逐步展开。结论的形式有效性没有因此改变，实际理解过程却明显不同。SDE讨论逻辑的速度，首先应当承认这种可观察差异。
不过，“快”需要定义起点与终点。从看见题目到作出回答的时间，和从理解前提到完成验证的时间不是同一指标。一个人很快说出正确答案，可能已经熟练，也可能只是猜中；一个人较慢，是因为卡住，也可能因为正在检查隐含条件。没有质量要求的速度比较，容易奖励草率。
仍以申请处理为例。系统一秒钟拒绝申请，看起来比人工三分钟审核高效。但是如果系统把可补签的情况一律拒绝，申诉、重新提交和人工纠正的总耗时可能更大。局部推移速度与全程完成速度必须分开。SDE的差异序列分析应把后续返工纳入，而不是只看最快的一步。
可以构造一个研究指标：在达到事先规定的正确率和解释要求时，完成某类推理任务需要多少时间。还可以分阶段记录读懂前提、寻找规则、执行推移和检查反例所需时间。这样的测量并不穷尽思维，却使“速度变快”不再只是印象性评价。
速度也不一定是越高越好。紧急避险要求迅速反应，理论校勘需要慢下来检查，复杂合作则需要为别人提供跟上论证的时间。一位教师推得太快，会使学生只能抄写；一个团队决策太快，可能把尚未显露的异议当作不存在。成熟能力包含按任务调整速度，而不是把所有迟疑都当作故障。
这也让“封装”获得准确意义。已经反复可靠使用的推理步骤可以被压缩成工具或程序，使用者不必每次从头证明；但封装需要适用范围、异常检测和必要时的展开能力。逻辑速度的提升往往来自过去验证工作的沉淀，不是从此不需要验证。发生性研究应把这段被压缩的历史重新看见。
五、逻辑的粘度：一个有用比喻怎样避免空转
SDE用粘度描述推进中的阻滞。某人反复回到同一个念头，某项决策在两个部门之间来回退回，某个证明总在同一步卡住，都容易被描述为高粘度。但是三种现象的机制可能完全不同：前者涉及注意与情绪，中者涉及权限和激励，后者可能缺少一条关键引理。
因此，“粘度高”适合作为寻找阻滞的起点，不能当作已经找到阻滞原因的终点。研究者接下来要问，是什么使一次尝试没有改变下一次条件？信息没有进入，规则互相冲突，目标不可兼容，还是反馈虽已到达却无权修改流程？这些区分才使粘度分析具有行动含义。
在申请案例中，部门甲要求先取得部门乙批准，部门乙又要求部门甲先确认。申请人在两者之间奔走，不是意志力不足，也不是理解规则不够，而是授权关系构成循环依赖。仅仅给申请人更多动力，不会解除结构性阻滞。需要明确由谁承担首次确认，或建立联合判断程序。
数学学习中的阻滞可能相反。学生知道定义，也知道结论，但不会把一个表达式改写成另一种等价形式。此时缺少的是能够被练习和解释的桥接操作。若教师只说“你要降低思维粘度”，没有增加任何可执行步骤。一个比喻必须最终落实为任务中可辨认的阻力和修复路径。
粘度也不是单一的坏东西。审查、复核和冷静期会减慢推进，却可能防止重大错误。一个没有任何阻滞的传播链，可以把未经证实的说法迅速扩散。我们需要区分阻碍正确修订的僵化与保护必要检查的摩擦。把两者都称为需要消除的阻力，会把系统推向更快的失误。
若要把粘度发展为量，应先规定具体场景中的观察量，例如在已有可用信息条件下的平均停滞时间、重复回退次数或规则冲突导致的额外步骤。不同指标未必能合成一个通用数值。把它们写成一条看似漂亮的公式，并不会自动得到像物理粘度那样明确的量纲、测量协议与解释范围。
六、身体、自我与理念：为什么需要相接而不混同
人面对危险，身体动作可以早于完整的口头论证；人受到批评，一个念头可以迅速引出另一个记忆；人在纸上证明命题，可以按照明确规则组织步骤。SDE分别讨论现实界、自我界和理念界的激发序列，提醒我们思维活动不只存在于已经写好的理由链。
这种扩展有解释价值。例如，学生已经会证明某个课堂结论，却在公开发言时说不出来。只检查证明内容，会漏掉评价压力、过往经历、身体紧张和发言制度。一个人知道应该开始工作，却迟迟不能启动，也未必只缺一条正确道理。实际行动需要多个过程相接。
然而，不能据此得出所有激发序列在规范上同样有效。害怕可以真实发生，对危险的判断仍可能过高或过低；愤怒可以有可理解的来源，对他人的指控仍需要证据。承认自我过程的真实性，是理解与回应的起点，不是让由此产生的全部判断自动免于检验。
“身体有身体的逻辑”在本书中首先是一种扩展用语，指身体与任务条件中相对稳定的响应组织。它不意味着身体反应与形式推理共享完全相同的有效性定义。若我们用同一个“逻辑”涵盖二者，就需要在每次关键论证中标明所谈的层次。没有这个声明，真实反应很容易被误用来证明真实结论。
三界相接可以表现为互相校准。自我界的担忧促使理念界提出检查问题，理念界的证据改变对现实风险的判断，现实中的尝试又给自我经验带来新的材料。这里没有一个世界可以简单取消其余两个。也没有哪一个世界因其独特性便永远正确。共同工作依赖能够将相关后果带回判断的机制。
在高后果场景中，这种分层尤其重要。一个人感觉某方案安全，不能替代必要的技术检查；一份形式上严密的模型，也不能抹去实际使用者报告的异常。SDE的整体视角若要产生可靠收益，就应帮助明确不同证据能支持什么，以及它们如何在不越权的条件下共同影响决定。
七、“没有通用逻辑学”应当怎样接受检验
网站与底本有一句锋利的判断：“没有通用逻辑学。”若读作“没有一套纯形式规则能够脱离对象、前提和情境知识而独自解决所有现实问题”，它指出了值得重视的限制。形式规则不能凭空提供材料性质，也不能替人决定所有价值冲突。
若读作“不同领域之间不存在可以迁移的形式有效性约束”，则结论过强。前面已经说明，一种条件推理形式在不同解释下可以保持其有效性。承认这种迁移，不意味着把现实、自我和理念混为一谈，更不意味着传统逻辑能够取代全部经验。抽象规则的跨域使用与领域知识的不可省略可以同时成立。
还有第三种读法：“实际推理总由某些具体条件支持，因此没有完全无载体、无历史的推理活动。”这是关于推理活动如何实现的发生性主张。它不能直接推出抽象推理规则没有跨实例效力。许多活动都有具体载体，并不妨碍我们研究在不同载体中保留的结构。纸上的算式和计算机中的计算过程不同，所实现的加法规则仍可能相同。
所以，从“每条激发序列都发生于具体纠缠”走向“内容无关的有效性不可能”，中间缺少论证。前一句描述实际实现，后一句否定某种抽象性质；这两个层次没有自动的蕴含关系。发生性理论如果愿意承认抽象也在发生，就更不应把抽象必然理解为脱离世界的虚无。
一种较稳健的修订是：通用形式约束与本地发生机制需要相接，任何一方都不足以独自承担全部认识任务。形式逻辑检查某些推移是否有效，本地研究检查对象、前提、条件和因果机制，制度检验检查结论如何被公开使用。这样保留了作者反对单一模板包办世界的批判，同时不牺牲已经能公开复核的逻辑能力。
这条修订是本章提出的审读建议，不冒充作者已经正式裁定的新定义。读者有权保留更强的原命题，但保留者需要承担额外证明责任：究竟否定哪一种通用性？给出什么反例？该反例是否改变了逻辑规则，还是只改变了前提、语义或适用范围？没有这些说明，口号的力度不能代替论证的力度。
八、多种形式逻辑，不等于每个结论都同样好
现代形式研究确实不只有一种系统。以经典逻辑与直觉主义逻辑为例，后者对某些证明原则有不同要求。不能因为经典逻辑允许一般排中律，就说直觉主义逻辑不会处理“或”；也不能因为直觉主义强调构造性，就把任何直觉感受称为直觉主义证明。相同日常词语背后是明确的形式规则。
一个简单例子足以看见差异。在构造性的解释中，给出“A或B”的证明通常需要提供一边的证明，并说明是哪一边。经典推理则可以使用更广的原则来论证析取，而不必在同样意义下给出一项可执行的选择程序。这种差异涉及何谓证明、允许哪些原则，不只是不同人喜欢怎样思考。
多逻辑的存在说明，我们应明确所用系统，并研究不同系统之间的关系。它并没有让每个随意结论都变得有效。在任何一个明确系统中，仍然存在可检查的合法与非法推移。一个人不能在需要时借用某系统的结论，遭到反例时又说自己已经转到另一套规则，而不交代转换。
也不能把形式多元直接等同于文化分区，仿佛某一种文明天生只会分析，另一种文明天生只会整体。这样的概括会遮蔽每个传统内部的争论、技术和变化。本章没有提供支持这种文化本质论的原典与历史证据，因此不以它解释逻辑差异。具体方法的优劣应在具体任务与文本中比较。
还应纠正“传统逻辑完全不研究时间、行动与动态”的说法。形式研究中有明确处理时间与系统行为的工作。Lamport的时序行动逻辑就是可以查阅的反例，它用形式方法表达并发系统及其性质。承认这些工作，并不意味着SDE的发生性问题都已经解决；它只是要求新增贡献不要建立在对已有研究的过度简化上。
SDE若要发展逻辑研究，可以与这些明确系统对接：哪些状态变化属于研究对象，哪些允许操作可以形式化，什么性质需要保持，什么新对象生成尚不能被固定状态空间充分表达？这些问题比宣称所有旧逻辑均为静态更难，也更有建设性。真正的创新需要能够看见最有力的前人。
九、发生、发展、成形：三个任务怎样区分
《SIO逻辑学导论》的公开简介以发生、发展和成形组织逻辑重建。本章将其作为作者的一种研究性分工来理解：新问题和新可能如何出现，已有关系如何在运行中改变，形成的对象如何接受明确规则的推演与检查。三者不应被理解成每项工作都必须机械按顺序完成的三段流水线。
回到维修情境。已有故障清单无法解释一类新异常，维修人员开始收集差异、提出新的故障组合，这是发生性任务。新假说出现后，需要比较条件、细化机制和调整检查步骤，这是发展性任务。当条件明确，某个判断能否从已知前提推出，以及操作是否满足规范，则包含成形性的检查。
三种工作会来回发生。一次形式检验发现前提不一致，可能逼出新的概念；一次现场异常让既有模型失效，可能促使重写对象范围；一个新概念一提出，也应尽早接受基本一致性检查。不能把“发生期”设为所有论证义务暂时取消的保护区。初步想法可以不成熟，但应知道哪里尚未完成。
同样，不能把一切原创都归结为被逼到死结。有些创造来自长期困境，有些来自新工具带来的机会，有些来自不同任务意外相遇，还有些来自好奇心驱动的探索。作者关于死结、张力与突破的叙述可以作为重要路径研究，若要成为无例外的普遍机制，则需要更强证据。
区分任务还有一个实际好处：它帮助团队安排不同检查。提出假说的人可以大胆生成，但需要把假说标为候选；检验者需要认真寻找失败条件，却不能因尚未成形就否定一切探索；使用者需要明确当前版本能够承担的任务。分工形成复合能力，而不是让一个人时时扮演所有角色。
在本书的并行写作中，同样存在这三项工作。不同章节提出解释和连接，总编辑比较并修订，最终文本接受来源、字数和逻辑检查。并行本身不会保证正确，它只增加同时处理的能力。只有当不同判断能够相互限制，错误能进入修订，分工才成为知识生产中的实质合作。
十、一场争论怎样从各有道理走向可以共同判断
设想一个构造的校园讨论。学校准备延长开放学习空间的时间，管理者说“晚开放会增加管理成本，所以不应延长”，学生说“晚间有学习需求，所以应当延长”。两方各自说出了相关理由，却都没有仅凭这一项理由得到全部结论。成本存在不自动否决方案，需求存在也不自动证明任何开放方式都值得实行。
第一步是把事实判断与价值权重分开。晚间有多少实际需求，新增成本主要来自哪里，是否有替代空间，这些需要调查与比较。学习便利在决策中应占多大权重，谁应承担额外成本，则包含公共选择。两者可以互相影响，但不能用“我更重视学习”代替需求事实，也不能用“这是一笔成本”掩盖成本值得与否的判断。
第二步检查结论的范围。讨论的选择也许不只是永久延长或完全不延长。可以考虑试行、预约、限定区域和分时管理。新的选项发生后，原来的对立结构改变了。这体现发生性逻辑的一项价值：推理不只在给定选项中选优，还可以追问选项是怎样形成、怎样增加和怎样被排除的。
第三步为候选方案写出能够改变决定的条件。若预约使用率持续很低，是否缩短试行？若管理成本超过某个事先说明的范围，是否调整区域？若开放后出现新问题，谁有权报告和修订？这些条件使争论从互相展示立场，转向共同观察结果。所谓理由开始有了后续承担。
第四步保留不同群体的实际处境。有些学生住得远，有些需要安静设备，有些管理人员的工作时段难以变化。把所有人压成一个平均需求数字，可能丢失决定性差异。SDE的整体分析应当帮助发现这些不同位置怎样构成同一问题，而不是用“整体利益”提前结束局部异议。
这样处理后，双方未必立即一致。逻辑的任务不是保证所有人同意，而是使分歧变得可以辨认：事实未明、预测不同、价值权重不同，还是可用方案太少？能够准确知道不同意什么，已经比“你不讲理”前进了一步。公共推理的成熟，有时体现为共同承认尚不能得到唯一结论。
十一、反例如何工作，为什么一个例子又不是一切
反例是逻辑训练的重要工具，但它需要对准命题实际承担的范围。若某人主张“所有A都是B”，找到一个确实属于A却不属于B的实例，就足以否定这个全称命题。这里不需要再找一百个，因为原命题自己承担了无例外的责任。
然而，若主张只是“在某些条件下，A往往与B相伴”，一个例外未必推翻它。需要检查条件、频率、测量和统计误差。把概率性主张当成无例外定律来反驳，是一种错位；把无例外断言受到反例后悄悄改称“只是大体趋势”，则是另一种错位。写作必须记录主张何时变弱，以及变弱后还保留什么贡献。
SDE特别强调具体发生条件，容易出现一种新的风险：每当反例出现，就宣布它属于另一种条件，于是任何结果都不影响理论。为避免这种情况，条件应尽量在观察结果之前说明，或在事后补充时明确标为修订。不能把新发现的条件回写成原本已经具有的精确预测。
反例也可以推动对象重新形成。工坊原以为所有表面柔软的材料都适合某种切法，一个内部纤维方向不同的样本使这个分类失败。研究者可能据此把“柔软材料”拆成几类，形成新的操作规则。旧命题被反驳，新对象与新规律可能发生。但新规则仍需在其他材料上接受检验，不能以它解释了这一个失败就宣布完成。
面对SDE自身，也应采用相同标准。“三种模态有且只有三种”是强命题。若它是体系的分析约定，可以说明我们选择这三个方面组织问题；若它声称所有信息在存在上只能有三种形态，则需要论证穷尽性和分类准则。不能在遭到第四种候选挑战时，只凭重新命名就把它塞回三格，并以此证明三格完备。
一个真正有力的体系不需要每句话都取最强形式。明确说“这是一组便于分析的互补维度”，可能比未经证明的“宇宙必然只有三种”更能支持持续研究。逻辑严谨的意义不是使思想变得胆小，而是让读者看清哪些地方已经站稳，哪些地方值得继续冒险。
十二、从相关到因果，不能靠箭头自行过桥
发生性写作喜欢使用箭头，因为它能够让过程一眼可见。但是“受到批评→情绪低落→减少参与”中的箭头，究竟代表观察顺序、稳定相关、可能机制，还是已经识别的因果作用？如果没有声明，读者很容易把一条故事顺序当作因果证明。
构造一个简单反例。一位学生在作业难度增加后，既收到更多批评，也减少了课堂参与。二者可能存在因果影响，但难度增加也可能同时促成两者。只观察到批评与退缩接连出现，不能排除这个共同原因。还可能有更早的疲劳、资源不足或人际变化。发生性解释需要追问条件，不能靠叙述的流畅感封闭其他路径。
对于低风险研究，可以通过更清楚的比较来缩小疑问。例如，比较同一学生在任务相近、反馈方式不同的几次活动，记录实际改变了哪些条件。不过，这样的观察仍可能受到未控制因素影响，不应冒称严格因果识别。完整的因果研究需要与问题相匹配的设计，本章只示范推理纪律，不提供某个教育干预的效果结论。
SDE的贡献可以是发现原来遗漏的互动条件，以及提醒观察本身可能改变被观察者。但观察会影响对象，也不意味着任何因果判断都不可能。研究者可以说明干预、测量和反馈路径，并据此限定结论。承认复杂性应提高设计质量，而不是成为拒绝比较和检验的理由。
还要防止“结构解释”被过度使用。说一个问题来自结构，有时让人看见个人之外的约束；有时却把结构说成无处不在、无法辨认的力量。结构到底由哪些规则、资源、连接和次序组成？改变其中哪一部分预计会带来什么不同？若这些问题没有回答，结构一词与“性格如此”一样可能提前结束研究。
下一章的数学态会帮助表达连接、次序与整体约束，但一张网络图也不自动等于因果图。边表示信息共享、共同出现还是干预作用，必须分别声明。图形越美、公式越复杂，越应当检查这些基本含义；否则我们只是把推理缺口画得更加整齐。
十三、判断与行动之间，还有哪些前提
“知道该做却做不到”是底本反复讨论的问题。SDE提醒我们，理念上的判断与实际行动之间还有身体、自我和制度条件，这个提醒很有价值。但若把所有失败都归为两条逻辑波冲突，就又把复杂问题压成单一解释。
一个人未开始某项工作，可能因为目标不清楚，可能因为缺少权限，可能因为需要照顾家人，也可能因为任务被其他更紧急目标挤占。还可能是他对“应该”的口头认同并不等于真正接受这个目标。只有先辨认具体缺口，才能决定需要增加知识、改变步骤、协商资源还是重新讨论目标。
从一个事实判断走向行动建议，也常需要未被说出的规范前提。知道某方法更快，并不自动推出应采用它；还要考虑准确性、成本和其他价值。知道某人会不高兴，也不自动推出应当改变决定；要问这种不高兴在当前关系中具有怎样的理由和权重。逻辑不会从纯事实中凭空制造唯一的应当。
因此，行动推理可以写成一个公开结构：我们在追求什么目标，受哪些不能轻易违反的约束，依据什么事实预期某行动能够推进目标，以及有哪些可接受的替代方案。这样的结构仍不能消除全部价值冲突，却能使隐含前提浮现。许多“执行力问题”其实发生在目标未经共同确认的地方。
SDE的复合能力视角可以进一步问：判断是否必须由一个人独立完成？某些计算可由工具承担，现场观察可由当事人提供，价值选择需要相关责任人参与，结果复核则可能需要独立角色。分工越复杂，越需要明确交接条件，避免每一方都以为关键检查已经由另一方完成。
这里的责任不能因复合而蒸发。说“是整个系统作出的判断”，应当帮助找到不同环节承担什么，不能成为无人负责的句式。谁确认输入，谁认可规则，谁授权行动，谁处理异常，应该能够说明。发生性逻辑的公共价值之一，就是把结果背后的推进链重新打开，使改进有具体落点。
十四、AI推理的可读性与可靠性
AI可以迅速生成结构完整的论证文本。对初学者，这既是帮助，也是挑战。帮助在于它能提出多种解释、补足步骤、模拟异议；挑战在于流畅文字容易制造已经验证的印象。一段“看起来像推理”的文本，需要与它实际支持的结论分开检查。
最先检查的是来源。一个论证如果引用了不存在的论文或错误数据，形式再整齐也不能修复前提。其次检查概念是否前后一致。“准确率提高”可能指特定测试上的比例，却在结论中被改写成“实际可靠性提高”。再检查推移：观察到关联是否被写成因果，一种可行例子是否被写成普遍保证。
还要检查工具调用与文字报告是否相符。系统说“已经验证”，应当能指出验证了什么、用什么方法、结果是什么。执行一段程序不等于程序正确实现了问题；通过几个样例不等于对所有输入成立；自动定理检查通过，也首先意味着在所声明形式体系、定义和公理下证明得到接受。由形式化对象返回原始问题，仍需要审查翻译。
在人机合作中，可以让不同过程互相制约。一个过程提出方案，另一个过程寻找反例，确定性程序检查计算，人工审查问题表述与后果。这种安排比只要求同一系统“再想一遍”有时更能暴露错误，但也不是绝对保证。多个系统可能共享同一错误材料或同一种误解，意见一致不等于证据独立。
并行写作同理。六个智能体都说某个历史断言正确，如果它们依据同一错误摘要，那么我们仍只有一条脆弱来源。有效的交叉审读应尽可能检查不同层次：原文、逻辑、数学计算、案例适用性和概念版本。所谓误差互消需要真实的差异来源与相互纠正机制，不能把人数增加当作可靠性的自动倍增。
本章对AI的要求因此很朴素：把结论拆成能检查的承担，标明未知，允许返回证据，把失败用于修改系统。这个要求与SDE的发生性研究相合，但并不依赖某个模型拥有何种未经证实的内部体验。我们可以先评价复合工作过程的表现，再讨论更深的本体论解释。
十五、怎样设计一次真正检验“逻辑发生”的训练
若想检验本章的教学主张，可以设计一组逐层任务，而不是只测学生是否会背“粒子、波、场”。第一层给出简短论证，让学生识别前提和结论。第二层要求构造一个真前提、假结论的候选情形，判断推理形式是否有效。第三层提供有缺漏的现实案例，要求指出尚需哪些事实。第四层加入时间、权限和目标冲突，要求设计能够实际执行的检查路径。
这四层分别考查符号识别、形式约束、情境建模和实际推进。一个学生可以在其中一层表现好，在另一层需要训练。用一个总分掩盖差异，可能使后续教学找不到落点。发生性教学应当看见能力怎样在不同层次形成，又怎样相互支持。
例如，学生可能很会识别肯定后件的错误，却在现实案例中反复把最熟悉的原因当作唯一原因。这说明形式知识尚未与实际对象识别相接。教师可以让他先列出替代解释，再规定什么证据能够区分它们。另一个学生可能总能提出许多可能性，却从不收束；他需要学习条件明确时怎样接受足够好的结论。
训练还要评估解释的可传递性。一个人自己得到正确答案，却不能使同伴重建关键步骤，未必适合立即承担公共决策。反过来，解释很漂亮却持续出错，也不能因为沟通能力强就被视为推理成熟。可靠推进需要正确性、可理解性和适用性相接，但不应假定三者总由同一个指标衡量。
如果比较发生性训练与常规训练，应当尽量保持任务难度、练习时长和反馈机会相近。否则，多花了时间和提供了更多例子的方案取得较好效果，并不能独立说明SDE框架本身具有优势。研究可以承认实际教学包有收益，同时继续分析收益来自哪些成分。
任何研究报告还应包含失败与迁移边界。学生在课堂上能找反例，是否在自己重视的观点受到挑战时仍愿意找？在低压力任务中会解释，是否在时间紧张时还能保持关键检查？认识能力的发生不是一次测验中的完成状态，而是可在不同条件下被调用和修订的能力历史。
十六、逻辑也要能够说明自己的修订
本章已经对底本若干强表述提出限制：激发不等于后承，领域差异不取消形式约束，速度与粘度在未操作化时只是分析维度，三界中的真实过程不使全部判断自动正确。这样的修订不是从体系外随意减弱作者，而是使体系能够以自己要求的方式接受反馈。
一个发生性理论如果允许所有对象改变，却宣布自身核心表述不能被证据修正，就会形成特殊的自我豁免。理论也有符号形成、论证推进、制度使用和结果回写的历史。把这段历史写清楚，能够使读者判断某次修订是概念澄清、经验纠错，还是核心主张真正发生改变。
修订时需要保存两种连续性。一种是问题连续性：最初要解释什么，现在是否仍在回应它？另一种是论证连续性：哪些理由被保留，哪些被放弃，新增条件从哪里来？只保留同一个书名和术语，而不断更换其含义，不能算理论已经持续得到支持。版本记录是思想责任的一部分。
同时也要容许大胆思想有探索期。没有人能在提出新问题的第一天完成全部形式化与经验验证。合理的要求不是立即完美，而是清楚标记承诺层次，优先处理最承重的缺口，避免把未完成部分写成已证明结果。探索自由与论证责任可以共同存在。
对初学者而言，逻辑训练最值得保留的一种习惯，是在听见“因此”时稍停片刻。前面有什么，后面多了什么，中间凭什么？有时只需要一个有效规则，有时还缺事实，有时缺规范前提，有时需要创造一个新的问题表达。这个小停顿使思考从被语言带着走，转为能够检查自己的推进。
当推理链越来越多，我们还会面临新的困难：局部每一步都可以解释，整体却可能形成循环、冲突或不可同时满足的要求。只看一条条波态序列已经不够，需要把连接、次序和共同约束放在一起考察。这正是下一章进入数学态的理由。数学不会替我们消除一切不确定，却能使某些整体关系获得更精确、更可复核的表达。