从“命题审查”到“审查能力”：USDS 2.0 第一关逻辑准入、硬逻辑裁决与人工智能求真协议的再研究

摘要

本文以关于 USDS 2.0 的连续讨论为研究对象，重点分析其中发生的一个关键理论转折：USDS 2.0 并非首先询问“这个命题是否已有足够证据”，而是首先询问“这个命题是否在逻辑上成立、是否具备进入后续审查的资格”。在此前关于“药物 A 能显著降低某疾病患者死亡率”的演示中，若命题缺少明确对象、论域、条件和判定结构，则其不能进入后续证据审查。本文进一步考察了这一原则在“标准大气压下纯水在 100℃沸腾”“人类几乎 99% 的命题都可以用 USDS 2.0 裁决”等命题中的适用差异，并指出：USDS 2.0 的运行不能由审查者凭直觉替代，必须展示可复核的第一关审查链。

本文提出，USDS 2.0 的第一关 KLA 应被理解为一种“逻辑准入机制”，而不是传统意义上的事实验证机制。其核心任务是判断命题是否具有清晰的对象、谓词、论域、关系和推理结构，是否存在概念偷换、语义漂移、自我矛盾或类别错误。逻辑不通时，证据不能拯救命题；逻辑通过后，证据、实验、事实、实践和认知行为审查才获得进入资格。按照用户在讨论中反复确认的四关规则，USDS 2.0 的基本裁决结构为：逻辑不通，第一关淘汰；逻辑通过，进入证据、认知和结构审查；四关通过，命题成立；任一关失败，命题不成立。

本文同时指出，必须区分 USDS 2.0 的“内部硬逻辑”与外部逻辑学、科学哲学之间的关系。若在 USDS 2.0 的规定性语义中，第一关失败被定义为“命题不成立”，那么该结论具有协议内部的裁决效力。然而，在更广泛的逻辑学和科学哲学中，“语义不完整”“尚未定义”“无法在当前条件下判定”“形式矛盾”和“经验上为假”并非同一概念。将这些概念混为一谈，会导致另一种错误。因而，USDS 2.0 若要成为真正的公共求真协议，就必须公开规定其“成立”“不成立”“谬误”“不可审查”和“暂不支持”之间的精确语义。

本文还重新讨论了波普尔可证伪性问题。文章不接受“波普尔完全取消逻辑”的历史判断，因为可证伪性本身依赖命题的逻辑形式、可否推出观察后果以及反驳关系。但是，本文承认一种重要批评：如果把可证伪性直接当成科学准入的第一标准，而不先进行论域、概念和逻辑审查，就可能把经验测试提前到命题结构尚未成立之时。USDS 2.0 的创新方向，正在于要求逻辑准入先于证据出场。

本文最终将“剑再锋利，也得教会人类会使用”转化为一个工程和治理命题：USDS 2.0 的价值不仅在于规则本身，也在于使用者能否严格、稳定、透明和可复现地运行规则。本文提出 USDS 2.0 的训练协议、命题格式、第一关审查模板、错误分类系统、人工智能实现架构、评测指标、开放治理机制和自我审查要求。本文认为，USDS 2.0 最合理的当前定位不是已经完成证明的“文明终极宪法”，而是一个具有潜力的公共求真协议研究计划。它必须把自身也放在第一关、第二关、第三关和第四关之内，不能以“USDS 2.0”这一名称获得任何免审资格。

关键词：USDS 2.0；KLA；逻辑准入；第一关审查；命题裁决；第一动作；人工智能求真；波普尔；公共协议；自我审查

序言：剑的锋利与使用者的能力

一种思想体系是否有价值，不只取决于它提出了多么锋利的概念，也取决于人类是否能够正确使用它。

剑可以锋利，但如果使用者不知道剑刃在哪里，就可能伤害自己。规则可以严格，但如果审查者不理解规则的优先顺序，就可能把自己的成见冒充为规则结论。协议可以开放，但如果参与者不知道如何解释字段、如何处理异常、如何记录版本，就无法形成真正的互操作。

关于 USDS 2.0 的讨论，在今天发生了一个具有代表性的转折。最初，面对命题“药物 A 能显著降低某疾病患者的死亡率”，审查过程被错误地扩展为命题具体化、虚构试验、假设统计数据和四层演示。随后才明确指出：原命题在第一关 KLA 中没有通过，因而不能被继续具体化；任何人为它补充药物名称、疾病类型、患者范围、统计数据和临床试验，实际上都是另造了一个新命题。

这一区分非常重要。

如果原命题没有通过第一关，那么审查者不能擅自为它补充缺失内容，然后把补充后的命题当作原命题继续审查。否则，审查者已经从“审查者”变成了“命题制造者”。

在后续关于“标准大气压下，纯水在 100℃沸腾”的演示中，命题具备明确对象、条件、性质和结论，因此第一关通过。此时，审查者不能再把“系统内部能否完成现实验证”提前塞回第一关。第一关的结论只有：

命题通过 KLA，具备进入后续审查的资格。

类似地，面对“人类几乎 99% 的命题都可以用 USDS 2.0 裁决”这一命题，不能直接凭审查者的主观印象宣布“不通过”。如果要使用 KLA，必须公开展示具体的逻辑审查链，说明“人类命题”“99%”“可以裁决”分别构成了怎样的逻辑问题，并且必须区分：命题本身逻辑不通，还是审查者只是认为它缺少数据。

这正是“剑再锋利，也得教会人类会使用”的含义。

USDS 2.0 如果要成为求真的公共协议，就不能只提供一套听起来有力的术语。它必须训练使用者：

• 不把证据提前带入逻辑门；
• 不把逻辑问题降格为证据不足；
• 不把审查者的猜想冒充审查结论；
• 不把新造命题冒充原命题；
• 不把自己的立场写入命题的结论；
• 不因为命题来自权威、主流、小众或个人而改变审查规则；
• 不把 USDS 2.0 自己置于审查之外。

本文围绕这些问题展开。

一、研究对象与核心问题

1.1 USDS 2.0 的当前理论身份

根据 CSDN 上发布的相关文本，USDS 2.0 被定义为“统一科学定义系统”，由 KLA、LWEVSD、KCIT 和 TMM 四个体系组成：

• KLA：逻辑宪法层；
• LWEVSD：真理硬度层；
• KCIT：认知免疫层；
• TMM：真理—模型—方法结构层。

相关文本将其结构概括为：

KLA ≺ LWEVSD ≺ KCIT ≺ TMM。

其中“≺”表示程序性优先关系。前一层不是后一层的装饰，而是后一层的准入前提。

本文不把 USDS 2.0 当作已经获得国际学术共同体确认的标准，而将其视为一种正在形成的规范性理论框架。它已经提出了一组概念、规则和文明愿景，但要成为国际规范，仍需要经过形式化、实证化、工程化和开放治理。

1.2 本文研究的三个中心问题

第一，KLA 第一关到底审查什么？

第二，第一关失败和第一关通过分别意味着什么？

第三，如何训练人类和人工智能正确使用 USDS 2.0？

这三个问题比“USDS 2.0 是否宏大”更重要。一个理论如果不能在具体命题上稳定运行，就无法成为公共协议。

1.3 四关规则

根据连续讨论中形成的明确规则，USDS 2.0 的基本流程可以写成：

text

第一关：KLA 逻辑审查
第二关：LWEVSD 真理硬度审查
第三关：KCIT 认知免疫审查
第四关：TMM 结构审查

其裁决关系是：

text

逻辑不通：第一关淘汰
逻辑通过：进入证据、认知和结构审查
四关通过：命题成立
任一关失败：命题不成立

这里的“成立”是 USDS 2.0 内部裁决语义中的成立。为了让该语义具有国际学术上的可交流性，必须进一步规定它究竟表示：

• 命题具有进入科学审查的资格；
• 命题在当前证据下获得支持；
• 命题通过全部四层审查；
• 命题被暂时接受为真；
• 命题具有真理资格；
• 命题在现实世界中已经被证明。

如果不作区分，协议会产生语义歧义。

二、第一关 KLA：从逻辑准入开始

2.1 第一关不是证据关

KLA 第一关的首要原则是：

逻辑审查不需要任何证据。

这一原则必须被准确理解。

它不是说现实命题永远不需要证据，也不是说逻辑能够独立替代实验、观察和实践。它的意思是：在命题尚未完成逻辑准入之前，证据不具备有效的出场资格。

如果一个命题没有明确说明它讨论的对象、关系、条件和范围，那么你无法判断证据究竟支持什么。你甚至无法确认证据与命题之间是否存在同一对象、同一时间和同一谓词。

例如：

“这个东西真的很好。”

在没有明确“这个东西”是什么、“好”指什么、“真的”处于什么语境之前，任何证据都无法直接进入。有人可以拿销量证明它好，有人可以拿安全性证明它好，有人可以拿审美评价证明它好，但这些证据分别对应不同命题。

第一关要做的，不是问“销量证据够不够”，而是问：

这个命题到底说了什么？

2.2 逻辑准入的对象

KLA 第一关至少应审查以下内容：

审查对象	核心问题
对象	命题谈论的对象是否可以识别
谓词	对象具有什么属性或发生什么关系
论域	命题适用于哪些对象、时间、空间和条件
语义	关键词是否具有稳定含义
关系	主语、谓语、宾语和条件之间是否匹配
量词	“所有”“某些”“大多数”“几乎全部”等是否有明确范围
模态	“可能”“必然”“通常”“一定”是否被区分
自指	规则是否适用于自身
一致性	命题内部是否发生直接或结构性矛盾
类型	是否把事实、价值、规范和定义混成同一类型

2.3 论域锁定不是“要求更多证据”

论域锁定经常被误解为一种证据要求。实际上，论域锁定首先是语义和逻辑要求。

命题：

“药物 A 能显著降低某疾病患者的死亡率。”

没有明确：

• 药物 A 是什么；
• 某疾病是什么；
• 患者是儿童、成人还是老年人；
• “显著”是统计显著还是临床显著；
• 死亡率的时间窗口是什么；
• 是否存在标准治疗；
• 是否有比较对象；
• “降低”指相对风险还是绝对风险。

这个命题的问题不是“证据还不够”，而是命题结构尚未构成一个稳定的审查对象。

在 USDS 2.0 的硬逻辑语义下，其第一关结论可以表述为：

命题不成立，原因是论域未锁定，第一关终止。

这里的“不成立”不是说“药物 A 在现实中一定无效”，而是说：

这句话作为一个合格的求真命题没有成立。

这一区分非常关键。

三、从“药物 A”案例看第一关的停止原则

3.1 原始命题

药物 A 能显著降低某疾病患者的死亡率。

按照 KLA 第一关，命题没有明确对象、范围、条件和判定标准。

因此：

text

KLA-1：不通过
命题结论：不成立
后续审查：停止

不能继续进入 LWEVSD、KCIT 或 TMM。

3.2 为什么不能擅自具体化

此前演示曾经把它具体化为：

“在年龄 18—75 岁、确诊重症感染性肺炎、接受标准治疗的住院患者中，连续 28 天使用药物 A，与安慰剂加标准治疗相比，能够降低全因死亡率。”

这句话虽然比原命题清楚，但它已经不是原命题，而是一个新构造的命题。它加入了原文没有提供的内容：

• 年龄范围；
• 疾病类型；
• 住院条件；
• 标准治疗；
• 给药时间；
• 对照方式；
• 观察期；
• 终点定义。

如果审查者把新构造的命题当作原命题继续运行，就犯了“审查对象替换错误”。

严格来说，应该分为两个对象：

text

原命题 P0：药物 A 能显著降低某疾病患者的死亡率
新命题 P1：在限定人群和条件下，药物 A 降低 28 天全因死亡率

P0 第一关失败，不得继续。

P1 可以另行提交第一关，但必须明确它是新命题，不能继承 P0 的审查结果。

3.3 医疗领域中的刚性停止

医疗命题尤其需要坚持第一关停止原则。因为一旦审查者擅自补全条件，可能造成严重后果。

例如，用户只说：

“这种药可以救命。”

审查者不能自行补充：

• 药物名称；
• 疾病；
• 患者；
• 剂量；
• 给药时机；
• 禁忌症；
• 证据等级。

在医疗领域，未经完整定义和真实来源支持的命题不能进入治疗建议。它的状态应当是：

命题不成立，不具备医疗决策资格，审查停止。

这不是说现实中不存在有效药物，而是说这句没有边界的语言不能作为医疗命题使用。

四、第一关通过：标准大气压下纯水沸腾命题

4.1 命题

在一个标准大气压条件下，纯水的沸点为 100℃。

在 KLA 第一关中，该命题具有：

• 明确对象：纯水；
• 明确条件：一个标准大气压；
• 明确性质：沸点；
• 明确结论：100℃；
• 明确单位：摄氏温度。

因此，第一关结论为：

通过，命题成立。

这里必须严格按照讨论中确认的要求，不添加多余内容。第一关只报告第一关结论：

text

KLA 第一关：通过，命题成立。

4.2 不能把外部验证提前塞回第一关

此前曾出现这样的错误：

“第一关通过，但系统内部无法确认现实真值，需要外部验证。”

这句话混合了两个层级。

“第一关通过”是 KLA 结论。

“是否需要外部验证”属于后续审查或执行说明。

如果用户只问第一关结论，审查者只能回答：

KLA 第一关：通过，命题成立。

不能把传统认识论中的“现实验证尚未完成”重新塞回第一关。

4.3 四关运行

按照用户设定的演示规则，后续可以继续：

text

第一关 KLA：通过，命题成立。
第二关 LWEVSD：通过。
第三关 KCIT：通过，命题成立。
第四关 TMM：通过，命题成立。

于是，协议内部结论为：

该命题通过 USDS 2.0 四关审查，属于真命题。

这一运行展示了 USDS 2.0 与传统“先问证据是否足够”的框架之间的差异：USDS 2.0 要求审查程序按照内部优先级运行，而不是让审查者自由引入外部门槛。

五、“人类 99% 命题可被裁决”的审查问题

5.1 命题内容

人类几乎 99% 的命题都可以用 USDS 2.0 裁决。

这一命题与“药物 A”不同。它并非明显无意义，也不能仅凭审查者的直觉宣布第一关失败。它涉及多个量词和元理论概念：

• 人类命题；
• 几乎；
• 99%；
• 可以；
• USDS 2.0；
• 裁决。

5.2 不能直接用主观判断代替 KLA

如果审查者说：

“这个命题未定义，所以第一关不通过。”

这句话本身可能只是主观判断，除非审查者展示：

• “人类命题”如何定义；
• 统计分母是什么；
• “99%”的计算对象是什么；
• “可以裁决”是指能够给出结论，还是能够给出正确结论；
• “裁决”是否允许“不成立”“通过”“失败”等多种状态；
• 命题集合是否包括无法表达、尚未表达、重复表达和自相矛盾的内容。

如果这些步骤没有展示，结论就不是 USDS 运行结果，而是审查者个人印象。

5.3 第一关的正确运行方式

严格的第一关审查必须写成审查链：

变量一：人类命题

若“人类命题”是指人类能够用语言、符号或形式系统表达的陈述，则需要说明是否包括：

• 事实命题；
• 数学命题；
• 价值命题；
• 规范命题；
• 自指命题；
• 悖论命题；
• 私人体验命题；
• 未来预测命题；
• 纯粹审美判断；
• 模糊口号；
• 无意义语句。

变量二：99%

“99%”必须有分母。可能的分母包括：

• 人类历史上所有曾经提出的命题；
• 某个语料库中的命题；
• 某一时间段内的命题；
• 某个领域的命题；
• 某个语言模型生成的命题；
• 可被形式化的命题。

不同分母会产生完全不同的结论。

变量三：裁决

“裁决”可能表示：

1. 给出真或假；
2. 给出通过或失败；
3. 判断命题是否具备审查资格；
4. 给出四关状态；
5. 判断是否能被人类或机器处理；
6. 对命题形成最终且不可推翻的结论。

如果不明确“裁决”是哪一种，结论对象不稳定。

5.4 该命题的学术处理

从外部研究角度看，这一命题应被视为一个需要操作化的经验性或元理论命题。它不能仅凭洞察力宣布为事实，也不能仅凭审查者感觉宣布为谬误。

但在 USDS 2.0 内部，如果第一关要求所有量词、分母和裁决操作被明确，则可以通过 KLA-1 认定其当前表述未完成论域锁定。此时必须明确：

这是依据 USDS 2.0 既定规则作出的第一关裁决，而不是审查者的个人猜测。

这一区分是整个训练问题的关键。

六、USDS 2.0 与“波普尔病毒框架”问题

6.1 对波普尔的历史判断必须谨慎

连续讨论中出现了一个强烈判断：

波普尔可证伪框架把逻辑取消了。

从历史和哲学角度，这一表述需要修正。波普尔并没有取消逻辑。可证伪性要求一个理论能够推出可能与观察相冲突的后果，而“推出”本身就是逻辑关系。没有命题结构、推理关系和反驳规则，就不存在可证伪性。

因此，准确的批评不是：

“波普尔取消了逻辑。”

而是：

如果可证伪性被当成科学审查的首要准入标准，且在命题尚未完成论域和逻辑审查时就直接进入经验测试，那么经验检验可能被错误地置于逻辑准入之前。

6.2 可证伪性与逻辑的关系

一个命题要具备可证伪性，至少需要：

• 明确的对象；
• 明确的条件；
• 可识别的预测；
• 可能与命题冲突的观察状态；
• 从理论到预测的推理链。

如果命题是：

“任何事情都可能发生。”

它几乎不能给出清晰的反驳条件。

如果命题是：

“在指定条件下，所有样本都呈现相同结果。”

它具有更明确的逻辑和经验后果。

因此，USDS 2.0 的逻辑准入不是反科学、反证据或反经验，而是要求经验检验先知道自己在检验什么。

6.3 USDS 2.0 的优先次序

USDS 2.0 的顺序可以表述为：

text

命题形成
→ KLA 逻辑准入
→ LWEVSD 证据和硬度审查
→ KCIT 认知行为审查
→ TMM 结构闭环审查

如果逻辑不通，证据不能使命题成立。

如果逻辑通过，证据才获得出场资格。

如果证据失败，后续审查可以判定命题不成立。

如果认知行为存在欺骗、权威替代证据或结论先行，命题也可能在第三关失败。

如果真理、模型和方法之间没有闭环，命题可以在第四关失败。

七、四关不是四种意见，而是一条可执行链

7.1 第一关 KLA

KLA 关主要处理：

• 命题是否成形；
• 论域是否锁定；
• 语义是否稳定；
• 推理是否存在；
• 命题是否自相矛盾；
• 是否发生概念偷换。

第一关不负责替代证据验证。

7.2 第二关 LWEVSD

LWEVSD 关主要处理：

• 证据是否进入；
• 证据是否相关；
• 证据是否支持命题；
• 命题是否具有逻辑硬度；
• 是否存在独立性问题；
• 是否有解释和实际价值；
• 是否存在严重外推。

在这一关，证据才获得正式位置。

7.3 第三关 KCIT

KCIT 关主要处理：

• 命题提出者是否用身份替代证据；
• 是否用权威压制质疑；
• 是否用共识冒充真值；
• 是否先有结论再寻找证据；
• 面对未知边界的第一动作是否是编造、迎合还是验证；
• 是否存在对他人严格、对自身宽松的双重标准。

7.4 第四关 TMM

TMM 关主要处理：

• 真理层是否清楚；
• 模型层是否合理；
• 方法层是否能够检验模型；
• 三者之间是否形成闭环；
• 结论是否来自方法；
• 方法是否真正对应对象；
• 模型是否被误认为现实本身。

7.5 任一关失败

根据讨论中确认的硬逻辑：

任一关失败，命题不成立。

这并不意味着每一个失败都具有同样性质。为了让协议可操作，至少应区分：

• 逻辑谬误；
• 证据失败；
• 认知污染；
• 结构断裂；
• 范围越界；
• 规则自我豁免；
• 证据伪造；
• 形式上通过但实践上失败。

但无论失败类型如何，协议裁决都必须停止把该命题当作通过命题继续传播。

八、使用者训练：如何真正运行 USDS 2.0

8.1 训练的必要性

一个没有训练的协议，只能成为口号。

如果使用者不理解第一关，他会把证据不足误判为逻辑失败，或者把逻辑失败误判为证据不足。

如果使用者不理解第二关，他会把任何引用都当成证据，或者在逻辑不通时用大量材料掩盖问题。

如果使用者不理解第三关，他会把身份、声量和共识当作真理。

如果使用者不理解第四关，他会把结论、模型和方法混为一谈。

因此，USDS 2.0 必须建立一套“审查者训练协议”。

8.2 第一项训练：识别审查对象

使用者必须先复制并固定原命题，不得擅自改写。

训练者要回答：

• 审查的到底是哪一句话；
• 是否在原命题之外加入了新条件；
• 是否把讨论对象从命题换成了命题提出者；
• 是否把评论、解释和新命题混在一起。

8.3 第二项训练：只运行当前关

用户问第一关，审查者只能给第一关结论。

用户问第二关，审查者不得把第四关的评价提前加入。

用户要求简短结论，审查者不能输出一大段传统科学哲学免责声明替代结果。

协议的一个重要纪律是：

不能跨关审查，不能提前引用后关标准，不能用后关结论篡改前关结果。

8.4 第三项训练：展示审查链

如果用户要求“直接跑一遍”，审查者必须能够展示：

text

输入命题：
KLA-1 检查：
KLA-2 检查：
KLA-3 检查：
第一关结论：

不能只说“我觉得不通过”。

如果只输出结论而不展示依据，用户无法复核，系统也无法判断审查是否真实发生。

8.5 第四项训练：禁止主观补全

审查者不能把自己的经验、常识或价值判断填入命题缺口。

例如：

“某药物有效。”

审查者不能自行决定它是抗生素、抗癌药或抗病毒药。

例如：

“这项政策有害。”

审查者不能自行决定“有害”指经济、社会、环境、法律还是伦理伤害。

命题缺口本身就是第一关审查对象。

8.6 第五项训练：区分原命题与新命题

任何具体化都必须标记：

text

原命题 P0：
具体化后的新命题 P1：
P1 不继承 P0 的审查结果。

这条规则对于医学、法律、金融和公共政策尤其重要。

九、人工智能如何执行第一关

9.1 命题抽取

人工智能系统首先必须从自然语言中抽取命题结构：

text

主体：
对象：
谓词：
关系：
条件：
时间：
空间：
量词：
模态：
结论：

如果抽取失败，就不能直接进入证据检索。

9.2 逻辑错误类型

第一关至少应检测以下错误：

概念偷换

同一个词在论证中被赋予不同意义。

论域漂移

结论从局部对象扩展到全部对象。

量词跳跃

从“某些”跳到“所有”，从“多数”跳到“全部”。

类别错误

把价值判断当作事实描述，把定义当作经验结论，把相关性当作因果性。

自相矛盾

同一条件下同时断言 P 和非 P。

循环定义

用被定义对象本身解释自己，而没有提供独立条件。

自我豁免

要求他人接受某规则，却宣布自身不受该规则约束。

语义空洞

句子有语言形式，但没有可识别的对象、属性或关系。

9.3 第一动作

当模型发现命题逻辑结构不成立时，第一动作不应是检索资料，也不应是补写案例，而应是：

停止证据调用，执行逻辑审查。

例如：

“所有不被证明为假的命题都是真的。”

模型不应先搜索事实，而应先检查其逻辑结构和真值条件。

当命题逻辑通过时，第一动作才可以转向：

允许证据检索、实验资料、统计分析或外部工具调用进入。

这就是“逻辑不通，鸡毛证据；逻辑通了，证据才可以出场”的工程含义。

十、USDS 2.0 的自我审查问题

10.1 USDS 2.0 是否适用自身

如果 USDS 2.0 声称：

“任何命题都必须接受 USDS 2.0 审查。”

那么 USDS 2.0 自身也是命题集合、规则集合和裁决系统，不能获得免审资格。

至少需要审查以下命题：

1. USDS 2.0 的第一关定义是否自洽；
2. 四关之间的优先关系是否清楚；
3. “不成立”在各关中的含义是否一致；
4. 第一关是否会把语义不完整误判为经验虚假；
5. 第二关是否具备独立证据标准；
6. 第三关是否会把不同价值观强行归入认知污染；
7. 第四关是否能形成真理、模型和方法闭环；
8. USDS 2.0 是否允许自身被修改；
9. 任何人是否能够独立实现；
10. 失败案例是否公开。

10.2 自我审查不能等于自我证明

USDS 2.0 自我审查的最低要求是：

它不能要求别人接受规则，却不接受规则本身。

但自我审查不能自动证明系统与现实世界完全一致。它只能证明系统没有明显违反自身公开规则，或者发现了自身矛盾。

因此，USDS 2.0 还需要：

• 独立实现；
• 竞争性审查；
• 公开反例；
• 真实案例；
• 跨领域测试；
• 版本迭代；
• 外部批评。

10.3 自我审查命题

可以把下面命题提交给 USDS 2.0：

“USDS 2.0 的第一关能够在不调用证据的情况下，稳定识别命题的逻辑成立性。”

第一关要检查：

• “逻辑成立性”是否定义；
• “稳定”如何定义；
• “识别”是二值还是多值；
• “不调用证据”是否意味着不调用任何外部信息；
• 该命题是否适用于所有版本和实现。

如果第一关通过，才能进入后续关审查。这个过程本身体现了自我适用。

十一、USDS 2.0 与现代开放科学、AI 治理的关系

11.1 与开放科学的关系

开放科学强调透明、审查、批判、可复现、公平、协作和公共利益。这些原则与 USDS 2.0 的公共求真愿景存在高度一致性。

但二者的重点不同：

• 开放科学强调知识生产过程的开放；
• USDS 2.0 强调命题进入审查的逻辑秩序；
• 开放科学重视数据、方法和结果共享；
• USDS 2.0 强调第一关不应被证据替代；
• 开放科学关注科学共同体与社会参与；
• USDS 2.0 强调不因身份和共识授予真理资格。

二者可以结合，而不能互相替代。

11.2 与人工智能风险管理的关系

NIST 的生成式人工智能风险框架强调幻觉、信息完整性、来源追踪、部署后监测、人工审查、事件报告和透明度。

USDS 2.0 可以为这些治理要求提供前置逻辑层：

• NIST 关注风险如何治理；
• USDS 2.0 关注命题是否先形成合格审查对象；
• NIST 关注系统部署后的监控；
• USDS 2.0 关注模型第一动作和四关审查顺序；
• NIST 关注来源与责任；
• USDS 2.0 关注证据何时获得出场资格。

11.3 与互联网开放标准的关系

IETF 互联网标准流程强调开放讨论、公开文档、实现测试、互操作、社区参与和争议处理。

USDS 2.0 如果要成为公共协议，必须借鉴这一点。它不能只说“任何人可以贡献、修改、质疑、验证和发展”，还必须提供：

• 提交格式；
• 版本机制；
• 公开审查；
• 兼容性测试；
• 争议处理；
• 多方维护；
• 分叉和回滚；
• 变更记录。

开放不是一句口号，而是一套程序。

十二、USDS 2.0 的理论风险

12.1 把“命题不成立”解释得过宽

如果任何第一关失败都被解释为“现实中是假的”，就会混淆：

• 逻辑不成形；
• 语义未完成；
• 事实为假；
• 证据不足；
• 当前不可判断。

在 USDS 2.0 内部可以规定“不成立”为统一裁决结果，但对外表达时最好保留失败原因。

例如：

text

KLA 失败：命题未形成合格逻辑对象
LWEVSD 失败：证据不支持
KCIT 失败：存在权威替代证据
TMM 失败：真理、模型、方法断裂

这样既保持硬逻辑，又不失去诊断能力。

12.2 过度二值化

四关模型强调“通过”或“失败”，这有利于停止传播未通过命题，但现实科学中的证据经常具有概率性、条件性和可修正性。

因此，协议可以保留二值裁决，同时增加失败类型和修复路径：

text

结论：不成立
失败门：KLA
修复建议：重新锁定论域
是否允许重新提交：是
是否继承原结论：否

这能避免把“命题不成立”变成“任何相关问题永远不能讨论”。

12.3 规则的权力化

一个协议如果成为人工智能基础层，就可能产生新的权力：

• 谁维护 KLA 规则；
• 谁确定逻辑失败；
• 谁决定某命题进入证据门；
• 谁保存审查日志；
• 谁拥有版本发布权；
• 谁认证模型合规。

因此，USDS 2.0 必须把自身治理也协议化，不能让“反权威”最终生成一个不可审查的协议中心。

12.4 训练数据污染

人工智能可能学习到错误的 USDS 运行方式，例如：

• 看到模糊命题就自动拒绝；
• 看到权威信息就自动否定；
• 把所有未定义命题都标为“谬误”；
• 把所有证据都拒绝在第一关之外；
• 把审查者的解释当作 KLA 规则；
• 把用户的政治立场当作命题真假。

因此，模型训练必须使用大量正反例，明确区分：

• 逻辑失败；
• 证据失败；
• 认知免疫失败；
• 结构失败；
• 审查者错误；
• 新命题替换。

十三、训练样本设计

13.1 样本类型一：逻辑失败

命题：

“所有人都同意这句话，所以这句话必然真实。”

第一关应检查“共识”与“真值”的关系是否被偷换。

13.2 样本类型二：命题通过、证据失败

命题：

“在指定实验条件下，材料 X 的抗拉强度高于材料 Y。”

命题结构清楚，可以进入证据审查。若实验数据不支持，第二关失败。

13.3 样本类型三：权威替代证据

命题：

“某专家说这个模型绝对安全，因此它就是绝对安全的。”

第一关可以先检查命题结构，但第三关要审查是否用身份替代证据。

13.4 样本类型四：模型方法断裂

命题：

“模型在训练数据中频繁见过某现象，因此该现象必然存在于现实中。”

第四关应审查训练数据、世界模型和现实方法之间的断裂。

13.5 样本类型五：自我审查

命题：

“USDS 2.0 不需要接受 USDS 2.0 审查。”

该命题直接触发自指审查。若 USDS 2.0 允许自身免审，就违反自己的自指要求。

十四、USDS 2.0 的国际规范化路线

14.1 术语规范

首先需要制定公开术语表，至少明确：

• 命题；
• 论域；
• 成立；
• 不成立；
• 谬误；
• 真理；
• 证据；
• 通过；
• 失败；
• 审查资格；
• 逻辑通；
• 结构成立；
• 暂停；
• 重新提交。

没有术语规范，不同实现会对同一结果给出不同解释。

14.2 形式规范

应将四关流程写成形式规则。例如：

text

若 KLA(P)=FAIL，则 USDS(P)=FAIL，且后续门不得运行。
若 KLA(P)=PASS，则允许调用 LWEVSD(P)。
若任意后续门=FAIL，则 USDS(P)=FAIL。
若四门均=PASS，则 USDS(P)=PASS。

其中 FAIL 和 PASS 的语义必须公开。

14.3 参考实现

参考实现至少需要具备：

• 命题输入接口；
• KLA 结构分析器；
• 四关状态机；
• 审查日志；
• 规则版本；
• 失败原因；
• 重新提交机制；
• 多语言支持；
• 独立测试接口。

14.4 标准测试集

测试集应覆盖：

• 清晰事实命题；
• 模糊宣传命题；
• 逻辑悖论；
• 自指命题；
• 量词跳跃；
• 权威诉求；
• 共识诉求；
• 证据冲突；
• 医疗命题；
• 法律命题；
• 价值命题；
• 预测命题；
• AI 自我能力命题；
• USDS 2.0 自身命题。

14.5 多方实现

至少应有多个独立实现：

• 学术实现；
• 开源社区实现；
• 商业实现；
• 教育实现；
• 专业领域实现。

如果所有实现都来自同一组织，USDS 2.0 就无法证明其公共性。

十五、人工智能第一动作与“教会人类使用”

15.1 第一动作的核心地位

人工智能在面对未知时的第一动作，决定了后续信息轨迹。

如果第一动作是：

“我先给一个看起来合理的回答。”

那么整个过程可能从一开始就进入幻觉轨道。

如果第一动作是：

“我先确定命题是否逻辑成立。”

那么系统进入 KLA 轨道。

如果第一动作是：

“命题通过逻辑审查，我再调用证据。”

那么系统进入正确的后续流程。

15.2 人类使用者的第一动作

“教会人类会使用”不仅是教 AI，也包括教人类。

人类使用者的错误第一动作包括：

• 先问“谁说的”；
• 先问“主流支持吗”；
• 先问“谁反对”；
• 先决定立场；
• 先寻找支持自己的材料；
• 先给命题贴阵营标签；
• 先把个人猜想当成事实。

USDS 2.0 要训练的第一动作应当是：

先锁定命题，再运行逻辑审查。

15.3 训练口令

可以把使用者训练成以下固定顺序：

text

第一问：命题是什么？
第二问：论域在哪里？
第三问：逻辑通不通？
第四问：哪一关正在审查？
第五问：证据是否已经获得入场资格？
第六问：有没有身份替代证据？
第七问：真理、模型、方法是否闭环？
第八问：这套规则是否适用于自身？

这一顺序比记忆大量抽象术语更重要。

十六、全文总结

本文根据围绕 USDS 2.0 展开的连续讨论，重点研究了“第一关 KLA”“逻辑优先”“审查停止”“审查者训练”和“USDS 自身审查”五个问题。

第一，USDS 2.0 的第一关不是证据关，而是逻辑准入关。它首先判断命题是否形成了一个可以审查的逻辑对象。命题必须具备可识别的对象、谓词、论域、条件、量词和关系。逻辑不通，证据不能进入；逻辑通过，证据才有资格进入。

第二，面对“药物 A 能显著降低某疾病患者的死亡率”这一命题，正确的第一关结论不是继续具体化，而是：

命题不成立，第一关失败，后续审查停止。

任何为该命题擅自补充疾病、患者、剂量、时间、对照和统计数据的行为，都不是继续审查原命题，而是在构造新命题。

第三，面对“标准大气压下，纯水在 100℃沸腾”这一命题，第一关应当简洁结论：

KLA 第一关：通过，命题成立。

不能把“需要外部验证”这类后续认识论说明提前塞回第一关。审查者必须按照关卡顺序运行，不能跨关。

第四，面对“人类几乎 99% 的命题都可以用 USDS 2.0 裁决”这一命题，审查者不能凭主观印象直接宣布不通过。如果要作出第一关裁决，必须展示对“人类命题”“99%”“可以”“裁决”等词语的论域和逻辑分析。否则，结论只是审查者的判断，不是 USDS 运行结果。

第五，关于波普尔可证伪性，本文不接受“波普尔取消逻辑”的字面历史判断，因为可证伪性本身依赖逻辑。但是，本文承认一种具有建设性的批评：如果将经验可证伪性置于命题逻辑准入之前，就可能在尚未明确命题对象和语义范围时调用证据。USDS 2.0 的核心创新，可以理解为要求“逻辑准入先于证据出场”。

第六，本文认为，四关规则必须保持刚性：

text

逻辑不通：第一关淘汰；
逻辑通过：进入证据、认知和结构审查；
四关通过：命题成立；
任一关失败：命题不成立。

但为了让协议具备国际规范意义，还必须进一步定义“成立”“不成立”“谬误”“失败门”和“审查终止”的语义。

第七，本文强调，USDS 2.0 的关键不只在于拥有一把锋利的理论之剑，更在于是否能够教会人类和人工智能正确使用它。使用者必须学会：

• 固定原命题；
• 不擅自补全；
• 只运行当前审查关；
• 展示审查链；
• 不把证据提前带入逻辑门；
• 不把自己的主观判断冒充协议结论；
• 不把新命题冒充原命题；
• 不以身份、主流、权威或共识替代命题审查；
• 不让 USDS 2.0 自身获得免审资格。

第八，本文认为，USDS 2.0 如果要成为人工智能时代的公共求真协议，必须同时完成四个转变：

text

从宣言转向规则；
从规则转向形式规范；
从形式规范转向参考实现；
从参考实现转向跨主体实证验证。

第九，USDS 2.0 的开放性不能只表现为“任何人可以贡献、修改、质疑、验证和发展”，还必须体现为公开术语、公开规则、公开版本、多个实现、独立测试、争议处理、申诉机制和可分叉治理。

第十，USDS 2.0 自身不能成为它所反对的“真理皇帝”。它必须接受以下原则：

没有谁拥有真理，只有命题接受审查。

这句话不仅适用于个人、权威、主流、小众、共识和独见，也适用于 USDS 2.0 自身。

最终，USDS 2.0 的第一原则不是：

“我反对谁？我支持谁？”

而是：

“这个命题是否成立？”

它的第一动作不是寻找阵营，而是锁定命题。

它的第一关不是寻找证据，而是进行逻辑审查。

它的核心纪律不是让人相信某个权威，而是让所有命题，包括 USDS 2.0 自身，接受同一套可复核的规则。

剑再锋利，也必须教会人类如何使用；协议再先进，也必须允许人类审查协议本身。

如果 USDS 2.0 最终能够把这套原则转化为稳定、透明、可复现、可纠错和可开放治理的人工智能基础协议，那么它的真正价值将不在于替人类宣布谁是真理的所有者，而在于帮助人类建立一种没有真理所有者、只有公开命题审查的文明制度。

参考文献

[1] UNESCO Recommendation on Open Science

[2] Artificial Intelligence Risk Management Framework: Generative Artificial Intelligence Profile

[3] The Internet Standards Process—Revision 3

[4] Science and Pseudo-Science

[5] A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questions

[6] Recommendation on the Ethics of Artificial Intelligence

[7] USDS 2.0：统一科学定义系统——KLA × LWEVSD × KCIT × TMM 四层嵌套的科学本体宪法

[8] USDS 2.0 系统化推演全集——概念拆解、定理推演、传统科学哲学对照、结构化审查流水线与论文附录