实
Karl Popper
Austrian/British philosopher of science (1902–1994) — founder of falsificationism and leading critical rationalist
Popper accepts Hume’s problem of induction as unsolvable, but argues science does not rely on induction. The falsificationist program: science advances through bold conjectures and stringent falsification, not by accumulating inductive confirmations. The logic of falsification is purely deductive (modus tollens): H → P, ¬P, therefore ¬H. A theory that has not been falsified is not “confirmed” — only “corroborated.”
The falsificationist method
Falsifiability as criterionThe hallmark of science: producing predictions that could be empirically refuted — demarcating science from non-science
Corroboration vs. confirmationA theory not yet falsified is not inductively “confirmed,” only provisionally “corroborated” — refusing the logic of confirmation
Asymmetry of confirmation and falsificationNo finite set of positive instances can confirm a universal claim, yet a single counterexample can falsify it — exploiting this logical asymmetry
Core limitations Induction smuggled back in The notion of “corroboration”: when several non-falsified hypotheses conflict, why prefer the better-corroborated one? Induction re-enters quietly Contrast with Hume Same starting point — accepting the induction problem — but different exits: Popper turns to deduction, Hume to custom ML analogy Falsifiability ↔ testable model predictions; corroboration ↔ validation-set performance — a structural mapping between philosophy of science and ML
→ Falsificationism · Induction Problem · David HumePopper (1935 / 1963)
Karl Popper
基本信息
- 全名: Karl Raimund Popper
- 生卒: 1902-1994
- 国籍: 奥地利/英国
- 身份: 科学哲学家
- 核心贡献: 证伪主义、批判理性主义、开放社会理论
主要著作
- 《科学发现的逻辑》（Logik der Forschung, 1935；英译 The Logic of Scientific Discovery, 1959）
- 《开放社会及其敌人》（The Open Society and Its Enemies, 1945）
- 《猜想与反驳》（Conjectures and Refutations, 1963）
- 《客观知识》（Objective Knowledge, 1972）
科学方法论
Popper 接受休谟的归纳问题为不可解决的，但提出科学不依赖归纳。他的证伪主义方案：
- 科学通过大胆猜想和严格证伪推进，不通过归纳积累确认
- 证伪的逻辑完全是演绎的：H → P，¬P，因此 ¬H（modus tollens）
- 理论的”科学性”标志是可证伪性——能做出可能被经验否定的预测
- 未被证伪的理论不是”被证实的”，只是”被佐证的”（corroborated）
影响与局限
Popper 对 20 世纪科学哲学影响巨大，但其纯演绎主义框架面临核心困难：当多个未被证伪的假说矛盾时，无法仅凭演绎逻辑做出选择——“佐证”概念似乎暗中重新引入了归纳推理。
与本 wiki 的关联
References
- Popper, Karl, 1935 [1959], The Logic of Scientific Discovery, London: Hutchinson.
- Stanford Encyclopedia of Philosophy, “The Problem of Induction”, Section 6, https://plato.stanford.edu/entries/induction-problem/