书 · 1934 · 卡尔·波普尔

《科学发现的逻辑》

哲学书单第 38 名 · 逻辑与思维书单第 18 名 · 科学通识书单第 29 名

一句话结论

科学的力量在于提出可能被经验推翻的解释，再用公开而严格的检验不断找错。

值不值得读完整本？

值得读完整本，尤其适合想弄清证据究竟能支持什么的读者；但概率论和量子理论部分可以分两轮读，第一次不必掌握全部技术推导。

先细读第1至5章，理解归纳问题、科学划界、方法规则和经验基础：这些内容共同说明，证伪为什么既有逻辑上的力量，又需要研究实践中的判断。
接着读第6、7、10章，把可检验程度、简单性和确证联系起来；本书所谓确证，是理论经受检验的表现，不等于已经证明它是真的。
第8章至少读懂事件概率、理论评价与统计检验的区别；第9章先抓住统计预测和量子理论解释的关系，具体物理推导可在第二轮补读。
初读可以跳过附录中的长篇数学推导。常见版本包含1959年英文版及以后增加的带星号注释、附录，阅读时要留意它们与1934年正文的区别。

核心观点

1. 科学检验可以依靠演绎，而不必先证明归纳可靠

有限次观察不能保证普遍规律成立。科学可以先提出理论，再从理论推出可检验的结果，考察它是否经得起经验反驳。

为什么：观察报告只涉及某些对象、时间和条件，普遍规律却还谈论尚未观察的情形，所以结论超出了前提所包含的信息。如果再用过去归纳成功的经验来证明归纳可靠，就又使用了需要证明的归纳，形成循环或无穷倒退。波普尔因此把研究重点转向理论提出之后的检验：检查内部一致性，并结合初始条件推出预测。预测失败，可以借助演绎逻辑否定产生预测的前提组合；预测成功，则只表示这次反驳没有成功。

2. 经验科学必须允许某些观察结果与自己冲突

一个理论具有经验科学的资格，关键在于它是否排除了某些可能的观察结果。可证伪性是划界标准，并不保证理论正确，也不判定其他思想毫无意义。

为什么：理论关于世界说得越具体，就越会排除某些可能发生的情况。如果它能兼容任何观察结果，经验便无法在它与其他说法之间作出筛选。普遍命题与观察之间存在逻辑上的不对称：有限的符合事例不能证明普遍命题，而一个被接受的真正反例与它不相容。这个标准区分的是经验科学与非经验性的思想活动，因此形而上学仍可能有意义，甚至启发科学研究。

3. 维护可证伪性，需要限制逃避检验的补丁

研究者总能设法保护理论，因此科学方法还需要约束如何回应反驳。修改理论或增加辅助假说，应当增加可检验的内容。

为什么：实际预测来自理论、辅助假设和初始条件的组合，预测失败时，研究者可以改变其中的某一部分。如果每次失败都靠无法独立检验的补充解释来化解，理论就逐渐失去与经验冲突的机会。波普尔因此提出方法规则，要求把修改后的体系作为新的体系重新检验。辅助假说的价值，在于它能否带来更多可能失败的预测，使修正承担新的经验风险。

4. 观察报告也会出错，客观性来自共同检验

科学的经验基础由可以公开检验、暂时接受的基本陈述构成。接受一次证伪，还需要确认与理论冲突的可重复效应。

为什么：个人感到确信，是一种心理状态，不能自动成为别人必须接受的逻辑理由。观察描述本身还使用概念、仪器和背景知识，因此也可能受到质疑。如果每条观察报告都必须先得到最终证明，检验就永远无法开始，所以研究者需要暂时接受某些基本陈述，同时保留重新检查它们的可能。正因为观察可能出错，零散的异常记录不足以直接结束争论，证伪应当依靠能经受共同检查的可重复效应。

5. 优先选择内容丰富、经受严厉检验的理论

波普尔主张偏好可检验程度更高，并且已经经受严格检验的理论。他用确证评价这种表现，但不把确证理解为理论为真的概率。

为什么：在可以比较的情况下，一个理论排除的观察结果越多，经验内容就越丰富，也越容易遭遇反驳。更普遍、更精确的理论往往因此承担更大的检验风险；简单性也应当从这种可检验性来理解。容易得到的符合事例，对理论的考验很弱，而理论在困难检验中存活，才提供更有分量的评价依据。确证记录的是截至某时理论接受过怎样的检验、表现如何，不能保证它今后继续成立。

6. 概率规律需要通过统计后果和方法规则接受检验

本书主要从事件序列的频率规律理解概率，并讨论概率假说怎样获得经验内容。概率规律允许偶然偏离，检验必须关注偏离的性质及其可重复性。

为什么：一个概率假说通常容许许多不同的有限结果序列，所以单次异常或某段不典型序列，未必与它构成严格的逻辑矛盾。如果研究者可以把任何系统性偏差都归为偶然，概率假说就会逃过所有检验。波普尔因此补充方法规则，要求不能不断用偶然解释可预测、可重复的系统偏差。研究者由此可以检验概率规律的统计后果，同时承认这种拒绝包含方法上的决定。

反对意见

实验失败不能单独定位哪条假设出了错（皮埃尔·迪昂）

迪昂在《物理学理论的目的与结构》中指出，物理实验检验的是一组相互依赖的假设，包括仪器原理和辅助理论。预测失败只能说明这组前提至少有一处有问题，实验本身不能唯一指出应当放弃哪一条。该书早于波普尔，因此这是一项先行的挑战，并非针对本书的直接书评；波普尔承认相关困难，但他的修改规则是否足以指导具体选择，仍可争论。参见[迪昂原作相关节选](https://thehangedman.com/teaching-files/hps/duhem.pdf)。

日常科学通常依靠稳定框架解题（托马斯·库恩）

库恩在《发现的逻辑，还是研究的心理学？》中批评，波普尔过于围绕理论受到根本挑战的情形理解科学。常规研究中，科学家通常接受一个框架，检验自己提出的具体解题方案；失败往往首先归于方案或研究能力。库恩认为，这种暂时稳定的承诺使深入、细致的研究成为可能，不能只用持续挑战基础理论来刻画科学。参见[论文出版信息与摘要](https://www.cambridge.org/core/books/abs/criticism-and-the-growth-of-knowledge/logic-of-discovery-or-psychology-of-research/AEEDF747C8822D4F5A053BBD4B4890BC)。

应评价研究纲领的长期进展（伊姆雷·拉卡托斯）

拉卡托斯在《证伪与科学研究纲领方法论》中主张，把评价单位扩大为一系列持续修改的理论。保护核心假设、调整外围假设有时能够推动发现，关键在于这种修改是否带来新的预测，以及其中一些是否获得经验支持。他继承波普尔对批评和经验内容的重视，却认为单次检验不足以决定研究纲领的去留，需要比较它们长期的进步或退化。参见[论文原文](https://sidoli.w.waseda.jp/Lakatos_Falsification_and_the_Methodology_of_Scientific_Research_Programmes.pdf)。