正在加载文章内容…
文章内容加载失败
正在加载文章内容…
文章内容加载失败
0
罗晓矛《无显择有》三宗体系方法论哲学部短文
版本：V1 性质：元科学批判 / 数学基础与科学哲学切口稿 定位：可发表雏形、体系种子、破门论文
现代科学与现代数学在中层结构上表现出极高的形式能力：它们能够计算、预测、分类、建模，并在大量复杂问题中获得惊人的有效性。然而，形式有效性并不等同于本源解释完成。本文指出，现代数理科学中普遍存在一种值得警惕的“第一性豁免机制”：理论体系在中层推理中要求严格证明、严格定义和严格验证，却允许其最底层的原始概念、公理、常数、操作定义或基础单位不接受同等强度的本源追问。
本文并不否定公理方法、有效理论、操作定义或经验建模的科学价值。相反，本文承认它们是现代科学取得巨大成功的必要工具。本文批判的是另一种越界：当暂时性的公理设定、经验常数、操作定义或模型语言被误认为本体论终点时，科学便可能从开放的求真活动滑向自我豁免的封闭体系。
本文以数学中的自然数基础、物理学中的基础常数、光子与波粒二象性、化学中的模型替换史为例，说明科学常常在复杂层面高度严谨，却在第一性层面保留解释债务。为回应这一问题，本文提出“本源证明原则”：凡被理论当作第一性、原始项、基础单位或不可再问之起点者，不能仅凭形式有效性获得本体豁免；它必须被构造、生成、推出、证明其非任意性，或明确标记为尚未偿还的解释债务。
本文同时强调，该原则不能只用于审判既有科学，也必须反向约束任何新体系。任何替代理论若提出新的第一性概念，同样必须接受本源证明、可反驳性、解释增益和结构自洽性的检验。本文的目的不是反科学，而是反对科学主义式的第一性豁免。真正彻底的科学，不应只在复杂问题上追问，也应允许并鼓励对最浅表、最基础、最本源问题的追问。
关键词： 第一性；公理方法；解释债务；科学哲学；数学基础；本源证明；有效理论；可证伪性；科学主义
现代科学无疑是成功的。
数学提供了极高强度的形式推理能力；物理学能够用方程预测天体运行、粒子散射、光谱结构和工程系统；化学能够解释并控制大量物质反应；现代技术更直接证明了这些理论体系的实践威力。
因此，本文并不从“科学无效”出发。
本文真正提出的问题是：
一个理论的计算成功，是否等于它已经完成了第一性解释？
答案显然是否定的。
一个理论可以有效，却不完备； 一个模型可以可用，却不是本体终点； 一个公理系统可以形式严密，却不意味着其原始项已经获得本源证明； 一个物理常数可以被高精度测量和使用，却不意味着它为什么取这个值已经被解释； 一个操作定义可以保证实验共同体的可重复沟通，却不意味着它已经揭示对象的最终结构。
现代科学的危险不在于它存在未知。任何真正的科学都必然面对未知。
真正危险的是：
将未知伪装成不可追问的起点。
当某个理论说：“这里暂时作为公理处理”，这是合理的方法论节制。 但当它进一步说：“这里不需要追问，也不应追问”，问题就发生了变化。
前者是科学的临时工作策略。 后者则接近一种信条化姿态。
在现实世界中，若一个体系要求人们对其起点“不要问，只要接受”，这通常被称为信仰结构，而不是科学结构。科学当然可以暂时设置起点，但科学不能把暂时起点神圣化为永久豁免。
本文将这种现象称为：
第一性豁免机制。
为了避免误解，本文首先给出四个基本定义。
所谓形式证明，是指在一个给定公理系统或形式规则系统内部，根据已接受的公理、定义和推理规则，推出某一命题。
例如，在 ZFC 集合论、Peano 算术、类型论或其他形式系统中，一旦公理和规则被接受，许多命题就可以被严格证明或反驳。
形式证明的优势在于：
清晰；
可检验；
可复核；
可避免语言歧义；
可建立高强度推理链条。
但形式证明也有一个边界：
它通常不能在系统内部证明自身最初的公理为何成立。
这并不是形式系统的失败，而是形式系统的结构性特征。
所谓本源证明，不是要求一个公理在同一系统内部自我证明。那会导致循环论证或无穷倒退。
本文所谓本源证明，是指一个被置于基础位置的概念、单位、原则或常数，必须在更高元层、生成机制、构造过程、存在论分析或经验锁定中获得辩护。
换言之：
第一性不一定要在自身系统内部被证明，但不能只以“我规定如此”作为最终理由。
它至少应满足下列条件之一：
可构造；
可生成；
可从更深层原则推出；
可说明其非任意性；
可在经验结构中被稳定锁定；
或明确标记为尚未偿还的解释债务。
所谓解释债务，是指一个理论虽然能够描述、计算或预测某类现象，却尚未解释其第一性来源、生成机制或本体结构。
解释债务并不意味着理论错误。
例如，牛顿力学在相对论之前拥有巨大预测能力，但它并未解释引力为何以那种形式存在。经典电磁学在量子理论之前极其成功，但它并未完成辐射、量子跃迁等问题的本源解释。
因此，解释债务不是罪名，而是标记。
它提醒我们：
有效性不是终点。 有效性之后，仍然可能存在更深层解释。
所谓第一性豁免机制，是指一个理论体系在中层推理中要求严格证明、严格定义和严格验证，却允许其最底层的原始概念、公理、常数、操作定义或基础单位不接受同等强度的本源追问。
其典型结构如下：
中层问题：必须证明，必须严谨，必须可检验； 底层起点：这是公理，这是定义，这是常数，这是操作规定，不必再问。
这种做法在方法论上可以理解，但在本体论上不能被绝对化。
如果一个体系只是说：
“我们暂时从这里开始。”
那是合理的。
如果一个体系说：
“这里永远不需要追问。”
那就构成第一性豁免。
本文批判的不是科学中的公理起点，而是公理起点被神圣化之后形成的豁免权。
现代科学最强大的地方，是它在中层问题上极其严谨。
一旦进入已有理论框架之内，科学共同体通常会要求：
概念清晰；
推导严密；
实验可复现；
数据可检验；
结论可反驳；
误差可分析；
模型可比较。
这些要求完全合理，也是现代科学优于前科学、伪科学和纯信念体系的重要原因。
问题在于，当追问深入到更底层时，同一套严格要求往往会被放松。
例如：
数学可以研究自然数的复杂结构，却往往不追问“一作为单位”何以成立；
物理可以使用基础常数进行高精度计算，却未必解释这些常数为何取此值；
量子理论可以精确预测实验结果，却仍存在多个互不等价的本体解释；
化学模型可以有效预测反应、结构和性质，却常常把尺度模型误包装为本体图像。
于是形成一种结构性不对称：
对外部理论：你的第一性必须证明； 对内部起点：我们的第一性是公理、定义、常数或操作规定。
这就是本文所说的“科学的致命双标”。
它并不是说现代科学无效，而是说：
现代科学常常把“方法上的暂时起点”偷换成“本体上的不可追问终点”。
这种偷换一旦发生，科学就不再只是开放求真，而会局部呈现出信条化倾向。
数学是最严谨的学科之一。因此，数学中的第一性问题也最值得讨论。
现代数学当然可以给自然数提供严格形式化基础。
例如，在 ZFC 集合论中，常见定义为：
在 Peano 算术中，可以从 与后继函数 出发，定义：
在类型论中，自然数也可以被视为由 zero 与 successor 构造出来的归纳类型。
这些形式化方法非常有效，也非常重要。
但本文要指出：
形式表示不等于本源解释。
当数学说：
它确实给出了一个形式构造。
但这个构造仍然预设了若干更基础的东西：
空集何以成立；
集合边界何以成立；
元素与集合的区分何以成立；
同一性何以成立；
包含关系何以成立；
后继操作何以成立；
一个单位能够被计数，意味着什么。
所以，本文不是说标准数学没有定义 0 和 1。
本文追问的是：
“一作为单位”何以成立？
需要说明的是，本文并不把数学中的“一”直接等同于全部存在论的最高第一性。
在完整本源体系中，“一”可能仍然是派生层级，而不是终极起点。也就是说，数学中的“一”可以是计数、单位、差异和结构识别中的第一性，但未必是完整存在论的最终第一性。
本文在这里采取一个克制说法：
“一”不是完整体系的终极第一性； 但在数学的计数结构中，“一”承担了单位第一性的功能。
因此，对“一”的追问并不是偷换数学问题，而是追问数学单位结构的本源条件。
若某对象 被称为“一”，它至少需要满足以下条件：
与非 可区分； 在某一判定下保持自身同一； 与背景之间存在边界； 可以作为计数或重复构造的单位； 能够进入“一个、另一个、多个”的生成关系。因此，“一”不能被理解为完全无结构的空点。
因为只要它能够被称为“一”，它就至少已经包含：
这些不是复杂数论结构，而是单位成立的最低结构条件。
换言之：
“一”不是简单的无结构点，而是最小可区分结构。
这并不是否定现代数学对 的形式定义，而是指出：
数学形式系统可以从 、、后继、公理或集合构造开始； 但若追问“一作为单位何以成立”，仍然需要更深层的本源解释。
数学可以说：
“我们不讨论本体，只讨论形式系统。”
如果数学严格保持这个立场，那么本文对数学本体的批判将部分失效。
但问题在于，数学并不总是只作为形式游戏存在。数学常常被赋予更高地位：
它被视为自然科学的语言；
它被视为结构的普遍表达；
它被用于描述物理实在；
它被认为揭示了数、空间、连续、无穷、对称等深层秩序；
它被用来审判其他理论是否严谨。
一旦数学从纯形式游戏进入“世界结构描述者”的位置，它的原始项就不能完全逃避本源追问。
因此，本文对数学的判断是：
数学在形式推理上高度成功； 但在单位、同一性、边界、无穷、连续统等问题上，仍保留本源解释债务。
这不是对数学的否定，而是对数学边界的重新标记。
物理学的成功同样不容否认。
现代物理能够预测行星运动、设计半导体、解释光谱、制造激光、建立核能技术，并通过量子电动力学、标准模型和广义相对论取得极高精度的预测成果。
因此，本文不说物理学无效。
本文要指出的是：
物理学的预测成功，并不自动等于本源解释完成。
物理学中存在大量基础常数，例如：
光速；
普朗克常数；
引力常数；
精细结构常数。
这些常数可以被高精度测量，并在理论中发挥核心作用。
但问题是：
它们为什么取这些数值？
在有效理论中，把常数作为输入参数是合理的。科学必须先从可测量、可计算、可实验的地方开始。
但如果一个理论长期只说：
“它就是这个数。”
而不承认这里仍有解释债务，那么常数就从工作参数变成了本体豁免点。
更严谨地说：
基础常数不是错误； 基础常数是理论尚未完全生成化的标记。
当一个理论能够从更深层结构中推出常数，或解释常数的非任意性时，它才真正减少了解释债务。
通常通俗语言会说“光子是粒子”。
但在现代量子场论中，光子并不是经典意义上的小球，而是电磁场的量子激发。光子无静止质量，并不构成标准理论内部的形式矛盾，因为“粒子”在这里已经不是经典实体粒子，而是场激发的量子化模式。
所以，本文不采取粗糙批判：
“既然叫粒子，怎么能没有质量？”
这种批判容易被专业物理直接驳回。
本文真正指出的问题是：
光子概念显示出现代物理的本体语言张力。
一方面，物理学为了计算和实验，需要使用“粒子”“波”“场”“激发”“量子态”等概念；另一方面，这些概念并不都对应日常实体图像。
于是，理论形式极其成功，但本体解释存在多层语言错位：
| 层级 | 表达 |
| 实验层 | 探测器出现离散点击 |
| 数学层 | 场算符、态矢量、传播子 |
| 模型层 | 光子、波包、量子激发 |
| 本体层 | “光究竟是什么”仍有解释空间 |
因此，本文不否定光子理论的有效性，而是指出：
光子作为计算对象是成功的； 光作为存在结构是否已经被彻底解释，则仍是开放问题。
如果一个新体系提出“光不是经典粒子，而是空间结构中的某种裂隙、扰动或显化方式”，那么它不应只停留在比喻层面，而必须进一步给出：
数学表达；
可检验预测；
与现有光学、量子电动力学结果的兼容区间；
能够区分于现有理论的新实验。
否则，它也只是新的语言，而不是新的科学。
波粒二象性通常被视为量子理论的核心特征之一。
电子、光子等对象在不同实验条件下表现出波动性或粒子性。量子理论可以准确预测这些实验现象，例如干涉、衍射、光电效应、单粒子双缝实验等。
但从解释层面看，量子理论并不存在唯一公认的本体图像。
至少存在多种解释路线：
哥本哈根解释；
多世界解释；
德布罗意—玻姆理论；
客观坍缩理论；
关系量子力学；
QBism；
信息论解释。
这些解释在许多实验预测上相同或近似相同，却在“量子对象究竟是什么”上给出不同回答。
这说明：
量子理论作为预测框架是高度成功的； 但量子对象的本源解释并未被单一方式封闭。
因此，若有人提出新的本体解释，不应被一句“量子理论已经成功”直接封死。
正确态度应是：
只要新解释不破坏已验证结果，并能提出额外可检验差异，它就有进入科学讨论的资格。
化学史不是简单的错误史，而是有效模型不断替换、不断细化的历史。
从道尔顿原子论，到汤姆孙“枣糕模型”，到卢瑟福核式模型，再到玻尔模型、量子轨道、价键理论、分子轨道理论、密度泛函理论，化学与物理化学不断发展出更强的解释和计算能力。
这些模型有巨大价值。
但问题在于：
有效模型不等于最终本体。
例如，化学键可以用共价键、离子键、金属键、氢键、范德华力等概念分类描述；在更深层则可用电子云、轨道重叠、能级、对称性、交换相互作用等描述。
这些描述在不同尺度上有效，但它们并不自动回答：
物质为何以这种层级稳定存在；
元素性质为何随核电荷数形成周期结构；
化学亲和性为何具有特定方向性；
分子构型为何形成稳定空间骨架；
反应路径为何在某些结构上被允许，在另一些结构上被禁止；
“键”究竟是实体、关系、能量谷，还是模型语言。
在专业层面，化学家当然知道模型有适用边界。但在教学和通俗科学中，有效模型常常被讲成“世界本来就是这样”。
于是，化学也呈现出一种第一性豁免：
模型不断替换，但每一代模型在使用时都容易被误当成本体终点。
本文对化学的评价不是“化学无效”，而是：
化学是极强的有效模型系统； 但它的大量基础概念仍携带本体解释债务。
前文讨论的数学、物理和化学问题，可以汇总为同一个原则问题：
一个理论是否有权要求别人证明第一性，却豁免自己的第一性？
本文的回答是：没有。
因此，本文提出：
凡被一个理论当作第一性、原始项、基础单位、基础常数、不可再问之起点者，不能仅凭形式有效性获得本体豁免。它必须满足以下条件之一：
被构造；
被生成；
被更深层原则推出；
被证明具有非任意性；
被经验结构稳定锁定；
或被明确标记为尚未偿还的解释债务。
这个原则有两个方向。
既有科学不能因为自身成功，就宣布自己的基础概念不可追问。
它可以说：
“在当前理论中，我们暂时从这里开始。”
但它不应说：
“这里不需要解释，也不允许追问。”
前者是科学方法。 后者接近信条结构。
同样，任何新体系也不能例外。
如果一个新体系提出新的第一性，例如：
无；
有；
一；
二态；
空间裂隙；
背景场；
显化机制；
结构源项；
那么它也必须说明：
这些概念为何必要；
它们如何生成；
它们如何避免任意设定；
它们与已有知识如何兼容或分界；
它们能推出什么新解释；
它们能产生什么可检验差异；
它们在什么条件下会被证伪或淘汰。
因此，本文不是用本源证明原则单方面攻击旧体系。
相反，本文明确声明：
本源证明原则首先是一条普遍纪律。 它约束旧理论，也约束新理论。 任何体系都不能享有第一性豁免权。
如果本文只批判现代科学的第一性豁免，却不说明自身如何接受审查，那么本文也会落入同样的双标。
因此，本节专门说明：
本文提出的本源证明原则，必须能够反向审查本文自身。
本文并不提出一个不可反驳的口号：
“所有第一性都必须被我认可的方式证明。”
这会变成新的独断。
本文提出的是一种元方法论要求：
当某概念被放在理论起点位置时，它必须说明自己的辩护方式；如果暂时不能证明，就必须承认解释债务，而不是将债务伪装成终点。
这个原则本身可以被反驳。
例如，如果有人能够证明：
某些第一性无需任何元层辩护也能获得本体合法性；
公理只要形式有效，就自动完成本源解释；
操作定义可以完全替代本体解释；
理论预测成功必然推出本体完备；
对第一性的追问在逻辑上必然无意义；
那么本文原则就需要被修正，甚至被放弃。
本文至少在以下情况下会被削弱或证伪。
如果可以证明，一个理论要求外部体系证明第一性，同时拒绝审查自身第一性，并不构成方法论不对称，那么本文的“双标”批判就失效。
如果可以证明，某理论只要形式上有效、预测上成功，就已经自动完成本体解释，那么本文“解释债务”概念就失去必要性。
如果可以证明，所有对第一性来源、生成机制、非任意性的追问都只是语言幻觉或范畴错误，那么本文“本源证明原则”就需要撤回。
如果一个新体系声称超越既有科学，却无法在以下方面提供增益：
更少任意设定；
更强结构统一；
更深生成解释；
与已有事实兼容；
产生新预测；
允许证伪；
那么它不能借本文批判旧体系的缺口获得合法性。
这条尤其重要。
因为本文反对的是豁免权本身，而不是替某个新体系争取豁免权。
任何声称能够补足第一性的体系，至少需要接受四类检验。
它的第一性概念不能互相矛盾，不能靠比喻替代推导，不能用含混词汇逃避定义。
最低要求：
概念可区分；
层级可排列；
推演不循环；
起点不任意；
结论不偷换。
它必须解释旧体系解释不了，或解释得不充分的问题。
例如：
单位何以成立；
常数为何非任意；
结构为何生成；
量子对象为何呈现双重读出；
化学稳定性为何具有空间构型。
如果它只是换一套词汇重说旧问题，没有解释增益，则不成立。
它不能随意否定已被大量验证的事实。
如果新体系解释光、质量、空间、数、化学键或量子现象，它必须说明：
为什么旧理论在其适用范围内有效；
新理论在哪些边界上修正旧理论；
旧理论如何作为近似、投影或局部模型保留下来。
不能只说“旧理论全错”。
它必须给出至少某些不同于既有理论的可检验预测。
这些预测可以是：
新实验现象；
旧现象的新参数关系；
低成本可验证差异；
高风险判别实验；
对已知异常的重新参数化解释。
如果没有任何可检验差异，它就只能作为哲学解释，而不能作为科学理论。
本文明确允许以下结论：
如果本源证明原则不能产生更强解释力，不能推动更好理论构造，不能建立可证伪研究路线，那么它就是一个无效的哲学要求。
这点必须说清楚。
因为真正的科学态度不是：
“我要求别人接受。”
而是：
“我给出原则，也给出它可能失败的条件。”
因此，本文与信条化体系的区别在于：
本文不要求无条件相信；
本文不把起点神圣化；
本文承认自身原则可被挑战；
本文要求新旧体系接受同一审查；
本文把不能证明之处标记为解释债务，而不是伪装成终点。
这是最常见也最有力的反驳。
确实，任何形式系统都需要某些起点。若要求每个起点都在同一系统内部被证明，就会导致循环论证或无穷倒退。
但本文并不要求这一点。
本文要求的是：
公理可以作为工作起点，但不能因此获得本体豁免。
换言之：
公理在形式系统中可以不被内部证明；
但公理作为本体断言时，需要元层辩护；
若暂时无法辩护，应承认为解释债务；
不能把“当前从这里开始”偷换成“这里永远不必解释”。
因此，本文反对的不是公理方法，而是公理神圣化。
如果数学只声称自己是形式系统内部的符号游戏，那么本文对数学本体的批判确实不直接适用。
但现实中的数学并不总是如此。
数学常常被用作：
科学语言；
世界结构模型；
物理理论基础；
逻辑严密性的最高标准；
本体论讨论中的结构工具。
一旦数学承担这些角色，它就不能完全退回“我只是形式游戏”的安全区。
因此，本文区分两种数学：
| 数学立场 | 本文态度 |
| 纯形式主义数学 | 可暂不承担本体解释 |
| 作为世界结构语言的数学 | 必须面对本源解释债务 |
这是一种典型操作主义立场。
它有合理性。
科学当然必须尊重测量，不能用不可检验的本体想象替代实验。
但问题是：
不关心本体是一种方法选择，不是证明本体问题不存在。
物理学可以暂时说：
“我们只处理可测量关系。”
但不能因此推出：
“所有本体追问都无意义。”
因为历史上，许多曾被认为形而上或不可问的问题，后来都变成了科学问题。例如：
原子是否真实；
光的速度是否有限；
空间是否弯曲；
时间是否绝对；
真空是否有结构；
质量是否可转化为能量。
因此，操作成功不能封死本源追问。
不例外。
这是本文最关键的回应。
任何新体系若提出新的第一性，也必须接受同样审查。
如果它说“一有结构”，它必须说明“一”的结构如何成立。 如果它说“光是空间裂隙”，它必须说明裂隙的定义、机制、数学表达和可检验差异。 如果它说“完整第一性不是一，而是更深层的无显择有”，它必须说明：
“无”不是空洞词；
“显”不是比喻；
“择”不是任意意志；
“有”不是循环定义；
从该第一性如何推出单位、差异、结构和经验世界；
该体系在哪些地方可能失败。
本文不在此展开完整体系，只给出最小接口：
若存在一个比“一”更深的第一性，它必须能够解释“一”何以生成，而不是把“一”直接当作无结构起点。
这就是本文与完整体系的连接点。
但在本文范围内，我们只提出方法论要求，不强行展开全部存在论。
不是。
本文不是要求科学放弃实验，回到空洞玄谈。
本文要求的是：
把第一性问题重新纳入可辩护、可构造、可证伪、可增益的研究范围。
真正的问题不在于“是否形而上”，而在于：
是否清晰；
是否自洽；
是否有解释增益；
是否兼容已有事实；
是否产生可检验差异；
是否承认自身失败条件。
若一个本源理论满足这些条件，它就不是空洞形而上学，而是科学哲学与基础科学之间的前沿工作。
本文的主要任务不是完整展开新体系，而是建立一个入口。
这个入口是：
第一性没有豁免权。
一旦这条原则成立，旧体系和新体系都要接受同一问题：
你的起点如何成立？
对于既有科学，这意味着：
自然数单位的本源条件仍需说明；
基础常数的非任意性仍需说明；
量子对象的本体结构仍需说明；
化学模型的最终结构地位仍需说明。
对于新体系，这意味着：
不能只批判旧理论；
不能只提出新词；
不能只依靠直觉；
不能用宏大叙事替代证明；
必须拿出生成链条、解释增益和证伪条件。
因此，本文只轻微提示一个方向：
如果“一”已经包含最小可区分结构，那么“一”未必是最高第一性。 更深的第一性必须能够解释“从无区分到有区分”“从未显到显化”“从不可计数到单位成立”的生成过程。
这个方向可暂称为：
但本文不把它作为已完成证明强行推出。
在本文中，它只承担一个种子功能：
说明本源证明原则并非只会破坏旧体系，也可以要求并推动新体系给出更深生成解释。
科学的发展并不是从错误到正确的简单替换，而是从低解释力到高解释力、从局部有效到更大统一、从经验拟合到结构生成的递进过程。
牛顿力学不是废物。 它在低速弱引力条件下仍然有效。
经典电磁学不是废物。 它在宏观连续场范围内仍然有效。
化学键模型不是废物。 它在反应预测、材料设计和分子结构分析中仍然有效。
问题不在于旧理论是否有用，而在于：
有用是否等于最终？
答案是否定的。
本文所倡导的方向，可以称为：
从有效科学走向本源科学。
有效科学关注：
如何计算；
如何预测；
如何分类；
如何控制；
如何建模。
本源科学进一步追问：
起点为何成立；
单位如何生成；
常数为何非任意；
结构为何出现；
边界如何形成；
规律为何具有此种形式。
二者不是敌人。
真正完整的科学应当同时拥有：
如果只有有效预测，没有本源解释，科学会变成强大的技术系统，却留下第一性空洞。
如果只有本源叙事，没有实验检验，理论会滑向玄谈。
因此，本文的主张不是用本源科学取代有效科学，而是要求：
有效科学必须承认解释债务； 本源科学必须接受证伪纪律。
本文提出并论证了一个核心判断：
现代科学与现代数学在中层问题上极其严谨，但在第一性问题上常常存在豁免机制。
这种豁免机制并不使科学无效，但会制造一种方法论双标：
要求外部理论证明起点；
却把自身起点视为公理、定义、常数或操作规定；
在复杂层面极端严格；
在本源层面停止追问。
本文将这种现象称为“第一性豁免”。
第一性豁免的危险在于，它会把科学的临时方法起点，误包装为本体论终点。
因此，本文提出“本源证明原则”：
凡被理论当作第一性、原始项、基础单位或不可再问之起点者，不能仅凭形式有效性获得本体豁免；它必须被构造、生成、推出、证明其非任意性，或明确标记为尚未偿还的解释债务。
同时，本文强调：
该原则也必须约束任何新体系。
新体系不能因为指出旧体系的解释债务，就自动获得合法性。它必须给出更强的生成解释、结构自洽、经验兼容和可证伪预测。
因此，本文最终不是反科学，而是反对科学主义式的豁免权。
科学真正强大的地方，不是它没有起点，而是它允许追问起点。 科学真正危险的地方，不是它有未知，而是它把未知伪装成不可追问的终点。 一个体系如果要求人们“别问，相信就好”，那在现实世界中更接近信条，而不是科学。 科学可以暂时不知道，但不能把“不知道”封圣为“不许问”。
本文最后的结论是：
第一性没有绝对豁免权。 公理可以作为起点，但不能冒充终点。 有效性可以证明可用，但不能证明完备。 真正彻底的科学，必须既能解释复杂，也敢面对最浅表、最基础、最本源的问题。
注：本 V1 为理论框架稿。以下文献用于支撑公理方法、科学哲学、物理解释、数学基础与有效理论讨论。正式发表版需按目标期刊格式进一步核验和规范。
Hilbert, D. (1899). Grundlagen der Geometrie. 希尔伯特公理化方法的经典来源。
Zermelo, E. (1908). Untersuchungen über die Grundlagen der Mengenlehre I. Mathematische Annalen. 现代集合论基础文献之一。
Fraenkel, A. A. (1922). Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. Mathematische Annalen. ZF 集合论发展相关文献。
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik. 关于形式系统边界的核心文献。
Tarski, A. (1936). Der Wahrheitsbegriff in den formalisierten Sprachen. 真理定义与形式语言的重要文献。
Quine, W. V. O. (1951). Two Dogmas of Empiricism. The Philosophical Review. 分析/综合区分和经验主义基础批判。
Kuhn, T. S. (1962). The Structure of Scientific Revolutions. 范式、常规科学与科学革命讨论。
Popper, K. (1959). The Logic of Scientific Discovery. 可证伪性与科学划界问题。
Lakatos, I. (1970). Falsification and the Methodology of Scientific Research Programmes. 科学研究纲领方法论。
Feyerabend, P. (1975). Against Method. 对单一科学方法论的批判。
Carnap, R. (1950). Empiricism, Semantics, and Ontology. Revue Internationale de Philosophie. 框架内部问题与外部问题讨论。
van Fraassen, B. C. (1980). The Scientific Image. 建构经验论与科学实在论争论。
Hempel, C. G. (1965). Aspects of Scientific Explanation. 科学解释模型相关文献。
Weinberg, S. (1992). Dreams of a Final Theory. 物理学终极理论与基础常数讨论背景。
Feynman, R. P. (1965). The Character of Physical Law. 物理定律性质与科学解释的通俗经典。
Dirac, P. A. M. (1930). The Principles of Quantum Mechanics. 量子力学形式体系经典文本。
Bohr, N. (1934). Atomic Theory and the Description of Nature. 量子理论解释与互补性思想。
Bell, J. S. (1964). On the Einstein Podolsky Rosen paradox. Physics Physique Fizika. 量子基础与隐变量讨论核心文献。
Einstein, A., Podolsky, B., & Rosen, N. (1935). Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Physical Review. 量子理论完备性问题经典文献。
Schrödinger, E. (1935). Die gegenwärtige Situation in der Quantenmechanik. 量子叠加与薛定谔猫讨论来源。
Ball, P. (2011). Beyond Weird. 量子解释问题的现代通俗讨论。
Pauling, L. (1939). The Nature of the Chemical Bond. 化学键理论经典著作。
Atkins, P., & Friedman, R. (2011). Molecular Quantum Mechanics. 分子量子理论与化学模型基础。
Bunge, M. (1967). Scientific Research. 科学哲学、模型、解释与本体论讨论。
Suppes, P. (1960). A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences. 数学模型与经验科学模型之关系。
科学成功不等于第一性完成。
形式证明不等于本源证明。
公理可以作为工作起点，但不能自动成为本体终点。
基础常数可以被使用，但仍可能背负解释债务。
有效模型可以预测现象，但不等于最终结构。
对外部理论要求第一性证明，却豁免自身第一性，是方法论双标。
第一性必须被构造、生成、推出、证明非任意性，或被标记为解释债务。
该原则同样约束新体系。
新体系必须提供逻辑自洽、解释增益、经验兼容和可证伪预测。
真正彻底的科学，不是拒绝第一性追问，而是把第一性追问纳入严谨纪律。
科学不怕暂时不知道，怕的是把“不知道”包装成“不许问”；公理可以是起点，但不能凭起点身份获得永久豁免。
注：本 V1 为理论框架稿。本文同时包含两类文献来源： 第一类为“体系来源文献”，用于标注本文中新体系接口、术语方向和后续展开依据； 第二类为“公共学术文献”，用于支撑本文关于公理方法、科学哲学、数学基础、物理解释、化学模型和可证伪性的公共讨论。
其中，体系来源文献为内部体系稿，尚未作为公开学术出版物接受共同体审查。因此，本文不以其作为外部读者必须接受的权威依据，而仅将其作为本文新体系接口的来源说明与后续研究线索。本文提出的“本源证明原则”同样适用于这些内部体系稿。
罗晓矛（罗汉）. 《无显择有母本》. 内部体系稿，2026. 本文所涉“无显择有”第一性方向、从未显到显化、从不可区分到差异生成等问题的母本来源。
罗晓矛（罗汉）. 《无显择有公本》. 内部体系稿，2026. 本文所涉本源生成、存在结构、物理接口、空间与显化关系等问题的公本来源。
罗晓矛（罗汉）. 《无显择有律本》. 内部体系稿，2026. 本文所涉单位、数、结构、律、形式化接口及数学基础问题的律本来源。
罗晓矛（罗汉）. 《三宗体系：哲学母本·物理公本·数学律本》. 内部体系总稿，2026. 本文所涉哲学、物理、数学三层联动框架及完整体系结构的总稿来源。
[图片]
Hilbert, D. (1899). Grundlagen der Geometrie. 希尔伯特公理化方法的经典来源。
Zermelo, E. (1908). Untersuchungen über die Grundlagen der Mengenlehre I. Mathematische Annalen. 现代集合论基础文献之一。
Fraenkel, A. A. (1922). Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. Mathematische Annalen. ZF 集合论发展相关文献。
von Neumann, J. (1923). Zur Einführung der transfiniten Zahlen. Acta Scientiarum Mathematicarum. 冯·诺依曼自然数构造及集合论数概念相关文献。
Dedekind, R. (1888). Was sind und was sollen die Zahlen? 自然数、数的本质与算术基础的经典文献。
Peano, G. (1889). Arithmetices principia, nova methodo exposita. Peano 算术公理的经典来源。
Frege, G. (1884). Die Grundlagen der Arithmetik. 数、概念、逻辑主义与算术基础讨论的重要文本。
Russell, B., & Whitehead, A. N. (1910–1913). Principia Mathematica. 逻辑主义数学基础的重要尝试。
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik. 关于形式系统边界、不完备性与可证明性限制的核心文献。
Tarski, A. (1936). Der Wahrheitsbegriff in den formalisierten Sprachen. 真理定义、形式语言与元语言区分的重要文献。
Boolos, G. S., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and Logic. Cambridge University Press. 逻辑、可计算性、形式系统与元理论问题的现代教材。
[图片]
Popper, K. (1959). The Logic of Scientific Discovery. 可证伪性、科学划界与经验检验的经典文本。
Kuhn, T. S. (1962). The Structure of Scientific Revolutions. 范式、常规科学、异常积累与科学革命讨论。
Lakatos, I. (1970). Falsification and the Methodology of Scientific Research Programmes. 科学研究纲领、保护带、硬核理论与理论进步/退化问题。
Feyerabend, P. (1975). Against Method. 对单一科学方法论的批判，适合作为科学方法多元性的背景文献。
Carnap, R. (1950). Empiricism, Semantics, and Ontology. Revue Internationale de Philosophie. 语言框架、内部问题与外部问题的经典讨论。
Quine, W. V. O. (1951). Two Dogmas of Empiricism. The Philosophical Review. 对分析/综合区分和经验主义基础的经典批判。
Hempel, C. G. (1965). Aspects of Scientific Explanation. 科学解释模型、覆盖律解释和解释结构问题。
van Fraassen, B. C. (1980). The Scientific Image. 建构经验论、科学实在论和理论实体地位讨论。
Bunge, M. (1967). Scientific Research. 科学研究、模型、解释、本体论与方法论的系统讨论。
Suppes, P. (1960). A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences. 数学模型与经验科学模型之间关系的重要文献。
[图片]
Einstein, A., Podolsky, B., & Rosen, N. (1935). Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Physical Review. 量子理论完备性问题的经典文献。
Bohr, N. (1934). Atomic Theory and the Description of Nature. 量子理论解释、互补性和实验语言问题的重要来源。
Schrödinger, E. (1935). Die gegenwärtige Situation in der Quantenmechanik. 量子叠加、测量问题与薛定谔猫讨论的来源。
Dirac, P. A. M. (1930). The Principles of Quantum Mechanics. 量子力学形式体系经典文本。
Bell, J. S. (1964). On the Einstein Podolsky Rosen paradox. Physics Physique Fizika. Bell 定理、隐变量理论与量子非定域性讨论的核心文献。
Feynman, R. P. (1965). The Character of Physical Law. 物理定律、科学解释和自然规律结构的经典通俗讲演。
Weinberg, S. (1992). Dreams of a Final Theory. 终极理论、基础常数、统一理论与物理解释边界讨论。
Penrose, R. (2004). The Road to Reality. 数学、物理基础、时空、量子理论与实在结构的大型综合文本。
Rovelli, C. (1996). Relational Quantum Mechanics. International Journal of Theoretical Physics. 关系量子力学解释的重要文献。
Bohm, D. (1952). A Suggested Interpretation of the Quantum Theory in Terms of “Hidden” Variables. Physical Review. 德布罗意—玻姆理论、隐变量解释的重要文献。
Everett, H. (1957). “Relative State” Formulation of Quantum Mechanics. Reviews of Modern Physics. 多世界解释的原始文献。
Ball, P. (2018). Beyond Weird: Why Everything You Thought You Knew about Quantum Physics Is Different. 量子解释问题的现代通俗讨论。
[图片]
Pauling, L. (1939). The Nature of the Chemical Bond. 化学键理论经典著作。
Atkins, P., & Friedman, R. (2011). Molecular Quantum Mechanics. 分子量子理论、轨道、键合和化学模型基础。
Hoffmann, R. (1995). The Same and Not the Same. 化学结构、模型、相似性和化学解释的哲学化讨论。
Nye, M. J. (1993). From Chemical Philosophy to Theoretical Chemistry. 化学理论史、模型替换和化学基础变迁研究。
Bader, R. F. W. (1990). Atoms in Molecules: A Quantum Theory. 分子中原子理论，涉及化学结构与电子密度解释。
Jensen, W. B. (1998). Logic, History, and the Chemistry Textbook. Journal of Chemical Education. 化学教学模型、历史叙事和概念结构问题。
[图片]
Psillos, S. (1999). Scientific Realism: How Science Tracks Truth. 科学实在论的重要现代文本。
Chakravartty, A. (2007). A Metaphysics for Scientific Realism. 科学实在论、本体结构和形而上学基础讨论。
Ladyman, J., Ross, D., Spurrett, D., & Collier, J. (2007). Every Thing Must Go: Metaphysics Naturalized. 结构实在论和自然化形而上学的重要文本。
French, S. (2014). The Structure of the World: Metaphysics and Representation. 结构实在论、数学结构与物理实在关系讨论。
Worrall, J. (1989). Structural Realism: The Best of Both Worlds? Dialectica. 结构实在论经典论文。
[图片]
本文引用“无显择有”体系内部稿，并不意味着要求读者无条件接受该体系。恰恰相反，本文提出的“本源证明原则”同样反向约束这些体系稿。
因此，本文对内部体系文献的引用具有三重性质：
来源标注：说明本文中新体系接口、术语和方向并非临时拼贴，而来自一套已经形成的内部体系稿；
研究入口：为后续展开“无显择有”体系的哲学、物理、数学三层结构提供文献指向；
自我约束：明确该体系也必须接受本源证明、解释增益、经验兼容和可证伪性的审查。
换言之：
本文不是借内部体系稿取得豁免权， 而是把内部体系稿放入同一审查规则之下。
如果既有科学不能豁免第一性，新体系同样不能豁免第一性。 如果旧理论必须偿还解释债务，新体系也必须给出实际偿还能力。 如果科学反对“别问，相信就好”，那么新体系也不能要求别人“别问，相信就好”。
这正是本文与信条化体系的根本区别。
长按或扫码识别 分享给好友
长按屏幕识别二维码
打开手机扫描二维码
