科学哲学

概念

科学哲学要回答两个问题：

问题	名称	典型追问
凭什么说这是科学？	划界问题	占星术、精神分析算科学吗？
科学知识怎么增长？	方法论问题	理论是被"证实"还是被"证伪"？

这两个问题看似抽象，实际每天都在用：审稿人要判断一篇论文"是不是科学"；工程师要判断一条经验规律"能不能外推"。 前者就是划界，后者就是归纳。

科学哲学不是"给科学唱赞歌"，恰恰相反——它的主要工作是用逻辑去检查科学自己的方法论承诺能不能兑现。这一章的主线是一连串"被推翻的乐观"：证实不行 → 可证伪也不行得彻底 → 范式说科学有非理性成分 → 最后落到概率论的救场上。

原理

归纳问题：休谟的那根刺

归纳推理：从有限的观察推出普遍结论。

• 观察：过去一万天太阳都升起；
• 结论：明天太阳也会升起。

休谟（《人性论》，1739）指出：这个推理没有逻辑保证。前提为真、结论为假在逻辑上完全可能。想补上"未来像过去一样"这条前提，但这条前提本身就是归纳结论——循环论证。

罗素的火鸡是最好的比喻：一只火鸡每天被喂食，它用归纳法总结出"人是友善的"，直到感恩节前夜。

归纳问题至今没有被"解决"，只是被不同方式绕开：波普尔干脆放弃归纳（科学不靠证实），贝叶斯派把它改造成"概率更新"。这两种绕法构成了 20 世纪科学哲学的两条主干。

逻辑实证主义：用"证实"划界，然后撞墙

维也纳学派（1924 年由石里克主持，成员包括卡尔纳普等）提出证实原则：一个命题有意义，当且仅当它原则上可被经验证实（或它是逻辑/数学命题）。凡不能证实的，如形而上学命题，就是"无意义的"。

它很快撞上两堵墙：

1. 全称命题无法被有限经验完全证实。"所有金属都导电"要检验无数个样本，永远差一个；
2. 证实原则本身无法被证实。"只有可证实的命题才有意义"——这句话自己可被经验证实吗？不能，所以按它自己的标准它也无意义。

波普尔：把标准倒过来

波普尔（《研究的逻辑》，1934）给出了一个漂亮的转身：科学的标准不是"可证实"，而是"可证伪"。

• "所有天鹅都是白的"——只要出现一只黑天鹅就可被推翻，所以它是科学命题；
• "明天下雨或不下雨"——没有任何情形能推翻它，所以它不告诉我们任何东西；
• 占星术与某些心理分析理论之所以不科学，不是错，而是不可证伪：任何反例都能被解释掉（"水星逆行影响被别处抵消了"）。

由此得出可否证度：一个理论禁止的情形越多、内容越丰富，就越可证伪、也就越有科学价值。

最能说明问题的是 1919 年：广义相对论预言光线经过太阳会偏折 1.75 角秒，爱丁顿的日食观测检验了这个"光凭直觉绝想不到"的数值——预言越冒险、越可能被推翻，一旦通过就越有价值。同一时期，广义相对论还精确解释了水星近日点每世纪 43 角秒的异常进动。

库恩：科学不是"积累"，而是"革命"

库恩（《科学革命的结构》，1962）用历史反驳了"科学是知识的不断累积"这一图景：

阶段	特征
前科学	学派林立、无共识
常规科学	在一个范式下"解谜"，不问范式本身
反常	出现解不出的谜题，越积越多
危机	范式松动，替代方案涌现
科学革命	范式更替，教科书被重写

关键概念是不可通约性：新旧范式之间不是"同一问题的不同答案"，而是连问题、标准、术语的含义都变了。

常见误读："范式"被日常语言用成"套路/模板"——库恩的意思远比这重：范式是一整套世界观加评价标准。

拉卡托斯与费耶阿本德：两条修正路线

• 拉卡托斯（1970）提出研究纲领：由硬核（不可反驳的核心假设）+ 保护带（可调整的辅助假设）组成。判断纲领好坏的标准是进步性（新预言被证实）还是退化性（只靠打补丁解释旧反例）；
• 费耶阿本德（《反对方法》，1975）走得更远——方法论无政府主义："怎么都行"。他认为科学史上没有一条方法论规则从未被违反过，而正是违规带来了突破。

贝叶斯确证：把"确证"变成概率更新

贝叶斯派认为："证据 E 确证假说 H"可以精确写成：

$$P(H\mid E)=\frac{P(E\mid H)P(H)}{P(E)}$$

• $P(H)$：先验——看到数据前对假说的信念；
• $P(E\mid H)$：似然——假说成立时出现该证据的概率；
• $P(H\mid E)$：后验——看到数据后的信念。

证据的作用就是按似然比调整信念。这条路径的好处是：它让"归纳"不再是全有全无，而是连续的信念更新，也让"为什么阴性结果也有价值"有了精确答案（似然小于 1 就削弱假说）。

示例

例 1：贝叶斯确证的一次完整计算

某地某病患病率 1%；检测灵敏度 99%（患病者 99% 呈阳性）、特异度 95%（健康者 95% 呈阴性，即 5% 假阳性）。一人检测为阳性，他真患病的概率是多少？

$$P(+)=0.01\times 0.99+0.99\times 0.05=0.0099+0.0495=0.0594$$$$P(D\mid +)=\frac{0.0099}{0.0594}=0.166667=\frac{1}{6}\approx 16.67\mathrm{\%}$$

结论与直觉相反：阳性者真患病的概率只有约 六分之一；阳性结果里假阳性占了 83.33%。原因不是检测不准，而是基数太小——健康人有 99 倍于患者的数量，5% 的假阳性就把阳性池淹没了。

若患病率升到 10%（同样的检测），后验立刻变成 68.75%。同一份证据，在不同先验下得出完全不同的结论——这就是"背景知识在科学推理中不可省略"的精确版本（同一算例见概率论与数理统计）。

例 2：可否证度对照

命题	禁止的情形	可否证度	科学地位
所有金属受热都膨胀	一个受热不膨胀的金属	高	科学（易被检验）
光经太阳偏折 1.75″	观测值显著偏离	高（具体数值）	科学（1919 年已检验）
行星轨道是椭圆	一条非椭圆轨道	中	科学（开普勒式）
一切皆有因缘	无（任何结果都能解释）	零	不可证伪
"明天下雨或不下雨"	无（逻辑重言式）	零	不提供信息

判断口诀：先写"这个理论如果错了，我们会看到什么"，写不出来就是不可证伪。

例 3：科学革命的时间间隔

事件	年份	距上一次
哥白尼《天体运行论》	1543	—
牛顿《自然哲学的数学原理》	1687	144 年
拉瓦锡化学革命	1789	102 年
达尔文《物种起源》	1859	70 年
爱因斯坦狭义 / 广义相对论	1905 / 1915	46 / 56 年
量子力学（矩阵力学与波动力学）	1925	10 年

计算：$1687-1543=144$；$1905-1687=218$（从牛顿到爱因斯坦）。

两个值得注意的规律：① 间隔在中期以后明显缩短（144 → 102 → 70 → 46 → 10），说明科学共同体的规模与交流速度本身就是革命频率的变量；② 最"硬"的两次革命（相对论、量子力学）间隔只有 10 年，却互不相容——这正是库恩所说"常规科学无法消化反常时，会出现多个新范式同时竞争"的情形。

要点

要点与常见误区

1. "可证伪"不等于"已被证伪"。它是标准而非判决：一个科学理论可以是还没被推翻的。
2. 不可证伪 ≠ 错误，也不一定没价值。"一切皆有因缘"作为生活格言有效，但它不是科学命题——划界问题问的正是这个区别。
3. "科学性"是程度问题，不是开关。波普尔给的是理想化标准；真实理论往往部分可证伪（核心假设难测、边缘预测易测）。
4. 注意"事后解释"这个陷阱。一个理论如果对任何结果都能给出事后说法，就等于什么都没预测。能不能预先给出可被推翻的数值预测，是科学的试金石。
5. 库恩说"科学有非理性成分"，不是"科学不讲理"。他要说的是：范式更替无法完全由逻辑与证据决定（还涉及传统、教育、世代更替）。
6. "范式"不是"模板"。它包含世界观、评价标准、范例题解、术语含义——换了范式，连"什么问题算问题"都变了。
7. 拉卡托斯的"保护带"是好机制。科学家不因一次反例就放弃核心理论，而是先调整辅助假设——这既解释了科学的韧性，也解释了退化学派的顽固。
8. 贝叶斯框架里"先验"不是主观臆断。它必须以公开、可讨论的方式给出，否则算出来的后验就没有说服力——"权重必须公开"，与功利计算同一条纪律。
9. 归纳问题没有被"解决"。波普尔是取消它（不靠归纳），贝叶斯是改造它（变成概率更新）；知道这一点，才不会把某个方案当成终极答案。

小结

• 科学哲学两问：划界问题（何为科学）与方法论问题（知识如何增长）。
• 归纳问题（休谟 1739）刺穿了"从观察到普遍规律"的逻辑桥梁；罗素的火鸡是最好的比喻。
• 证实原则（维也纳学派 1924）因"全称命题不可完全证实"与"自我指涉"两堵墙而失败。
• 波普尔（1934）以可证伪性划界，并以可否证度衡量理论内容；1919 年光线偏折 1.75 角秒是最经典的冒险检验。
• 库恩（1962）用范式—常规科学—反常—危机—革命描述科学进程，核心是不可通约性。
• 拉卡托斯（1970）以硬核 + 保护带区分进步与退化的研究纲领；费耶阿本德（1975）主张"怎么都行"。
• 贝叶斯确证把归纳变成信念更新：P(+)=0.0594、后验 1/6 ≈ 16.67%；患病率升到 10% 后，后验变成 68.75%——同一证据、不同先验、不同结论。
• 科学革命的间隔：哥白尼 1543 → 牛顿 1687 144 年；牛顿 → 爱因斯坦 218 年；相对论与量子力学仅隔 10 年。

把这一章和概率论对读，会看到一个有趣的分工：概率论教你"怎么算"，科学哲学教你"算出来的东西凭什么算数"。

下一篇：美学 —— 从"什么是科学"再往另一头走，问"什么是美、什么是艺术"。