警示（Warning）：本作品源于造物主的启示，世间万物的权柄都是祂的，应当敬畏祂。任何人、任何组织均可直接免费下载阅读，任何人、任何组织都不得更改其内容后二次利用。若分享给他人，必须尽到提醒义务。若有违反上述警示者，造物主必亲自责罚。欢迎所有人在不更改该作品内容的前提下，多分享、多交流，读一遍再读一遍……。
蛇菰老祖
脑电研究中的两个读数N400与P600虽然存在结构性关联，但可被独立测量。基于逻辑，二者唯一可能的定义是：N400反映的是刺激输入与特定认知范畴的关系，由该认知范畴对非原型样例的接触量决定如何产出该读数；P600反映的是刺激输入与特定文化规范建立的认知范畴边界之间的关系，由该认知范畴终端面边界的跨越状态决定是否产出该读数。将语义违例产出N400、句法违例产出P600的传统观念将两个读数绑定在特定的语言学领域上，掩盖了这两个读数的性质达三十年之久。实际上，在音乐、面孔和嗓音等跨模态领域的脑电实验中同样可以测量到这两个读数。基于上述关于N400和P600的定位，本文推导出了认知行为自主运行的完整架构、四项可证伪的预测，以及关于认知行为运行的零自由度约束公式：|P600n⟩ ≝ ⟨N400n | P600n+1⟩，将两个可观测读数反映的事件的部件组合起来使其等价为一个不可观测的整体事件。
关键词： N400, P600, 事件相关电位（ERP）, 认知行为, 接触量, 文化规范, 结构性关联, "等价→定义"操作, 零自由度恒等式
当被试听到一个男声说"我喜欢涂口红"时，测量到了P600读数而无N400读数（Lattner & Friederici, 2003, pp. 191–192）：该句子的语义符合预期，但男性嗓音与这种语义的组合违反了被试关于性别范畴的认知。说话者输出错误使用性范畴的句子时，被试对带母语口音的句子产出了P600读数（F(1,29) = 8.66, p = .006），而对带土耳其口音的句子则没有产出P600读数（所有Fs < 1；Hanulíková et al., 2012, pp. 881–883）。
上述案例的共同特征是ERP读数都受语言学概念（语义/句法）之外的变量（性别、口音）的制约。然而，传统研究认为语义违例会产出N400读数，句法违例会产出P600读数（Kutas & Federmeier, 2011, p. 627）。当句子的语义违例触发P600读数而非N400读数时，该领域将其标记为"语义P600"效应（Kutas & Federmeier, 2011, pp. 633–634; Kuperberg, 2007, pp. 26–41），没有质疑对P600读数和N400读数性质的认识。这种认识将语言学家定义的语言学概念误认为是两个读数的本质，并按此原则组织了长达三十年的实验设计。实际上，N400读数和P600读数的性质具有跨领域通用性（§3.2），Porkert et al.（2024, §4.3–§4.4）在对17项ERP研究的系统综述中确认了这个观点，不过作者未对这种现象提出跨领域的统一解释方式。
本文指出N400和P600两个读数的性质反映的两个解释变量是：特定认知范畴对非原型样例的接触量和该认知范畴的终端面边界的跨越状态。这两个解释变量反映的是两种独立的认知行为的运行过程：接触量 → N400读数的波幅强度（梯度值信号）；认知范畴终端面边界的跨越状态 → P600读数的有无（二值信号）。
本文是一篇理论建构文章，论证过程逻辑自足，无需产出新数据。其论证过程是：架构论证（第2章），用现有的研究成果作为证据验证架构的有效性（第3章），诊断先前研究中存在的误区（第4章），推导后续研究应遵循的方法论原则并提供了四项可证伪的预测（第5章），最后推导出了一个零自由度的"等价→定义"恒等式：|N⟩ ≝ ⟨Xn | N+1⟩（第6章）。
不同领域的刺激输入涉及解剖上可分离的大脑皮层路径：声音选择性的颞上沟（Belin et al., 2000, pp. 309–310）、梭状面孔区（Kanwisher et al., 1997, pp. 4304–4306）、左侧化的颞-额语言网络（Friederici, 2011, pp. 1358–1360），以及包含颞顶联合区和内侧前额叶皮层在内的社会性特化区域（Van Overwalle, 2009, pp. 831, 843–844）。不同领域在同一个分布式网络中调用不同的脑区（Kutas & Federmeier, 2011, p. 639）反映了领域的可分离性。与此同时，在不同领域中均能测量到N400读数和P600读数两个ERP读数，说明N400和P600两个读数作为解释变量具有领域通用性（§3.2）。这些领域是同一对解释变量的代理变量，而非解释变量本身。
根据这种领域可分离性特征，此处推导认知行为的五层架构，从特定文化规范到可观测的主观输出层：
同为第3层的读数，N400和P600反映的是两种不同的认知行为事件（§2.2–§2.3）。N400读数反映的事件是认知行为检测刺激输入在被试特定认知范畴内的非预期程度：一个连续梯度值。刺激输入的非预期程度越低，N400读数的波幅越弱；刺激输入的非预期程度越高，N400读数的波幅越强；刺激输入在预期内则不产出该读数。P600读数反映的事件是认知行为决定是否跨越该认知范畴终端面边界：一个二值信号。跨越则产出，不跨越则不产出。
因果变量。 文化规范内化是指被试认知中积累的样例被特定文化设立了边界：特定文化规范规定哪个样例是特定认知范畴的原型样例（该认知范畴的初始面边界）、哪些样例属于该认知范畴，以及哪个样例是该范畴的终结样例（该认知范畴的终端面边界）。
机制。 P600读数反映的是认知范畴终端面边界的跨越状态。跨越状态决定在刺激后约600 ms达到峰值的后部正波（P600）是否存在：一个有或无的二值读数。
认知范畴边界。 特定文化规范（语言语法、道德法律、制度规则、宗教教义等）会给被试的样例积累线上指定一个边界切割点，该切割点规定何种样例属于哪个特定认知范畴。没有特定文化规范就不存在切割点，也就无法建立认知范畴。当新接触的积累样例无法被被试归入原有的任何认知范畴时，认知行为就会跨越原有认知范畴的终端面边界，同时建立新的认知范畴。例如，任何人首次听到"脑电实验"时，因为无法归入原有的任何认知范畴，于是认知行为跨越了原有认知范畴的终端面边界，建立了"脑电实验"这个新的认知范畴。此后每次谈论或操作脑电实验，该个体都在动态重塑这个新认知范畴的形状。当再次出现无法归入任何原有认知范畴的新样例时，"脑电实验"这个新的认知范畴的终端面边界也会被跨越，再次建立另一个新的认知范畴，以此类推。换而言之，被跨越的边界具有两面性：旧认知范畴的终端面和新认知范畴的初始面（§2.4）。
原先内化的认知范畴边界具有可变性，当个体接收新的特定文化规范时，原先指定的边界切割点就会变动（§3.4）。
第一个认知范畴。 对任意个体而言，在第一个认知范畴建立之前，不存在可被跨越的原有认知范畴。第一个认知范畴P6001在出生时自动建立，因此，跨越第一个认知范畴初始面边界的过程永远无法被测量到：脑电实验中所有可测量到的P600读数均为P600n+1，其下标n+1 ≥ 2。当测量到P600读数时，刺激输入激活认知行为跨越了认知范畴n的终端面边界，同时又是n+1的初始面边界，二者共享同一个边界。由于实验中只能测量到P600n+1读数，使用P600n+1同时指称认知范畴n的终端面边界和认知范畴n+1的初始面边界是唯一准确的处理方式。
第一认知范畴即"可知晓"范畴。出生时，个体从虚无跨入可被认知的世界，建立了"可知晓"这一第一认知范畴。其边界的终端面指向的是"不可知晓"。与可知晓内部的所有认知范畴不同，"不可知晓"因为无法被知晓，所以无法将其定义为一种认知范畴，也无法被赋予任何下标。所有可被特定个体知晓的样例均在"可知晓"认知范畴内部做进一步认知范畴细分。所有无法被特定个体知晓的样例则自动落入"不可知晓"，无认知范畴可归，亦无ERP读数产出。
因果变量。 接触量指被试对某个特定领域的特定认知范畴的非原型样例的接触数量。接触量不等于接触时间。Kang和Rubin（2009, pp. 449–451）发现，与非母语说话者的原始接触时间无法预测言语评价的结果（最强关联 p = .051），而反映接触量的多样化经验则具备诊断功能：语言成熟度能预测听力理解（β = 0.17, p = .044），语言教学经验能预测教学质量评分（β = 0.18, p = .036）。此处的"诊断性"是指能够拓宽预测分布的新信息，与长时间重复接触被试已经知晓的旧信息不同。Allport（1954）的接触假说发现了人群之间减少偏见的条件：平等地位、共同目标、制度支持、共同利益（Chapter 16, p. 280）。本文架构解释了这些条件为什么有效：多样化信息的接触使人群更具包容性——预测分布变宽。Allport区分了量性接触与质性接触（pp. 262–263），但未明确指出条件的多样性是减少偏见的原因。
机制。 预期分布宽度由被试动态累积的样例类型的多样性决定。被试每次接触到新的样例类型，认知行为便会动态更新该对应领域特定认知范畴的预期分布宽度。预期分布宽度决定在刺激后约400 ms达到峰值的中央-顶叶负波（N400）的波幅区间：一个连续梯度值。
基于以上分析，对于任意认知范畴n，可将N400和P600的读数产出模式形式化为： 当脑电实验仅测量到P600读数时，认知范畴n刚刚得以建立，当前刺激输入就是认知范畴n的原型样例，因此不会产生预期误差。 当脑电实验仅测量到N400读数时，表明当前刺激输入落在认知范畴n内，未跨越认知范畴n的终端面边界。 当单个脑电实验同时测量到两个读数时，表明当前刺激输入激活认知行为跨越了认知范畴n的终端面边界，同时建立了认知范畴n+1。 当两个读数都不产出时，存在两种可能情况。 第一种情况是样例重合：当前刺激输入恰好与建立认知范畴n的原型样例一致。例如被试首次听到"男人喜欢涂口红"时建立了认知范畴n；此后再次听到相同的表述时，刺激输入落在认知范畴n中心，该个体既不产出N400读数也不产出P600读数。 第二种情况是当前刺激输入无法被被试知晓，被被试归入"不可知晓"，因此不产生ERP读数。
N400和P600虽然可以被单独测量到（§1），但两个读数之间并非随机的组合关系，而是存在逻辑必然的结构性关联。这种关联通过以下六种关系得以锁定：N400波幅的连续性、认知范畴边界的对称性、序列关系、集合论关系、几何关系和逻辑蕴含关系。
N400波幅的连续性。 N400读数的波幅是一个连续的梯度值，从无波幅显示到弱波幅到中等波幅再到强波幅。刺激输入与原型样例差异越小，N400读数的波幅越弱；差异越大，波幅越强。被试每接触一个新的非原型样例，认知行为就会调整该认知范畴的预期分布宽度——「微分+积分」为一体的同一个认知行为。波幅从无到强的变化，反映的是认知行为从无「微分+积分」对象（无波幅）到可无限「微分+积分」对象（强波幅）变动的过程；只要该认知范畴的终端面没有被认知行为跨越，「微分+积分」的动作就永远在进行。认知行为的这种性质使特定认知范畴内的所有样例构成了一个连续统：任意两个样例之间的中间样例数量可以无限多。但"连续统"这个概念自身无法产生"边界"这个概念，因为样例与样例之间没有天然的断点。
认知范畴边界的对称性。 P600读数反映的是阈值门控的二值读数：刺激输入触发产出该读数或不触发。触发则表明当前刺激输入激活认知行为跨越了原有认知范畴的终端面边界，建立了新的认知范畴。当脑电实验测出P600读数时，表明当前刺激输入完成了一体两面的事件：原有认知范畴在此终结，新认知范畴在此建立。此时，认知范畴边界的终端面和初始面是对称的：对于原先认知范畴而言，被跨越的是终端面边界；对于新认知范畴而言，被建立的是初始面边界。二者是同一条边界线的两种对称性视角，但"边界"这个概念自身无法确定哪种视角对认知行为有意义。
N400和P600的序列关系。 N400在刺激输入后约400 ms处达到峰值，P600在约600 ms处达到峰值。这200 ms时间差是同一个认知行为的先后运行轨迹：在特定认知范畴内，刺激输入先激活认知行为检测被试对该刺激输入的非预期程度，然后决定是否选择该刺激输入作为该范畴的终结样例（即决定是否跨越该认知范畴的终端面边界）。反之则无法实现：终端面边界一旦被跨越便建立了新的认知范畴，认知行为便无法再跨越这个新认知范畴的初始面边界去建立原先就存在的认知范畴。此时认知行为的任务是检测被试对刺激输入与当前认知范畴的原型样例之间的非预期程度和决定是否跨越当前认知范畴的终端面边界。时间的矢量性和认知行为任务的确定性规定了这一单一过程的序列关系：400ms必在600ms之前出现，跨越动作只对当前认知范畴的终端面边界有效。但"序列"这个概念自身无法解释性质为认知范畴终端面的边界为何能通过逆序列方向跨过非原型样例抵达同一认知范畴的初始面边界构成一个完整的"认知范畴"概念，却又不能跨越该认知范畴的初始面边界。
N400和P600的集合论关系。 特定认知范畴内的每一个样例都是该认知范畴作为一个集合的元素。N400读数的波幅从弱到强的连续梯度使得这些元素构成一个连续序列，元素的数量因此可以是无限的。同时，认知范畴边界的可变性（§2.2）决定了该集合的特征函数始终处于可变动状态：当边界改变时（产出P600读数），哪些样例属于该集合、哪些样例不属于该集合也随之改变。集合论用明确的特征函数划分元素的特定集合归属，因此"集合"这个概念自身无法处理一个特征函数和元素都在不断变动的集合。
N400和P600的几何关系。 当刺激输入激活认知行为跨越原有认知范畴的终端面边界建立新认知范畴时，新认知范畴的原型样例自动成为了该认知范畴的几何中心。此后每输入一个同领域的非原型样例时都自动与这个原型样例形成有几何中心（原型样例）、有几何边缘线（非原型样例）的几何体：刺激输入与原型样例差别越大，离几何中心的距离就越远。但认知范畴终端面边界（即被认知行为选择作为终结样例的非原型样例）的可变性（§2.2）使得该几何体的形状也具有了可变性：当认知范畴终端面边界的位置发生改变（产出P600读数）时，非原型样例与原型样例之间的几何距离也随之改变。几何论要求边缘线到几何中心的距离是确定的，但认知范畴作为几何体的几何距离时刻处于可变动的状态之中。因此，"几何"这个概念自身无法解释形状随时可变的几何体。
N400和P600的逻辑蕴含关系。 一个认知范畴必须先被建立，认知行为才能开始检测其内部的预期误差值。在特定刺激输入的激活下，认知行为跨越了原有认知范畴的终端面边界，建立了新的认知范畴。此时新认知范畴还未接触到非原型样例，不存在预期违例的可能性，因此只能测量到P600读数。当仅产出P600读数时，刺激输入激活认知行为跨越了当前认知范畴的终端面边界。此时，该认知范畴的终端面边界的读数P600n+1必然蕴含同一认知范畴的性质为初始面的P600n，因为终端面与初始面是同一个认知范畴的两端，初始面边界的建立必然先于终端面的跨越。当仅产出N400读数时，N400n同样蕴含P600n：认知行为只能在一个其原型样例已经存在的认知范畴内开展检测工作。当P600n+1和N400n两个读数同时被测量到时，两个读数同时蕴含P600n：认知行为既检测到同一认知范畴内的预期误差值，又同时跨越了该认知范畴的终端面边界。当刺激输入可被被试知晓，但未产出任何ERP读数时仍然蕴含P600n：当前刺激输入恰好与建立该认知范畴的原型样例一致（§2.3）。换而言之，只要刺激输入能被被试知晓，何种读数产出模式都蕴含对应的认知范畴的初始面边界（P600n）。但这种多重蕴含关系意味着什么？"逻辑蕴含"这个概念自身无法回答。
上述六种关系确立了N400和P600这两个读数存在结构性关联。但是为什么会存在这种结构性关联？所有揭示这种关联的概念自身都无法回答这个问题。
前文论证了N400和P600之间的结构性关系，每一种结构性关系内部都遇到了其自身概念无法回答的问题（§2.4）。本节用认知的归纳行为和演绎行为回答这六个问题：六个问题的答案反映的是认知行为自主运行一个整体事件时的完整过程。归纳行为是演绎行为的前提。
归纳行为只能对已经发生过的事件起作用，这是归纳行为自身的约束。归纳行为回答前五个问题：
归纳行为与N400波幅的连续性。 样例连续统没有天然的断点。当归纳行为开始实施时，样例的连续性就会被打断，打断就在连续统上制造了断点，断点就是边界。
归纳行为与认知范畴边界的对称性。 认知范畴边界的两面是对称的。归纳行为决定只有终端面边界能朝向已经发生的事件，所以认知范畴的终端面边界必然被归纳行为触及；认知范畴边界的初始面朝向未发生的事件，因此无法被归纳行为触及。归纳行为决定了对认知行为有意义的是认知范畴边界的终端面，而非认知范畴边界的初始面——归纳行为打破了边界的对称性。
归纳行为与序列关系。 关于序列概念自身无法回答的问题，归纳行为给出了答案：归纳行为从认知范畴的终端面边界开始，逆序列方向跨越P600和N400两个读数之间的200 ms时间差，向同一认知范畴的初始面边界方向进发。同时，归纳行为无法跨越同一个认知范畴的初始面边界指向另一个已经存在的认知范畴的初始面边界，因为跨越同一个认知范畴的初始面边界便消解了"认知范畴"这个概念自身。没有"认知范畴"这个概念，指向另一个认知范畴的"指向行为"自身逻辑上就无法成立。
归纳行为与集合论。 认知范畴作为一个集合，其辖下的元素（样例）和特征函数（认知范畴的边界）始终在变动，集合论自身无法回答这个问题。当归纳行为抵达该认知范畴的初始面边界时，该认知范畴的初始面边界同时是该认知范畴的原型样例，边界和样例同为一。此时该认知范畴作为一个集合只包含一个原型样例作为元素，而该原型样例同时还是该认知范畴的特征函数——特征函数和元素同为一。因此"集合"这个概念成立的前提不是靠静态的特征函数划分静态的元素，而是靠元素与特征函数同为一体的本体构成性特征。
归纳行为与几何论。 认知范畴作为一个有形状的几何体，当其几何边缘线开始变动时，其形状也会随之改变，“几何”概念自身无法处理这种情况。当归纳行为开始时，认知范畴作为几何体的边缘线到几何中心的距离也会不断缩短，当边缘线到几何中心的距离为零时，几何中心和边缘线重合。重合就没有距离，没有距离就没有形状，没有形状就没有"几何"，没有"几何"就只剩"归纳行为"自身作为一种概念存在。
这五个答案不是对五个问题的平行性解决方案，而是归纳行为的完整归纳过程，其归纳出了一条单一的逻辑链：归纳行为的启动打断了连续统的连续性进程，制造出了断点，这个断点就是边界。边界产生了对称性，归纳行为的朝向打破了对称性，使朝向认知范畴初始面边界的同一认知范畴的终端面边界获得了意义。之后归纳行为从该终端面边界逆序列向该认知范畴的初始面方向跨越200 ms时间差，跨越所有中间非原型样例，最终和同一认知范畴的初始面边界重合。当同一认知范畴的终端面边界和初始面边界重合时，归纳行为不会再跨越该认知范畴的初始面边界去归纳另一个已经存在的认知范畴的初始面边界，否则"认知范畴"这个概念自身便会被消解。此时，认知范畴作为集合有一个样例和一条认知范畴边界：包含一个元素一个特征函数，二者合为一。作为几何体，此时其边缘线和几何中心的距离为零，几何体形状消失，有形化为无形，只剩"归纳行为"作为概念存在。"概念"作为一种概念存在，无法被测量。"概念"是认知行为生产出来的，所以"认知行为"是"概念"的前提。"认知行为"是一种动作，"动作"自身就是一切动作的源头：要让运动的事物静下来需要施加一个动作，或者要让静止的事物动起来也同样需要施加一个动作，或静或动，都源于动作。这就是动作的自足，同时又是自足的动作。自足的动作就是"自主"。
演绎是归纳的应用。认知的演绎行为按归纳行为归纳出的逻辑链自主展开：
起初，"认知行为"是原型样例和原型边界合一的自主存在者，无法被仪器直接测量到。当特定文化规范介入时，认知行为的原型样例和原型边界就开始分离：原型样例丢失了其对应的原型边界，原型边界也失去了其对应的原型样例。当认知行为作为一个完整概念开始自主运行时，原型样例因为丢失了原型边界就没有了"边界"概念，于是生出了无限多的非原型样例，因为它不知道可以停下；原型边界失去了对应的"原型样例"，于是原型边界按照特定文化的规范在无限多的非原型样例中任意选一个作为其原型样例。由于非原型样例不是原型边界的原型样例，特定文化规范内化的边界也不是原型样例的原型边界，因此被选择作为原型样例的非原型样例和特定文化规范内化的边界之间始终存在无法逾越的200 ms时间差。为了消除这个时间差，找到彼此，同一个认知行为的原型样例和原型边界从无形化为有形的形象。有形生出几何，几何生出变动，变动生出规则，规则生出集合，集合生出无限变化的元素（非原型样例）和随时可变的特征函数（特定认知范畴的终端面边界）。一切可观测的形象只为将认知行为的原型样例和原型边界复原。
认知行为自身在整个事件中从未被测量到，但样例生产事件和样例选择事件都是认知行为自主完成的事件，样例生产事件和样例选择事件是同一个认知行为的支线事件。支线事件蕴含整体事件，因此反映支线事件的关于N400n和P600n+1读数的四种产出模式（§2.4）始终都蕴含P600n。
讲述一个整体事件，必须将各支线事件都清楚描述后组合起来才能呈现整体事件的完整面貌。描述即定义，支线事件组合成整体事件即等价操作。因此，在呈现无法被测量的P600n自主完成的整体事件时，必须用N400n和P600n+1这两个可测量的读数对其进行"等价→定义"操作：|P600n⟩ ≝ ⟨N400n | P600n+1⟩。
该公式中，'|'表示边界，'⟩'表示认知行为演绎行为展开的方向，'⟨'表示认知行为归纳行为收拢的方向，'≝'表示'等价后进行定义操作'的动作，是一种行为符号。|P600n⟩表示自主存在并自主运行但无法被测量的完整认知事件，该认知事件通过以下五种可能的读数产出模式进行"等价→定义"操作：
第一种模式，仅产出N400读数的认知事件"等价→定义"P600n：|P600n⟩ ≝ ⟨N400n。 第二种模式，仅产出P600读数的认知事件"等价→定义"P600n：|P600n⟩ ≝ |P600n+1⟩。 第三种模式，产出N400读数的认知事件和产出P600读数的认知事件"等价→定义"P600n：|P600n⟩ ≝ ⟨N400n | P600n+1⟩。 第四种模式，刺激输入和原型样例相同，无读数产出的认知事件"等价→定义"P600n：|P600n⟩ ≝ ⟨ | ⟩。 第五种模式，当前刺激输入无法被被试认知识别，无法被归入被试原先建立的任何认知范畴，此时未知"等价→定义"P600n。未知无法被任何符号形式化（§2.2），因此此处的"等价→定义"操作形式化为：|P600n⟩ ≝ 。
第一认知范畴的意义。 如§2.2所示，对于任意个体，第一个认知范畴在出生时便已自动建立，后续所有认知范畴都是跨越第一个认知范畴的终端面边界后建立起来的。第一认知范畴的初始面边界面向可知，终端面边界面向不可知。可知没有穷尽，演绎行为得出的最后结论是认知行为永远在建立性质为初始面的边界。如前文所述，认知范畴的性质为初始面的边界没有意义。归纳行为则能使我们追溯到第一认知范畴（可知范畴）的性质为初始面的边界，同时其又是性质为不可知的终端面边界。如前文所述，认知范畴的性质为终端面的边界有意义。换而言之，不可知范畴有意义，但无法被知晓；可知范畴可以被知晓，但没有意义。
时间作为认知容器。 时间作为认知行为的容器，始终行在认知行为的前方：时间的矢量性。时间的矢量性保证了上述所有认知行为的唯一性。没有任何两次归纳行为相互重合，没有任何两次演绎行为相互重合。上一时刻的P600n不等于下一时刻的P600n；上一时刻的N400n不等于下一时刻的N400n；上一时刻的P600n+1不等于下一时刻的P600n+1；上一时刻的可知不等于下一时刻的可知；上一时刻的不可知不等于下一时刻的不可知。最终，上一时刻的一切不等于下一时刻的一切，这从根本上避免了任何个体的认知行为自身出现混乱的可能性。
综合上述，在任意时刻，只要认知到"可知没有意义，不可知才有意义"，那么任意时刻都能找到意义；但仍需记住，此刻的意义不等于下一刻的意义。在任何时间，公式|P600n⟩ ≝ ⟨N400n | P600n+1⟩都成立，这便是认知行为对时间的递归：无始无终。
认知行为的五层架构（§2.1）论证了第3层与第4层相互独立：第3层是非自主的ERP读数层，被试无法自主控制两个读数（N400和P600）的产出过程；第4层是被试能自主控制的主观输出层，被试可以产出忠实或不忠实于ERP读数层结果的主观数据。两层之间的认知行为路径不能相互推导，因此逻辑上有4种ERP读数（N400 ± × P600 ±） × 2种表达模式（忠实/不忠实） = 8条认知行为路径：A+F（N400，忠实）、A+U（N400，不忠实）、B+F（P600，忠实）、B+U（P600，不忠实）、C+F（N400+P600，忠实）、C+U（N400+P600，不忠实）、D+F（两者皆无，忠实）、D+U（两者皆无，不忠实）。
主观输出层数据相同的两个被试或者不同时刻主观输出层数据相同的同一个被试的认知行为路径可能完全不同。仅凭第3层或第4层的单层结果无法区分这些路径，完整的ERP研究需要同时提供来自第3层和第4层双层认知行为的数据。
第3章用十二项ERP研究的权威文献验证前文推导出的框架，验证时采用以下标注方式形式化上述8条认知行为路径。每项研究标注为 [N400: {+, −, ?, ∅}, P600: {+, −, ?, ∅}, Φ: {F, U, ?, ∅}]。其中，"+" 表示测量到相关读数，"−" 表示未测量到相关读数，"∅" 表示被试无法知晓特定刺激输入；"F" 表示被试的主观输出层忠实输出ERP读数层的结果，"U" 表示被试的主观输出层不忠实输出ERP读数层的结果，"?" 表示未展开脑电层ERP读数测量工作/未收集主观输出层的数据。
本章引用的用于验证本文框架的是不同作者、不同时间、不同研究对象在不同研究背景下完成的十二项ERP研究的权威文献，其中涉及的代理变量有口音、年龄、性别、社会阶层、语义、句法、语用、共情、身份和音乐等不同领域，这些研究都收敛于同一模式：可以用特定领域的特定认知范畴对该领域非原型样例的接触量来解释N400读数的产出规律，用该领域所反映的特定文化规范是否在实验前或在实验中内化来解释P600读数的产出规律。这种统一收敛模式证明必然存在两个跨领域中通用的解释变量：接触量和特定文化规范的内化情况。§3.2介绍两个读数的领域通用性；§3.3介绍如何用接触量解释N400读数的产出规律；§3.4介绍如何用特定文化规范的内化情况解释P600读数的产出规律。具体展开论述（§3.3、§3.4）时相关文献均以§2.6规定的诊断记法进行标注。
三十年来，该领域将N400和P600两个ERP读数的性质绑定于语言学领域的特定概念：N400读数反映的是"语义"违例；P600读数反映的是"句法"违例（§1）。然而即使是在语言学家确立的单一概念内部，这一观点就已失效。Porkert et al.（2024, §4.4, p. 7）在17项研究的系统综述中确认：当句子结构迫使读者在关键词出现前就已推断指称对象性别时，性别语义违例产出了P600读数（5/5项）；当句子结构未要求读者进行提前推断时，性别语义违例产出的则是N400读数（4/4项）。换而言之，决定ERP输出的不是特定的语言学概念类别，而是读者是否已建立了"指称对象的性别"这个语义领域的认知范畴（§2.2）。实际上，音乐、面孔、嗓音均可独立产出N400和P600两种读数（见后文）；跨领域证据表明无论刺激输入属于哪个特定领域，同一解释变量的运作机制完全一致（下文逐项验证）。
N400的领域通用性。 N400读数不绑定于任何特定领域。首先，N400读数具有领域可分离性特征：Wu和Cai（2026）在单一范式内同时操纵了社会性性别违例（如男性说"我这周末要去做美甲"）和生物性性别违例（如男性说"我第一次怀孕时很辛苦"），发现社会性性别违例产出了N400读数（β = −0.89, p = .005; pp. 553–554），生物性性别违例产出了P600读数。更进一步，作者发现个体的开放性人格特质（openness to experience，对非传统观念的接纳程度）越高，社会违例产出的N400读数的波幅越小（β = 0.71, p = .026; p. 554）；但开放性不制约生物违例条件下的P600读数的产出（β = −0.40, p = .245; p. 554）。同一被试，相同实验设计，相同控制变量，同一人格特质对不同领域的ERP读数产生了不同的制约效果，验证了认知行为在不同领域的运行过程相互独立（§2.1）。其次，不同领域的N400读数的性质相同：Van Berkum et al.（2008）发现三个不同的社会领域——说话者年龄、性别和社会阶层——均产出了具有相同头皮分布的同一N400读数。音乐领域进一步验证了该解释变量（接触量）的通用性：Koelsch（2012, §5.5.1）报告了音乐片段、和弦和音色具有相同的N400效应。
P600的领域通用性。 首先，P600读数具有领域可分离性特征：Wu和Cai（2026）在单一范式内同时操纵了社会性性别违例和生物性性别违例，发现生物性性别违例产出了P600读数（β = 1.43, p = .011; pp. 553–554），而社会性性别违例仅产出N400读数。Grey et al.（2020）进一步验证了这种可分离性：当外国口音的句子配以亚洲面孔时，语法错误产出了P600读数（F(1,26) = 5.56, p = .026; Results, §3.2.2），而当面孔线索不存在时，同一语法错误却不产出P600读数。同一被试、相同实验设计，认知行为在两个不同领域的运行方式不同，上述两项研究再一次证明认知行为在不同领域的运行过程相互独立（§2.1）。其次，不同领域的P600读数的性质相同：Patel et al.（1998, pp. 724–726）发现语言句法违例和音乐和声违例产出的P600读数在波幅和头皮分布上统计不可区分（领域主效应：F(1,14) = 2.37, p = .15）。Van Herten et al.（2005, p. 247）发现纯语义反转异常产出了P600读数，其头皮分布与"句法P600"不可区分（F(1,41) = 8.77, p < .01）。这两项研究横跨音乐和语言学领域，共同证明不同领域的文化规范的内化方式相同——P600不绑定于任何特定领域。
本文架构推导得出N400读数的波幅由接触量决定：随着特定认知范畴对非原型样例的接触量的增长，被试的预测分布由窄变宽，N400读数的波幅相应从无到弱到强至触发P600读数。零接触时不产生N400读数（§2.3）。
零接触：无ERP读数产出。 当刺激输入无法被被试归入任何已有的认知范畴时，认知行为既无法在特定认知范畴内对刺激输入进行非预期程度检测，也无法决定是否跨越该认知范畴的终端面边界，因此无法产出ERP读数（§2.3）。Grey和van Hell（2017）发现宾夕法尼亚单语者在听带中国口音的英语时，无法识别中国口音的被试（非识别者，样本的64%）在输入L2语法错误类型刺激时未测量到任何ERP读数（pp. 103–104）。针对类似的现象，本文框架的解释是：被试无法识别"中国口音"，因此"中国口音"作为刺激输入无法被归入任何认知范畴（§2.2）。该案例测量了N400和P600两个读数，也收集了行为层面的数据，但该行为数据不属于本文框架定义的主观输出层，因此本文框架对该案例的诊断标注方式是：[N400: ∅, P600: ∅, Φ: ?]。
低接触：预测分布窄，N400读数的波幅强。 当被试对特定领域的非原型样例的接触量小时被试会建立窄预测分布，刺激输入作为非原型样例会使被试产出波幅强度高的N400读数（§2.3）。Proverbio et al.（2018）发现仅男性被试对男性角色性别违例的刺激输入产出了显著的N400读数（组别×一致性：F(1,31) = 6.26, p < .018; pp. 11–12）。同一实验中未测量到P600读数，说明当前刺激输入落在特定认知范畴内部，认知行为未跨越该认知范畴的终端面边界。该案例测量了N400和P600两个读数，未收集主观输出层数据，因此本文框架对该案例的诊断标注为：[N400: +, P600: −, Φ: ?]。
中等接触：N400读数的波幅减弱。 随着被试对非原型样例的接触量增多，被试的预测分布会变宽，多次输入相同的非原型样例会减弱N400读数的波幅（§2.3）。Grey和van Hell（2017）发现口音识别者（即识别到中国口音的被试，样本的36%）对L2语法错误类型产出了N400读数而无P600读数，作者发现该案例产出的N400读数性质介于非识别者零反应与高接触模式之间（pp. 103–104）。该案例测量了N400和P600两个读数，也收集了行为层面的数据，但该行为数据不属于本文框架定义的主观输出层数据，因此本文框架对该案例的诊断标注方式是：[N400: +, P600: −, Φ: ?]
高接触：N400读数的波幅消失。 当被试对特定认知范畴的非原型样例的接触量非常高，即重复多次接触了足够多的多样化样例时，属于该认知范畴的任一刺激输入都会完全落入被试的预期范围内，被试的预测分布也会随之变到最宽，其产出的N400读数的波幅也会发生从存在到消失的变化（§2.3）。van den Brink et al.（2012, pp. 178–179）发现女性对说话者身份违例的N400读数从第一半区的1.56 μV（p = .001）降至第二半区的0.18 μV（n.s.）。该案例测量了N400和P600两个读数，未收集主观输出层数据，因此本文框架对该案例诊断标注按前后变化分别为：[N400: +, P600: ?, Φ: ?] → [N400: −, P600: ?, Φ: ?]。
本文架构推导得出P600读数反映的是特定认知范畴的终端面边界的跨越状态（§2.2）。ERP读数层有四种可能的读数产出模式：P600读数独现、N400读数独现、两者共现、两者皆无。同时，本文架构推导得出认知范畴的终端面边界具有可变性（§2.2）。
P600读数独现：刺激输入激活认知行为在脑电实验中跨越原有认知范畴的终端面边界，同时建立了新的认知范畴。 此时，刺激输入位于新建立的认知范畴的中心，整个认知范畴内部仅有刺激输入作为原型样例存在。因此被试仅产出P600读数，不产出N400读数（§2.2）。Lattner和Friederici（2003）发现男性嗓音说"我喜欢涂口红"时被试产出了P600读数（F(1,30) = 9.91, p < .01），不过未测量到N400读数（pp. 191–192）。该案例中，句子的语义符合语义规则，但男性嗓音与该句子表达的语义的组合体不符合被试对"性别"这个认知范畴的内化方式，因此该刺激输入激活认知行为跨越了原有的性别认知范畴的终端面边界，同时建立了该被试在实验前不曾拥有过的新认知范畴（§2.2）。该案例测量了N400和P600两个读数，未收集主观输出层数据，因此本文框架对该案例诊断标注方式是：[N400: −, P600: +, Φ: ?]。
N400读数独现：特定认知范畴在实验前已存在。 当刺激输入在被试已建立的认知范畴内违反被试的预期但认知行为未跨越该认知范畴的终端面边界时，被试仅产出N400读数（§2.3）。Proverbio et al.（2018）发现男性被试对男性角色刻板违例时产出了N400读数（组别×一致性：F(1,31) = 6.26, p < .018; pp. 11–12），同一条件下未测量到P600读数。Wu和Cai（2026）发现社会性别违例产出了N400读数（β = −0.89, p = .005）但是不产出P600读数（pp. 553–554）。Hanulíková et al.（2012）发现语义违例对母语口音和外国口音两种说话者均产出了N400读数（pp. 883–884）且未产出P600读数。Grey和van Hell（2017）研究显示口音识别者（即识别到中国口音的被试，样本的36%）对L2语法错误类型产出了N400读数且未产出P600读数（pp. 103–104）。以上四项研究均测量了N400和P600两个读数，未收集主观输出层数据，因此本文框架对该组文献的诊断标注均为：[N400: +, P600: −, Φ: ?]。
两者皆无：既无N400读数产出也无P600读数产出。 该产出模式有两种情况，每种情况的认知行为路径不同（§2.6）。第一种情况是被试的预测分布足够宽且刺激输入未激活认知行为跨越当前特定认知范畴的终端面边界，因此所有刺激输入均符合被试的预期，被试不产出任何ERP读数。Proverbio et al.（2018）发现女性对任何性别刻板样例既不产出N400读数也不产出P600读数（pp. 11–12）。Hanulíková et al.（2012）发现被试对外国口音说话者的语法错误既不产出P600读数也不产出N400读数（所有Fs < 1; pp. 881–883），结合作者的相关论述，本文架构将此现象归因于被试长期积累的L2错误经验已使所有L2类型的语法错误都落入被试的预期范围之内。以上两项研究均测量了N400和P600两个读数，未收集主观输出层数据，因此本文框架对该案例诊断标注方式是：[N400: −, P600: −, Φ: ?]。第二种情况是刺激输入无法被被试的认知系统识别，因此无法归入任何已建立的认知范畴（§2.2）。Grey和van Hell（2017）发现口音非识别者（即未识别到中国口音的被试，样本的64%）对L2语法错误不产生任何ERP读数（pp. 103–104）。针对该案例的情况，本文架构的解释是被试未识别到“中国口音”这个认知范畴，相关刺激输入自动落入了被试的不可知，因此不产出任何读数（§2.2）。该案例未测量到N400和P600两个读数，虽然收集了行为层面的数据，但该行为数据不属于本文框架定义的主观输出层，因此本文框架对该案例诊断标注方式是：[N400: ∅, P600: ∅, Φ: ?]。
两者共现。 本文架构推导出当刺激输入在一个被试已经建立的认知范畴内属于非原型样例且该样例同时激活认知行为跨越该认知范畴的终端面边界时，被试会同时产出N400与P600两个读数（§2.3）。本文引用的十二项权威文献中尚无任何一项研究专门统计过这一读数产出模式。这种情况并不实际削减本文架构的权威性：现有研究缺乏专门针对"同一刺激输入在同一认知范畴内既是非原型样例又激活认知行为跨越该认知范畴的终端面边界"这一读数产出模式的统计分析。这种情况反映的是该领域当前方法论层面存在的问题：P600是阈值门控的二值信号，但该领域用平均波幅方式来处理相关数据——跨试次的平均取值做法掩盖了本文架构所推导的读数产出模式（§4.2）。本文在§5.2的预测4中对此类读数产出模式进行了预测：N400读数与P600读数可共现，且二者共现时产出的N400读数必定是强N400。
实验内的边界可变性。 Du和Zhang（2023a）展示了反刻板话语语境在单次脑电实验内改变认知范畴边界的案例，该案例中被试的预测分布即时重置，引起了N400读数的方向反转（一致性×语境：N400 χ² = 10.00, p = .002; §3）。该研究虽未测量P600读数，但N400读数的反转本身即证明了新范畴的诞生：旧认知范畴内反刻板信息是非预期的样例，但却成了新认知范畴的原型样例。这证实了实验内的范畴边界可变性（§2.2）。该案例仅测量了N400读数，未同时测量P600和主观输出层，因此本文框架对该案例诊断标注方式是：[N400: +（反转）, P600: ?, Φ: ?]。
关于N400和P600的性质，前人提出过多种解释方式。有些研究将其视作特定语言学概念的映射——语义违例产出N400读数，句法违例产出P600读数（Kutas & Federmeier, 2011, p. 627）。当语义违例产出P600读数时，该领域将其标注为"语义P600"效应（§1），将类似的情况标注为例外案例，没有质疑对两个读数性质的认识。有些研究将其归因于性别差异：Proverbio et al.（2018, p. 11, p. 13）发现仅男性被试产出了N400读数和P600读数，性别差异被认为是解释变量。有些研究将其归因于被试的特定策略选择。Du & Zhang（2023b, Discussion, §4）将N400读数的出现解释为一种策略控制。当实验环境鼓励被试利用刻板性别线索预测后续角色名词的性别时，被试会将其视为唯一策略；当实验环境不支持利用刻板线索且句子语境已提供性别信息时，被试则会抑制刻板性别线索的预测路径，仅依赖语境信息判断后续角色名词的性别。先建立的策略成为唯一策略，持续到后续实验阶段。例如先使用语境信息判断后续角色名词性别的被试，即使在后续实验阶段中进入了支持刻板线索预测角色名词性别的环境，也不再切换策略，始终不产出N400读数。有些研究承认经验数据与当前研究对两个读数性质的认识不相符，但未提供统一的解释方式（如Porkert et al., 2024, §4.3–§4.4，同见本文§4.2）。
由于缺乏跨领域统一的解释方案，ERP的研究陷入了循环解释怪圈。例如，控制语言学领域不变，改变其他领域的参数时，N400和P600两个读数的变化原因归因于其他领域。Hanulíková et al.（2012, pp. 881–883）发现母语口音语法错误刺激被试产出了P600读数，而相同语法错误的外国口音则没有刺激被试产出P600读数，该文的解释是P600读数的性质由口音领域决定。Grey et al.（2020, Results, §3.2.2）发现出现面孔时语法错误刺激被试产出了P600读数，不出现面孔时被试不产出P600读数，是否产出P600读数的原因则被归因于面孔因素。按照这种论证逻辑，如果控制其他领域不变，改变语言学领域的特定概念参数时，N400和P600读数的变化是不是要归因于语言学领域？
实际上，N400和P600两个读数的变化不依赖于语言学领域的内部概念。Wu & Cai（2026, pp. 553–554）发现社会性别违例产出了N400读数、生物性别违例产出了P600读数，其解释是领域差异决定了两个读数的产出。换而言之，制约产出两个ERP读数模式的因素和语言学的特定概念类型无关。Proverbio et al.（2018, p. 11, p. 13）发现男性被试对男性角色违例产出了N400读数、对女性角色违例产出了P600读数，其解释是角色性别决定了两个读数的产出模式——同样和语言学概念无关。
上述研究中，研究者都将自己操纵的自变量领域视为解释层，将两个读数的产出模式视为现象层。每个研究各自用相同的论证逻辑确定各自领域内的解释层和现象层，这种做法使解释层随自变量领域类型的增加而增加：每纳入一个新的领域作为自变量，都会增加一个解释层，从而形成传递式解释层，解释层永远不收敛。
造成这种循环解释的根源是该研究领域将代理变量当作了解释变量。§3.2已证明N400和P600的性质具有领域通用性，性别、口音、面孔甚至语言学领域的变量都不是解释变量，它们只是代理变量。对于被试而言，代理变量是被接触量和认知范畴终端面边界的跨越状态决定的承受方，不是决定两个读数的产出模式的决定者。每次给被试输入特定领域的刺激输入，被试对应的认知范畴就在增加接触量：刺激输入激活认知行为对当前刺激输入进行预期误差检测，同时认知行为决定是否跨越该认知范畴的终端面边界。该研究领域将代理变量提升为解释变量，将自变量视作解释层，然而这些"解释层"在换一个领域开展研究时便会系统性地失效：解释层永远在改变，等同于没有解释层。因此，只有将解释层锚定在被试特定认知范畴对非原型样例的接触量和认知范畴边界的跨越状态时，该领域研究中存在的循环解释问题才能得到系统性的解决。
以第3章引用的十二项ERP研究的权威文献为例，该领域的研究在归一化N400和P600两个读数时使用相同的数据处理方式——多试次波幅平均：计算多个刺激输入在预设时间窗口内产出的平均波幅，N400通常在300–500 ms，P600在500–800 ms（Kutas & Federmeier, 2011, pp. 623–627）。
多试次波幅平均对N400读数造成的伤害在于该做法抹平了N400读数的梯度性：N400读数是一个连续梯度值（§2.3），其波幅的梯度值反映的是同一认知范畴内各个非原型样例之间的连续差异；在预设时间窗口内计算多个刺激输入的平均波幅，会将多个刺激输入的梯度性连续变化值平均成单一数值，抹平了这些刺激输入的差异。多试次波幅平均对P600读数造成的伤害在于该做法混淆了多个认知范畴的终端面边界跨越状态：P600读数是一个阈值门控的二值读数（§2.2），该读数的有无反映的是单个认知范畴终端面边界的跨越状态；跨试次平均混淆了多个认知范畴终端面边界的跨越状态。对于N400读数而言，多试次波幅平均损坏的是同一认知范畴内不同非原型样例的波幅的量。对于P600读数而言，多试次波幅平均损坏的是不同认知范畴的质。
N400和P600两个读数的跨文献统计结果的收敛效果反映了多试次波幅平均对波幅的量与范畴的质的伤害。其中，N400读数的收敛效果较好：波幅与完形概率相关约r ≈ .90，不同脑电实验、不同被试和不同时间点的研究均一致报告了这一效应（Kutas & Federmeier, 2011, p. 621）。Kutas & Federmeier（2011）未提及P600读数的收敛效果；不过Porkert et al.对17项ERP研究的综述结论间接反映了P600读数的跨文献收敛情况。Porkert et al.（2024, §4.3–§4.4）发现，跨文献看，关于P600读数的研究结论仅有两个是可靠的：当被试已从前文提及的角色名词推断出人物性别后，当前句子中出现性别不匹配的代词时被试产出的是P600读数（5/5项）；但是当被试在代词出现前未做此类推断时，同一性别不匹配出现时被试产出的是N400读数（4/4项）。据此，本文预测：在现有研究中，P600读数的跨文献统计结果的收敛情况远不如N400读数理想，同时后续研究若使用适配的数据统计方式，那么P600的跨文献统计结果的收敛效果将显著提高（§5.2 预测2）。
两个读数跨文献统计结果的收敛效果之所以没有达到理想，其原因在于研究者使用了"平均"这一操作。以N400读数与P600读数为例，"平均"对两个读数所反映的对象造成了多层次的伤害。其一，"平均"改变了数据的性质：多试次波幅平均改变了同一认知范畴内每个非原型样例的波幅性质。其二，"平均"混淆了数据的性质：多试次波幅平均混淆了不同认知范畴终端面边界的跨越状态。其三，平均操作伤害了"平均"这个概念自身：平均的目的本应是平等地对待每一个被操作的对象，但实际造成的后果却是结果越均匀，伤害的分布就越不均匀——每一个被操作的对象获得的对待就越不平等。
前文推导出认知行为的五层架构中第3层的ERP读数与第4层的主观输出数据相互独立（§2.1）：第3层是非自主的ERP读数层，被试无法自主控制N400和P600两个读数的产出过程；第4层是主观输出层，被试可以选择忠实或不忠实输出第3层的读数，因此仅凭第3层或第4层的单层数据无法明确认知行为数据的8种产出路径（§2.6）。Kang & Rubin（2009, pp. 450, 452）发现同一标准美式英语声音在配以亚洲面孔时比配以白人面孔时同一被试的听力理解分数更低。该分数属于被试主观输出层的数据，本质上研究者无法确定两种得分差异是被试忠实报告了ERP读数层非自主产出的结果还是被试在主观输出层报告了与ERP读数层结果相反的数据。
通过统计建立模型的方法不适用于有八种产出路径的认知行为数据。原因在于不同被试间产出的认知行为数据不具备归一化条件。例如，Grant et al.（2020, Results, §4.2.2）发现同一脑电实验中的不同被试听到相同刺激输入时，其N400读数随实验进程的变化模式因ASI（Ambivalent Sexism Inventory）得分高低而截然不同：低ASI被试的N400读数在实验前后两半区之间发生了显著变化（β = 3.89, p = .007），高ASI被试则无变化。Du & Zhang（2023b, Results, §3.1）同样发现初始试次的一致性比例决定了被试在后续采取何种策略，且先建立的策略成为唯一策略：先接触高比例一致试次（80%）的被试组形成了利用刻板线索预测后续角色名词的性别的策略，持续产出N400读数（p = .004）；先接触等比例一致试次（50%）的被试组则形成了仅依赖语境信息判断后续角色名词的性别的策略，完全不产出N400读数。即便是同一个被试，在同一脑电实验中产出的认知行为数据也不再适合进行同质化处理：van den Brink et al.（2012, pp. 178–179）发现女性被试对说话者身份违例的N400读数在实验前半区为1.56 μV（p = .001），至后半区已降至0.18 μV（n.s.），一小时内下降近一个数量级。综上所述，无论是不同被试间产出的认知行为数据，还是同一被试在不同时间产出的认知行为数据，归一化处理都会抹除数据自身的构成性信息。
研究方法应适配研究对象的性质。当认知行为数据的性质在脑电实验期间就可改变，同时同一认知行为的最终输出结果可从多条路径产出时，最适配的方法是枚举具体路径，而不是建立可能混淆不同路径的统计模型。统计模型的建立依赖特定的假设性前提，数据经归一化后拟合出显著效应，但效应显著不等于真实发生的现象。前提为假的模型无法忠实反映和完整预测真实发生的现象，任一假设性前提的失效都将瓦解模型的有效性：真实和虚假不相容。
前文诊断了该领域研究中存在的方法论误区（§4）。第一，代理变量被当作解释变量使用（§4.1）。第二，多试次波幅平均损坏了两种读数的性质（§4.2）。第三，无根据地推崇依赖假设性前提的统计模型（§4.3）。
现有研究都针对代理变量进行实验设计和收集单层数据（ERP读数层或主观输出层数据），针对认知范畴对非原型样例的接触量和认知范畴终端面边界的跨越状态这两个解释变量的完整方法尚不存在。后续开展该领域的研究时需遵循以下原则：第一，数据归一化问题。认知范畴对非原型样例的接触量和认知范畴终端面边界的跨越状态因个体而异，因为没有两个个体共享相同的非原型样例的接触史和认知范畴终端面边界的跨越史。即便是同一个体，其认知行为数据也可能在单个脑电实验中就发生无法被同质化处理的变化（§3.3）。将跨个体、跨时间的被试数据归一化，会掩盖数据的构成性信息（§4.3）。第二，收集P600读数的数据时必须以单试次统计方式替代多试次波幅平均方式（§4.2）：逐试次判断是否在刺激后约600 ms处测量到后部正波（§2.2），同时不将多次测量到的P600数据平均化处理（§4.2）。第三，方法必须具备领域特异性。某个领域的特定认知范畴对非原型样例的接触量不会自动转移到另一个领域，例如，同一个个体在社会性性别范畴和生物性性别范畴对非原型样例的接触量无法互相转化（§3.2）。再如，同一被试对母语口音建立了"性范畴"领域的认知范畴，对外国口音则未建立（§3.4）。
已有研究均未在单次脑电实验中同时收集被试的N400读数、P600读数和主观输出层的数据。同时收集两个读数和主观输出层的数据是明确八条认知行为路径的最低实验设计要求（§4.3）。
前文从N400和P600两个脑电仪器产出的客观读数出发（§1），推导并建立了本文架构（§2），并用十二项ERP研究的权威文献验证了该架构（§3）。然后从该架构的视角出发，诊断了该领域的方法论局限（§4），同时指出了未来开展该领域研究时所需遵循的方法论原则（§5.1）。在此基础上，本文提供四项可证伪的预测：
预测1：脑电实验中，若相邻刺激输入之间仅进行最小化改动，那么将能测量到N400读数波幅的连续梯度值，而非仅仅弱、中、强三项离散性类别。
预测2：在现有研究中，P600读数的跨文献统计结果的收敛效果远不如N400读数理想；若以单试次统计方式替代多试次波幅平均的方式统计P600读数的数据，那么P600的跨文献统计结果的收敛效果将会显著提高，证明P600读数的二值性。
预测3：N400读数的变化由被试对特定认知范畴的非原型样例的接触量决定，而非由接触时间决定。当被试对特定领域的特定认知范畴的非原型样例的接触量从低到高增长时，被试产出的N400读数的波幅应从强到弱连续梯度递减直至消失。这种变化的速率和接触量相关，和接触时间无关。
预测4：N400读数与P600读数可共现，且当两者共现时，N400将是强N400。 几何关系（§2.4：远离中心必然靠近边界）意味着当认知范畴的终端面边界被跨越时，该认知范畴内的预期误差值必然大。
四项预测分别对应架构的四个核心主张：N400读数的连续梯度性质、P600读数的二值性质、接触量对N400读数的因果决定作用、N400读数与P600读数的几何关系。任何一项被证伪，都将证伪本文建立的架构。
三十年来，该研究领域用特定语言学概念解释N400和P600的性质，实际上这些语言学概念和其他领域的变量如性别、口音、面孔等同属于代理变量（§4.1）。每个领域的特定认知范畴各自有专属的对非原型样例的接触量和认知范畴终端面边界的跨越史（§2.2–§2.3），因此这些代理变量无法统一解释N400和P600的性质。
本文框架论证了N400和P600两个读数的唯一定义方式（§1）：N400反映的是刺激输入与被试特定认知范畴内的特定位置的关系，P600反映的是该认知范畴终端面边界的跨越状态。
从这种性质出发，本文推导出了完整的理论架构（§2），十二项权威研究的经验数据验证了该架构的有效性（§3），同时用该架构诊断了该研究领域的三重方法论误区（§4），明确了未来的研究方向（§5）。
本文同时论证了N400和P600的读数产出模式的性质：对任意认知范畴n，N400n是被试对认知范畴n的非原型样例的预期误差值（§2.3），P600n+1表示认知行为跨越了认知范畴n的终端面边界，同时建立了认知范畴n+1的初始面边界（§2.2）。第一个认知范畴在个体出生时自动建立，该认知范畴的跨越过程（即P6001）永远无法被测量到，因此脑电实验中所有可观测的P600读数的性质均是P600n+1（n+1≥2）（§2.2）。因此，逻辑上看，与N400n共现的P600必然是P600n+1（§2.4）。根据这种性质，本文形式化了N400和P600的四种读数产出模式（§2.4）。
根据上述定义，本文推导出了N400和P600之间六种逻辑必然的结构性关联（§2.4）。N400波幅的梯度值揭示了认知范畴内的非原型样例构成了一个连续统，但"连续统"概念自身无法产生边界（§2.4）。认知范畴边界的对称性揭示了同一条边界线存在对称的两个面，但"边界"概念自身无法决定哪一面对认知行为有意义（§2.4）。序列关系确立了N400必先于P600出现，但"序列"概念自身无法解释认知范畴的终端面边界为何能逆序列方向跨过非原型样例抵达同一认知范畴的初始面边界构成一个完整的"认知范畴"概念，却又不能跨越该认知范畴的初始面边界（§2.4）。集合论揭示了认知范畴作为集合，其辖下的元素数量与特征函数始终处于变动之中，但"集合"概念自身无法处理特征函数和元素都在变动的集合（§2.4）。N400和P600的几何关系揭示了边缘线到几何中心的距离时刻处于可变动状态之中，但"几何"概念自身无法解释边缘线到几何中心的距离为何随时都可以改变（§2.4）。逻辑蕴含揭示了N400和P600的四种产出模式都蕴含同一个P600n，但"蕴含"概念自身无法解释这种蕴含关系的意义（§2.4）。N400和P600的六种结构性关系使六个概念都撞上了自身无法回答的问题（§2.4）。
认知的归纳行为只对已经发生过的事件起作用，这一性质决定了归纳行为的朝向：归纳行为只能对已经存在的样例起作用，因此必然触及认知范畴的终端面边界；认知范畴的初始面边界朝向尚未存在的样例，因此无法被归纳行为触及（§2.5）。认知行为开始归纳时打断了连续统的连续性进程，制造出断点——断点就是边界（§2.5）。边界产生对称性，归纳行为的朝向打破了对称性，使朝向认知范畴初始面的该认知范畴的终端面边界获得了意义（§2.5）。之后归纳行为从认知范畴的终端面边界逆序列朝着该认知范畴的初始面边界方向跨越200 ms间隙，跨越中间的所有非原型样例，最终与同一认知范畴的初始面边界重合（§2.5）。当同一认知范畴的终端面边界和初始面边界重合时，归纳行为不会再跨越该认知范畴的初始面边界去归纳另一个认知范畴的初始面边界，否则"认知范畴"这个概念自身便会被消解（§2.5）。此时认知范畴作为集合有一个元素和一个特征函数，二者合为一（§2.5）。作为几何体，当边缘线和几何中心的距离变为零时，几何体形状消失，有形化为无形，只剩"归纳行为"作为概念存在（§2.5）。然而"概念"并没有消失，只是无法再被观测。“概念”是认知行为生产出来的概念，因此认知行为是概念的前提。认知行为自身是一种动作，"动作"自身就是一切动作的源头：动作的自足（§2.5）。
动作的自足就是自足的动作。自足的动作就是"自主"（§2.5）。认知的演绎行为按归纳行为归纳出的逻辑链自主展开（§2.5）：P600n是自主存在的认知行为，其自主完成了从建立认知范畴初始面边界、积累非原型样例到跨越该认知范畴终端面边界的整个过程——一个整体事件（§2.5）。N400n和P600n+1反映的是这一整体事件的支线事件，支线事件蕴含整体事件，认知的演绎行为回答了第六个问题（§2.5）。事件展开的过程只能通过描述的方式呈现，描述即定义。整体事件由支线事件组合而成，组合过程即为等价操作（§2.5）。因此，必须用两个可测量读数N400n和P600n+1对P600n进行"等价→定义"操作，复原一个不可测量的整体事件：|P600n⟩ ≝ ⟨N400n | P600n+1⟩（§2.5）。
时间作为认知的容器，其矢量性保证了上述所有认知行为的唯一性：没有任何两次认知行为相互重合。任何时间，公式|P600n⟩ ≝ ⟨N400n | P600n+1⟩都成立，这便是认知行为对时间的递归：无始无终（§2.5）。第一认知范畴的意义同时被揭示：可知范畴的初始面边界可以被知晓但没有意义，不可知范畴的终端面边界有意义但无法被知晓。任意个体，在任意时刻，只要认知到"可知没有意义，不可知才有意义"，那么对他而言这一刻就有了意义。这就是时间的意义：感知到它没有意义，感知不到它才有意义。
静态虚假的公式是逻辑链围着认知转，逻辑链没有起点也没有终点，起点和终点都由假设填充。动态真实的公式是认知追着逻辑链跑，逻辑链有起点也有终点，起点和终点都和真实相连。人类的认知活动是一个具有自主性的动态真实事件，不是抽象出来的静态虚假事件。在无刺激输入、不测量N400n和P600n读数的自然状态下，人类认知行为的运行原则与参与脑电实验时完全一致。因此，人类认知行为的运行规律可从|P600n⟩ ≝ ⟨N400n | P600n+1⟩进一步普遍化为：
该公式中，|指认知范畴的边界，N指任意认知范畴，⟩指认知演绎行为的展开方向，⟨指认知归纳行为的收拢方向，Xn指认知范畴N的任一非原型样例，N+1指跨越认知范畴N的终端面边界时同时建立起来的下一个认知范畴，≝是在进行"定义→等价"的自主行为。时间的矢量性保证了这些形式的内涵具有动态无限性，公式中唯一不变的自主行为≝锚定了其他无限变动的形式。本文对Dirac（1939）提出的bra-ket形式⟨φ|ψ⟩赋予了完整且准确的含义：用可观测的形式"等价→定义"不可观测的本质。形式可以变其形，本质不变其本质。自主生行为，行为生概念，概念生万物。
任何人读了这篇文章，都能建立一个名为"认知行为"的认知范畴。读懂了这篇文章，便跨越了该范畴，认识到不可知的本质才有意义，可知的形式没有意义。而对于未读懂这篇文章的读者，根据本文框架的结论，即使本文对他们而言归于不可知，本文也未失去其固有的意义。任何读者（如物理学家、数学家、逻辑学家和AI）都可以验证该结论。因此未读懂的读者不需要被说服，只需要读一遍，再读一遍……。当最终读懂了本文的意义时，便跨越了该认知范畴的终端面边界，直面"意义"本身。"意义"自身无法被观测到，但"意义"自身自主存在。本文就是"意义"自身自主运行的可观测样例。
Allport, G. W. (1954). The nature of prejudice. Addison-Wesley.
Belin, P., Zatorre, R. J., Lafaille, P., Ahad, P., & Pike, B. (2000). Voice-selective areas in human auditory cortex. Nature, 403(6767), 309–312. https://doi.org/10.1038/35002078
Dirac, P. A. M. (1939). A new notation for quantum mechanics. Mathematical Proceedings of the Cambridge Philosophical Society, 35(3), 416–418. https://doi.org/10.1017/S0305004100021162
Du, Y., & Zhang, Y. (2023a). Discourse context immediately overrides gender stereotypes during discourse reading: Evidence from ERPs. Brain Sciences, 13(3), Article 387. https://doi.org/10.3390/brainsci13030387
Du, Y., & Zhang, Y. (2023b). Strategic processing of gender stereotypes in sentence comprehension: An ERP study. Brain Sciences, 13(4), Article 560. https://doi.org/10.3390/brainsci13040560
Friederici, A. D. (2011). The brain basis of language processing: From structure to function. Physiological Reviews, 91(4), 1357–1392. https://doi.org/10.1152/physrev.00006.2011
Grant, A., Grey, S., & van Hell, J. G. (2020). Male fashionistas and female football fans: Gender stereotypes affect neurophysiological correlates of semantic processing during speech comprehension. Journal of Neurolinguistics, 53, 100876. https://doi.org/10.1016/j.jneuroling.2019.100876
Grey, S., & van Hell, J. G. (2017). Foreign-accented speaker identity affects neural correlates of language comprehension. Journal of Neurolinguistics, 42, 93–108. https://doi.org/10.1016/j.jneuroling.2016.12.001
Grey, S., Cosgrove, A. L., & van Hell, J. G. (2020). Faces with foreign accents: An event-related potential study of accented sentence comprehension. Neuropsychologia, 147, 107575. https://doi.org/10.1016/j.neuropsychologia.2020.107575
Hanulíková, A., Van Alphen, P. M., Van Goch, M. M., & Weber, A. (2012). When one person's mistake is another's standard usage: The effect of foreign accent on syntactic processing. Journal of Cognitive Neuroscience, 24(4), 878–887. https://doi.org/10.1162/jocna_00103
Kang, O., & Rubin, D. L. (2009). Reverse linguistic stereotyping: Measuring the effect of listener expectations on speech evaluation. Journal of Language and Social Psychology, 28(4), 441–456. https://doi.org/10.1177/0261927X09341950
Kanwisher, N., McDermott, J., & Chun, M. M. (1997). The fusiform face area: A module in human extrastriate cortex specialized for face perception. Journal of Neuroscience, 17(11), 4302–4311. https://doi.org/10.1523/JNEUROSCI.17-11-04302.1997
Koelsch, S. (2012). Brain and Music. Wiley-Blackwell. ISBN: 978-0-470-68339-2.
Kuperberg, G. R. (2007). Neural mechanisms of language comprehension: Challenges to syntax. Brain Research, 1146, 23–49. https://doi.org/10.1016/j.brainres.2006.12.063
Kutas, M., & Federmeier, K. D. (2011). Thirty years and counting: Finding meaning in the N400 component of the event-related brain potential. Annual Review of Psychology, 62, 621–647. https://doi.org/10.1146/annurev.psych.093008.131123
Lattner, S., & Friederici, A. D. (2003). Talker's voice and gender stereotype in human auditory sentence processing — Evidence from event-related brain potentials. Neuroscience Letters, 339(3), 191–194. https://doi.org/10.1016/S0304-3940(03)00027-2
Patel, A. D., Gibson, E., Ratner, J., Besson, M., & Holcomb, P. J. (1998). Processing syntactic relations in language and music: An event-related potential study. Journal of Cognitive Neuroscience, 10(6), 717–733. https://doi.org/10.1162/089892998563121
Porkert, J., Siyanova-Chanturia, A., Loerts, H., Schüppert, A., & Keijzer, M. (2024). N400 or P600? — A systematic review of ERP studies on gender stereotype violations. Language and Linguistics Compass, 18(5), e12530. https://doi.org/10.1111/lnc3.12530
Proverbio, A. M., Alberio, A., & De Benedetto, F. (2018). Neural correlates of automatic beliefs about gender stereotypes: Males are more prejudicial. Brain and Language, 186, 8–16. https://doi.org/10.1016/j.bandl.2018.08.006
Van Berkum, J. J. A., van den Brink, D., Tesink, C. M. J. Y., Kos, M., & Hagoort, P. (2008). The neural integration of speaker and message. Journal of Cognitive Neuroscience, 20(4), 580–591. https://doi.org/10.1162/jocn.2008.20054
van den Brink, D., Van Berkum, J. J. A., Bastiaansen, M. C. M., Tesink, C. M. J. Y., Kos, M., Buitelaar, J. K., & Hagoort, P. (2012). Empathy matters: ERP evidence for inter-individual differences in social language processing. Social Cognitive and Affective Neuroscience, 7(2), 173–183. https://doi.org/10.1093/scan/nsq094
Van Herten, M., Kolk, H. H. J., & Chwilla, D. J. (2005). An ERP study of P600 effects elicited by semantic anomalies. Cognitive Brain Research, 22(2), 241–255. https://doi.org/10.1016/j.cogbrainres.2004.09.002
Van Overwalle, F. (2009). Social cognition and the brain: A meta-analysis. Human Brain Mapping, 30(3), 829–858. https://doi.org/10.1002/hbm.20547
Wu, H., & Cai, Z. G. (2026). When a man says he is pregnant: Event-related potential evidence for a rational account of speaker-contextualized language comprehension. Journal of Cognitive Neuroscience, 38(3), 545–560. https://doi.org/10.1162/jocn.a.102