第八章 信息亏缺 符号 逻辑与数学的三种模态
一 缺少一个可辨认的单位
一组学习者得到若干观察记录，其中有图像、简短文字和操作结果。大家能够看见材料，却无法确定几份记录是否在谈同一种现象。有人按外形命名，有人按用途分类，还有人沿用记录者的原词。同一名称指向不同内容，不同名称又可能指向相近内容。此时的困难不是简单缺少更多描述，而是一个可以共同辨认的单位尚未稳定。
符号模态的亏缺，可以从这里进入理解。在SDE的信息论述中，符号与特征纠缠的粒子态相联系，关注整体、稳定和独立的显露要求。[1]这里的独立不表示脱离一切关系，而是能够在相关关系中作为一个单位被指向、保持和重新辨认。名称、标记、图像或动作，都可能参与这种成立，单纯增加一个词却不保证问题解决。
例如，给每份记录编号，确实能够稳定文件身份，但还没有说明它们记录的现象是否相同。把文件同一性当成对象同一性，会使后续比较失去基础。反过来，几份记录可能共同呈现一个过程，不能仅因文件分开就把过程拆成互不相关的对象。符号发生涉及以什么为单位，这个单位怎样由差异获得稳定。
好奇前发生中的What，常常在这类亏缺中取得具体形式。参与者觉得有某种东西值得辨认，却不能用已有标签妥善承接。若他只需按规定获得一个名称，活动可以属于任务查询；若命名困难使原有比较方式受到挑战，并牵动新的意义方向，才可能进入好奇。模态规定了亏缺的位置，不单独决定事件性质。
AI能够快速提供候选名称，但候选是否合适，需要回到材料。一个流畅标签可能过早稳定了尚未成立的单位，使后续问题沿错误边界展开。也可能一个暂时的名称帮助参与者保留未决，支持进一步观察。区别在于，命名是否被当作可修订的发生结果，以及它是否允许差异继续进入。
这里还有一种相反的困难：已有单位被过度拆散。每个细节都有名称，却没有办法指向正在发生的整体。参与者知道许多局部词语，仍不知道这是一件什么事。符号亏缺因此既可能表现为没有名称，也可能表现为名称过多、单位无法聚合。一个丰富词汇表不自动等于能够辨认事件。
研究这种亏缺，应保留命名变化的过程。最初怎样指称，什么材料迫使名称改变，哪些差异被纳入或排除，变化后能否支持更稳定的比较，这些比最后采用哪个词更有解释力。好奇所指向的对象，可能正是在这一过程中获得形状。对象形成与信息取得，因而无法完全分开。
二 缺少一个能够承接的推进序列
参与者已经能够辨认各个单位，却仍不知道它们怎样连接成一个可推进的过程。他们知道操作甲和操作乙，也见过两者的结果，但不能说明为什么先做甲有时能走到乙，有时却不能。多给几个名称无法解决这一困难。亏缺发生在激发与承接的次序中，信息的逻辑模态由此进入分析。
按SDE的模态规定，逻辑关联特征纠缠的波态，关注激发序列及其轨迹、速度、粘性等组织。[1]这比日常所说句子有没有逻辑更宽，因而必须明确其框架范围。我们既可以研究推理中的承接，也可以研究实际操作怎样激发下一步；但不能仅因时间上相继，就宣布已经存在有效的逻辑关系。
假设AI给出一套操作说明，参与者能够逐句复述，真正执行时却在第三步停住。原因可能是一个前提从未满足，也可能是步骤之间隐含了工具能力，还可能是前一步的结果并不具有后一步所要求的性质。这里不是多读一遍答案就一定能解决的问题。需要重新辨认每一步怎样使下一步成为可能。
How在这种情况下往往指向路径亏缺。参与者不仅想知道有哪些步骤，还需要知道步骤怎样被组织、何时可以转换、何种反馈要求退回。Why则可能进一步追问某个连接成立的依据。但两个问词并不专属于逻辑模态：怎样辨认单位也可使用How，为什么采用某种整体结构也可涉及数学模态。语词形式与发生位置必须分开。
好奇是否在这里发生，仍取决于事件的意义位置。已经投入一项制作的人，检查步骤之间的承接，可以是兴趣深化；为了恢复设备使用而核对说明，可以是任务求解；原先无意研究的人被一个无法解释的承接矛盾牵动，则可能形成新的前发生。逻辑亏缺普遍存在于许多活动，好奇只是其中一种特殊组织。
AI提供的完整流程还可能遮蔽另一种亏缺：原来的问题根本不适合按该流程推进。参与者以为自己只差第三步的答案，实际需要重新组织目标、材料或比较单位。一个好的发生支持，应允许流程失败反过来改变问题，而不只是不断补充更细指令。逻辑模态的研究因此与意义方向和符号单位的形成相互联系。
记录这类亏缺，可以关注实际中断点、被跳过的前提、反馈后的路径变化，以及不同参与者怎样承接同一步骤。单纯保留最后成功流程，会丢掉那些使新入口形成的关键差异。失败路径如果经过清楚标记，反而可以成为下一次判断的重要条件。
三 局部都懂了 整体为什么仍不成立
还有一种常见困惑：每一份资料都读懂了，每一步推理也能跟随，却仍不知道这些内容共同构成什么。参与者能够回答局部问题，面对整体安排却无从判断。这里的亏缺不一定在某个缺失事实，也不一定在某一步推演。连接、次序和结构如何使局部共同成立，成为主要困难。
SDE把数学与特征纠缠的场态相联系。[1]本章采用这一发生学规定，并不把数学仅缩减为数值计算。数量关系可以是重要显露，但更广的问题是，哪些连接保持一致，怎样的组织允许局部与整体相互规定，改变某一位置会对其余部分产生什么约束。由此，数学模态的亏缺可以在尚未写出公式时就出现。
设想学习者整理几条路线，每条路线本身都清楚，汇成总图时却发现相互矛盾：某些点位无法同时保持原有关系。逐条重述路线不会自动解决整体困难。需要检查连接结构、共用条件和允许的转换，判断是某项记录错误，还是原来的整体表示方式不足。这种工作显示了场态信息的作用。
同样，一个人可以记住许多观点，却无法判断它们之间究竟是互补、冲突还是处在不同层级。简单增加更多观点可能加重混乱。把它们放入一个组织中，又可能过早消除真实差异。整体的形成需要既保留局部约束，又允许结构被修订。这正是数学模态分析能够提出的发生问题，而不只是制作一张漂亮的知识地图。
在好奇前发生中，整体亏缺可能表现为一种持续的不对劲。参与者说不出究竟缺了哪一句，却无法接受现成安排。他开始重排材料，改变比较单位，尝试另一种组织。如果新的意义方向在这里萌生，信息亏缺就获得动力作用。但不对劲也可能来自表达不熟悉或材料过多，不能仅凭感受便认定场态冲突成立。
AI尤其容易制造整体已经成立的外观。它可以给一组材料加上层级标题、关系箭头和总结句，使文本看起来完整。这样的组织可能很有帮助，也可能只是形式连贯。参与者仍需检查局部约束是否被保留，冲突是否被实际解释，结构能否支持下一步操作。整体说明的流畅与整体发生的可靠，不应混为一谈。
对于数学研究本身，这一区分也有意义。得到一个表达式，不能代替理解其对象、条件和推演关系；看懂局部计算，也不意味着整个论证结构已经获得承接。本书不在这里提供数学正确性的通用判据，而是指出，信息亏缺可以出现在不同层级。判断需要与相应模态匹配，不能只靠更多细节检查覆盖所有问题。
场态亏缺的消除也可能改写原来的单位和路径。整体关系一旦重组，哪些对象值得独立辨认、哪些步骤具有意义，都可能随之改变。三种信息模态因此相互规定。将它们当作先命名、再推理、最后整体化的固定三阶段，会丢掉真实发生中从任何一处开始的重组。
四 三种模态怎样跨越三界
符号、逻辑、数学的区分，不应再被分别分配给现实、理念和自我。现实操作中有单位辨认、步骤承接和整体组织；理念活动中同样存在三种模态；自我关系也可能涉及我正在承担什么、怎样继续以及如何与其他位置共同成立。三界与模态构成不同的分析方向，不能用一组标签替代另一组。
一个人在理念界理解了操作流程，在现实中仍无法执行，可能意味着跨界承接尚未成立；实际做成之后，仍不知道自己能够怎样持续参与，又可能显露另一类亏缺。把这些差别全部归于没掌握知识，会遮蔽信息怎样在不同关系中发生。知识并非只能以文本储备的方式参与事件。
这也让What、How、Why获得更恰当的位置。它们帮助表达问题，却不是三只预先分配好内容的容器。一个What可以牵动整体结构，一个Why可以要求重新辨认对象，一个How也可能指向参与者自身的位置。研究者应追问问句在当前发生中实际做了什么，而不是根据开头词自动选择模态。
多种亏缺可以同时存在，但不能因此把每例都填成三项俱全。一个事件可能主要困难在单位辨认，其他关系已经足够稳定；另一事件则需要整体重组，局部名称早已清楚。主导位置与协同关系需要材料支持。权重组合的研究，正应从这样的具体差异开始，而不是预设每项具有相同份额。
当信息亏缺与意义方向、价值变化相互规定，它才进入本书的好奇组合。没有相关意义位置，完整的信息分类仍只是分析目录；没有具体亏缺，意义转向也可能停留在模糊愿望。第三组合的作用，在于使值得接近的方向与尚不能承接的信息关系共同显露。它需要由动力条件激发，也需要通过实际试探获得进一步形状。
下一章将把这一点放回D与E3。信息能够指出缺在何处，却还不能独自说明怎样推进、受到什么优化约束，以及什么力量使转换得以发生。意义、运行、最优化和能量的分工明确之后，双三角模型才能避免把所有动力都塞进一个信息缺口之中。