写完上一篇文章后,我突然想到,关于「还原论跨越表面种类差异的天堑」,其实存在一个简单得多的经典范例:那就是将「热」还原为「运动」。
在今天,热与分子运动之间的等价性,在后见之明[1]的审视下似乎显得太不言自明了[2]——毕竟如今每个人都在说[3]「热就是分子的无规则运动」,因此,这绝不可能被当作什么「诡异离奇[4]」的非主流信念。
但在科学史上,曾经有那么一段时期,热的分子运动论(kinetic theory of heat)是一个极具争议的前沿科学假说;与它相对立的,是当时占统治地位的「热质说(caloric theory)」——该理论认为存在一种名为「热质」的无质量流体,能够从高温物体流向低温物体。而在更早的时代,关于热的统治性理论则是神乎其神的「燃素说![5]」
假设你分别在两门课程中独立学习了分子运动论和热质说。此时,你掌握了一些动力学知识:粒子碰撞、弹性反弹、动量、动能、重力、惯性、自由落体轨迹。而在另一个完全独立的分类下,你掌握了关于热的知识:温度、压强、燃烧、热流、热机效率、熔化与汽化。
这种知识状态绝非虚构,它恰恰就是热力学先驱萨迪·卡诺(Sadi Carnot)当年的真实知识状态。卡诺完全是在热质说的理论框架下工作,推导出了著名的卡诺循环原理——即理想热机的最高效率极限,这一发现直接孕育了后来的热力学第二定律[6]。而这发生在 1824 年,当时经典力学与动力学早已是一门高度成熟的精密科学。
假设你就像卡诺一样,在动力学领域知识渊博,在热学领域也造诣深厚,但把它们视为两样完全独立的实体。准确地说,它们是你认知知识上的独立实体:你的大脑里为动力学信念和热学信念分别设立了独立的归档抽屉。而在你内部的主观体验中[7],这种知识状态感觉起来,就像是你生活在一个同时存在着「运动的物体」和「发热的物体」的世界里,在这个世界中,运动和热量是物质各自独立、互不相干的物理属性。
现在,一位「来自未来的物理学家」穿越到你面前,告诉你:「哪里有热,哪里就必定有运动,反之亦然。举个例子,这就是为什么相互摩擦物体会让它们变热。」
对于这句「哪里有热,哪里就必定有运动,反之亦然」,你(至少)可以给出两种截然不同的哲学诠释。
第一种诠释:你可以假设热和运动确实是分开独立存在的——热质说是对的——只不过在我们宇宙的物理定律中,恰好包含了一条「跨层级桥接法则(bridging law)」,规定在物体高速运动的地方,热质就会被凭空创造出来。反过来,另一条桥接法则规定热质可以对物体施加压力并使其运动,这就是为什么较热的气体会对容器壁施加更大的压强(因此蒸汽机才能利用蒸汽推动活塞)。
第二种诠释:你可以假设热和运动在某种尚待揭晓的深层意义上,根本就是同一回事。
「简直一派胡言,」思想家甲反驳道,「『热』和『运动』这两个词的含义完全不同;不然我们干嘛要发明两个不同的词?我们有一套清晰的判断标准来决定何时将观察到的现象称为『热』——热能融化物态,能让东西起火燃烧。我们同样有一套清晰的标准来判定一个物体是否在『高速运动』——它的空间位置发生了改变;发生撞击时,它可能会变形或粉碎。热关注的是物质状态的改变;运动关注的则是位置和形态的改变。声称这两个词拥有相同的含义,纯粹是在自欺欺人、混淆概念。」
「绝对不可能,」思想家乙附和道。「在我们这个现实世界里,热和运动或许确实被某些桥接法则绑定在了一起,因此运动产生热质成了我们宇宙的一条物理定律,反之亦然。但我轻而易举就能想象出另一个可能世界:在那个世界里,摩擦物体并不会让它们变热,加热气体也不会让压强增大。既然存在着那些热与运动互不相关的可能世界,那么热与运动就必定是两种截然不同的客观属性——这在先验逻辑上是不言自明的。」
思想家甲犯的错误是混淆了引用与所指[8]:,但字符串「2 + 2」绝不等于字符串「4」。字符串「2 + 2」包含了五个字符(算上空格),而字符串「4」只有一个字符。如果你在 Python 解释器中输入这两个不同的字符串,它们求值出来的输出结果完全相同:
>>> 4。所以,仅仅因为「2 + 2」和「4」这两个字面字符串长得不一样,你绝不能得出结论说它们在 Python 解释器眼中必定拥有不同的「含义」。
即使在我们尚未查明热是如何一步步还原为微观运动之前,「热」和「动能」这两个词也可以说「指代」的是同一个客观实体。尽管在当时我们还不知道那个底层的指代物究竟长什么样,但它们在现实中的指代物其实从始至终都是同一个。你可以想象存在一个「理想化的全知科学解释器」,当我们在命令行中分别敲入「热」和「动能」进行回车求值时,它最终吐出的底层物理数据是完全一致的。
我之所以引入「科学解释器」这个比喻,是为了强调一点:要对指针进行解引用(dereference),你必须跨出认知的主观疆界。指针解引用的最终终点,是外部客观现实中的某个实体,而不是任何人大脑里的心理概念。所以,你可以口头上说出「真正的指代物」或「客观实在」,但你无法仅凭自己的大脑内部去对这些词进行本地求值。你无法直接用客观的「真实热量」来进行思考——如果你能在大脑里直接调用「真实的热」,那你只要想一想「一百万开尔文」,你的脑浆就会瞬间被汽化。但是,通过构建一个关于「关于热的信念」的元信念,你可以去谈论你对热的理解,并说出诸如「我对热的认知模型,可能与客观世界中真正的热量大相径庭」这样的话。虽然你无法直接在脑子里完成这种跨维度的比对,但你完全可以探讨这种比对。
因此,你完全可以理直气壮地说:「我对热的认知信念和对运动的认知信念绝不是一回事,但这不妨碍客观世界中真实的热与真实的运动其实是同一个东西。」这就好比你能够坦然承认「晨星」和「暮星」指代的其实是同一颗行星,同时你也深刻明白:你不可能单凭闭门冥想自己的信念就参透这个秘密——你必须扛出望远镜去实地观测。
思想家乙犯的错误同样如出一辙。物理学家告诉他们「哪里有热,哪里就有运动」,思想家乙却误将其当成了一条物理因果定律:即热质的存在导致了运动的产生。但物理学家真正的原意更接近于一条认识论上的推论法则:当你被告知某处存在「热」时,请据此推断出该处必然存在微观「运动」。
从这种将多层级认知模型直接投射到多层级客观现实的基本错误出发,紧接着就会诱发另一个独立的致命错误:将概念上的可设想性(conceptual possibility)与逻辑必然性/逻辑可能性(logical possibility)混为一谈。对于萨迪·卡诺来说,存在另一个热与运动毫不相干的世界,在概念上确实是可脑补的。但对于掌握了如何从微观运动方程一步步精确推导热力学宏观方程的理查德·费曼来说,这种想法不仅完全无法成立,而且其逻辑矛盾之剧烈,足以让任何物理学家的脑袋当场炸裂。
为了对哲学家们保持公允,我必须指出,确实也有哲学家曾经清晰地阐述过这些道理。例如希拉里·普特南(Hilary Putnam)在探讨著名的「孪生地球」思想实验时曾写道:[1]
一旦我们在现实世界中发现水在本质上就是,那么任何可能世界中水不是
的情况都统统不复存在。特别地,如果一个所谓『逻辑上可能』的命题是指在某个『逻辑上可能的可能世界』中成立的命题,那么『水不是
』在逻辑上根本就是不可能的。
另一方面,我们完全可以在脑海中想象自己经历了一系列足以说服我们(并让我们有理性理由去相信)『水不是』的感官体验。从这个角度来说,『水不是
』在概念上是可设想的。它仅仅是可设想的,但它在逻辑上绝对是不可能的!在脑海中的可设想性,绝非逻辑可能性的证明。
在我看来,普特南在这两段论述中,实际上是在两种不同的语境下使用「水」这个词的——一种语境是指代我们敲进科学解释器里的输入标签(字面符号),另一种语境则是指代当我们敲入「水」之后,从科学解释器中解引用出来的最终物理实体。在第一段中,普特南似乎在主张:当我们做完实验并确证了水就是 之后,「水」这个词就被自动重新定义成了「
」的含义。但只要你始终保持术语使用的一致性,你完全可以在「『水』这个词现在究竟是指
这一化学本质,还是指『碰巧装在我身边瓶子里的那个真正的液体实物』」这个问题上,持有自洽且不同的立场。
我相信关于这一点的探讨前面也已经讲得够多了?总之……
在客观外部世界中,完全可能仅仅存在单一的一种事物,但它在宏观上却能呈现出截然不同的表象形态;加之你自己对微观底层的还原机制一无所知,以至于你主观上会产生一种仿佛生活在一个包含了两种截然不同实体的世界中的错觉。关于这两种不同现象的知识,可能会被安排在大学两座完全不同的教学楼里,由两个完全不同的学科系所,在两门互不相干的课程中分别讲授。
你必须把自己的思绪拉回极其遥远的过去,沉浸到历史真实的认知语境中,才能重新体会到热与运动在当年看起来是多么的截然不同。不过,取决于你今天的物理学素养,只要你能克服从众心理的思维定势(即把「热是运动」当成理所当然的常识,而把「热不是运动」当成天方夜谭),体会这种差异或许也没那么难。我的意思是,假设明天物理学家们突然集体站出来宣布:「我们过去的科普全都有意隐瞒了一个谎言。其实,热和微观粒子的运动根本毫无关系。」你手头真的有哪怕一丝证据能证明他们是错的吗?
随口说一句「也许热和运动根本就是同一回事!」是极其轻巧的。真正困难且硬核的部分,在于解释清楚它们到底是如何统一的。唯有掌握了海量严密的细节知识,你才能真正抵达这样一个认知境界——在那一刻,你再也无法在脑海中设想出一个热与运动能分道扬镳的荒谬世界。将宏观还原为微观绝非廉价的空谈,而这正是它拥有如此巨大解释威力的原因。
或者,你也可以换一种说法:「相信还原论很容易,但真正完成还原却很难。」 但我认为,每当人类下定决心要去攻克一道未解的还原难题时,骨子里坚信还原论,确实能给我们带来巨大的指引与帮助。
[1] Hilary Putnam, “The Meaning of Meaning,” in The Twin Earth Chronicles, ed. Andrew Pessin and Sanford Goldberg (M. E. Sharpe, Inc., 1996), 3–52.
总目录:
《理性:从人工智能到僵尸》导读与目录卷:
第四卷:区区现实章节:
物理主义导论上一篇:
愤怒的原子下一篇:
脑科学惊天突破!大脑竟然是由神经元构成的!Thoughts Memo 汉化组译制
感谢主要译者 gemini-3.7-flash,校对 Jarrett Ye
原文:Heat vs. Motion
参考
1. 后见之明贬低科学价值 https://hpmor.xyz/ai2zb_29/2. 未能从历史中吸取教训 https://hpmor.xyz/ai2zb_41/
3. 缓存思想 ./1927818329978013693.html
4. 邪教式反邪 ./2004256642078884961.html
5. 虚假的因果 https://hpmor.xyz/ai2zb_33/
6. 热力学第二定律与认知引擎 ./2069478246668939394.html
7. 一个算法的内部感受 ./2051369757249736864.html
8. 引用并非所指 ./2074137124702627319.html