第5章 如何证明“新物已经发生”:创造判据与反例
5.1 新名字可以来得很快,新物不能靠宣布成立
设想有人为一根普通绳索起了一个新名称,随后宣告发现一种新的物理存在。另一个人没有改名字,却设计出此前没有实现的操作,使某种稳定响应能够被重复产生。还有人只改变数学表示,却由此打开一大类过去难以处理的问题。这三种变化,显然不应由“都是创新”一句话统一结算。
本书提出“物理学思想史是一部创造史”,就有责任辨认创造具体发生在哪里。若任何措辞变化都可以证明新物发生,命题没有区分力;若只有制造一件肉眼可见的新器具才算创造,又会把状态、场和新的公共规律排除在外。我们需要一种能够容纳不同创造,又不取消差别的判据。
这一要求来自两部底本的共同约束。《属性纠缠论》追问规定性与承载者怎样共同成立,第379卷要求新方法改变可研究的对象、证据与行动,而不是只给旧材料贴标签。[1;2,第3、10、15章]本章在此基础上提出三项工作检验。它们是本书的研究工具,不是已经被底本证明的普遍定理。
5.2 五个层面的新,不能自动相互兑换
第一层是名称的新。名称可能很重要,因为它使某种此前难以交流的区分获得公共入口。但是,名称的出现本身不证明所指的物理规定已经改变。一个名称能否承担新研究,要看它怎样连接判断、操作和证据。
第二层是数学表示的新。新坐标、新符号、新计算形式可能显著改变处理问题的能力,即使它们在一定范围内与旧形式严格等价。这样的创造不必因等价而被贬低,却也不能仅凭符号不同就宣布经验世界发生断裂。表示的生产力与新的物理约束,需要分别展示。
第三层是操作对象的新。研究者能够制备、区分、操控或迁移此前未能以同样方式处理的系统。这里的创造已经超出名称,但仍需要辨认:得到的是旧规律下的新实现,还是要求改变对象构成的现象?二者都有价值,证明责任却不同。
第四层是经验约束的新。新系统对独立观察作出此前没有得到的限制,使某些可能结果被排除,另一些关系得到支持。一条漂亮曲线若仅重述已经用于拟合的资料,尚不足以承担这一层的承诺。需要有未参与构造的材料,或者真正能区分竞争解释的操作。
第五层是本体规定的新。何者可以作为物、怎样成位、哪些变化仍属于同一对象,被重新组织。这一层不能由前四层中的某一项机械推出,却可以受到它们共同支持。它要求说明新的构成关系为什么不只是外部认识条件,以及删去它以后原有规定性是否仍然完整。
五层不是简单的荣誉阶梯。一次重大的数学重写可能主要发生在第二层,却为后续物理创造铺路;一次精确测量可能主要强化第四层,而不立即要求第五层改变。把所有成果都包装成本体革命,会让真正的本体问题失去重量。
5.3 构成条件删除检验:究竟删去什么
第一项工作检验是:删去被宣称为新增构成的角色,而且不偷偷引入等效替代,原有物理规定能否仍以同样方式成立?这里关键在于“角色”,而不是具体零件。
例如,某项长度测量使用一把特定尺子,换另一把经校准的尺子仍然完成同样测量,不能据此证明长度不需要比较结构。它可能只说明具体实现可以替换。反过来,若拿走尺子便测不到数,也不能立即证明“尺子制造了全部长度”。任何测量工具被移除都可能造成认识困难,认识困难与物之构成被撤销之间还需要论证。
因此,删除检验必须问得更细:原来需要成立的属性是什么?新增关系承担什么作用?替代是否保留该作用?失败发生在信息获取、操作实现,还是属性定义本身?只有区分这些层次,才能避免把“我不知道”误写成“它没有”,或把“我能换工具”误写成“任何构成条件都不需要”。
以变化率为例,删去时间比较或其他参数化关系,仍可以谈物体位置,却不能完整规定同一个速度问题。这里失去的不是石头的全部持存,而是某一类运动规定。第一编已经保留发生层持存与属性显影的区别,删除检验必须遵守这个边界。[1,第15章及“互相需要”相关论述]
删除检验也允许反驳。如果所谓新增构成被删去后,旧系统通过已经具有的关系完整地重建全部相关操作与约束,那么新解释就可能只是等价重述。这不必否定其表达价值,但会限制它宣称新物发生的范围。
5.4 跨路径迁移检验:新系统能否离开自己的出生现场
第二项检验,是改变实现路径,保留或者明确变换所需关系,观察新规定能否被重新发生。一个只在单一叙述中成立的对象,与一个能由不同操作接续的物理系统,承担的公共责任不同。
这里并不要求所有实验得到同样数字。应当先说明跨路径保持的是什么:某个量、某种分布、某条变换关系,还是一组允许与禁止的过程。若保持内容不明确,任何相似都可能被赞为成功,任何差异也都可能被说成“纠缠不同”,检验便没有实际作用。
设想一项弹性描述在装置甲中形成,随后进入装置乙。两套装置的读数可以不同,研究者需要说明这种不同是否来自单位、几何、校准或真正不同的状态。只有转换关系能够提前规定,迁移才不是事后寻找相似。如果每次出现新资料都任意改动转换函数,所谓跨路径稳定便失去证据力量。
迁移失败也不一定证明对象不存在。它可能揭示原来对象的适用范围较窄,可能说明实现条件尚未成熟,也可能要求重建对象身份。方法的价值在于帮助区分这些可能,而不是预先规定失败只能有一个哲学答案。
这一检验特别适合连接视觉、听觉、触觉SDE。跨感觉转换能够增加辨认与操作能力,但不能把不同通道的显示方式当作互相自动证明。例如把数列转成声音,可以帮助发现节奏,却不意味着声音已经独立验证数列的物理来源。转换带来新的可显露性,独立验证仍需要不同约束。
5.5 继承与不可还原:新物不是与旧物彻底绝缘
第三项检验,是追踪新系统继承了什么,又在哪些明确意义上超出旧系统。第342卷用典范三组合讨论生成组织;本书据此不把一组新结果与一个新典范直接等同。[3]一种稳定的生成组织,应当能够支持多个问题,而不只解释一项孤立的成功。
所谓不可还原,也必须限定层级。数学上不能由某种变换获得,与实验上出现新约束不是同一件事;某种表示难以计算,与原理上无法表达也不同;一个新概念改变解释方向,更不能由此直接推出旧方程在原范围内失效。
可以设想两种数学形式,经明确映射后给出同样可检验结果。它们的发生路径可能不同,计算便利也可能不同,但我们不能仅凭路径不同就宣告经验不等价。相反,这种贯通本身可能是一项创造:它让不同问题的资源进入同一研究组织,扩大可操作范围。
还可以设想一个新模型在某个极限下回到旧模型。这并不证明新系统只是换皮,因为旧模型的适用边界、参数意义和整体位置可能被重新规定;但它也不许可我们把每个新旧关系都自动写成严格包含。有的继承是精确映射,有的是近似,有的只保留部分问题上的成功。每一种都要分别说明。
因此,本书不以“旧世界全部死亡”证明新世界诞生。新的物理世界可以使旧系统成为一个有范围的组成,也可以与旧系统在不同层级并行。发生史需要同时写创造、保持、失效与再组织,否则它只剩一串激烈的替代故事。
5.6 一张曲线的三种不同命运
为了把三项检验连起来,再看一个思想案例。研究者得到一条过去未曾报告的响应曲线。有三种完全不同的可能。
第一种,曲线来自读数零点的漂移。修复校准以后,异常消失。这里有真实的研究与技术进步,但没有必要宣布新物理本体。若发生学只允许异常支持自己,不允许校准解释获胜,它就不是研究方法。
第二种,曲线来自旧理论已经容许、但此前未实现的新操作条件。通过制备与控制,研究者稳定地做出了这种响应。它可以构成新操作对象或新材料能力,而不要求已经有一条新的基本自然律。把这种创造贬为“只是应用”,与把它夸成“推翻所有旧物理”,都不准确。
第三种,曲线在独立装置、不同操作路径与事先规定的检验下持续出现,旧模型无论怎样使用其合法参数都不能同时满足相关约束。此时有理由重建模型,甚至进一步重建对象身份。但是,哪一种新解释最合适,仍需比较,而不是由“旧模型失败”直接推出SDE解释唯一正确。
这个案例说明,创造判据不能只奖励肯定答案。它要帮助我们把不同层面的成功与失败放在准确位置。新的经验并不天然带着自己的解释,新理论也不天然拥有所有经验。二者必须通过具体关系互相限制。
5.7 数学闭合不是物理闭合
一条关系经过微分又积分,能够返回原形式,首先说明所使用的运算相容。它并不自动证明这条关系描述了某个实际系统。我们完全可以对一个虚构函数完成正确运算,而没有产生任何新的物理知识。
同样,一组方程具有解,不意味着实验中一定能够实现这个解;方程有唯一解,也不意味着建模时没有遗漏重要变量。数学闭合与物理闭合之间,需要变量的操作含义、成立条件以及独立的经验约束。微积分的创造性,恰恰要在这条连接上展开,而不能借数学正确直接替换物理成立。
反过来,数学上的困难也不应被立即翻译成本体论错误。方程难求解,可能是计算能力不足;数值结果发散,可能来自算法不稳定;解不光滑,可能要求不同的函数空间或弱形式。每一次困难都值得研究,但不能全部被收编成同一种“旧本体论失败”。
这并没有把哲学赶出科学。哲学可以帮助我们辨认何时把一种表达习惯误当作存在必然,何时把可解性误当作真实性,也可以推动新的变量与研究单位出现。它的力量来自精确地进入这些区别,而不是提前宣布哪个学科拥有最后裁判权。
5.8 第一编的结论:物的创造有了可承担的内容
第一编从石头出发,经过物体、物质与物理的共同形成,进入三属性纠缠与SDE方法,最后来到创造判据。我们尚未通过这几章证明所有物理学史都必须被同一种模式解释。我们已经获得的是一组可以携带到历史与数学中的问题:一种规定怎样成立,哪些差异构成它,什么角色不可省略,什么关系能够迁移,什么内容不能被旧组织完整承担。
由此,“创造新的物理世界”不再只是比“发现新知识”更有气势的说法。它要求具体展示新的发生系统,而不是只展示新结论。物理学家的创造可以表现在新的物体身份、物质类型、局部作用、整体约束与公共操作中;这些层级互相进入,却不能未经论证就视为同一件事。
接下来的第二编先回到多种文明的测量、天文、运动与实验传统,考察新的研究对象怎样逐渐获得可比较形式。第三编再把这些要求带到微积分的形成与使用中:微分怎样使局部变化取得新的规定,积分怎样在初值、边界与整体相容中形成可检验的运动,哪些数学创造同时重组了物理对象。这些问题需要历史材料与实际计算共同回答。
本体论的工作,至此不是替数学预先写好胜利结论,而是把数学即将接手的对象打开。数学的工作,也不是为本体论提供华丽符号,而是让它的桥梁接受约束:能够证明的就证明,能够计算的就计算,尚需经验材料的则留下明确的位置。只有这样的连接,才能使这部思想史的创造主张获得比口号更持久的生命。
本编参考资料与第三编合列于第十五章后。