科学哲学

1919 年，爱丁顿率队远赴普林西比与巴西索布拉尔，趁日全食的几分钟黑暗，拍下太阳边缘的星光。广义相对论预言偏折约 1.75 角秒，牛顿理论约 0.87 角秒。年轻的波普尔后来把这次远征读成一次干净的冒险：照片对不上，理论就垮。真实的测量更泥泞。Earman 与 Glymour（1980）重读原始记录：部分索布拉尔底片更靠近牛顿值，最终采用哪些盘子，事后有过选择。它仍然是一次高风险检验，却不是科普里那次一锤定音。年轻的波普尔看在眼里，又回头看身边盛行的占星术和某些心理学说——它们仿佛能解释一切：你成功了，是命数；你失败了，也是命数；怎么说都对，于是怎么都驳不倒。波普尔由此抓住一个分界线：科学的标志不是「能解释多少」，而是「敢冒多大的被推翻的风险」。一门学问要算科学，先得说清楚：什么样的事实一旦出现，就能证明它错了？判决性实验的理想，和爱丁顿那晚的盘子一样，都要连辅助假设一起读。

什么是科学哲学#

波普尔追问的"什么样的事实能证明一个理论错了"，正是科学哲学（Philosophy of Science）的典型问题。它是哲学的一个分支，研究科学的本质、方法、基础和意义。核心问题包括：什么是科学？科学知识是如何产生的？科学理论与非科学理论的区别是什么？科学能够揭示真理吗？

科学哲学不是科学本身——它不进行实验，也不收集数据。它是对科学的反思：试图理解科学为什么成功、它的局限在哪里、它的可靠性又凭什么得到保证。

历史演变#

科学哲学的思想根源可以追溯到古希腊。亚里士多德是第一个系统研究科学方法的哲学家。他在《后分析篇》中提出了演绎科学的理想：科学知识应当从不证自明的公理出发，通过严格的逻辑推演得出结论。亚里士多德还强调了观察和归纳的重要性——科学应当从经验观察出发，通过归纳发现普遍规律。

弗朗西斯·培根（1561—1626）在《新工具》中提出了归纳法的系统理论。培根认为，科学应当从观察和实验出发，通过逐步归纳发现自然规律。他批判了亚里士多德的演绎方法，认为演绎只能从已知推导未知，不能发现新知识。

大卫·休谟（1711—1776）在《人类理解研究》中提出了著名的"归纳问题"。休谟论证说，归纳推理没有逻辑基础——从有限的观察中不能逻辑地推出普遍规律。"太阳过去每天都升起"不能逻辑地证明"太阳明天也会升起"。归纳问题至今仍是科学哲学的核心难题。

逻辑实证主义是20世纪上半叶最有影响力的科学哲学流派。维也纳学派（卡尔纳普、石里克、纽拉特等）主张：科学命题的意义在于其验证方法——一个命题如果原则上不能被经验验证，它就是无意义的。这一立场被称为"可验证性原则"（verificationism）。

主要争论#

证伪主义#

卡尔·波普尔（Karl Popper）在《科学发现的逻辑》（1934年）中提出了"证伪主义"（falsificationism）。波普尔认为，科学与非科学的划界标准不是可验证性，而是可证伪性——一个理论如果原则上可以被经验证伪，它就是科学的；如果不能被证伪，它就不是科学的。

波普尔的证伪主义解决了休谟的归纳问题。科学理论不能被"证明"为真，但可以被"证伪"为假。科学进步的过程是：提出大胆的猜想，然后尽力去证伪它。经受住严格检验的理论暂时被接受，但永远不会被证明为绝对真理。

范式理论#

托马斯·库恩（Thomas Kuhn）在《科学革命的结构》（1962年）中提出了"范式"（paradigm）理论。库恩认为，科学不是通过逐步积累知识而进步的，而是通过一系列"科学革命"——旧范式被新范式取代的过程。

库恩的范式概念包括：科学共同体共享的基本假设、理论框架、研究方法和标准。常规科学（normal science）是在既定范式内的"解谜"活动。当反常现象（anomalies）积累到一定程度时，科学革命就会发生——旧范式被新范式取代。

库恩的理论引发了巨大争议。如果科学进步是范式的更替，那么不同范式之间是否有可比性？库恩提出了"不可通约性"（incommensurability）的概念——不同范式使用不同的概念和标准，它们之间没有共同的衡量尺度。这一观点被批评为相对主义。1970 年第二版的后记里，库恩自己把"范式"拆成两层：一层是整个学科矩阵（符号概括、模型、价值），一层是更窄的范例——学生靠解标准习题学会看世界。批评者打的常常是前一个宽用法；他后来说想守住的，其实是范例如何训练观察。

迪昂早就指出：一次实验检验的是理论加仪器、加辅助假说的整捆，不是孤零零一条定律。波普尔要一次判决，迪昂看到的是可以挪动的保护带。拉卡托斯后来把这捆东西写成研究纲领——本平台《证伪》篇把进步与退化的时间方向写得更细。科学哲学要处理的，不只是"敢不敢被推翻"，还有"推翻时到底动了哪一根"。

科学实在论与反实在论#

科学实在论认为，科学理论描述了独立于人类心灵的客观世界。成熟科学中的理论实体（如电子、基因）是真实存在的。科学理论虽然不完美，但总体上是近似真理的。普特南的"无奇迹论证"把这句话收紧：如果电子只是算题的筹码，理论在新实验上反复命中就成了一连串奇迹。反实在论的回击是：历史上被当作真的以太、燃素也曾预测成功，成功不足以保证所指物还在。

反实在论则认为，科学理论只是组织和预测经验现象的工具，不需要假设理论实体真实存在。巴斯·范·弗拉森（Bas van Fraassen）的"建构经验主义"主张：科学的目标是经验充分性（empirical adequacy），而不是真理。范·弗拉森不要求你相信电子"真的在"。只要理论在可观察范围内跟数据对齐，科学的目标就算达到。争论的不是电子能不能留下轨迹，而是"测到轨迹"是否等于"电子存在"。

休谟的归纳问题没有被波普尔取消，只是被换了问题。科学不再承诺下一次天鹅还是白的，只承诺：若出现黑天鹅，理论得改。日常研究里，黑天鹅往往先被说成仪器故障。划界标准在逻辑上干净，在实验室门口会沾上辅助假说。

当代应用#

科学哲学在当代的应用范围不断扩大。科学与价值的讨论涉及科学是否价值中立的问题。传统观点认为科学是价值中立的——科学只描述事实，不做价值判断。但女性主义科学哲学和科学的社会研究（STS）表明，科学实践受到社会价值和利益的影响。选题、统计显著性门槛、何种副作用算可接受，都已经是价值。价值中立若是指"数据不会自己说话"，它太弱；若是指"科学家没有立场"，它太假。

科学与公众信任也是当代科学哲学的重要议题。气候变化怀疑论、疫苗犹豫和进化论争议都涉及公众对科学的信任问题。科学哲学家需要解释：为什么科学知识值得信任？科学权威的边界在哪里？

模型与表征是当代科学哲学的热点话题。科学模型与现实之间的关系是什么？气候模型、流行病学模型和经济模型如何表征复杂系统？这些问题涉及科学知识的本质和局限性。模型不是缩小的世界。气候模型丢掉对流的细节，才能跑十年尺度；流行病学模型把人写成仓室，才能看见拐点。表征的代价是省略。要问的不是"模型是否等于现实"，而是省略了什么、省略是否可逆。不可通约性若被说成"后来者无法理解前人"，库恩本人也会反对。他的意思更接近：测量与词的意义一起改，翻译会有残渣，不是两群人永远无法对话。

大数据和机器学习又给老问题添了新难处。如果一个算法能准确预测规律，人类却看不懂它凭什么——这还算不算"科学解释"？当机器开始独立提出假说，"科学发现"是否还必须由人来完成？这些追问把"科学知识凭什么可靠"这条贯穿全篇的主线，推到了技术时代的最前沿。

核心概念辨析#

科学哲学中几个关键概念需要仔细区分：

• 归纳（induction）：从特殊到一般的推理
• 演绎（deduction）：从一般到特殊的推理
• 证伪（falsification）：通过反例否定理论
• 范式（paradigm）：科学共同体共享的基本框架
• 不可通约性（incommensurability）：不同范式之间缺乏共同衡量标准

这些概念的区别对理解科学进步和科学争议至关重要。

核心事实卡#

跨域连接#

• 可复现性危机 与 预注册与注册报告：波普尔、库恩、拉卡托斯争的都是"理论如何被淘汰"，而复现危机暴露了一个他们都没处理的环节——大量结论从未被检验，因为重复实验不被发表。证伪要发生，先得有人愿意做且能发表证伪。注册报告在知道结果之前决定发表，本质上是给"可证伪性"补上它一直缺的激励结构——科学哲学描述的是逻辑，缺的是让逻辑运行起来的出版制度。
• 细菌理论革命 与 塞麦尔维斯：库恩的模型可以拿真实案例核对——塞麦尔维斯用死亡率数据证明洗手有效，却被拒绝了二十年，而拒绝的理由不是数据可疑，是他说不出机制。最终被接受靠的是巴斯德与科赫补上那一环。这既支持库恩（新事实无法在旧框架中安放），也修正他：范式转换更像缺失环节被补上，而不是两套不可通约的世界观互相说服。
• 元分析与证据综合："证据支持理论"这句话可以被量化到什么程度，元分析给出了答案——效应量的合并、异质性的度量、以及对发表偏倚的检测（漏斗图不对称、剪补法）。尤其值得哲学注意的是最后一项：它是在对"从未被发表的研究"作推断，也就是把"缺席"本身变成可估计的量。这正是"证据不足"与"证据表明不存在"之间那条界线的精确化。
• 计算社会科学前沿："范式"曾被批评为不可操作，而引文网络给了它可测量的替身——群簇形成、旧文献被停引、跨群簇引用率下降都是可检测的结构断裂。科学计量学的发现对库恩是双向的：断点确实存在，但更常见的是渐进重组，且时间尺度远长于"革命"一词的暗示。把范式操作化的代价是：被测到的可能比他想说的小。
• 贝叶斯推断：确证理论的当代主流形式是贝叶斯的——证据支持假说的程度等于它提高后验的幅度，由此可以精确解释为什么新奇预测比事后解释更有分量（前者的似然比更极端）。它的软肋也同样精确：先验从哪来。这不是技术缺陷，而是把"科学理性中不可消除的判断成分"放到了明处——库恩说的"价值权重之争"在这里就是先验之争。

概念的历史张力#

科学哲学的核心张力贯穿其整个发展。累积与革命的张力：科学是逐步积累知识，还是通过革命性的范式转换？逻辑实证主义和波普尔倾向前者，库恩倾向后者。真相可能介于两者之间——日常的常规科学是累积的，但偶尔的科学革命是断裂的。

发现与辩护的张力：科学发现的语境（context of discovery）与辩护的语境（context of justification）是否应该分开？逻辑实证主义认为应该——发现是心理学的事，辩护才是哲学的事。但当代科学哲学越来越关注发现的过程。

这两组张力都没有标准答案。这正是波普尔笔下科学的特征：它由一连串可被推翻的猜想构成，靠不断纠错而非一锤定音地逼近真理。发现可以来自梦、错误和运气；辩护仍然要公开、可重复、可被同行拆掉。把两者焊成同一步，会把实验室日记当成证明；把两者割裂成毫无关系，又会假装选题和仪器没有历史。科学哲学要同时盯住这两端。

参考文献#

1. Popper, K. (1959). The Logic of Scientific Discovery.
2. Kuhn, T. (1962). The Structure of Scientific Revolutions.
3. Lakatos, I. (1978). The Methodology of Scientific Research Programmes.
4. Quine, W.V.O. (1953). "Two Dogmas of Empiricism."
5. van Fraassen, B. (1980). The Scientific Image.
6. Ladyman, J. (2002). Understanding Philosophy of Science.
7. Okasha, S. (2002). Philosophy of Science: A Very Short Introduction.
8. Earman, J., & Glymour, C. (1980). Relativity and eclipses: The British eclipse expeditions of 1919 and their predecessors. Historical Studies in the Physical Sciences, 11(1), 49–85.
9. Putnam, H. (1975). Mathematics, Matter and Method. Cambridge University Press.