异常不会杀死理论,只会给辅助假设开发票:Duhem-Quine 的代价结构
【锚点】本轮只讲一个判断:【科学检验的最小单位不是单一假设,而是“假设+仪器+校准+辅助假设”的测试束;异常结果只能否定整个束,不能自动杀死核心理论】。
【显式】1859 年 Le Verrier 用水星近日点资料算出,牛顿力学在计入已知行星摄动后仍剩约 43 角秒/世纪的超常进动。这个缺口后来成为检验引力理论的著名案例(Einstein, 1915; Will, 1993)。
【流程节点链路】起点:把“水星近日点异常”当成对牛顿引力的直接否定 → 中间节点:检查测试束里的辅助假设,如行星质量、观测误差、未计天体、引力势修正 → 终点:异常只否定“牛顿引力+这组辅助假设”的合取,不单独否定牛顿引力。
【隐式】形式逻辑上,检验不是 H→E,而是 H∧A1∧…∧An→E。若 E 不成立,能推出的是 ¬(H∧A1∧…∧An),不是 ¬H。这里 H 是核心理论,A 是仪器、初始条件、背景理论等辅助假设。
【细微】牛顿阵营并非没有应对:Leverrier 推测存在“火神星”,Newcomb 试图修改反平方律。这些补救都增加新的自由参数或不可观测实体。GR 的差别不在“也给出 43”,而在它从场方程和太阳质量推出约 43.03 角秒/世纪,同时保持辅助假设的少量化。
【极难发现】因此,科学竞争的关键不是“谁解释了这个异常”,而是“谁用更少的代价保住异常”。从知识社会学看,共同体决定异常先被记在哪个账上:核心、仪器、观测方法,还是辅助假设。Kuhn 所谓范式抵抗反例,不是神秘心理,而是因为范式本来就是高耦合测试束:核心越受保护,异常越先被路由到辅助假设上。
【待验证点】如果一条理论每次失败都能靠新增辅助假设续命,它的可检验性是否其实下降了?请给出一个可操作的判据:如何区分“有生产力的辅助假设”和“不可检验的补丁”?







0 評論