元假设公理体系深度优化文本（一）   

  ——基于有关假设的名人名言的研究引发的思考

目录

引言

总纲

元假设公理

关于公理A3 的释义与说明

部分典型案例

未来研究方向，

内容简介

本文对元假设公理的两个版本做了重大修订，并增加了总纲部分。修订后的两个公理版本主要增加了公理A3，并合并了前半部分。公理A3将公理的适用范围进行了延申。作用范围延申到了全寿命周期的后段。引入了假设衍生物的概念。假设衍生物的概念是作者关于公理产物概念的推广。对假设H3及其假设衍生物进行了规范，增加了长时段，多路径的审查。总纲用于阐明两个版本的应用规则和交叉区间的公理应用问题和处置方法等。给出几个典型案例，用于支撑公理A3。

（严格逻辑版本链接地址：https://blog.sciencenet.cn/blog-3317547-1550410.html，实践应用版本链接地址：https://blog.sciencenet.cn/blog-3317547-1550538.html）

修订后的两个版本的前半部分内容是基本相同的。公理前概念大部分相同，两个版本中的公理B和公理A1和A2是基本相同的，它们共用一个存在论公理和两个认识论基础公理（理论假设认定公理和临时可用假设审定公理）。相同部分是两个公理的共同基础。两个公理版本中，只有公理A3有较大差异，这是两个认识论层面的公理。但是，公理A3是一个公理体系的两个侧面，而不是两个公理体系。

1、引言

1.1、修订元假设公理的动因

在研究元假设公理的过程当中，接触到不少有关假设的名人名言，和一些名人的关于假设的重要论述（以下统称为名人名言）。例如：

高斯（数学家）：没有大胆的猜测，就没有伟大的发现。”

门捷列夫（化学家）：概括、学说、假说和理论是科学的灵魂。”

彭加勒（法国数学家、物理学家）：科学理论并不是现实的反映，而是一种假设。”

若米尼（军事理论家）：每当我使用'假设法'分析情况时，几乎很少有失败的机会。”

胡适：大胆的假设，小心的求证。”这是胡适在1919年提出的治学方法论。

等等。

诸如此类的关于假设”这一主题的经典名人名言，涵盖哲学、科学、技术等不同领域。这些名言从不同角度揭示了假设”的价值。假设既是科学探索的起点，也是思维创新的催化剂。这些名人名言，包含丰富的关于假设的知识财富。有深入研究的价值。自2026年9月初，开始关注并研究这个问题。

对这些名人名言做了初步分析比较研究后发现，这些名人名言涉及到假设的方方面面，包括本体论，存在论，认识论、学科的演进、学科的执行，假设的目的。还有发展的动力、逻辑必要性、认知根源、验证的环节、推理类型以及多个学科分支等等。

这些假设虽然涉及多个技术领域。但是，主要集中在基础科学，技术科学领域，主要适用于基础科学，技术科学领域，而不适用于其它认知活动领域。结合元假设公理的广泛应用领域，产生了一个想法。就是对一些重要假设做一些改写和优化，使得这个名言作用范围达到所有认知活动领域，以对齐元假设公理的适应范围。作者把其中重要的假设进行了筛选。对部分名言加以拓展和增补，形成与元假设公理对应的一组关于假设的重要论断（“新名言”）。这一组论断可以适用于所有认知活动领域，并与元假设公理形成互补。两周前，有关名人名言的扩展增补已经形成一些初步结果。

在对这些名言的改写和重构过程中，又发现一个涉及元假设公理的问题。这些林林总总的名人名言，不仅涉及到假设的方方面面，而且涉及假设的全寿命周期。于是联想到元假设公理在时间轴上的作用范围，思考元假设公理应用范围是不是适合于假设的全生命周期。研究发现，元假设公理只是发放了这个假设出生证。它没有涉及到假设的全生命周期。它至少没有明确的说明，还要负责假设及其推论（产物）的成长与发展。所以元假设公理的适应范围在时间轴上有缺失。即假设H3形成后，长期的应用过程没有包含进去。因此，计划从这个方面对元假设公理进行补充与修订。

而后，作者把拓展元假设公理的时间维度的适用范围作为重要问题进行研究，而对名人名言的修改和拓展暂时搁置起来。

后来的研究，从拓展时间轴问题为重点，又发现了两个公理版本的研究领域覆盖面问题。发现了两个版本的交叉领域及其特殊性，并研究给出了处理方式。

所以，这一次的元假设公理的修订是在有关假设的名人名言的研究基础上完成的。 

1.2、引入假设衍生物概念

1.2.1、假设衍生物

拓展应用范围，如何拓展是一个重要问题。虽然增加了公理A3，用于专门时间轴的拓展问题，但是截止到2026年9月23日止，关于A3 的审查，在时间轴上的拓展，仅延申到假设的推论。

如果公理A3只局限于审查依据H2推导出的逻辑推论（称为形式化衍生物），则属于纯命题层面的检验。因为假设系统不仅会产生定理“推论”，还会通过人的设计、制造、组织和操作，生成技术产品、实验装置、制度安排、流程系统等等实物产品。这些实物产品是实体假设衍生物。形式化假设衍生物和实体假设衍生物称为假设衍生物。所以，所谓假设衍生物是指假设（包括生成类公理）引导生产出的理论（或推论）或实践产物”。

实物产品不是命题推论。实物产品是假设的物化衍生物。这类假设衍生物。同样承载着假设的承诺。

公理A3若要成为名副其实的实践应用公理，就不能只停留在逻辑后承层面，还必须审查这些假设衍生物。

所以，对于实践应用版本，A3可信可用资格的审查范围，不能只包含由H2假设导出的命题推论，同时还应覆盖依托假设所建构的假设衍生物。

但是，假设本身不直接产生实物。实物是假设在背景条件下，按照某种目标 在技术约束条件下， 设计实施的联合结果。产物不是严格逻辑蕴含。推论是形式系统内的必然后承；产物是实践中的偶然生成。  

实体假设衍生物不是假设，不是命题，不能直接证实假设。物化产物的实测表现，可以作为间接判断假设可信可用的实践证据。所以，提供实体衍生物的检测是一个重要的间接验证假设有效性的手段。  

作为一个间接验证假设有效性的手段，假设衍生物是可界定、可追溯、可评价的。

2、元假设公理体系总纲

总纲规定公理的应用条件、版本选择与边界应用规则，并为公理 B、A1、A2、A3 的适用、解读与执行提供统一规范依据，具有体系最高约束效力。

2.1、第一条　体系定位与功能

2.1.1、体系功能

元假设公理体系是关于假设的规范认识论原则体系，是一个元层面的认识论审查框架，不是对象层的形式逻辑公理系统。

元假设公理体系旨在为认知主体就事物特性所设定的命题性认知预设（假设），提供从资格审查、理论建构、框架接入到稳固认定的全链条资格判定标准。本体系不规定认知主体”如何获得”假设（此属溯因推理范畴），仅规定假设”在何种条件下获得何种层级资格”。

元假设公理包括公理 B（本体论公理）和公理 A（认识论公理，含 A1、A2、A3）。所有公理均针对非空论域成立，资格成立与否不依赖单个认知主体的主观信念、偏好或偶然认知状态。

2.1.2 双版本的双轨（双视角）架构

本公理体系适用于认知获得的一切非空论域，涵盖形式科学、经验实证科学、形而上学、神学思辨、社会观念等全部可命题化认知活动。

本公理体系设立一个主干两个分支：严格逻辑版分支与实践应用版分支（见表格1）。两个分支版本不是按学科领域划分的板块式分割，而是同一元假设公理体系的双轨架构。即针对同一认知假设、同一论域对象，从两种不同约束条件出发的层级化审查方式。一条轨道审查形式合法性与逻辑可能性，另一条轨道审查现实准入资格与实践演化路径。两条轨道并行运作、相互补充，基本上构成了对认知假设的全域覆盖。故可以称为双轨架构或双视角架构。

严格逻辑版分支仅审验命题推演结论等形式化产物。严格逻辑版本不引入实物，以保证形式化完备性不受物质变量干扰。

实践应用分支版本：面向真实认知实践，承认认知主体有限性、检验条件的时代局限与认知框架动态演化，保留假设修正、降级、废弃、悬置等现实状态。其审验对象包含两类：一是假设推演得到的命题推论；二是依托假设、公理建构生成的假设物化产物（称为实体衍生物，例如技术人工物等），用于判定假设在真实场景中的准入资格、应用价值与演化路径。

类比说明：公理 A2 相当于取得行医许可证，完成准入，允许投入认知实践；公理 A3 对应行医全过程的持续检验，实际推导诊疗推论并与现实病例比对，管辖假设全部动态演化：晋升、修正、悬置、降级、废弃、高位回落。

表格1：两个分支版本的比较

两个分支版本共享公理 B、A1、A2。它们共用一个存在论公理和两个认识论基础公理（理论假设认定公理和临时可用假设判定公理）。公理 A2 为两版共享的临时可用资格公理，只做准入认定，不处理长期稳固性。A2 的条文相同，但审查程序按版本分别适用：相同部分是两个公理的共同基础。两版差异仅在公理A3：严格逻辑版分支是 A3y，实践应用版分支是A3s。严格逻辑版按理想形式程序审查；实践应用版按该论域或语境公认程序审查。

严格逻辑版分支 A3 审查推论及形式化产物；实践应用版分支 A3 审查推论及实践性假设产物。 

两个版本的逻辑骨架同构，均为 从B到A1，再到A2，最后达到A3共四级链条。两个版本是一个公理体系的两个侧面，而不是两个公理体系。

顺便指出，一个主干，两个分支，也可以采用另一种划分方式。即一个主干从B到A1。两个分支从A2开始分开，A2和A3都是两个分支。本文文本采用仅公理A3 分开的方案，应用中，有时在A2阶段就分开审查。

2.1.3 准全域覆盖与灰色交界地带

基于双视角架构，体系基本实现全域覆盖：所有可形成命题形态的认知假设，均可通过双视角适配纳入审查。或抽离现实约束进入严格逻辑版，或立足现实场景进入实践应用版。

同时，认知领域并非严格二分。在纯形式化推演与纯经验实践之间存在连续的交界地带（称为灰色地带）。例如理论物理、复杂系统科学、计算生物学、工程技术等领域。此类领域的假设同时具备形式演绎属性与现实经验约束，两套版本分支均可合法管辖，形成”双版本均可审查，但单一版本无法完整规制”的复合型状态。

所有交界地带的模糊问题、重叠管辖问题、单一版本规制不全的问题，均通过双轨并行、维度拆分、目标适配的规则体系消解或处理。无需增设新的独立版本，也无需强行合并两套公理体系。

两个版本的对灰色地带的处理，在4.5中有专门论述。

2.2、第二条　总纲目的与效力层级

本总纲不改变公理 B、公理A（A1、A2、A3） 的资格标准，只规定其应用条件、版本选择与边界应用规则。

本总纲不是对象层公理，不直接授予 H0、H1、H2、H3 资格；资格仍由公理 B、A1、A2、A3 判定。

本总纲处理以下事项：

两个版本的定位、关系与分工边界；

两版各自适用的认知场景与研究目标；

灰色交界地带的归属准则与双轨（双视角）审查机制；

跨版本判定差异的性质区分与冲突消解规则；

悬置状态等现实认知状态的版本归属。

其它现实实践中发生的问题。

本公理体系在执行过程中，必须主动识别其所处理假设是否处于交界区间；若是，则自动激活本总纲的协调规则。

2.3、第三条　对象域与适用边界

本公理系统只处理可命题化、可进入非空论域、就事物特性设定的命题性认知预设和由假设生成的假设衍生物。假设衍生物包括形式化衍生物和实体衍生物。

不可命题化、无任何可识别论域或配套认知框架者，不属于两版公理对象，不可进入公理 B 审查。不可命题化的直观体验、默会认知、纯粹主观感受等非命题认知内容，不属于本体系的规制范畴。这是体系法定适用边界，而非体系存在认知真空。

溯因创生之前的候选假设发生过程、默会知识、身体技能、审美体验、纯价值决断、信仰皈依、不可通约框架间的根本冲突等，由前公理、溯因发生学、实践智慧或价值决断处理等。

2.4、第四条　灰色交界地带与跨版本规则

2.4.1 归属准则

灰色交界地带不归属于单一版本独占管辖。本体系确立以研究目标为核心的归属准则。本体系的交界不存在刚性领域划分。

当研究目标为研判假设的形式一致性、逻辑可设性、完备框架下的层级可能性时，适用严格逻辑版，忽略现实认知局限；

当研究目标为研判假设在人类真实认知实践中的准入、检验、应用、迭代与存续状态时，适用实践应用版，尊重全部现实约束；

针对灰色地带的复合型认知问题，必须采用双轨并行审查：两套版本分支独立推演、分别输出层级判定结果，形成逻辑维度与实践维度的双视角认知标签。两套结果相互补充。本体系不允许单一视角片面定论。

2.4.2 跨版本差异与体系矛盾

两套版本对同一假设的层级判定不一致，可能源于以下四种差异：

视角差异：由严格逻辑审查与实践应用审查的目标不同造成；

前提差异：由理想化抽象与现实条件设定不同造成；

语境差异：由不同论域、框架、时间阶段或证据条件造成；

真矛盾：在同一版本、同一论域、同一框架、同一审查前提下发生逻辑冲突。

前三类属于视角正交的正常差异，是复合型认知的必然结果，不构成体系矛盾，无需修正公理或否定任一版本结论。只有第四类才属于体系内部的实质性矛盾，应按照相应版本的修正和冲突消解规则处理。

2.4.3 跨版本约束规则

规则一：若严格逻辑版检出假设存在不可消解的内在逻辑矛盾，判定其丧失形式合法性，则该假设在实践应用版中永远不得晋升为可信可用假设（H3）。

规则二：若仅实践层面出现颠覆性经验反例、产物根本失效或框架冲突，仅影响现实应用资格，不否定该假设在理想完备论域中的形式自洽性与逻辑合法性。但产物在真实场景中失效且无法修复的，实践应用版中 H3 必须降级。

跨版本冲突主要发生于 A3 阶段；A2 阶段的版本程序差异不构成真矛盾。

2.4.4 悬置状态的归属

悬置假设是现实认知的专属状态，仅存在于实践应用版。悬置表示当前认知条件不足、审查结果未收敛的中间存续形态。悬置状态保留持续再审查、晋升、修正或废弃的资格。严格逻辑版因预设条件完备，无悬置状态。该差异为双视角建模前提导致的合法差异，不形成体系漏洞。

在双轨并行审查中，若实践维度因条件不足触发悬置，严格维度不受影响。假设在严格版中继续以其相应层级存在。此为总纲所承认的合法混合状态

3、元假设公理

3.1、元假设公理简介

元假设公理包括公理 B 和公理 A。公理 A 包括 A1、A2、A3。

其中：

公理 B是本体论公理；公理A是认识论公理。公理 A1：理论假设认定公理。公理 A2：可用假设认定公理。公理 A3：论域稳固性公理。公理B和公理A1，公理A3 是公理主干。公理A3有两个分支，分别处理不同领域的问题。

所有公理均针对非空论域成立。各公理所规定的资格成立与否，不以单个认知主体的主观信念、偏好或偶然认知状态为转移。

本公理体系的基本层级为：待审命题 Ha ， 备选假设 H0 ，理论假设 H1 ，临时可用假设 H2 ，可信可用假设 H3分为逻辑可信可用假设 H3y和实践可信可用假设 H3s。

本公理体系只规定“假设资格”的层级条件，不直接断言任何假设为真，也不代替具体学科的经验检验和方法论评价。

3.2、部分公理前概念与定义

定义 1：非空论域 D

非空论域 D 指讨论所涉及的对象、属性、关系及其相应认知框架的范围。

定义 2：认知语境 C

在给定非空论域 D 中，认知语境 C 是某待审命题或假设进入审查、评价、修正与应用时，可公共识别与公共审查的认知条件整体。它包括但不限于：

（1）. 语言与概念框架：术语、定义、分类方式、语义规则等；

（2）. 背景信念与背景理论：语境中暂时接受、悬置或默认的命题集合；

（3）. 方法论与评价标准：推理规则、检验程序、证据标准，以及解释力、预测力、简洁性、融贯性等评价尺度；

（4）. 框架接口条件：该论域配套认知框架及其可审查比对的对应项；

（5）. 外围认知框架：与相邻论域、更大知识整体或实践目标相关的约束；

（6）. 问题情境与实践目的：待解决的问题、应用目标、可接受风险等。

语境可以是既有的语境、也可以是经过修正的或新建立的语境。经过修正的语境，指对既有语境成分进行增删、调整或重构；新建立的语境，指不沿袭既有语境而重新构造认知条件。

语境具有层次性、可嵌套性和可修正性：一个论域可以对应多个语境，一个语境也可以服务多个论域。

语境可由认知主体或认知共同体实际承载，但作为审查条件，它不等于单个主体的主观信念、偏好或偶然心理状态；其内容应能被相关认知共同体公共地识别、讨论和审查。

论域 D 规定“讨论什么对象”，语境 C 规定“在什么认知条件下审查、修正和应用关于这些对象的命题或假设”。

定义3：假设

在给定非空论域 D 中，假设是认知主体就事物特性所设定的、尚待证明或尚待认可的命题性认知预设。

其本质特征包括：广义可检验性、可修正性、可悬置性、可抛弃性、审查开放性。

其中“审查开放性”或称“永久性”，指任何假设不因当前被认可而永久免于再审查。

定义 4：待审命题 Ha

一个进入元假设公理审查前的命题，称为待审命题 Ha。

定义 5：备选假设 H0

通过公理 B 资格审查，在逻辑形式上可被设为假设的命题，称为备选假设 H0。

定义 6：理论假设 H1

通过公理 A1 审查，具备理论建构资格的假设，称为理论假设 H1。

定义 7：临时可用假设 H2

通过公理 A2 审查，进入特定认知语境并可临时应用的假设，称为临时可用假设 H2。H2 为两版共享层级。严格逻辑版中 H2 为逻辑上临时可用；实践应用版中 H2 为实践中临时可用。

定义 8：可信可用假设 H3

通过公理 A3 审查，满足论域稳固性要求，可投入实际应用的假设，称为可信可用假设 H3。通过公理 A3y 审查的假设，称为逻辑可信可用假设 H3y。通过公理 A3s 审查的实践假设，称为实践可信可用假设 H3s。 H3y和H3s统称为H3。

定义 9：悬置假设Hx与废弃假设Hf

未达到实践应用版公理 A3审查标准的H2有两个出路：一是作为悬置假设继续保留在 H2 级别，等待进一步审查；二是作为废弃假设予以放弃。

定义10： 认知框架：论域中配套的评价标准、审查程序与否定判定机制。

定义11： 外围认知领域框架：与该论域相关但属于外部的认知框架。

定义12： 公认审查程序：该论域或语境中公开、可重复、可争议的审查程序。

定义13：协调相容：无强矛盾，且不排斥该语境的基本框架。

定义14： 可审查对应项：概念、命题或推论能够被配套认知框架审查比对的对象。

定义15： 颠覆性否定：导致假设无法在该框架内继续稳定应用的根本性冲突或反例。

定义16： 长时段、多路径、多主体：审查在时间、方法、主体群体上具有足够多样性，而非单次、单路径、单主体判定。

定义17：基本协调相容：无显式强矛盾，且不直接排斥该语境的基本框架。（本定义用于实践应用版本）

定义18假设衍生物

在给定非空论域 D 和认知语境 C 中，假设产物指认知主体依据某一假设 H 及其推论，通过设计、制造、操作、实施、制度化、符号化等方式形成的，可公共识别、可追踪、可审查的实物、装置、系统、流程、数据、文本、制度安排或实践方案。

假设衍生物包括形式化衍生物和实体衍生物等。

假设产物不等于假设本身，而是假设在实践中的外化形态、物化载体或应用结果。

定义19：形式化衍生物（形式产物）

在给定非空论域 D 中，依据假设 H2 所生成的形式产物，指其逻辑推演所产生的可独立于主体意志而存在的形式构造，如证明、算法、形式系统、计算模型等。形式产物是推论的结晶化，但仍属形式层面，不涉及物理实体的制造。两版通过总纲的双轨架构协调。

定义20：实体假设衍生物（实体衍生物）是指具有实体形态的假设衍生物。主要指广义技术人工物等。

21、定义：衍生物审查

衍生物审查指依据相应论域或语境公认的审查程序，对假设产物的生成谱系、功能表现、持续可靠性、框架相容性、副作用、长期后果及反例进行审查，以判断其依据的假设是否满足公理A3 或其他资格条件。

22、定义：产物性颠覆否定

产物性颠覆否定指假设产物在长期、多路径、多主体应用中，出现不可消解的功能失效、严重反例、系统性副作用、制度反噬或框架冲突，从而导致源假设或中介假设无法继续稳定应用的根本性否定。

3.3、公理

3.3.1、公理 B：本体论公理／备选假设资格审查公理

设 Ha 是进入元假设公理审查前的待审命题。

在某非空论域 D 内，若 Ha 是有关论域 D 中某事物特性的命题，则 Ha 在逻辑形式上不排斥被设为备选假设 H0。

该资格成立与否，不以单个认知主体的主观信念、偏好或偶然认知状态为转移。

注释：本公理亦称“假设存在性公理”，其意义为逻辑资格意义上的“可设性”，不是实际存在断言，也不证明 Ha 为真。

4.4、公理 A：认识论公理

公理 A 包括公理 A1、公理A2、公理A3。公理A1 称为理论假设资格公理，公理A2 称为临时可用假设资格公理，公理A3 称为可信可用假设资格公理。公理A3 有两个分支版本，可用于不同的领域。

3.3.1、公理 A1：理论假设认定公理

设 H0 是已通过公理 B 审查的备选假设。

在某非空论域 D 内，若同时满足以下条件：

（1）. H0 所包含的基本概念可被明确定义；

（2）. H0 的命题演算过程不蕴涵逻辑矛盾，即满足一致性；

（3）. H0 具有非平凡认知内容；

则 H0 在逻辑形式上不排斥被设为理论假设 H1。

该资格成立与否，不以单个认知主体的主观信念、偏好或偶然认知状态为转移。 

注释：创新概念可通过定义、公理化、操作化等方式明确化；暂时无法明确化者不进入 H1，可保留为 H0 。

3.3.2、公理 A2：临时可用假设认定公理

公理 A2：临时可用假设认定公理

设 H1 是已通过公理 A1 审查的理论假设。

在某非空论域 D 内，当 H1 进入特定论域 D 的某认知语境 C 时，依据该论域或语境公认的审查程序，目前，若依据 H1 所推导出的推论，以及由 H1 及其推论所生成的形式衍生物和实体衍生物，在相应版本的审查程序中满足该论域配套认知框架的评价标准，并且同时满足以下条件：

（1）H1 与 C 协调相容，不存在显式矛盾或基本协调相容，不存在显式强矛盾；

（2）H1 所包含的基本概念、基本命题或初步推论，在逻辑形式上存在能够被该论域配套认知框架审查比对的对应项（即满足框架可对应性）；

（3）不存在与现有认知环境（包括外围认知框架）的冲突或对立；或者虽存在冲突或对立，但经单向修正调整或双向修正调整后消除了该冲突或对立；

则 H1 在相应版本中不排斥被设为临时可用假设 H2。

该资格成立与否，不以单个认知主体的主观信念、偏好或偶然认知状态为转移。这是当前资格审查。

注释：

原则上，公理A2，可以形成两个分支，一个审查假设与推论，一个审查当前已经存在的实体衍生物。这种分叉可以与公理A3 对接。当然公理A2也可以分为公理A2y公理A2s。与公理A2y和公理A2s对应的有H2y和H2s。

公理A2 处理假设与语境、框架和外围认知环境的接口问题，不处理长期稳固性。严格逻辑版按理想形式程序审查，仅涉及推论及形式衍生物（或目前存在的实体衍生物），不产生悬置。实践应用版按公认程序审查，承认认知有限性；审查未收敛者可进入悬置，存在不可调和颠覆性否定者不得进入 H2。

若存在直接导致不可调和的颠覆性否定，则不得进入 H2，应进入悬置或废弃程序。

A2 是一次性准入认定，是当前准入。这相当于取得行医许可证，允许投入认知实践，但不等于已经被充分检验。

现实层面的框架可对应性不局限于经验实验。经验科学框架对应可观测、可重复实施的实验与观测；数学几何形式框架对应可执行的形式演算、逻辑推演；思辨信念框架对应体系内可开展的概念辨析、教义推演。部分推论的比对检验受限于时代条件、工具水平，存在暂时无法检验的情形，可进入悬置状态。

公理 A2的审查程序为该论域或语境公认的审查程序，承认认知有限性、工具局限与时代条件。若 A2 审查因证据不足、程序未完成或条件不成熟而未收敛，可进入悬置状态。若存在直接导致不可调和的颠覆性否定，则不得进入 H2，应进入悬置或废弃程序。

3.3.2 公理 A3

（1）增补公理 A3 的缘由和目的

公理 A3 是资格链条中从“临时可用”走向“可信可用”的关键跃迁。H2 通过 A2，只表示假设已接入特定语境，取得临时应用资格；它能否在长期审查中持续稳定、投入实际应用、承受框架内外检验，仍待 A3 判定。A3包括两个分支子公理。两个子公理是本公理体系的对同一个假设的不同视角的解释。

增加 A3 的初衷，是使元假设公理贯穿假设的全生命周期。若没有 A3，公理主要作用于假设的创生、资格审查、理论建构与语境接入，在假设取得临时可用资格后容易失去后续规制。增加 A3 后，元假设公理不再只是“假设准入体系”，而成为覆盖全生命周期的资格治理体系：从 Ha、H0、H1、H2 到 H3，再到实际应用、产物生成、长期检验、反馈修正、降级、悬置、废弃与复审，公理均保持适用。A3 是持续性审查，不是一次性认定。H3 仍是假设，不是终极真理，A3仍可检验、修正、废弃，并可因颠覆性否定降级退回 H2，甚至废弃。实践应用版中的 A3 进一步管理 H3、H2、Hs、Hx的状态转移；严格逻辑版则通过形式未决、形式悬置、形式废弃保持形式资格全链条约束。

（2）严格逻辑版公理 A3y：

严格逻辑可信可用H2y 是已通过公理 A2y 审查的临时可用假设。

在某非空论域 D 内，若依据 H2y 所推导出的推论及其形式产物，在长时段、多路径的框架内审查中持续满足该论域配套认知框架的评价标准，并且满足以下条件之一：

（1）. 与现有认知环境，包括外围认知框架，不存在冲突或对立；

（2）. 虽存在冲突或对立，但经单向修正调整或双向修正调整后消除了该冲突或对立；

则 H2y 可以作为可信可用假设 H3y。

 H2y即满足论域稳固性要求。H3y可以投入实际应用。

该资格成立与否，不以单个认知主体的主观信念、偏好或偶然认知状态为转移。

实践应用版公理 A3s：实践中可信可用假设资格公理

若 H2s 所推导出的推论及其产物，在长时段、多路径、多主体的实践审查中，依据该论域公认的审查程序，同时满足以下条件：

（1）. 推论层面：基本满足该论域配套认知框架的评价标准，没有发现框架内不可消解的矛盾；

（2）. 实体衍生物层面：依据 H2s 及其推论所生成的技术产物、实物产物或社会产物，在真实实践场景中能够稳定实现预期功能，未出现导致根本失效的不可消解缺陷；

（3）. 环境层面：没有受到外围认知领域理论的严重挤压或被颠覆性否定；

（4）. 或者虽存在挤压、冲突或对立，但经单向修正调整或双向修正调整后消解了挤压，消除了该冲突或对立；

则 H2s 可被合理认定为实践中可信可用假设 H3s。

严格逻辑版本公理A3y和实践逻辑版本公理A3s 统称为可信可用资格审查公理A3。

假设H3y和假设H3s统称为可信可用假设H3。

严格逻辑审查公理 A3y 与实践应用版公理 A3s 统称为可信可用资格审查公理 A3。临时可用假设 H2 为两版共享层级；可信可用假设分化为 H3y 与 H3s。

4、关于公理A3的释义和说明 

本小节仅对新增公理A3作释义与说明。公理B、A1、A2的释义与说明见作者相关博文。  

释义回答“A3中关键概念是什么意思”；说明回答“A3为何增设、如何分版、审查什么、如何操作、如何状态转移”。

4.1 释义：A3的主要术语与边界

4.1.1 “可信”的双维含义

“可信”在形式系统与现实实践中不是同一种可信。

严格逻辑版A3y的“可信”是形式稳固性：推论是否无矛盾，形式化产物是否可推演、可判定、可模型化，资格跃迁是否具备形式合法性。

实践应用版A3s的“可信”是实践稳固性：推论与产物是否可靠、可复现、安全、可维护，是否引发系统性副作用、是否形成制度反噬或框架冲突，是否在长时段、多路径、多主体审查中持续成立。

二者不是程度差异，而是维度差异。因此A3分为严格逻辑版A3y与实践应用版A3s。

 4.1.2 H3资格授予假设而非产物

A3s审查H2的推论及实体衍生物，但H3资格仍授予假设，不授予产物。  

产物只作为H3的应用形态、证据载体或检验对象。

 4.1.3 论域稳固性

论域稳固性是现实实践层面的属性。它是指在给定论域及配套认知框架内，在已经完成的全部现实审查范围内，没有发现框架内或框架外颠覆性否定，且产物在真实场景中能够稳定实现预期功能。

它不是对未来的绝对担保。随着认知工具、实践范围拓展，仍可能发现颠覆性否定或产物失效，从而发生H3s降级退回H2s，甚至被废弃。

4.1.4 产物性颠覆否定与弱间接审查

产物性颠覆否定，指假设产物在长期、多路径、多主体应用中，出现不可消解的功能失效、严重反例、系统性副作用、制度反噬或框架冲突，从而导致源假设或中介假设无法继续稳定应用的根本性否定。

实践应用版中由产物构成的间接审查，是一种弱强度审查。产物成功并不必然证实假设有效，产物失败也不必然否证假设。但产物表现可以支持、削弱或修正假设。

4.1.5 协调相容等术语

A3y中的“协调相容”“显式强矛盾”“框架可对应性”“冲突或对立”“单向修正调整或双向修正调整”，均相对于特定语境C及其外围认知框架而言。

 4.2 说明

4.2.1、A3的定位与全生命周期功能

A3是资格链条中从“临时可用”走向“可信可用”的关键跃迁，也是持续性审查，不是一次性认定。

H2通过A2，只表示假设已接入特定语境，取得临时应用资格；它能否在长期审查中持续稳定、投入实际应用、承受框架内外检验，仍待A3判定。

增加A3后，元假设公理不再只是“假设准入体系”，而成为覆盖全生命周期的资格治理体系：从Ha、H0、H1、H2到H3，再到实际应用、产物生成、长期检验、反馈修正、降级、悬置、废弃与复审。

H3仍是假设，不是终极真理。A3仍可检验、修正、废弃，并可因颠覆性否定降级退回H2，甚至废弃。

4.2.2  A2与A3的分界

（1）. 分界原则  

A2 与 A3 的分界，以审查问题和资格跃迁为主要依据。时间线、对象类型和版本差异仅作辅助操作规则。对象可以重叠，审查问题不重叠。

（2）. 公理A2 的性质与结论  

公理A2 是一次性／当前准入审查。公理A2回答，假设H1 能否进入特定认知语境，能否取得临时可用资格，成为假设 H2。通过公理A2审查后的结论为有假设H2、悬置假设或废弃假设三种。

（3）. A2 的材料范围与审查限度  

A2 原则上可接触形式衍生物和实体衍生物，但只作“准入接口审查”或“存在性审查”，不作“实践稳固审查”。 操作上，A2 采用截至审查启动前已产生、数据采集收官且可公共识别的推论、形式衍生物与实体衍生物静态材料。  

严格逻辑版 A2y：不纳入实体衍生物作为审查证据。  

实践应用版 A2s：可纳入已收官实体衍生物静态证据。  

但无论 A2y 或 A2s，A2 对实体衍生物只审查其是否可公共识别、可追踪、可进入公认审查程序、是否与语境协调相容、是否构成准入障碍、是否已出现不可调和的颠覆性否定。  

A2 不审查长期功能稳定性、可复现性、系统性副作用、边界条件、反馈修正、制度反噬等动态实践效应。

（4）. A3 的性质与结论  

A3 是持续性论域稳固审查，接管 H2 准入之后新推演得到的推论、新生成的衍生物，以及所有衍生物在长期、多路径、多主体持续实践中涌现的动态表现、长期失效与产物性颠覆否定。  

A3 回答：H2 能否取得可信可用资格，成为 H3y 或 H3s。通过A3 的审查，可能有以下结局：H3y／H3s、降级、悬置或废弃。

（5）. 版本区分  

A3y 只审查推论及形式产物，不处理实体产物。  

A3s 将实体产物、技术产物、社会产物作为长期检验证据和颠覆否定来源，审查其功能稳定性、可复现性、副作用、边界条件、反馈修正等。  

（6）. 时间线与对象关系  

审查中，时间线仅作辅助：A2 看“截至当前已产生并可公共识别的材料”，但只看准入接口；A3 看“已产生和后续产生之物”的长期表现。  

同一实体衍生物，其在 A2 审查前已收官的静态测试数据，可作为 A2 准入证据；其在 H2 准入后持续运行产生的动态实践表现，归 A3 审查。  

同一实物在 A2 中是准入材料，在 A3s 中是检验证据。

公理A2 与 公理A3 之间不存在混合资格区间，只存在审查强度、时间跨度和结论类型的不同。A2 管准入接口，授予 H2 临时可用资格；A3 管持续稳固，授予 H3y／H3s 可信可用资格，或作降级、悬置、废弃。

4.2.3、A3y与A3s的分工与关系

A3分为严格逻辑版A3y与实践应用版A3s。二者是同一元假设公理体系的两个侧面，而不是两个公理体系。

两版共享公理B、A1、A2。A2为两版共享的临时可用资格公理，只做准入认定，不处理长期稳固性。H2为两版共享层级，不再分设H2y与H2s。两版可信可用资格的分叉从A3开始，分别产生H3y与H3s。

A3y仅审查推论及形式产物，不处理实物；A3s审查推论及实践性假设产物。

两个版本之间存在连续过渡的灰色交界地带。灰色交界地带的处理由4.5专门讨论。

两版A3判定可以不一致。这种不一致应按总纲第四条区分为视角差异、前提差异、语境差异或真矛盾。前三类属于双版本体系可以容纳的正常差异，不构成体系矛盾；只有同一版本、同一论域、同一框架、同一审查前提下的逻辑冲突，才属真矛盾。

跨版本审查应遵守总纲约束：若严格逻辑版在相同概念定义和逻辑规则下确认某一假设存在不可消解的内在逻辑矛盾，实践应用版不得授予其H1及以上资格；若仅实践层面出现经验反例、产物性颠覆否定或框架冲突，则不当然否定该假设在理想形式框架中的逻辑可能性。

4.2.4、 A3审查范围的三层结构

在给定非空论域 D 中，依据假设 H2 及其推论所生成的假设衍生物，包括：

（1）推论产物：由逻辑推演直接产生的命题集合、预测陈述、解释框架等；

（2）技术产物：将假设及其推论转化为可操作、可重复实施的技术方案、工艺路线、实验装置等；

（3）实物产物：依据假设及其推论，通过现实物质手段制造出的具体物理实体，如仪器、设备、药物、材料、工程结构等；

（4）社会产物：依据假设形成的制度设计、政策方案、教育方法等社会可识别的实践构造。

（5）其它由假设催生的产物。

对假设产物的审查，是对假设的有效性、合理性的间接评定。这一个功能是实践应用版公理A3 区别于严格逻辑版公理 A3 的根本标志。

引入假设衍生物后，A3s审查范围包括三层：

1. H2在形式系统内的逻辑推论；

2. 依据H2中的假设，在明确背景、目标和技术条件下形成的实践产物；

3. 产物对H2的验证、修正与反馈。

A3y则限于第一层及形式化产物。  

产物本身不获得H层级资格；H3仍是假设的资格。

4.2.5、A3s假设衍生物审查清单

A3s对产物的审查不应只看“是否来自H2”，还应进行：

   a. 来源审查：产物依据了H2中的哪些假设？

   b. 生成链审查：从假设到产物之间引入了哪些中介假设、设计选择和技术约束？

   c. 符合性审查：产物行为是否与H2的预期一致？

   d. 偏离审查：不一致是H2本身的问题，还是实现过程的问题？

   e. 后果审查：产物是否产生非预期后果、伦理风险、安全风险、社会影响？

    f. 反馈审查：产物是否构成对H2的经验检验，能否支持、削弱或修正H2？

     g. 边界审查：产物在什么条件下有效，超出什么范围失效？

产物失败必须区分：源假设缺陷、中介假设缺陷、边界条件缺陷或工程实现缺陷。  

产物失败若仅由现实条件导致，不当然否定严格逻辑版中的形式合法性；若产物失败揭示概念矛盾或逻辑矛盾，则按真矛盾处理。

A3s资格审查可包含技术可信可用性、伦理可接受性、制度可持续性等多维度。审查包含相应标准时，才获得对应资格。

4.2.6、推论审查与产物审查的关系

推论审查与产物审查是实践应用版A3s的两个独立维度。  

推论审查检验“说得通”，产物审查检验“用得成”。

两个维度可以异步推进：

推论已通过审查但产物尚未制造，则H2保持，产物进入研制阶段；

产物已制造但推论框架仍不完善，则可依据产物性能数据反哺推论修正，完成实践与理论的反馈回路；

产物在真实场景中反复失效且无法修正，即使推论层面逻辑自洽，H2亦不得晋升为H3s。

实践应用版中由产物构成的间接审查是弱强度审查。一个产物的成功或失败，可能基于多个层级的假设，须作归因分析。

4.2.7、状态转移、降级、悬置、废弃与复审

元假设公理的输出全过程为

Ha → H0 → H1 → H2 → H3y／H3s

其流程含义如下：

Ha通过公理B审核，成为备选假设H0；H0通过公理A1审查，成为理论假设H1；H1通过公理A2审查，成为临时可用假设H2；H2通过严格逻辑版A3y审定，成为H3y；H2通过实践应用版A3s审定，成为H3s。

审查过程不是单线条的。之间有多个分支。后续状态转移包括

H3y／H3s → H2：发现严重反例、产物失效或框架冲突，但尚未达到完全废弃程度，可降级退回H2，重新接受审查；

 H3y／H3s／H2 → Hx：因证据不足、工具限制、框架冲突未决或程序未完成，暂不认定为H2s或H3s，但保留H0或H1资格；

H3y／H3s／H2／Hx → Hf：出现不可消解矛盾或颠覆性否定，可被废弃；

Hx → H2／H3y／H3s：条件成熟后重新通过相应审查。

H2为两版共享层级，A3阶段才分叉为H3y与H3s。A2阶段的版本程序差异不构成真矛盾。

 4.3 不同框架下的审查与否定

在经验科学框架内，审查为观测、实验；评价标准为可复现预期效应；颠覆性否定为现实中出现不可消解的经验反例，或产物在真实场景中反复根本失效。

在数学几何形式框架内，审查为逻辑推演、形式演算；评价标准为系统内部一致性；颠覆性否定为发现无法化解的内在矛盾。

在形而上学、神学等思辨信念框架内，审查为体系内部融贯检验；评价标准为框架内稳定解释效力；颠覆性否定为体系内部出现现实中无法消解的根本冲突。

冲突或颠覆性否定还包括：内部知识框架更新，或外部知识框架形成对H3的冲击，进而影响H3的稳定性和应用范围。

 4.4 常见误解与边界

实物产物本身不是假设，而是承载假设的载体。  

我们审查实物，不是审查物体本身，而是审查支撑这个实物设计、制造的底层假设或中介假设，能不能在物质世界兑现承诺。  

审查过程不是把机器当成假设H，而是把机器的实测行为，当成检验假设H的实践证据。

“未出现颠覆性否定”是已有实践的结果，不是对未来的绝对担保。  

满足框架内评价标准，可视为框架内无颠覆性否定的构成部分；框架外颠覆性否定需独立审查。

A3s是持续性审查，不是一次性认定。H3s仍然属于假设范畴，不是终极真理，依旧保有可检验、可修正、可废弃的认识论属性。

待续

支持单位：