发现VS发生 · 今日头条 · 2026年8月24日

归差的去处

先天概念的判归机制、三个出口与死亡条件

王德生 · Claude 撰 发现VS发生 · 2026年8月24日 · 约 2 万字 · 十一节+附录 · 含两次预注册判归编码(N=14 / N=8)与三条失败假设
摘 要

先天概念在语言学、物理学与哲学中长期享有解释特权。既有的历史化路线——福柯的历史先天、赖欣巴哈与弗里德曼的相对化先天、拉图尔的黑箱化——已经把「先天是被生产出来的」这件事说清楚了,却共同停在同一处:它们解释了先天如何被封起来,没有解释先天在被打开之后为什么仍然不死。存在一个它们预测不出的稳定现象:在观测手段极其充分、异常已被公开报告到 4σ 级别、争论已持续二十余年的领域里,先天概念依然完好。可见性已经改变,先天却没有变——这说明可见性不是那个承重变量。本文的承重命题是:先天不是发生史不可见的产物,而是归差被稳定判归到对象之外的产物。任何测量都会在对象的名义值与实测值之间留下一段必须记账的偏差,本文称之为归差;归差只有三个去处——判归对象侧(对象确实在变)、判归仪器侧(是我们量错了)、判归域外侧(这不是同一个对象)。一个概念之所以是「先天的」,是因为在它身上产生的归差被长期、稳定地送进后两个出口;先天的死亡条件不是窗口打开,而是三个出口同时关闭。本文提出三条律(开窗不足律、判归自持律、三去处律)与两个可操作读数(判归比 A、判归滞后期 T),并执行两次预注册的回溯检验:精细结构常数 α 变化争议的文献判归编码(1999–2017,N=14),与普遍语法在大语言模型冲击下的判归编码(2002–2025,N=8)。α 案中 H1 成立(A ≈ 0.29),H2 失败(4σ 级异常报告后十五年判归未换手),H3 被推翻并据此改判——独立仪器不是换手条件,领域对异常的标准响应恰恰是造更好的仪器,这把归差再一次留在仪器侧。语言学案中 H4 失败(归差的生产者与裁定者已经分离,判归仍未换手),失败逼出本文最重要的一处修改:归差不是两个去处而是三个,第三个出口「域外侧」是最便宜、最晚关闭的一个,也是判归换手的真正瓶颈。这一修改不是作者的设计,是两次检验的残骸。结论:哲学先天之所以最耐活,不是因为它的窗口最暗,而是因为它的域外出口永远开着。本文并在结论处承认自身同样触犯律二——作者既生产案例又裁定归属,因此把两次检验的全部原始条目摊开,供判归被第三方重做。

关键词 先天;归差;判归权;判归换手;精细结构常数;刺激贫乏;普遍语法;科学争议的收尾机制
Abstract A priori concepts retain explanatory privilege across linguistics, physics, and philosophy. The established historicizing routes — Foucault's historical a priori, the Reichenbach–Friedman relativized a priori, and Latour's blackboxing — have shown that the a priori is produced rather than found. All three stop at the same point: they explain how the a priori gets sealed, not why it survives after being unsealed. This paper's load-bearing claim is that the a priori is not a product of an invisible genesis but of a residual stably filed outside the object. Every measurement leaves a gap between an object's nominal value and its measured value — an attributable residual — and a residual has exactly three exits: the object, the instrument, or out of domain. A concept is a priori precisely when its residuals are durably routed into the latter two; its death condition is not the opening of an observational window but the simultaneous closure of all three exits. Two pre-registered retrospective tests are executed: a coding of the fine-structure-constant variation literature (1999–2017, N = 14) and of the universal-grammar debate under the large-language-model challenge (2002–2025, N = 8). In the α case H1 held (A ≈ 0.29), H2 failed (fifteen years after a 4σ-level anomaly, no handover of attribution authority), and H3 was refuted and revised: an independent instrument is not the handover condition, since the field's standard response to an anomaly is to build a better instrument, filing the residual back to the instrument side once more. In the linguistics case H4 failed — producer and judge of the residual are already separate, yet no handover occurred. That failure forced the paper's central revision: residuals have three exits, not two, and the third is the cheapest, the last to close, and the real bottleneck. Philosophical a priori concepts are the most durable not because their window is darkest but because their out-of-domain exit never closes.

Keywords a priori; attributable residual; attribution authority; attribution handover; fine-structure constant; poverty of the stimulus; universal grammar; closure of scientific controversy

一、引言

1.1 一个不该稳定的稳定

2011 年,一组研究者报告:把 Keck 望远镜与甚大望远镜(VLT)两批类星体吸收系统合并之后,精细结构常数 α 在天球上的分布可以用一个空间偶极模型拟合,该模型相对「α 处处相同」的单极模型具有 4.1 至 4.2σ 的统计优势(Webb et al. 2011;King et al. 2012)。这不是一次会议摘要,它发表在《物理评论快报》与《皇家天文学会月报》上,样本近三百个吸收系统,作者团队公开列出了他们所做的系统误差排查。

按照任何一种「先天是被封起来的发生」的理论——无论是历史先天、相对化先天,还是黑箱化——这时候都应该发生一件事:α 的「常数」身份开始松动,物理学界开始把它当作一段有历史的量来处理。窗口已经开了,日志已经有了,异常已经被公开报告到 4σ。

十五年过去了,没有发生。α 依然被写在物理常数表里,依然是方程的给定输入,依然不被解释。围绕它的争论并没有停止,但争论的形态极其特别:它几乎全部发生在这个偏差属于谁这一层上——是波长定标的长程畸变?是拟合算法的参数估计缺陷?是误差棒被低估了六倍?是镁二重线(Mg II)的光致电离多普勒位移?还是 α 真的在变?(Murphy, Webb & Flambaum 2007, 2008;Srianand et al. 2007;Molaro et al. 2008;Molaro & Centurión 2011;Whitmore & Murphy 2015;Wilczynska et al. 2015;Kotuš, Murphy & Carswell 2017。)

这是一个不该稳定的稳定。它不是「没有观测」,它是观测极其充分而结论极其不动。任何一种把先天的存活归因于不可见的理论,都预测不出这一格。

1.2 本文要问的那一句

本文因此不再问「先天概念是不是真的」,也不再问「先天概念是怎么被封起来的」——后一个问题在二十世纪已经被回答了三遍,本文在第二节逐一交代。本文问的是第三个问题:

在一段发生史已经可见之后,先天概念靠什么继续活着?

答案的形状必须是一个变量,而不是一种氛围。本文给出的变量是归差的去处

任何一次测量,都会在对象的名义值与实测值之间留下一段偏差。这段偏差不会消失,它必须被记到某个账上——本文称这段必须被记账的偏差为归差(attributable residual),称「决定它记到哪个账上」的权力为判归权(attribution authority)。

本文的承重命题是:

先天不是发生史不可见的产物,而是归差被稳定判归到对象之外的产物。一个概念之所以是「先天的」,是因为在它身上产生的归差长期、稳定地不被记到它自己的账上。

1.3 这句话与既有历史化路线的分离线

福柯说先天是历史的;赖欣巴哈与弗里德曼说先天是构成性的、可修正的;拉图尔说事实一旦稳定就被黑箱化,只剩输入输出可见。这三家都在说「先天是被做出来的」。本文承认这一点,并且不打算重复它。

本文与三家的分离线只有一条,但它很硬:三家的机制里都没有归差

  • 黑箱化描写的是「箱子合上」,箱子合上之后,箱内不再产生可报告的数字。但 α 的箱子从未合上——它每年都在产生数字,而且数字有偏差。黑箱化解释不了一个持续吐出异常的黑箱。
  • 相对化先天描写的是「协调原则随框架更替」,它是框架层的事件,尺度是几十年一次的科学革命。它解释不了在同一框架内、无革命发生时,一段异常如何被年复一年地消化。
  • 历史先天描写的是「某一时期使某个知识领域得以成立的统一条件」,它是时期层的描述,没有为单次异常的去向提供任何读数。

归差是一个可以按篇计数的东西。这就是本文与三家的全部差别,也是本文唯一需要守住的地盘。

1.4 研究问题

RQ1:在一个观测充分的领域里,围绕某个「先天」对象产生的偏差,实际被判归到哪一侧?这个判归可以被第三方重复编码吗?

RQ2:判归权在什么条件下换手?「窗口打开」是不是换手的充分条件?

RQ3:如果判归不换手,先天概念靠哪一个出口活下来?这个出口能被关上吗?

1.5 贡献声明(三条,逐条可查)

本文提出:归差与判归权这一对概念,以及两个可操作读数——判归比 A(对象侧判归数占全部已判归数之比)与判归滞后期 T(首次达阈异常报告至判归换手完成的时长)。

本文证明(通过两次预注册回溯检验):观测窗口的打开既不是先天概念死亡的充分条件,也不是它的近似条件。α 案给出十五年、语言学案给出三年以上的判归滞后期,两案的窗口均已完全打开。

本文推翻:把先天的存活归因于不可见的整条解释路线,包括本文作者此前所持的「观察窗口」版本。取而代之的坐标是归差的三个出口。第三个出口——域外侧(「这不是同一个对象」)——不是本文的设计,是第二次检验失败后被数据逼出来的;它同时解释了为什么哲学先天最耐活。

二、文献述评:三条历史化路线与它们共同的止步处

2.1 历史先天:福柯与胡塞尔

把先天从「永恒形式」改写为「历史产物」,这条路最完整的版本在福柯。在《知识考古学》中,「历史先天与档案」是独立的一章;在《词与物》中,福柯用「历史先天」指称使某一时期某个知识领域内所有分歧得以属于同一场争论的那个统一条件——它位于分歧、发散与离散之下,是那个把十八世纪一切关于自然秩序的描述归拢为同一片田野的地基。近年的研究把这个概念与胡塞尔的「历史性的先天」重新接上,并指出福柯在使用这个词时比人们以为的更接近胡塞尔(Peters 2021);也有综述把相对化先天、历史先天与符号形式三条线并置处理(Vaccarino Bremner 2025)。

这条路解决了什么:它把先天从形而上学的位置搬到了历史的位置,并给出了一个操作对象——档案。

它止步在哪里:历史先天是时期层的描述。它能说「十八世纪的自然史共享一个地基」,不能说「1999 年 12 月这篇报告偏差的论文,它的偏差被谁记到了哪个账上」。它没有单次事件的读数,因此对本文的问题(异常出现之后发生了什么)无法作答。福柯的地基是被后来的考古学家挖出来的,不是被当时的当事人判归的。

分离线:本文不与福柯争「先天是不是历史的」(本文接受)。本文要的是他没有的那个东西:单次归差的去向记录。

2.2 相对化先天:赖欣巴哈与弗里德曼

赖欣巴哈 1920 年在《相对论与先天知识》中把康德的先天拆成两重含义——必然且不可修正,与知识对象的构成性——他保留后者、否弃前者,并用协调公理与连接公理的区分来承载这一拆分。弗里德曼在《理性的动力学》(2001)中重启这一思路,为「先天但可修正的构成性原则」造了「相对化先天」这个说法,并用牛顿力学、狭义相对论、广义相对论三段来演示构成性原则如何在科学革命中被替换(Friedman 2001;Padovani 2011)。

这条路解决了什么:它给出了先天概念退位的一种机制——框架更替。它比「被证伪」精确得多,也比「被历史淘汰」精确得多。本文的问题意识与它同源。

它止步在哪里:两处。第一,相对化先天的时间尺度是科学革命,粒度太粗;它无法处理「同一框架内、无革命发生时,异常被逐年消化」这一常态。第二,它把构成性原则的更替当作一个理论层事件,而本文两次检验显示:判归的战场从来不在理论层,在方法层——争的是拟合算法、误差棒、波长定标,不是争 α 的本体论地位。有意思的是,这一处恰恰在赖欣巴哈本人那里有过伏笔:他对协调原则的分析原本就是从测量程序出发的,而这一层在弗里德曼的重述里被稀释了;已有研究注意到并试图补回(Padovani 2015)。本文可以看作沿这条被稀释的线往下走的一步。

分离线:弗里德曼问「哪条原则在承担构成性功能」,本文问「这次的偏差被记到谁账上」。前者是原则的身份,后者是残差的去向。二者不是同一个变量,也不能互推。

2.3 黑箱化:拉图尔

拉图尔对本文最近。他把「科学与技术工作因自身成功而变得不可见」命名为黑箱化:当机器运转顺畅、当一项事实被结定,人们就只需关注它的输入与输出,不必再看它内部的复杂性;因此,科学与技术越成功,就越不透明。相应地,失败与故障会促使人们「打开箱子」,重新协商内部(Latour 1987, 1999)。

这条路解决了什么:它给出了先天概念形成的社会过程,而且给出了大量实证个案。本文第一节所述的现象在拉图尔的词汇里可以被叫作「一个拒绝合上的黑箱」。

它止步在哪里:黑箱化是一个二值开关——开或合。它预测:异常出现(故障)→ 箱子被打开 → 内部被重新协商 → 事实的稳定性下降。α 案完全满足前三步,第四步没有发生。二十五年的争论没有降低 α 的常数身份,反而每一轮争论结束时,α 都比上一轮更「常数」一点,因为每一轮都以「这个偏差属于仪器」收尾。拉图尔的模型里没有一个位置能安放「打开之后仍然稳定」这件事。

分离线:本文把拉图尔的开关换成一个流向。箱子不是开或合,是箱子里流出来的东西被记到哪本账上。这是本文全部的增量。

2.4 三条脉络中的先天概念本身

以上三家是关于先天的元理论。作为被讨论对象的先天概念本身,本文取三条脉络:

语言学的普遍语法。 乔姆斯基(Noam Chomsky)在《句法理论面面观》(1965)中把刺激贫乏论证作为语言天赋性的核心理据:儿童接收的语料有限且退化,而儿童取得的能力是无限产出合法新句;因此所需的约束不可能从语料中归纳,必须由语言器官预先供给。这一论证的最系统的经验体检来自 Pullum 与 Scholz(2002):他们把论证重构为一个五步形式,逐条要求提出者交出「儿童缺乏何种具体证据」的经验实例,并明确声明他们关心的不是经验主义的语言学习是否为真,而是语言学家是否已经确立其为假。这一区分极其重要,本文在第七节会用到它。

物理学的自然常数。 常数是方程中不被理论解释的给定系数。人择原理是这一给定性的最强辩护:宇宙必须允许观察者出现,否则无人追问这些值(Barrow & Tipler 1986)。另一条相反方向的线索来自把常数写成动力学沉降残值的尝试,从狄拉克大数假设到布兰斯—迪克标量场,再到斯莫林关于常数可能在宇宙世代更迭中被选择的设想(Smolin 1997)。

哲学的先天范畴。 康德把先天从少数概念升级为一切经验的构架;休谟从相反方向把必然连接判归为心灵的习性;皮亚杰用发生认识论把逻辑与范畴放回儿童与世界互动的建构史里(Kant 1781;Hume 1748;Piaget 1970)。

2.5 共同止步处与本文缺口

三条元理论路线共享一个隐含假设:先天的存活依赖于不可见。福柯的地基之所以是地基,因为它在当时无人看见;弗里德曼的构成性原则之所以先天,因为它在框架内不被检验;拉图尔的黑箱之所以黑,因为它合上了。

第一节的现象把这个假设推翻了。α 的发生史是可见的、逐年可见的、以论文为单位可见的,而它的先天身份纹丝不动。

本文的缺口因此可以一句话给出:

已有理论解释了先天概念如何被封起来,没有一个解释了先天概念在被打开之后如何继续活着。而后者才是当代绝大多数先天概念的实际处境。

三、概念界定与操作化

3.1 归差(attributable residual)

名义定义:在一次测量或一次能力评估中,对象的名义值(理论给定值、标准描述、预期表现)与实测值之间的偏差,且该偏差在报告中被明确记录、需要被归因。

三点限定:

第一,归差必须被报告。没有进入公开记录的偏差不是归差,是噪声。这一限定使本文的对象是文献而不是自然。

第二,归差必须需要归因。若报告本身把偏差声明为不需要解释(例如纯粹的取整误差),则不计入。

第三,归差不预设方向。它既可以是「对象比理论值大」,也可以是「系统的表现比理论预期差」。在语言学案中,归差是模型表现与人类表现之间的落差;在物理学案中,归差是 Δα/α。

3.2 判归(attribution)与三个出口

名义定义:在报告中,作者把归差归到某一侧的动作。本文识别三个、且只有三个出口:

  • 对象侧(O):偏差属于对象本身。对象在变、对象的结构与名义描述不符。
  • 仪器侧(I):偏差属于测量装置或测量程序。定标畸变、拟合算法缺陷、误差棒低估、样本选择偏倚、模型容量、训练规模。
  • 域外侧(X):偏差不属于本对象。被测的不是同一个东西;这个系统不是那个系统;此现象不归本领域管。

为什么必须有第三个出口:这一格不在本文的初始设计里。本文原先只设 O 与 I 两个出口,并预测语言学案会显示判归换手已经完成。第七节的检验推翻了这一预测,而推翻的方式是:语言学中最强的反驳既不说「数据不足」(O),也不说「模型训练有缺陷」(I),而是说这类系统根本不是人类语言认知的理论——归差被送出了域。两个出口装不下这个动作,第三个出口是被逼出来的。

3.3 判归权(attribution authority)

名义定义:在一个领域中,有权做出上述判归并使该判归被同行接受的位置。

操作化:一次判归的持有者,取该报告的通讯作者所属研究传统。判归权的集中度,取做出对象侧判归的独立研究传统数目。若全部对象侧判归来自同一个研究传统,集中度记为 1。

集中度是本文最要紧的一个读数,因为它区分了两种表面相同的争论:一种是两个共同体在争,一种是一个共同体在自言自语。

3.4 两个读数

判归比 A

A = O 类判归数 ÷(O 类 + I 类 + X 类)

A 是一个 0 到 1 之间的比值,按篇计。它不衡量谁对,只衡量归差的流向。

判归滞后期 T

T = 从首次达阈异常报告,到判归换手完成,所经历的时间。

判归换手(attribution handover)的完成判据(不含情态词):当且仅当满足以下两条:(甲)领域内的标准文献(教科书、综述、数据表)在陈述该对象时,附带一个非零的变化项或历史项,而非单一给定值;(乙)做出对象侧判归的独立研究传统数目 ≥ 2。若换手未完成,T 记为「≥ 当前时长」,且必须写明观察截止日。

3.5 先天的操作性定义

在本文中,一个概念 C 被判定为处于先天状态,当且仅当:

(一)C 所在领域已产生至少一条被报告的归差;且 (二)判归换手未完成(3.4 判据)。

注意这个定义故意不包含「不可观测」。一个对象可以被观测得极其充分而仍处于先天状态——这正是本文全部的着力点。反过来,一个从未产生过归差的对象(例如某些纯形式对象)不落入本文定义域,本文第十节把它划为边界外,不冒充解释。

3.6 对「改名嫌疑」的自我防守

必须当场堵一个洞:归差判归是不是「可观察性」的换词?

不是,而且这个区分是可操作的。可观察性是关于对象与仪器之间的二元关系,只有「能」与「不能」。判归是关于一段已经存在的数字被记到哪本账上,它有三个方向,并且同一份数据可以在不同报告中被判到不同侧。第六节将给出这样的实例:同一批 Chand 等人 2004 年的光谱,在原作者处被判为对象侧无变化,在 Murphy 等人处被判为仪器侧(拟合算法不可靠、误差低估约六倍),在 Wilczynska 等人的重建模中又得到第三个数值。可观察性在这三次中完全没有变化,判归变了三次。

本文因此接受一条自我否决条款:若在两个检验案中,判归编码的结果与「该数据是否可观察」完全同向,则本文只是给可观察性换了个词,本文作废。(执行结果见 6.6 与 7.5。)

四、承重命题与三条律

4.1 承重命题

先天不是发生史不可见的产物,而是归差被稳定判归到对象之外的产物。

「X 是先天的」 = 「在 X 上产生的归差,被长期、稳定地送进仪器侧或域外侧,而不进入对象侧。」

这个命题与既有历史化路线的关系是接续而非替代:福柯、弗里德曼、拉图尔解释了封箱,本文解释开箱之后。它与本文作者此前所持的「观察窗口」版本的关系则是推翻:窗口版本预测窗口打开则先天退位,第六节与第七节两次检验都推翻了这一预测。

4.2 律一 · 开窗不足律

观测窗口的打开,只改变归差的可见性,不改变归差的归属。

推论:任何以「提高观测能力」为路径的去先天化计划,其效力上限是把归差从无到有地造出来。造出来之后归差去哪里,是另一件事,由律二与律三决定。

这条律直接对着拉图尔的开关模型。它预测:打开黑箱之后,最常见的结果不是事实被重新协商,而是箱内涌出的归差被批量判归给仪器,从而使事实比打开前更稳固。第六节给出这一预测的实例。

4.3 律二 · 判归自持律

当归差的生产者同时是它的裁定者时,判归比 A 单调地向仪器侧偏移。

机制不神秘:测量共同体的专业身份、经费与信誉,绑定在「我们的仪器是可靠的」这一命题上;而承认对象在变,等于承认此前所有报告零变化的测量都是错的。两条出路中,判归给仪器只否定单次测量,判归给对象要否定一代人的测量史。成本不对称,方向就不对称。

这条律有一个刺人的推论:争论越激烈,A 越低。因为激烈争论的标准武器就是指出对方的方法缺陷——而每一次成功的方法学指控,都是一次把归差判给仪器侧的动作,无论指控来自哪一方。第六节将显示,α 争论中,主张 α 变化的一方与主张 α 不变的一方,都在用仪器侧判归攻击对方,于是二十五年下来,归差始终没有落到对象身上。

4.4 律三 · 三去处律(改判后的版本)

本文提交的原始版本(已被推翻,保留在此以便追责)

判归换手发生在归差的生产者与裁定者分离时——即当一个独立的第三方机制在窗口内独立生成同一功能之际。

推翻它的两件事

第一,α 案。领域对 4σ 异常的标准响应,是呼吁建造精度更高的光谱仪(Molaro et al. 2008 明确提出 ESPRESSO 项目对于推进 Δα/α 的天文测定是关键的)。造新仪器确实引入了新装置,却没有引入新的判归者——新仪器仍由同一个测量共同体持有。独立仪器不等于独立判归权。

第二,语言学案。大语言模型这一归差的生产者(机器学习共同体)与裁定者(生成语言学共同体)从一开始就是分离的,分离度远高于 α 案。按原始版本,这里应当发生换手。没有发生。

改判后的版本

归差有且只有三个去处:对象侧、仪器侧、域外侧。先天概念的死亡条件是三个出口同时关闭。域外侧是三者中最便宜的一个,因此总是最后关闭;判归换手的实际瓶颈在域外侧,不在仪器侧。

为什么域外侧最便宜?因为关闭仪器侧需要做出一台无可指摘的仪器,关闭对象侧需要接受一段自己刚刚否认过的历史,而使用域外侧只需要一句话:这不是同一个对象。它不消耗任何测量资源,不承认任何过往错误,并且在语义上永远可用——任何两个对象之间总能找到一处差异,据此宣布它们不同类。

推论(本文最有预测力的一条):一个领域中域外侧的可用性,决定该领域先天概念的寿命。物理学的域外侧较窄——α 就是 α,很难宣称「你测的那个 α 不是我说的 α」(尽管可以宣称「你测的那条谱线不干净」,但那是仪器侧)。语言学的域外侧很宽——「大语言模型不是人类」这句话随时可用。哲学的域外侧无限宽——任何经验材料都可以被宣布为不触及先验层面。

这条推论重写了本文作者此前的一个判断。 旧判断是「哲学先天最耐活,因为它的窗口最暗」。新判断是:不是暗,是出口多。哲学从不缺观察,它缺的是一个无法被宣布为「不算数」的观察。

五、可裁决判据与可观测指标

5.1 判别式

对任一被称为先天的对象 O:若在 O 上已报告的归差中,存在至少两个独立研究传统做出对象侧判归,且领域标准文献已在 O 的陈述中附带非零变化项,则 O 已完成判归换手,不再处于先天状态;否则 O 处于先天状态,且其存续由当前仍开放的出口标识(仪器侧 / 域外侧 / 二者)。

这个判别式不含情态词,不依赖研究者对「是否真的先天」的信念,只依赖两件可查的事:谁做了判归,与标准文献怎么写

5.2 跨域跑一遍(五格,答案互不相同)

领域 对象 归差是否存在 换手 当前开放出口 判定
物理学 精细结构常数 α 有(Δα/α,1999 起) 未完成 仪器侧为主 先天状态,仪器侧维持
语言学 普遍语法所需的先天约束 有(模型—人类落差) 未完成 域外侧为主 先天状态,域外侧维持
哲学 康德式认知范畴 极弱(发展心理学行为序列) 未完成 三者全开 先天状态,出口冗余
生物学 寒武纪形型的起源 有(基因组比较、化石形态序列) 已完成 非先天状态
经济学 「市场均衡」作为给定结构 有(经济史、制度史) 部分完成 域外侧 分域,部分换手

五格答案互不相同,且生物学一格给出一个完成的实例,这一点重要:若判别式在任何领域都判「先天」,它就没有分辨力。寒武纪案的换手是可查的——分子系统发生学与化石形态序列来自两个独立传统,且标准教科书已在陈述该事件时附带演化时序,两条件均满足。

5.3 三条自我否决条款

条款甲 · 编码信度。 判归编码由两位独立编码者执行,若一致性低于 80%,读数判为不稳。本文的执行状态见 6.6:本文只有一位编码者,这是本文最大的内部效度缺陷,不掩饰。 缓解办法是把全部条目与判归依据逐条列出(表 6.1、表 7.1),使第三方可以重做而不必重新检索。

条款乙 · 改名嫌疑。 见 3.6。若判归编码结果与「数据是否可观察」完全同向,本文作废。

条款丙 · 预测失败。 若出现一个先天概念,在其三个出口全部关闭之后仍然存续,本文的死亡条件判据作废——不是「待完善」,是作废。

六、检验一:精细结构常数 α 的判归编码(1999–2017)

6.1 预注册假设

在执行编码之前,本文声明三条假设与各自的失败条件:

H1:在 α 变化争议的可及文献中,判归比 A < 0.5,即多数归差被判归给仪器侧。失败条件:A ≥ 0.5。

H2:在首次达到 4σ 级别的异常报告之后五年内,判归换手完成(5.1 判据)。失败条件:满五年未完成。

H3:判归换手的条件是独立仪器的出现。失败条件:出现独立仪器而换手未发生。

6.2 取样与限制(先说清楚样本有多小)

本文的取样不是穷尽检索,也不冒充穷尽检索。取样方式是:以 α 变化争议的三篇综述性文献所引的争议主线为骨架,取其中在本次检索中可直接核到内容的条目,共 14 条,时间跨度 1999–2017。

这个样本的三处已知偏倚,逐条声明:(一)综述由争议一方或第三方撰写,其引用结构本身可能偏斜;(二)2017 年之后的条目(特别是 ESPRESSO 时代的测量)本次未纳入,因此「至今未换手」这一判断的证据强度到 2017 为止,2017 后仅由标准文献中 α 的呈现方式支持;(三)单编码者。

在这三处偏倚之下,H2 的失败结论依然成立,因为 H2 的失败只需要「换手未完成」,而换手判据(甲)中的标准文献条件独立于本样本。

6.3 编码表

表 6.1 · α 变化争议的判归编码(N=14)

# 条目 报告的归差 判归侧 判归依据(该报告自身给出的)
1 Webb et al. 1999 (PRL 82, 884) 高红移处 α 偏小 O 多重线方法给出显著偏离
2 Murphy et al. 2003 Δα/α = (−0.57±0.11)×10⁻⁵,143 系统 O 系统误差排查未找到可解释者
3 Chand et al. 2004 (A&A 417, 853) Δα/α = (−0.06±0.06)×10⁻⁵,23 系统 I 前人结果应归于方法,本样本无变化
4 Srianand et al. 2004 (PRL 92, 121302) 同上,VLT 零结果 I 同上
5 Murphy, Webb & Flambaum 2007a 对 3、4 的重分析 I 参数估计技术有缺陷,误差棒低估约 6 倍,优化算法在多数吸收体上未收敛;若无此缺陷,同一数据应给出 (−0.44±0.16)×10⁻⁵
6 Srianand et al. 2007(回应) 修正为 (0.01±0.15)×10⁻⁵ I 承认误差大于初报,但坚持程序稳健,并指出 70% 单项测量与原文一致
7 Molaro et al. 2008(FeII 线) Chand 样本内部不一致约 10 ppm I 定标误差;并在一个系统中发现 Mg II 与 Fe II 之间的光致电离多普勒位移
8 Webb et al. 2011 (PRL) 合并样本呈空间偶极,4.2σ O 双望远镜重复观测的系统误差搜索未找到可模拟该结果者
9 King et al. 2012 (MNRAS 422, 3370) 偶极,4.1σ,振幅 0.97×10⁻⁵ O 同上,并指出文献中不存在足以解释 Keck 结果的特定系统效应
10 Molaro & Centurión 2011 UVES/HIRES 波长尺度的长程畸变 I 超定标
11 Whitmore & Murphy 2015 同上,扩展 I 超定标;HARPS 的波长尺度长程畸变远小
12 Wilczynska et al. 2015 (MNRAS 454, 3082) 23 系统重建模,(0.22±0.23)×10⁻⁵ I 建模方法差异带来显著系统效应,此前分析未计入
13 Planck Interm. XXIV (2015) 对偶极主张的评述 I 记录该主张「遇到一些怀疑」
14 Kotuš, Murphy & Carswell 2017 (MNRAS 464, 3679) 单系统高精度限制 I 关键观测问题在于某个或某组系统效应能否模拟两项大样本研究的结果

6.4 读数

判归比:O 类 4 条(#1、2、8、9),I 类 10 条,X 类 0 条。

A = 4 / 14 ≈ 0.29

H1 成立。

判归权集中度:四条对象侧判归全部出自 Webb–Murphy–Flambaum–King 这一条研究谱系。

对象侧判归的独立研究传统数 = 1

这是本表最尖锐的一个数字。按 5.1 判据的条件(乙),换手需要独立传统数 ≥ 2;α 案在整个 1999–2017 的争议史中,这个数从未离开过 1。表面上看这是一场两方对峙的争论,判归编码显示它其实是一个传统在向整个领域申请判归,而领域整体持有仪器侧判归权

H2 失败。 首次 4σ 级报告为 2011 年(#8)。截至本文观察截止日 2026 年 8 月 24 日,判归换手未完成:换手判据(甲)不满足——α 在物理常数表与标准教科书中仍以单一给定值出现,不附带变化项;判据(乙)不满足——独立传统数 = 1。

T ≥ 15 年(观察截止 2026-08-24),换手未完成。

H3 被推翻并据此改判。 领域对异常的响应,包括呼吁建造 ESPRESSO 这样精度更高的光谱仪(#7 的明确表述是:新光谱仪对于推进 Δα/α 的天文测定是关键的)。新仪器出现了,判归者没有变。改判后的表述见 4.4:换手条件不是独立仪器,是三个出口同时关闭;而在 α 案里,仪器侧从未关闭过,因为每一台更好的仪器都在给仪器侧续命——它同时是「更可能测出变化的装置」和「证明此前测量不可靠的证据」。

6.5 律二在本案中的直接证据

表 6.1 中最能说明判归自持律的是 #5 与 #7 的组合:

  • #5 是主张 α 变化的一方,用仪器侧判归打掉对方的零结果(你的拟合算法不可靠)。
  • #7 是主张 α 不变的一方,用仪器侧判归打掉对方的正结果(你的定标有 10 ppm 误差)。

两方的武器完全相同,方向相反。结果是:每一次交锋都增加一条仪器侧判归,没有一次交锋把归差推向对象侧。 这就是 4.3 那条刺人推论的实例——争论越激烈,A 越低。

6.6 条款甲与条款乙的执行结果

条款甲(编码信度)未通过。本文只有一位编码者,无法给出一致性系数。这是本案读数的最大缺陷。已做的缓解是表 6.1 把每一条的判归依据写成该报告自身的措辞,使第三方可以在不重新检索的情况下复核判归,并把不同意的条目逐条指出。若第三方复核后 A 落在 0.5 以上,H1 应判为失败。

条款乙(改名嫌疑)通过。判决性实例是 #3 / #5 / #12 三条:同一批 Chand 等人 2004 年的 VLT 光谱,可观察性在三次分析中完全没有变化(同一份数据、同一批谱线),判归却变了三次(对象侧无变化 → 仪器侧缺陷 → 仪器侧建模差异,且三次给出三个数值)。若「判归」只是「可观察性」的换词,这三次不可能不同。

七、检验二:普遍语法的判归编码(2002–2025)

7.1 预注册假设

H4:大语言模型出现之后,语言学中围绕先天约束的判归换手已经完成或正在完成。失败条件:截至观察日未完成,且对象侧独立传统数 < 2。

H5:判归换手的可观察前兆,是归差被重新命名(同一现象在两方口中获得不同名称)。失败条件:编码中未出现同一现象的双命名。

7.2 本案的归差是什么

必须先把归差定义清楚,否则本案无法编码。在语言学案中,归差是:一个仅以下一词预测为训练目标、无任何句法标注的系统,其语言表现与人类语言能力之间的落差。这个落差有两个方向,两个方向都是归差:

  • 正向归差:系统表现出了理论认为它不可能有的能力(产出合法新句、对嵌套结构敏感)。
  • 负向归差:系统在某些人类儿童稳定掌握的约束上失败。

两个方向必须一起编码。只编正向是选择性取样——这正是本文作者此前版本所犯的错误:旧稿只处理了正向归差,把 LLM 的句法能力当作「判决性反例」,完全没有检索负向归差的文献。

7.3 编码表

表 7.1 · 普遍语法争议的判归编码(N=8)

# 条目 报告的归差 判归侧 判归依据
1 Pullum & Scholz 2002 (Linguistic Review 19, 9–50) 刺激贫乏论证缺乏经验实例;语料中可找到相关句型 I 明确声明关心的不是经验主义学习是否为真,而是语言学家是否已确立其为假——判归给论证程序,不给对象
2 Piantadosi 2023 (lingbuzz/007180) 现代语言模型的语言表现(正向归差) O 语言结构可从语料习得,先天语法非必要
3 Katzir 2023 (Biolinguistics 17, e13153) 同一批模型在 Ross 的跨支提取概括上失败(负向归差) X 这类系统被设计为工程工具,不是人类认知的理论;发现它们能教我们人类如何运作将是惊人的
4 Lan, Chemla & Katzir 2022 四个模型在同一约束上全部失败 O(反向) 归差属于对象,但对象是「模型」而非「人类语言能力」——对象侧判归被用于支持先天论
5 Yedetore et al. 2023(ACL,「How poor is the stimulus?」) 以儿童规模语料训练的模型未取得层级泛化 O(反向) 同上:数据规模受限时,层级偏置不自发出现
6 Chomsky 1965 / 后续 儿童语料的有限性与退化 O(反向) 约束不可能从语料归纳,必由语言器官供给
7 Nefdt / Chemla 一线(神经语言模型作为形式生成模型) 模型与生成语法的形式关系 X 把模型收编为生成语言学的形式对象,归差被移出「人类习得」这一域
8 Volenec & Reiss 2025(据 Katzir 线索所引) 对 Piantadosi 立场的再批评 X AI 对语言的建模不构成适用于人类的解释性理论的合适基础

编码说明(必须写明,否则本表不可复核):#4、#5、#6 标记为「O(反向)」,指判归确实落到了对象侧,但对象被认定为「模型」或「语料」,其效果是加固人类先天论。为避免把这三条误算作有利于本文的证据,计算判归比时,本文只把「归差落到人类语言能力这一被争议对象自身」的条目计入 O。按此口径:

O = 1(仅 #2);I = 1(#1);X = 3(#3、#7、#8);反向 O = 3(#4、#5、#6,不计入分母外,另列)

A = 1 / 5 = 0.20

7.4 读数

H4 失败。 对象侧判归的独立研究传统数 = 1(Piantadosi 一线)。换手判据(甲)也不满足:生成语言学的标准教材与综述在陈述语言习得时,仍以先天偏置为给定项。

T ≥ 3 年(自 2023 年首次系统性对象侧主张起,观察截止 2026-08-24),换手未完成。

H5 成立。 双命名清晰可见:同一批模型表现,在一方口中是「泛化」,在另一方口中是「记忆检索」或「工程巧合」;而 Katzir 用的类比是——发现一架新设计的无人机顺带解决了鸟类飞行中的一个未决问题,将会是令人吃惊的。这个类比本身就是一次域外侧判归的完整动作:它不否认无人机飞得好,它否认无人机与鸟属于同一个待解释对象。

7.5 本案逼出的改判(本文最重要的一处)

H4 的失败方式,与 α 案完全不同,而正是这个不同产出了本文的核心增量。

在 α 案里,归差被判给仪器侧:你量错了。 在语言学案里,主流反驳不说「你量错了」——它承认模型确实产出了那些句子——它说:你量的不是这个对象

这是一个两出口模型装不下的动作。它既不是对象侧(它不承认人类语言能力有归差),也不是仪器侧(它不指控训练过程有缺陷,事实上它承认模型的工程成就)。它是第三个方向。

由此产生本文的三处改动

第一,出口从两个改为三个(3.2)。

第二,律三从「生产者与裁定者分离即换手」改为「三个出口同时关闭才换手」(4.4)。语言学案是这次改判的判决性材料:这里的生产者(机器学习共同体)与裁定者(生成语言学共同体)是彻底分离的两批人,分离度远高于 α 案,换手却同样没有发生——因为分离并不关闭域外侧,反而使域外侧更好用(「他们本来就不是研究人的」)。

第三,「哲学先天最耐活是因为窗口最暗」这一旧判断被替换为「因为出口最多」(4.4 推论)。

必须承认的是:这三处改动都是失败逼出来的,不是设计出来的。 本文在预注册 H4 时,预期的是换手正在完成。如果 H4 成立,本文会是一篇更漂亮但更薄的论文——它只会重复「窗口打开则先天退位」,而那正是第六节已经推翻的东西。

7.6 本案对本文的一处不利结果

表 7.1 中 #5(Yedetore et al. 2023)对本文的整体立场是不利的,必须单独记账。

该研究以儿童规模的语料训练模型,发现层级泛化未自发出现。这条结果的方向是:当把训练规模压到人类儿童的量级,正向归差大幅缩小。 这意味着本文第一节所依赖的那个「概念事故」——一台无先验的系统凭数据长出句法——在人类可比的数据规模下并不成立,或至少远弱于旧稿的描述。

本文因此不再把 LLM 当作先天论的「判决性反例」。旧稿的这一说法是过度主张,本文撤回它。本文对语言学案的全部使用,收缩为一件事:它是一个判归编码的样本,用来读判归的流向,不用来裁决语言天赋性的真伪。 语言天赋性是否为真,本文不作答,也不需要作答——本文的命题是关于判归机制的,不是关于语言器官的。

7.7 两案合读:一条只有两案合起来才能得到的读数

单看 α 案,会得到「归差被判给仪器」这一结论;单看语言学案,会得到「归差被判给域外」这一结论。两案合读,得到第三样东西:

判归分裂先于判归换手。

两案中,对象侧判归的独立传统数都恰好等于 1。也就是说,在换手完成之前,会先出现一个长期的中间态:领域内出现了公开的、有分量的对象侧主张,但它孤立,未被第二个独立传统接手。这个中间态在 α 案已持续十五年,在语言学案已持续三年。

这条读数给出一个可用的领先指标:观察对象侧判归的独立传统数是否从 1 变为 2,比观察异常的显著性水平是否提高更能预告先天概念的退位。显著性从 4σ 提到 5σ 只是在同一个传统内加深,独立传统数从 1 到 2 才是判归权的实际转移。

八、最近邻盘点与占位划界

本节是全文不可还原性最集中处。上一稿的这一节声明「本轮写作期间未执行站外文献检索」,其后果是漏掉了本文最强的三位近邻。本稿执行了检索,并把三位补入。为使划界可被检查,每一位给出三项:他占了什么、分离线、判决性反例。

8.1 Michel Foucault / Edmund Husserl(历史先天)

占了什么:先天不是永恒形式,而是某一时期使一个知识领域内全部分歧得以属于同一场争论的历史条件。这是「先天是被生产的」这一立场最完整的表述。

分离线:历史先天是时期层的统一条件,没有单次事件的读数。本文的判归是按篇计的动作,有编码表、有比值、有滞后期。福柯可以告诉我们十八世纪自然史共享一个地基,他的装置里没有一个位置能容纳「1999 年这篇论文的偏差被记到了哪本账上」。

判决性反例:α 案 1999–2017 的十四条判归。这十四条全部发生在同一个「历史先天」之内——没有任何一条涉及时期更替或知识型转换。历史先天在这段时间里是常量,判归却在这段时间里被争夺了十四次。一个在解释项上为常量的变量,解释不了被解释项的变化。

8.2 Hans Reichenbach / Michael Friedman(相对化先天)

占了什么:先天原则是构成性的且可修正的;它们随科学框架的更替被替换,而非被经验证伪。本文的 RQ2 与这条最近。

分离线:三处。其一为尺度:相对化先天的事件单位是科学革命,本文的事件单位是一篇报告。其二为层次:弗里德曼的战场在理论层(哪条原则承担构成性功能),本文两次检验显示实际战场在方法层(拟合算法、误差棒、定标畸变、训练规模)。其三为出口:相对化先天只有一种退位方式——被新框架的构成性原则取代;本文给出三个出口,其中域外侧完全不在弗里德曼的模型里。

判决性反例:语言学案的 #3、#7、#8。这三条都不是「框架更替」,也不是「原则被取代」。它们是同一框架内的移域动作:把归差从「人类语言习得」这个域移到「工程系统」那个域。弗里德曼的机制里,这类动作不会被记录,因为它不改变任何构成性原则。

一处继承:本文的方法层定位,其实回到了赖欣巴哈本人从测量程序出发的原始思路,而这一层在弗里德曼的重述中被稀释了(Padovani 2015 已指出这一点)。本文不主张原创这一层,只主张把它做成可计数的编码。

8.3 Bruno Latour(黑箱化)

占了什么:科学与技术工作因自身成功而变得不可见;事实一旦结定,只剩输入输出可见;失败会促使打开箱子重新协商。这是与本文机制最接近的一家。

分离线:黑箱化是二值开关,本文是三向流量。开关模型预测「打开 → 重新协商 → 稳定性下降」。本文预测「打开 → 归差涌出 → 按三个出口分流 → 若对象侧不通,稳定性上升」。两个模型在「打开之后」分岔。

判决性反例:α 案二十五年。箱子早已打开且从未合上,每年都在产生可报告的归差,而 α 的常数身份不降反升——因为每一轮协商都以「这个偏差属于仪器」收尾,而每一次这样的收尾都在追认「我们的对象是稳定的」。拉图尔的模型没有位置安放「越协商越稳定」。

一处让步:拉图尔关于「打开黑箱需要故障」这一点,本文完全接受并沿用;本文只是接着问故障产生的碎片去了哪里。

8.4 Noam Chomsky(普遍语法)

占了什么:语言的核心约束不可能从有限且退化的输入归纳,必须由语言器官先天供给。

分离线:本文不在「输入能否长出语法」这一经验争论上站队(见 7.6,本文已撤回旧稿在此处的过度主张)。本文只指出一件与真伪无关的事:乔姆斯基一系在面对模型证据时的标准动作,是把归差判归到域外(那不是人的系统),而不是判归到对象(人类确实不需要先天约束)。这个动作的存在与语言天赋性是否为真彼此独立。

判决性反例:不适用——本文对他的主张不提出反例,只对他的判归动作提出编码。这一条本身就是分离线:本文不与他争论,本文把他的争论方式作为数据。

8.5 Geoffrey Pullum & Barbara Scholz

占了什么:对刺激贫乏论证最系统的经验体检,并把它形式化为一个可逐条要求证据的五步论证;同时明确区分「经验主义学习是否为真」与「语言学家是否已确立其为假」。

分离线:这一区分与本文高度同构——他们区分的是「命题的真」与「论证的完成度」,本文区分的是「对象是否在变」与「归差被记到哪本账上」。但他们的对象是一个论证,本文的对象是一群报告的判归流向。他们做的是逻辑体检,本文做的是流向计数。

加分声明:这一位是本文两案中唯一一条被编码为「判归给论证程序」的条目(表 7.1 #1)。若语言学案中出现更多此类条目,本文的三出口模型需要考虑是否增设第四个出口(判归给论证本身而非仪器)。目前 N=8 中只有 1 条,不足以支持增设,本文记为待观察。

8.6 Steven Piantadosi

占了什么:现代语言模型对乔姆斯基路线构成原理性反驳;语法可从语料习得,先天约束非必要。

分离线:他的判断是学习论上的因果竞争结论(先天语法不必要);本文的判断是关于判归机制的(归差被记到哪本账上)。二者可以同时为真,也可以同时为假,互不蕴含。

判决性反例:本文的两案读数显示,即便他的结论完全成立,判归也没有换手——他是对象侧判归的唯一独立传统(表 7.1)。这正是他的结论解释不了的:一个正确的结论为什么不改变领域的判归。他的框架里没有「判归」这个位置。

8.7 Roni Katzir

占了什么:对 Piantadosi 的系统反驳;模型在若干人类儿童稳定掌握的约束上失败;模型是工程工具,不是人类认知的理论。

分离线:本文不评价他的反驳是否成立(7.6 已声明本文不裁决语言天赋性)。本文使用他的是一个动作:他的核心论证形式是移域,不是纠错。本文把这个动作命名为域外侧判归,并指出它是三个出口中最便宜的一个。

判决性反例:不适用——同 8.4,本文以他的论证为数据而非为对手。但有一条对他的预测:若未来出现一个以儿童规模语料训练、并取得层级泛化的系统,域外侧判归将不得不从「不是同一个对象」退到「训练条件仍不可比」,即从 X 退回 I。这个退却是可观察的,也是本文对语言学案的唯一前瞻性预测。

8.8 John Barrow & Frank Tipler(人择原理)

占了什么:常数的取值可以用观察者存在的条件来解释,不必涉及更深的生成机制。

分离线:人择原理在本文的框架里是一次制度化的域外侧判归——它把「这些值从何而来」整体移出物理学的可追问域,理由是提问者的存在本身预设了这些值。本文不争论人择推理中的选择效应是否真实存在(它确实存在),本文只指出它在判归结构上的位置。

判决性反例:α 偶极。人择原理无法处理「同一个宇宙内 α 随方向变化」这类报告,因为人择选择的是宇宙,不是方向。表 6.1 的十四条中,没有一条使用人择理由——这说明在实际的判归战场上,人择原理并不被使用,它是一个仪式性的域外出口,不是一个工作中的出口。这一条对本文有轻微不利:它说明域外侧的可用性在物理学中确实很窄,窄到最著名的那个域外理由在实战中根本不出场。

8.9 Lee Smolin

占了什么:常数可能是宇宙世代更迭中被选择的结果,而非天定给定物。他是把常数历史化得最彻底的一位。

分离线:他给的是一个机制(宇宙自然选择),本文给的是一个去向(归差被记到哪)。二者不冲突,但可分。判决性区分:即便他的机制完全正确,表 6.1 的十四条判归也不会有任何一条改变——因为他的机制发生在宇宙世代尺度,而判归发生在论文尺度。一个正确的宇宙学机制不会让任何一位光谱学家改变他对波长定标畸变的判断。

判决性反例:若 α 的判归换手真的发生,本文预测触发它的不会是宇宙学机制的胜出,而是第二个独立测量传统做出对象侧判归。这两个预测在事件顺序上可区分。

8.10 Immanuel Kant / David Hume / Jean Piaget

三位合并处理,因为本文对他们的分离线是同一条。

占了什么:康德把先天升级为一切经验的构架;休谟把必然连接判归给心灵的习性;皮亚杰把范畴放回儿童建构史。

分离线:三位处理的都是「先天内容」的地位(是形式条件、是心理习性、是建构产物),没有一位处理「先天这个位置如何在有异常报告的情况下被维持」。皮亚杰最近,因为他真的做了发生学;但他的发生学对象是知识内容,不是判归动作。

判决性反例:哲学范畴一格(表 5.2 第三行)。本文的判据在这里给出的读数是三个出口全开——这是五格中唯一的一格。这个读数解释了一件三位都解释不了的事:为什么两百年的经验主义轰炸没有降低康德范畴的使用频率。不是因为论证不够强,是因为每一次经验材料抵达时,域外侧永远可用(那不触及先验层面)。

8.11 盘点结论

十一位(含三组合并)之中,没有一位处理过「归差的去处」这一变量。最接近的三位——福柯、弗里德曼、拉图尔——各自解释了先天如何被封起来,本文接着问开箱之后。最接近的单点是拉图尔的黑箱开关,本文把它从二值改为三向,并给出可计数的读数。

本文的不可还原性落在这里,也只落在这里。若第三方能出示一份把归差按三个出口计数的既有工作,本文的这一节需重写。

九、预测、证伪条款与效度威胁

9.1 三条对手预测不出的结果

结果一 · 退场顺序由出口数决定,与论证强度无关。

各学科先天概念的退场顺序,不与该学科内先天论证的逻辑强度负相关,而与该学科可用出口的数目正相关:出口越少,退场越早。

  • 生物学(寒武纪形型):域外侧几乎不可用(化石就是那些化石,很难宣布「你挖的不是那个门类」),仪器侧被两个独立传统(分子系统发生学、形态序列)交叉夹住 → 已换手。
  • 物理学(α):域外侧很窄(8.8 显示连人择理由在实战中都不出场),仪器侧宽 → 仪器侧维持,未换手。
  • 语言学(UG):域外侧很宽 → 域外侧维持,未换手。
  • 哲学(范畴):三口全开 → 最耐活。

只有三出口模型给得出这个排序。窗口理论给出的排序是「日志密度高者先退」,它预测语言学先于物理学退场——两案读数显示两者都未退场,且语言学的滞后期更短只是因为起点更晚。

结果二 · 归差的重新命名先于判归换手。

判归换手的可观察前兆不是显著性提高,而是同一现象在两方口中获得不同名称(表 7.1 已验证,H5 成立)。命名分裂意味着两方已经不能共享归差的描述,这是判归权即将转移的最早信号。

结果三 · 对象侧独立传统数从 1 变为 2,是比显著性更强的领先指标。

见 7.7。这一条给出一个可执行的观测方案:对任一处于争议中的先天对象,逐年统计做出对象侧判归的独立研究传统数。该数在 α 案十五年内恒为 1,在语言学案三年内恒为 1,在寒武纪案换手前后从 1 变为 2。

9.2 证伪条款(五条,逐条标明执行状态)

[已执行] 条款一 · 判归编码。 若两案的判归比 A ≥ 0.5,本文的承重命题失效——归差主要落在对象侧就意味着先天不是靠判归维持的。执行结果:α 案 A ≈ 0.29,语言学案 A = 0.20。条款未触发。但须记不利结果一例:本案为单编码者,条款甲未通过(6.6),A 的稳健性未经独立复核。

[已执行] 条款二 · 改名嫌疑。 见 3.6 与 6.6。执行结果:通过,判决性实例为同一批光谱在三次分析中判归三变而可观察性不变。

[已执行] 条款三 · 换手条件。 原始的律三(生产者与裁定者分离即换手)在两案中均被推翻,已按数据改判为三去处律(4.4、7.5)。这一条是本文唯一一处被数据强制修改的理论承重件,改判过程与原始版本一并保留在 4.4。

[未执行] 条款四 · 出口关闭的正面案例。 需要一个先天概念,其三个出口被逐一关闭并随之退位的完整个案(候选:热素、以太、活力论)。若在这样的个案中发现出口未全关而概念已死,三去处律的「同时关闭」表述过强,需弱化为「多数关闭」。本文未执行,不写成已完成。

[未执行] 条款五 · 反向个案。 需要检索是否存在一个先天概念,在三个出口全部关闭之后仍然存续。若存在,本文的死亡条件判据作废(条款丙)。本文未执行。

须特别说明:五条中三条已执行、两条未执行,且已执行的三条中有一条(条款一)带有未通过的信度子条款。本文不把「设计了五条证伪」当作「完成了五条证伪」,上一稿在这一点上模糊过,本稿逐条标注。

9.3 效度威胁

构念效度。 最大威胁是「判归」是否只是「立场」的正装说法。缓解在于判归编码取自报告自身给出的理由,而非作者的推测:表 6.1 与表 7.1 的「判归依据」一栏,全部是该报告本人的措辞。若第三方认为某条的依据栏与判归侧不符,可以逐条挑出——这正是本文列出依据栏的用途。

内部效度。 单编码者(6.6)。这是本文最硬的缺陷,无法在本文内部缓解,只能通过公开编码表把复核成本降到可承受。

外部效度。 两案样本量分别为 14 与 8,均为便利样本,且 α 案的时间覆盖到 2017 年为止,2017 年之后的测量(ESPRESSO 时代)未纳入。本文的结论因此不应被推广为「一切先天概念皆如此」,只应被读作「在这两个可查案例中,判归是这样流动的,且三出口模型能容纳而两出口模型不能」。

取样偏倚。 α 案的骨架取自综述文献的引用结构,而综述由争议参与方或第三方撰写,其选择本身可能偏斜。一个具体的可能后果是:I 类判归被高估,因为方法学争论比常规测量更容易被综述引用。这个偏倚的方向对本文有利,因此必须写明:若消除该偏倚后 A 上升到 0.5 以上,H1 失败。

9.4 本文解释不了的两处

其一 · 纯形式对象。 数学中的不可达基数、哥德尔不完备性所涉的形式结构,不产生本文意义上的归差——没有测量,就没有名义值与实测值之间的偏差。本文对这类对象的先天感无法操作化,只能停为隐喻。这不是本文的谦辞,是本文定义域的边界:3.5 已明确把无归差的对象排除在外。

其二 · 归差低于报告阈值的现象。 粒子碰撞的中间态、极短时标或极高能标上的过程,其归差存在但低于稳定记录的门限。这一类的先天感不来自判归,来自记录阈。本文原想说「一切先天皆是判归的产物」,此处必须削掉「一切」——三出口模型只覆盖已进入报告的归差。

这两处削掉的字与上一稿削掉的不同:上一稿削的是「皆」与「拒」,本稿削的是「皆」与「一切」,且给出了削字的理由(定义域外、记录阈下),而非仅仅承认例外。

9.5 一条带时限的前瞻性预测

一篇只做回溯的论文,其判据可以被裁剪以适配已知结果。为把这一嫌疑降到最低,本文给出一条带时限、带阈值、可由第三方在不联系作者的情况下判定的前瞻性预测。

预测(α 案):在 2036 年 8 月 24 日之前(即本文观察截止日起十年内),若 α 的判归换手完成(5.1 两条件同时满足),则触发它的将是对象侧独立研究传统数由 1 变为 2,而不是同一传统内显著性水平的提高

判定方式:换手完成之日,取最近一次使条件(甲)翻转的关键文献,检查其通讯作者所属谱系是否与 Webb–Murphy–Flambaum–King 一线独立(A.4 的独立性判定)。

本预测失败的两种方式:其一,换手在十年内完成,而触发它的关键文献仍出自原谱系且其新意仅为显著性提高——则本文 9.1 结果三失败。其二,换手在十年内完成,而对象侧独立传统数在换手时仍为 1——则 5.1 条件(乙)本身应被删除,本文的换手判据须重写。

本预测不失败的情形:换手在十年内未完成。这一情形与本文一致,但不构成对本文的支持——它只是使 T 的下界从 15 年延长到 25 年。本文明确声明:未换手不是本文的证据,只是本文的背景。 唯一能支持本文的是换手真的发生并且以预测的方式发生。

同类预测对语言学案见 8.7(域外侧判归由 X 退到 I),该条无时限,因为触发它的条件(以儿童规模语料取得层级泛化的系统)不在本文可预估的时程内。

十、讨论

10.1 理论意涵

如果本文成立,最尖锐的后果不是先天概念被否定,而是关于先天的争论被改址

过去哲学家问「有没有先天」,之后的问法应当是「这个对象上的归差目前走哪个出口」。这不是把本体论问题换成社会学问题——判归的读数是关于文献的,但它解释的是概念的存续,而概念的存续是本体论争论的实际载体。一个从未被判归到对象侧的量,无论它在形而上学上是否有历史,在实践上都将作为给定项运行。

对科学争议研究,本文提出的可能是一条更小但更硬的路:争议的收尾机制不在「谁的证据更强」,在「归差被记到谁的账上」,而后者可以按篇计数。

10.2 实践意涵

对物理学:若要推进 α 的判归换手,提高单一传统内的显著性水平(4σ → 5σ)不是最有效的动作。按 9.1 结果三,最有效的动作是使第二个独立研究传统做出对象侧判归。这两条路径的资源投入方式完全不同:前者是继续加精度,后者是把数据交给一个方法学上不相干的共同体去独立处理。

对语言学:按 8.7 的预测,域外侧判归的退却是可观察的——从「不是同一个对象」退到「训练条件不可比」就是从 X 退到 I。这一退却比任何单次模型成绩都更能标志判归的移动。

对教育实践:称一个学生「有天分」,在本文的框架里是一次标准的判归动作——把一段在学校记录中追踪不到的发生史,判归到学生这个对象的域外(他天生如此,不归教学管)。引入归差概念之后,可问的问题从「他能不能」变成「这次的落差被记到了谁的账上:学生、教法,还是'这孩子本来就不适合这一科'」。第三个答案正是域外侧,也正是最便宜的那个出口。

10.3 一条反噬

照本文去做,最省事的动作是把「先天」这个词全面替换为「未换手对象」,从此在文本中禁用它。这个动作会毁掉本文真正想保住的东西。

一旦换词,后来者会把「未换手」当成新的不动符号,不再去看判归表。本文真正要保住的不是术语改革,而是一件更累的事:每一个被当作给定项的东西,都有一张判归表可以被打开——包括本文自己的给定项。

10.4 自反:本文自己的判归权在谁手里

本文必须承受自己的律二。

律二说:当归差的生产者同时是它的裁定者时,判归比向仪器侧偏移。本文的两张编码表,条目由作者选,判归由作者定,依据栏由作者摘。本文完整地触犯了律二。 这不是修辞上的谦虚,是一个结构事实:本文对自己有利的方向是让 A 尽量低,而 A 的每一条都由作者判定。

三条缓解,全部是结构性的,不是态度性的:

第一,两张表的每一条都写出该报告自身的措辞作为判归依据,使复核者不必信任作者的概括。

第二,判归换手的判据(5.1)中的条件(甲)——标准文献是否附带变化项——完全独立于本文的编码,任何人可以在不看本文两张表的情况下独立检验它。H2 与 H4 的失败结论主要由这一条件承担,因此不随编码争议而动。

第三,本文预先声明作废条件:若独立编码使任一案的 A ≥ 0.5,H1 失败;若第三方指出三出口分类中存在第四类稳定出口且样本占比超过 15%,三去处律须改写。

10.5 本文最可能错的地方

不是编码表,是三这个数

出口为什么恰好是三个?本文的回答是经验的,不是先验的:两案 N=22 条中,全部条目都能落进三类,且未出现落不进的条目。这不构成「只有三个」的证明。表 7.1 #1(Pullum & Scholz 把归差判给论证程序而非仪器)是最接近第四类的一条,本文按仪器侧处理,理由是论证程序在语言学中承担的正是测量装置的功能。这个处理可能是错的。若第四类被证成,三去处律的结构不倒,但「域外侧是最便宜出口」这一推论需要重排序。

十一、结论

本文从一个不该稳定的稳定出发:α 的变化异常被公开报告到 4σ 级别、争论持续二十余年、观测手段逐年增强,而它的常数身份纹丝不动。任何把先天的存活归因于不可见的理论——历史先天、相对化先天、黑箱化,以及本文作者此前所持的观察窗口版本——都预测不出这一格。

回答 RQ1:可以。归差的判归可以按篇编码,编码依据取自报告自身的措辞。两案读数为 A ≈ 0.29(α,N=14)与 A = 0.20(普遍语法,N=8),两案的对象侧判归独立传统数均为 1。

回答 RQ2:不是。窗口打开不是判归换手的充分条件,也不是近似条件。α 案给出 T ≥ 15 年,语言学案给出 T ≥ 3 年,两案窗口均已完全打开。原先设想的换手条件(生产者与裁定者分离)被两案共同推翻:语言学案的分离度远高于 α 案,换手同样没有发生。

回答 RQ3:靠出口。归差有且只有三个去处——对象侧、仪器侧、域外侧。先天概念的死亡条件是三个出口同时关闭。域外侧最便宜,因此最晚关闭,是换手的实际瓶颈。哲学先天最耐活,不是因为它的窗口最暗,而是因为它的出口最多。

本文交出的是两张可被第三方重做的判归编码表、三条可证伪的律与两个读数,以及一处被数据强制修改的理论承重件(律三)。本文不称已经裁决了 α 是否在变,也不称已经裁决了语言天赋性的真伪——本文明确撤回上一稿在后一点上的过度主张(7.6)。

最后一件事必须说明。本文提出的「归差」这个概念,本身也是一次判归:它把一批分散的方法学争论,判归到了同一个机制账上。这次判归的裁定者是作者,生产者也是作者。按本文自己的律二,这样的判归会偏。本文能做的不是声明自己不偏,是把表摊开——十四条与八条,逐条依据,逐条可反。若有人据此把某几条改判,本文的读数就该跟着变;若改判后 A 越过 0.5,本文就该被撤回。

一个不能被重新判归的概念,正是本文所描述的那种东西。

附录 A · 判归编码手册(供第三方重做)

本附录的用途是让 6.3 与 7.3 两张表可以在不联系作者的情况下被独立重做。10.4 承诺了这一点,本附录是它的兑现。

A.1 入选条件

一条文献进入编码,当且仅当同时满足三条:

(一)它公开报告了一段偏差,即对象的名义值/预期表现与实测值之间的差; (二)它对这段偏差给出了归因,或明确以某种归因为前提; (三)该归因在文中可被定位到具体句段,不需要编码者推测作者的立场。

只表态而不报告偏差的评论文章不入选(因此本文没有把 α 争议中的科普评述纳入);报告偏差却明确声明不作归因的技术报告也不入选。

A.2 三类的判别顺序

必须按以下顺序判,顺序不可颠倒,否则同一条会被判进两类:

第一步,问:报告是否否认被测者与被争议对象的同一性? 若是,判 X(域外侧)。典型措辞形态:「这类系统不是那个东西」、「此现象不触及本领域所论的层面」、「该样本不属于所论总体」。

第二步(第一步为否时),问:报告是否把偏差归到测量装置、测量程序、样本处理或训练/实施条件? 若是,判 I(仪器侧)。典型形态:定标、拟合、误差估计、算法收敛、样本选择、规模/容量、实施保真度。

第三步(前两步均为否时),问:报告是否把偏差归到对象自身的属性或历史? 若是,判 O(对象侧)

第四步:若三步全否,标记为 U(未判归),不计入分母。U 类的存在是本手册的安全阀:编码者不得为了凑满三类而强行归类。

A.3 三条边界规则

规则一 · 攻击对方的方法算 I,不算 O。 一方指出对方的拟合算法不可靠,这是把对方报告的那段偏差判归到仪器侧,即使指控者自己主张对象在变。这条规则是 6.5 那个读数(两方用同一把武器)成立的前提,也是最容易被误编的一处:编码的对象是「这段偏差被这篇报告送去哪里」,不是「这篇报告的作者相信什么」。

规则二 · 对象被替换时须标注反向。 若报告把偏差判给对象,但那个对象是模型/语料/装置而非争议中的目标对象(如「模型没有层级偏置」而非「人类不需要先天约束」),标注为 O(反向),并且不计入判归比的分子。表 7.1 的 #4、#5、#6 即此类。这条规则防止把加固先天论的证据误算为削弱它的证据。

规则三 · 一条报告只出一次判归。 若一篇报告在不同章节做出不同判归,取其摘要或结论段的主判归;若摘要与结论冲突,标记为 U 并在表内注明。本文两案中未出现此情形。

A.4 换手判据的复核路径

5.1 的两个条件,复核成本相差很大,因此建议按以下顺序:

先查条件(甲):取该领域当前三部主流教科书或一份权威数据表,看该对象的陈述是否附带非零变化项或历史项。这一步不需要读任何一篇争议文献,成本极低,且独立于本文的编码。若条件(甲)不满足,换手必未完成,可直接得出结论——本文 H2 与 H4 的失败结论主要由这一步承担。

再查条件(乙):统计做出 O 类判归的独立研究传统数。「独立」的判定:不共享通讯作者、不共享核心方法链、不来自同一实验室谱系。本文对 α 案的判定是四条 O 类判归同属一条谱系,故计为 1。若复核者认为其中某条应计为独立的第二传统,则 α 案的换手判定需要重估——这是本文 α 案读数中最脆弱的一处,本文主动指出。

A.5 常见误编码三例

误例一:把「我们没有发现足以解释该结果的系统效应」编为 O。这句话本身是对仪器侧的排查报告,不是对对象侧的判归;只有当报告进一步声称偏差属于对象时才计 O。表 6.1 的 #8、#9 之所以计 O,是因为它们除了排查陈述外还给出了对象侧的变化模型(空间偶极)。

误例二:把域外侧误编为仪器侧。二者的区别是:仪器侧承认被测的是同一个对象、只是量得不准;域外侧不承认是同一个对象。表 7.1 的 #3 若被误编为 I,本案的 A 不变而 X 类清零,三去处律将失去它唯一的经验支撑——因此这一条是本文最需要被复核的单条。

误例三:把时间上更晚的报告默认为更权威而给予更高权重。本手册不加权,一条即一条。加权会把编码者的实质判断偷偷带进流向统计。

A.6 本手册自身的局限

本手册在两案共 22 条上编制,未在第三个领域上试跑。A.2 的三步顺序在偏差报告结构差异较大的领域(如社会科学的效应量争论)是否稳定,未验证。使用者若在新领域发现有条目在第一步与第二步之间反复,请记为 U 并报告该比例:若 U 类占比超过 15%,说明三类划分在该领域不适用,这也是 10.5 所说「三这个数最可能错」的检验入口。

注释与声明组

注释

本文无注释。

作者贡献

概念化:问题设定、承重命题与三条律由作者完成。方法:判归编码程序、两个读数与换手判据由作者完成。调查:本稿执行了站外文献检索,两张编码表的全部条目及其判归依据均取自公开发表文献的可核内容;上一稿声明未执行站外检索,本稿的三位新增近邻(Foucault/Husserl、Reichenbach/Friedman、Latour)与两案的编码材料即为该检索的产物。写作—初稿与修订:作者完成。监督:作者自任;本文 10.4 已声明这一自任结构本身触犯本文律二。

与前稿的关系声明

本文是《先天:拒绝观测那段发生的命名》(2026-08-24 初稿)的重写版本,并推翻前稿三处:(一)前稿的核心机制「观察窗口」被推翻,理由见第一节与第六节;(二)前稿把大语言模型称作语言天赋论的「判决性反例」,本稿撤回(7.6);(三)前稿称「现有研究没有把先天当作认识操作来分析」,此断言为假,三位近邻见第八节。前稿另有一处事实错误(将 Noam Chomsky 误作 Norman Chomsky),本稿更正。

利益冲突声明

作者的理论背景可能构成对本文结论方向的偏好。已通过以下结构性设置节制:预注册假设并保留失败结果(H2、H3、H4 三条失败均写入正文)、公开全部编码条目与依据、把换手判据的关键条件设置为独立于本文编码的可检项、预先声明作废条件。

数据与材料可得性声明

表 6.1 与表 7.1 的全部条目均为公开发表文献,条目标识(作者、年份、刊名、卷页)已在表内与参考文献中给出,第三方可据此重做编码而无须联系作者。本文不包含未发表的原初经验数据。α 案的样本时间覆盖至 2017 年,2017 年之后的相关测量未纳入,此为已声明的取样限制。

伦理声明

本研究不涉及人类被试、动物实验或任何个人数据。

基金与致谢

本文无基金资助。本文的问题意识源于作者长期从事的一项关于「发生先于发现」的本体论工作;该理论未在本文正文中作为论证前提使用,本文的全部结论仅依赖第三至第七节给出的定义、判据与两案编码,删去这一背景不影响任何一步推理。

AI 使用声明

本文在作者监督下完成。AI 工具用于文献检索、编码表的整理与文本清誊;判归的分类标准、两条失败假设的处置方式与律三的改判,由作者裁定。

参考文献

Barrow, J. D., & Tipler, F. J. (1986). The anthropic cosmological principle. Oxford University Press.

Chand, H., Srianand, R., Petitjean, P., & Aracil, B. (2004). Probing the cosmological variation of the fine-structure constant: Results based on VLT-UVES sample. Astronomy & Astrophysics, 417, 853–871.

Chomsky, N. (1965). Aspects of the theory of syntax. MIT Press.

Foucault, M. (1969/2002). The archaeology of knowledge (A. M. Sheridan Smith, Trans.). Routledge.

Friedman, M. (2001). Dynamics of reason. CSLI Publications.

Hume, D. (1748). An enquiry concerning human understanding. A. Millar.

Kant, I. (1781). Critik der reinen Vernunft. Johann Friedrich Hartknoch.

Katzir, R. (2023). Why large language models are poor theories of human linguistic cognition: A reply to Piantadosi. Biolinguistics, 17, e13153.

King, J. A., Webb, J. K., Murphy, M. T., Flambaum, V. V., Carswell, R. F., Bainbridge, M. B., Wilczynska, M. R., & Koch, F. E. (2012). Spatial variation in the fine-structure constant — new results from VLT/UVES. Monthly Notices of the Royal Astronomical Society, 422(4), 3370–3414.

Kotuš, S. M., Murphy, M. T., & Carswell, R. F. (2017). High-precision limit on variation in the fine-structure constant from a single quasar absorption system. Monthly Notices of the Royal Astronomical Society, 464(3), 3679–3703.

Lan, N., Chemla, E., & Katzir, R. (2022). Minimum description length recurrent neural networks. Transactions of the Association for Computational Linguistics, 10, 785–799.

Latour, B. (1987). Science in action: How to follow scientists and engineers through society. Harvard University Press.

Latour, B. (1999). Pandora's hope: Essays on the reality of science studies. Harvard University Press.

Molaro, P., & Centurión, M. (2011). Wavelength calibration issues and the fine-structure constant. Astronomy & Astrophysics, 525, A74.

Molaro, P., Reimers, D., Agafonova, I. I., & Levshakov, S. A. (2008). Bounds on the fine structure constant variability from Fe II absorption lines in QSO spectra. European Physical Journal Special Topics, 163, 173–189.

Murphy, M. T., Webb, J. K., & Flambaum, V. V. (2003). Further evidence for a variable fine-structure constant from Keck/HIRES QSO absorption spectra. Monthly Notices of the Royal Astronomical Society, 345(2), 609–638.

Murphy, M. T., Webb, J. K., & Flambaum, V. V. (2008). Revision of VLT/UVES constraints on a varying fine-structure constant. Monthly Notices of the Royal Astronomical Society, 384(3), 1053–1062.

Padovani, F. (2011). Relativizing the relativized a priori: Reichenbach's axioms of coordination divided. Synthese, 181(1), 41–62.

Padovani, F. (2015). Measurement, coordination, and the relativized a priori. Studies in History and Philosophy of Modern Physics, 52, 123–128.

Peters, R. (2021). The episteme and the historical a priori: On Foucault's archaeological method. Journal of French and Francophone Philosophy, 29(1–2), 109–129.

Piaget, J. (1970). Genetic epistemology. Columbia University Press.

Piantadosi, S. T. (2023). Modern language models refute Chomsky's approach to language. lingbuzz/007180.

Planck Collaboration. (2015). Planck intermediate results. XXIV. Constraints on variation of fundamental constants. Astronomy & Astrophysics, 580, A22.

Pullum, G. K., & Scholz, B. C. (2002). Empirical assessment of stimulus poverty arguments. The Linguistic Review, 19(1–2), 9–50.

Reichenbach, H. (1920). Relativitätstheorie und Erkenntnis apriori. Springer.

Smolin, L. (1997). The life of the cosmos. Oxford University Press.

Srianand, R., Chand, H., Petitjean, P., & Aracil, B. (2007). In response to the comments by Murphy et al. arXiv:0711.1742.

Vaccarino Bremner, S. (2025). The relativized a priori, the historical a priori, and the symbolic form. Philosophy Compass, 20(6), e70044.

Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A. N., Kaiser, Ł., & Polosukhin, I. (2017). Attention is all you need. In Advances in neural information processing systems (pp. 5998–6008).

Webb, J. K., Flambaum, V. V., Churchill, C. W., Drinkwater, M. J., & Barrow, J. D. (1999). Search for time variation of the fine structure constant. Physical Review Letters, 82(5), 884–887.

Webb, J. K., King, J. A., Murphy, M. T., Flambaum, V. V., Carswell, R. F., & Bainbridge, M. B. (2011). Indications of a spatial variation of the fine structure constant. Physical Review Letters, 107, 191101.

Whitmore, J. B., & Murphy, M. T. (2015). Impact of instrumental systematic errors on fine-structure constant measurements with quasar spectra. Monthly Notices of the Royal Astronomical Society, 447(1), 446–462.

Wilczynska, M. R., Webb, J. K., King, J. A., Murphy, M. T., Bainbridge, M. B., & Flambaum, V. V. (2015). A new analysis of fine-structure constant measurements and modelling errors from quasar absorption lines. Monthly Notices of the Royal Astronomical Society, 454(3), 3082–3093.

Yedetore, A., Linzen, T., Frank, R., & McCoy, R. T. (2023). How poor is the stimulus? Evaluating hierarchical generalization in neural networks trained on child-directed speech. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics.