科学如何进步？

牛顿力学在相对论出现后没有停止工作：桥梁、卫星轨道的许多近似计算仍然使用它，但我们更清楚它在哪些速度、尺度和精度下失效。拉瓦锡的燃烧理论重组了化学语言与测量实践；进化论也不是一句话取代另一句话，而是在遗传学、古生物学和分子生物学中不断改写。科学史既有积累，也有概念重组、方法更换与适用域收缩。

科学进步问题是科学哲学的核心。20世纪的四位哲学家——波普尔、库恩、拉卡托斯、费耶阿本德——给出了四种截然不同的回答，至今仍在塑造我们对科学本质的理解。

逻辑实证主义：科学的可证实性#

在讨论波普尔之前，有必要了解他所反对的立场——逻辑实证主义（Logical Positivism）。

维也纳学派（Vienna Circle）的逻辑经验主义者——莫里茨·石里克（Moritz Schlick）、鲁道夫·卡尔纳普（Rudolf Carnap）、奥托·纽拉特（Otto Neurath）等——试图用逻辑分析澄清科学语言与经验的关系。早期的验证原则主要是一项意义标准，不是简单的"科学/伪科学"二分测试；而且学派内部对可验证、可确认、概率与理论术语一直有分歧。把整个传统概括成"观察后归纳出定律"会掩盖卡尔纳普等人后来对确认逻辑和理论结构的复杂工作。

这一立场面临两个根本困难。第一，归纳问题：从有限的观察能否推出普遍规律？大卫·休谟（David Hume）早在18世纪就指出，归纳推理在逻辑上是无效的——你观察了一百万只白天鹅，不能逻辑地推出「所有天鹅都是白的」。第二，理论术语问题：科学理论中的许多术语（如「电子」「夸克」「引力场」）无法被直接观察——它们的意义如何通过经验证实来确定？

波普尔：科学在于证伪#

卡尔·波普尔（Karl Popper，1902—1994）在《科学发现的逻辑》（The Logic of Scientific Discovery，1934，德文原版 Logik der Forschung）中提出了一个革命性的观点：科学的标准不是可证实性，而是可证伪性（falsifiability）。

波普尔的核心论证是：全称命题（如「所有天鹅都是白的」）无法被证实——你永远无法观察完所有天鹅。但它可以被证伪——只要找到一只黑天鹅，它就被推翻了。科学理论的本质不是被证实，而是被提出、被检验、被尝试证伪。

一个理论的科学性不在于它被多少证据支持，而在于它承担了多大的被证伪风险。爱因斯坦的广义相对论预测了光线在引力场中的弯曲——这是一个精确、可检验的预测。1919 年日食观测被广泛视为支持这一预测，但测量精度、数据选择和替代理论比较后来受到科学史家细查。用波普尔的语言说，它至多是理论经受住一次当时条件下的重要检验，而不是从此获得逻辑上的最终证实。

相比之下，弗洛伊德的精神分析学和阿德勒的个体心理学在波普尔看来是「伪科学」——它们能够解释一切人类行为，但正因为如此，它们无法被证伪。无论一个人做了什么，精神分析学家总能找到一个解释——但这种解释的灵活性恰恰暴露了它的非科学性。

波普尔的科学进步模式是猜想与反驳（conjectures and refutations）：科学家大胆提出猜想（理论），然后尽最大努力去反驳它。被反驳的理论被抛弃，新的猜想被提出。科学不是通过归纳积累真理，而是通过试错逼近真理——我们虽然永远无法达到绝对真理，但我们能够通过不断排除错误来接近它（「逼近实在论」，verisimilitude）。

波普尔的证伪主义在科学界产生了巨大影响——许多科学家将其视为科学方法的准确描述。但哲学家们很快发现了问题：

迪昂-蒯因问题（Duhem-Quine problem）：经验预测通常由核心假设、初始条件、仪器模型和背景理论共同推出。预测失败时，逻辑只告诉我们这个组合不能原样保持，并不单独指定该放弃哪一项。因此，"一条反例自动处决一套理论"不可行；但这不表示任何理论都能无限免疫。独立校准、不同实验路径、新预测与竞争理论会改变修改各项假设的代价。

成熟的证伪主义因而包含方法论判断：哪些辅助假设有独立证据？修改是否只是在事后补洞？替代理论是否预测了新的事实？科学中的反驳既有逻辑结构，也有证据权重和共同体决策。

库恩：范式与科学革命#

托马斯·库恩（Thomas Kuhn，1922—1996）在《科学革命的结构》（The Structure of Scientific Revolutions，1962）中提出了一个与波普尔截然不同的科学进步模型，这本书可能是20世纪最具影响力的科学哲学著作。

库恩的核心概念是范式（paradigm）。一个范式不仅仅是一个理论——它是一整套关于世界的基本假设、方法论规范、问题意识和价值标准。牛顿力学不仅是一组方程，它还规定了什么样的问题是物理学应该研究的、什么样的方法是科学的、什么样的解答是可接受的。

库恩将科学发展分为两个阶段：

常规科学（Normal Science）：科学家在既定范式内工作，解决「谜题」（puzzle）。这是科学的日常状态——大多数科学家不是在推翻理论，而是在应用理论、精确化理论、将理论扩展到新的领域。库恩用了一个生动的比喻：常规科学就像拼图——你知道答案一定存在，你只需要找到它。

科学革命（Scientific Revolution）：当范式内部积累了太多「反常」（anomaly）——即无法在范式内解决的谜题——科学进入危机状态。最终，一个新的范式取代了旧的范式——这就是科学革命。

关键在于：新旧范式之间可能是不可通约的（incommensurable）。从牛顿力学到相对论，不只是给旧方程加一项修正；空间、时间和质量等概念进入了新的关系网络。范式转换没有一套中立算法能从共同前提机械推出，更接近于「格式塔转换」——就像同一幅图可以突然从鸭子变成兔子。但"没有算法"不等于"没有理由"：精确度、一致性、解释范围、简洁性与研究生产力仍会进入比较，只是这些价值的权重也可能有争议。

库恩的理论引发了巨大争议。如果范式之间不可通约，那么科学进步意味着什么？我们还能说相对论比牛顿力学「更正确」吗？库恩拒绝把进步简单理解为向预先固定的终点逼近，却仍承认后继理论通常在精确度、适用范围和解题能力上取得进展。不可通约首先是翻译与共同尺度的困难，不是新旧理论完全无法交流或比较。

这一观点被批评为相对主义——如果科学只是不同范式的更替，那科学与非科学的区别在哪里？库恩后来修正了他的立场：不可通约性不等于不可比较——新旧范式可以就解题能力、精确度、适用范围等进行比较。

拉卡托斯：研究纲领的方法论#

伊姆雷·拉卡托斯（Imre Lakatos，1922—1974）试图在波普尔和库恩之间找到一条中间道路。在《科学研究纲领方法论》（The Methodology of Scientific Research Programmes，1978，遗著）中，他提出了研究纲领（research programme）的概念。

一个研究纲领包含：

• 硬核（hard core）：一组不可被证伪的基本假设。纲领的拥护者承诺不放弃这些假设——它们是「不可反驳的」，不是因为逻辑原因，而是因为方法论决定。
• 保护带（protective belt）：围绕硬核的一组可调整的辅助假设。当理论预测与观察不符时，科学家修改的是保护带，而不是硬核。
• 正面启发法（positive heuristic）：一组关于如何发展纲领、如何修改保护带的指导方针。

拉卡托斯用牛顿力学作为例子：牛顿的运动定律和万有引力定律是硬核——你不会因为某个行星的轨道偏离预测就放弃万有引力定律。相反，你会在保护带中引入新的假设（如存在一颗未知的行星）来解释反常。这正是海王星的发现过程——天王星的轨道偏离了牛顿力学的预测，天文学家没有放弃牛顿力学，而是假设存在一颗未知行星，后来果然找到了。

研究纲领有进步的（progressive）和退化的（degenerating）之分。一个进步的纲领能够不断预测新事实——它的理论创新不断带来新的经验发现。一个退化的纲领只能事后解释——它的修改只是为了应付反常，不能产生新的预测。

拉卡托斯的科学进步观是：科学进步不是一个理论被另一个理论直接替代，而是不同研究纲领之间的竞争。当一个纲领退化而另一个纲领进步时，科学共同体最终会转向后者。但这种转向不需要「证伪」——没有一个时刻能说「这个纲领被证明是错误的」。

拉卡托斯因此对波普尔的朴素证伪主义提出了批评：科学家从来不因为一次失败的预测就放弃一个理论——他们会修改辅助假设来「拯救」理论。这不是科学家的坏习惯，而是合理的科学实践——只要纲领整体上是进步的。

费耶阿本德：怎么都行#

保罗·费耶阿本德（Paul Feyerabend，1924—1994）在《反对方法》（Against Method，1975）中提出了科学哲学中最激进的立场：认识论的无政府主义（epistemological anarchism）。

费耶阿本德的核心论点是：不存在普遍有效的科学方法论。没有一条方法论规则——无论是证伪、归纳、还是范式——在科学史上不曾被违反过，而违反它恰恰导致了重大的科学进步。

他用伽利略的例子来说明。按照波普尔的标准，伽利略的日心说在当时是「被证伪了」的——如果地球在运动，你应该能观察到一些效应（如自由落体的偏移），但当时观察不到。伽利略用什么策略来「拯救」他的理论？他用了宣传、修辞、望远镜（一种当时不可靠的新仪器）、以及对旧物理学的重新解释。

如果伽利略只允许使用当时已经稳固的仪器与物理学，他的论证会失去许多资源。后来证据支持地球运动，并不意味着伽利略当时的每个论证都正确；这个案例要说明的是，新理论有时必须与新仪器、新概念和新的证据标准共同成长。

费耶阿本德因此用著名口号 「怎么都行」（anything goes）攻击把单一方法写成普遍历史定律的企图。这不是一个让研究者随意造证据的操作手册，也不等于所有主张同样可靠；它是一种反例策略：任何被宣称为科学进步必要条件的固定规则，都可能在科学史中找到富有成果的违规案例。

费耶阿本德还提出了「科学与国家分离」的主张——就像教会与国家的分离一样。科学不应该享有认识论上的特权地位——在教育、医疗、公共政策等领域，其他知识传统（如传统医学、民间知识）应该有权与科学竞争。

这一立场在哲学界引起了极大的争议。批评者认为费耶阿本德走向了极端的相对主义——如果「怎么都行」，那么占星术和天文学有什么区别？费耶阿本德的回应是：区别不在方法论，而在历史——天文学在历史实践中证明了自身的有效性，占星术没有。但这种有效性不是用任何普遍标准来衡量的。

从科学革命到科学实践#

20世纪后期，科学哲学出现了两个新的转向：

科学实践哲学关注科学家实际在做什么，而不是他们应该怎么做。科学家的日常工作——实验设计、仪器校准、数据处理、论文写作、同行评审——比任何方法论规则都更复杂、更情境化、更具创造性。

科学的社会学转向（SSK，Sociology of Scientific Knowledge）追问：证据如何在实验室、期刊、机构与专业共同体中获得稳定地位？布鲁诺·拉图尔（Bruno Latour）与史蒂夫·伍尔加（Steve Woolgar）在《实验室生活》（Laboratory Life，1979）中用人类学式田野调查研究事实如何在仪器、文本和协作网络中被生产出来。这里的"生产"不等于任意捏造，而是把注意力移向事实获得可信度所依赖的物质与社会过程。

这些发展使「科学如何进步」变得更复杂。理论预测、仪器校准、统计模型、重复实验、同行批评和数据治理分别纠正不同类型的错误，未必能由单一历史模型完全概括。

从哲学争论到可操作的纠错链#

把波普尔、库恩、拉卡托斯与科学实践研究放在一起，可以得到一条比"遵循科学方法"更具体的检查链：

1. 提出可区分的主张：理论要说明哪些观察更支持它、哪些观察更支持竞争解释。
2. 把概念变成规约或测量：计算机科学要写清系统不变量与故障模型；心理学要写清构念、量表和目标人群。
3. 暴露分析选择：记录数据排除、停止规则、模型选择和事后探索，避免只展示成功路径。
4. 让不同路径交叉检验：更换仪器、样本、实现或实验室，区分偶然误差与依赖特定条件的效应。
5. 定位失败层级：失败可能来自核心理论、辅助假设、测量、实现或环境，不能只凭一次反例指定罪责。
6. 修订并缩小适用域：进步有时是新理论取代旧理论，有时只是更准确地说出"它在什么条件下成立"。

形式验证中的"证明边界"、心理测量中的"效度论证"和开放科学中的"预注册偏离说明"，本质上都在做同一件事：把一个看似绝对的结论改写成主张、假设、证据与适用范围的可审计结构。

核心事实卡#

跨传统的证成与纠错#

把"西方科学"与一个统一的"东方智慧"对照，会抹平不同传统内部的争论。更可靠的比较单位是具体问题：什么算知识来源？推理何时失败？证言为什么可信？

印度正理派（Nyāya）系统讨论知觉、推理、类比与证言等知识来源，并分析错知如何发生。佛教因明与认识论传统中的陈那、法称则发展了不同的知觉和推理理论。两者彼此争论，不能把 Nyāya 直接翻译成"因明学"，也不应把其中任何一方包装成现代实验科学的提前版本。它们的价值在于展示：证据分类、可靠证言与推理错误并非只在近代欧洲才成为哲学问题。

中国思想传统同样不只有一条"格物致知"路线。《墨经》讨论名、类、故与推论；清代考据学强调文本版本、训诂与证据链。它们的对象和制度环境与现代自然科学不同，却能帮助我们比较不同领域如何约束解释、排除伪证和处理知识传承。朱熹与王阳明关于"格物"的分歧则主要属于道德修养与形上学语境，直接等同于实验观察和主观直觉会产生时代错置。

跨传统比较的目的不是争夺"谁先发明科学"，而是扩大可供比较的认识论资源，同时保留概念的历史语境。

科学进步与民主治理#

科学政策同时包含事实判断与价值选择。专家可以估计疫苗效果或气候风险，却不能仅凭这些估计决定风险应由谁承担、研究预算优先服务谁。民主参与也不能投票改变实验结果。合理制度需要区分：哪些争议主要需要专业证据，哪些决策必须公开讨论目标、分配与可接受风险。

库恩说明评价标准会嵌入科学共同体，但不能被简化为"科学知识只是社会建构"。海伦·朗基诺（Helen Longino）进一步提出社会认识论：共同体若有公开的批评渠道、共享的评价标准、对批评的实际回应，以及不过度受权力压制的知识参与，批判互动就能帮助暴露个体看不到的背景假设。多元性本身不会自动产生真理；它必须与可回应的证据规范结合。

因此，科学的制度可靠性不只来自某位研究者诚实，也来自让错误能够被发现、异议能够进入记录、数据与方法能够在合理边界内复查、失败结果不因激励结构而消失。这是一种可设计、也会失灵的纠错能力。

跨域连接#

• 细菌理论革命 与 塞麦尔维斯：库恩的模型可以拿一个真实案例来核对。塞麦尔维斯在 1840 年代用产科病房的死亡率数据证明洗手能大幅降低产褥热，却被同行拒绝了二十年——而拒绝的理由不是数据可疑，是他无法说明机制：在细菌理论出现之前，"看不见的尸体颗粒"在当时的疾病框架里没有位置。这既支持库恩（新事实无法在旧范式里被安放），也修正他：接受最终发生了，而促成它的是巴斯德与科赫提供的机制，不是格式塔式的整体翻转。范式转换的真实过程更像是缺失的那一环被补上，而不是两套不可通约的世界观互相说服。
• 计算社会科学前沿 与 社会网络分析："范式"曾被批评为不可操作，而引文网络给了它一个可测量的替身——学科的引用结构会出现可检测的断裂：新群簇形成、旧文献被停止引用、跨群簇引用率下降。"科学的科学"就是在做这件事。它的发现对库恩是双向的：确实存在结构性断点，但更常见的是渐进的重组，而且断裂的时间尺度远长于"革命"一词的暗示。把范式操作化的代价是：被测到的东西，可能比库恩想说的东西小。
• 可复现性危机 与 预注册与注册报告：波普尔、库恩、拉卡托斯争的都是"理论如何被淘汰"，而复现危机暴露了一个他们都没处理的环节——大量结论根本没有被检验过，因为重复实验不被发表。证伪要发生，先得有人愿意做、且能发表证伪。这把科学哲学的问题移到了制度层面：注册报告在知道结果之前决定发表，本质上是给"可证伪性"补上它一直缺的激励结构。波普尔描述的是逻辑，缺的是让逻辑真正运行起来的出版制度。
• 机器引导的数学：进步的单位正在变化。当猜想由模式搜索提出、证明由自动化系统检查时，"谁提出了理论"和"共同体如何被说服"这两个环节都被改写了。形式化验证提供的确定性高于同行评审，但它只能覆盖能被完全形式化的部分。这给库恩的"共同体决定"命题一个真实的边界条件：在能形式化的领域，说服可以被计算取代；在不能形式化的领域，社会过程依然是唯一机制——而绝大多数科学在后者。
• 库恩 之外的一条经验线索：文化心理学——不可通约性主张观察本身被理论渗透，而知觉研究给了它一个有限的经验版本：专家与新手在看同一张 X 光片或同一份光谱时，眼动模式与提取的信息确实不同。但这条证据支持的是"训练改变注意分配"，远弱于"两个范式的科学家生活在不同的世界里"。引用心理学来支持不可通约性时，必须注意这个强度落差——这是跨域论证里最常见的一种过度提取。

参考文献#

• Kuhn, Thomas S. The Structure of Scientific Revolutions. University of Chicago Press, 1962 — 范式与科学革命理论的奠基之作
• Popper, Karl R. The Logic of Scientific Discovery. Hutchinson, 1959 (German orig. 1934) — 证伪主义，科学划界标准
• Lakatos, Imre. "Falsification and the Methodology of Scientific Research Programmes," in Criticism and the Growth of Knowledge, eds. Lakatos & Musgrave. Cambridge UP, 1970 — 科学研究纲领方法论
• Feyerabend, Paul. Against Method. New Left Books, 1975 — 对普遍方法规则的历史批判
• Longino, Helen. Science as Social Knowledge. Princeton University Press, 1990 — 批判互动与社会认识论
• Latour, Bruno, & Woolgar, Steve. Laboratory Life. Sage, 1979 — 实验室实践的田野研究
• Stanford Encyclopedia of Philosophy: "Scientific Progress" (https://plato.stanford.edu/entries/scientific-progress/)
• Stanford Encyclopedia of Philosophy: "Thomas Kuhn" (https://plato.stanford.edu/entries/thomas-kuhn/)