第一部分 · 怀疑的起点
科学凭什么算数？归纳、证伪与范式
康德救下了「经验总体上守规律」这条大原则，却没碰科学每天真正在下的赌注：从几次观察跳到「这药对所有人有效」。那一跳，逃过休谟了吗？
康德救的不是这个
很容易把康德误读成「他用先天形式解决了归纳问题」。没有。务必把两件事分开：
换句话说：康德把地板修好了（经验整体是有秩序的、可被科学研究的），但科学家每天要在这地板上盖的每一栋具体的楼（每一条经验定律），仍然是徒手从有限砖块往无限处搭。休谟的问题没被解决，只是被挪到了更要命的地方：科学的全部内容里。
波普尔的翻转：别证实，去证伪
卡尔·波普尔 (Karl Popper) 的天才之处，是不跟休谟硬碰。他干脆同意：归纳确实没有逻辑保证，再多白天鹅也证不出「天鹅都是白的」。证实 (confirmation) 这条路是死的。但他发现了一个被所有人忽略的逻辑不对称：
无穷只白天鹅 ⊬「天鹅都白」 但 一只黑天鹅 ⊢「天鹅都白」为假看清这道裂缝：全称命题（「所有 S 都是 P」）无法被有限观察证实，因为你永远看不完所有 S；但它能被单个反例彻底证伪，因为一个反例就让「所有」破功。证实要无穷次，证伪只要一次。归纳那座桥确实不存在，可否定后件这座桥一直都在，而且是纯逻辑的、滴水不漏的：
(理论 T → 预言 O) ∧ ¬O ⊢ ¬T于是波普尔把科学整个翻了个面。科学方法不是「积累证据去证明理论」，而是大胆猜想 + 拼命试错 (conjectures and refutations)：你提出一个尽可能大胆、尽可能容易被打死的猜想，然后主动去找能杀死它的观察。挺过一轮轮枪林弹雨还没死的理论，不叫「被证明为真」，只叫「暂时还没被证伪的幸存者」。
这一翻带来一个分界标准 (demarcation)：一个理论科学不科学，看它可不可证伪。「明天要么下雨要么不下雨」永真，没有任何观察能推翻它——不科学。「水星近日点每世纪进动 43 角秒」一旦测出别的数就完蛋——极科学，因为它把脖子伸出来等着挨刀。波普尔由此判定占星术、当时某些版本的精神分析「不科学」：不是因为它们错，而是因为它们怎么都能自圆其说，永远不肯告诉你什么观察能证明它们错。
科学的强大，竟在于它从不宣称确定
这里有个反直觉的「啊原来如此」：我们以为科学了不起是因为它证明了真理。波普尔说反了——科学了不起恰恰因为它从不宣称确定。回想第 04 课的明希豪森三难：给任何主张要理由，只有无限回退、循环、武断停下三条死路。波普尔的科学观，其实是把三难里最诚实的那一角——「可错地、可修正地暂停」——做成了一套制度：
所以一座教堂和一个实验室的区别，不在谁更自信，而在：实验室预先公布了自己的死因。科学知识因此永远带着「暂定」的水印——这份结构性的不确定不是 bug，正是科学能自我纠错、能进步的引擎。
库恩的反咬：什么算「反例」，谁说了算？
波普尔的图景干净得近乎漂亮：一个反例 → 理论死亡。但托马斯·库恩 (Thomas Kuhn) 当头一问：「反例」这个东西，是谁认定的？这不是给波普尔补漏，这是对他干净证伪论的正面挑战。
库恩研究真实的科学史，发现科学家几乎从不一遇到不符的数据就掐死理论。19 世纪上半叶，天王星的轨道总和牛顿力学的预测对不上——这是对牛顿的「反例」吗？天文学家没有宣布牛顿被证伪，反而假设有一颗没看见的行星在拉它——结果 1846 年，海王星真在预言的位置被找到，牛顿大胜。可同样的招数用在水星上（假设有颗「祝融星 Vulcan」），却扑了个空，最后是爱因斯坦的广义相对论把水星的偏差收编了。同一种异常，一次被读成「待解的小麻烦」，一次被读成「致命反例」。差别不在数据本身，在于科学家透过什么范式 (paradigm) 去看它。
这就是库恩最锋利的一刀：观察从来不是中立的，它是「理论负载的 (theory-laden)」。你看到的从不是赤裸的「数据」，而是已经被一套理论框架解读过的现象。于是波普尔那个「一个反例就杀死理论」的清脆逻辑，被泡进了浑水里——因为「这算不算一个反例」本身，要靠你戴着的那副范式来裁定。
动手：证伪机
下面这台机器接着第 05 课的黑天鹅往前走。你先立一条全称定律（默认「天鹅都是白的」），机器开始流式抛出观察。盯住两件事：左边的「证实度」计数器拼命往上爬，却永远卡在 100% 之下（这是休谟，没办法）；而右边一旦冒出一只黑天鹅，整个理论瞬间被判死（这是波普尔的不对称）。再拨动「范式透镜」——同一个模棱两可的灰天鹅观察，在不同透镜下会被读成「支持」还是「致命异常」，让你亲手摸到库恩说的「数据不中立」。
点破：左边的数字告诉你休谟没输——证实度只能无限逼近确定，那道缝从不闭合，「证实度 99% —— 仍非必然」。可波普尔指出你押错了方向：科学的力量不在那道爬不满的左侧条，而在右侧那个开关——「一只黑天鹅 —— 理论已死」是干净的、一次到位的逻辑。最后那只灰天鹅是库恩的尖刀：同一个观察，「维护范式」的透镜把它读成「白天鹅沾了泥，不算数」，「革命范式」的透镜把它读成「致命异常，定律完了」——数据没变，判决变了。波普尔的清脆逻辑，要先有人替这只灰天鹅定性，才用得上。
常见误解
- 误解：波普尔证明了科学是确定可靠的真理。 （澄清：恰恰相反。他的核心是科学永远拿不到确定性——理论只能「暂未被证伪」。科学的可信不来自证明为真，来自它敢于、并已经挺过一次次想杀死它的尝试。）
- 误解：库恩是来帮波普尔把理论补完整的。 （澄清：库恩是挑战波普尔。波普尔靠一套超范式的逻辑（证伪）让科学前进；库恩说连「什么算证伪」都被范式决定，根本没有那把中立的尺。两人是对立而非接力。）
- 误解：「观察是理论负载的」＝科学全是主观、想怎么说就怎么说。 （澄清：库恩没说数据可以随便编。他说的是：解读数据需要框架，框架会影响「什么算异常」。这让科学比波普尔的图景更历史化、更人，但水星的偏差是真测出来的，不是谁想象的。）