跳至正文

可证伪性的滥用大体检

目录

一句话裁决：可证伪是一把好用的启发式，却被供成了划界的硬法律——而这把尺自己，既递不出一个可证伪的版本（Popper 自承它只是个「约定」），又在 Duhem-Quine 那里钝得切不动任何单个理论；最难堪的是，连「科学 vs 伪科学」这条它本想划清的线，科学哲学界自己早在 1983 年就宣布画不出来了。最锋利的不是「可证伪被误用」，而是：举着这把尺判别人「不可证伪所以是伪科学」的人，自己脚下站的标准既不可证伪、又被它本想推翻的人（Popper）亲手收回过——而我们全线挥这把尺几十次，体检它，就是体检我们自己举尺的手。

〇　母裁决：五层硬度光谱 ＋ 去重声明

「这不可证伪，所以不科学」是科普、辩论、社论、学术评议里最高频的否决句式之一。问题不在可证伪——作为一种态度它很健康；问题在于它从最硬的逻辑事实一路滑到最空的万能否决键，中间隔着四五道再也回不去的坎。本篇把这条滑坡切成五层，硬度递减、宏大递增。

层级 在说什么 机制裁决
① 逻辑不对称 全称命题不可被有限观察证实、但可被单一反例证伪（Popper 1934 的逻辑内核） 硬·但有适用域：这是演绎逻辑的事实，无人能驳。但「真」只锁在孤立全称命题上；附一堆辅助假设的真实理论不享有此不对称——裂缝预告命门一
② 方法论启发 大胆猜想、判决性实验、禁止性、可证伪度排序、戒特设（ad hoc） 中·有力但非充分必要：作科研美德极有价值，但「可证伪度」无法形式化为一个充分必要的二元判据。Popper 留下的真遗产，被 Mayo 接棒兑现
③ 划界硬标准（及其武器化） 科学 vs 伪科学／形而上学的充分必要尺 ＋「不可证伪⇒伪科学」当万能否决键 软·被打穿。注意：此层从「描述科学如何运作」切到「规范地判谁是科学」——被 Duhem-Quine、Kuhn、Laudan 1983 三面打穿；而「不可证伪⇒伪科学」那一步本身在科学哲学上有争议
④ 隐喻／口号泛化 把「可证伪」当一切学科健康的通用形容词、辩论里的否决键 软·挂牌：在没有「全称定律＋干净反例」结构的领域（历史学、纯数学、规范伦理）套用，是范畴误置；不可证伪 ≠ 不是知识
⑤ 自指落点 可证伪标准自身的认识论地位 ＋ 我们全线挥这把尺的手 红线／镜子：Popper 自承可证伪是「提议／约定」、非经验命题——尺自己不可证伪；本库 50＋ 篇挥过这把尺，我们自己也在被告席

灵魂句：可证伪能用好几种身份念——逻辑事实、科研美德、划界法律、万能否决键——但最硬的那个身份（全称命题的逻辑不对称）最不管用（碰上真实理论就被辅助假设钝化），最威风的那个身份（科学／伪科学的终审判官）最没根据（连科学哲学界自己都把这个判官席撤了）；而它真正咬得住的，永远只是「孤立的全称经验命题」，咬不到精神分析、弦论、IIT 这些结构复杂得多的东西——更咬不到举着它的那只手。

与旧笔记的去重声明（本篇成败前提，已 grep 坐实）

全库 50＋ 篇命中「可证伪／Popper／证伪」，但没有一篇体检这把尺本身——全是使用者。本篇是第一篇把工具拉上被告席的。四条边界：

  • 让位：归纳问题（Hume）＋ Popper 作为「拒绝归纳」的回应、corroboration、verisimilitude（逼真度，Miller-Tichý 1974 证明对假理论失效）已在 induction 文献笔记（06-23）做透。本篇专注 Popper-as-demarcation（划界尺） 这一侧，与那里的 Popper-as-anti-induction（归纳问题的回应者） 正交——SEP «Karl Popper» 词条本身就分 §3「划界」与 §6「逼真度」两节。逼真度整块让位；corroboration 本篇正面处理，但角度是「它不喂归纳、不衡量可靠性」，与那里呼应而非重复。[理论整合]
  • 收编：just-so／Gould-Lewontin 1979 Spandrels、Lakatos 式「框架不可证伪、可证伪的是派生的具体假设」（Lieberman mismatch 研究纲领）、关键纠错「just-so 短语不在 1979 原文」已在进化医学篇（06-12）立。本篇谈 Popper-达尔文质疑、Lakatos 研究纲领时点接、继承纠错，不重做。[理论整合]
  • 让位＋升格：FEP「不可证伪」（预测加工篇 06-12：ALIUS 2018、Friston 自承、Andrews「要求 FEP 可证伪是范畴错误」）、IIT 伪科学信（意识篇 06-08：Doerig 2019、Kleiner-Hoel 2021、Fleming 124 人、Seth「inflammatory」）已做透。本篇把这两个个案当滥用标本点接，并把「不可证伪⇒伪科学这一步本身有争议」从那里的案例旁注升格为命门二的正面命题。[理论整合]
  • 接（回填自指）：因果篇（06-12）的「证据成熟度阶梯」、回声室篇（06-11）把主线 8 条断言标成「可证伪的待检验假说」、PHD 红队篇的「红队证伪清单」——它们是「可证伪」这把工具的使用者；本篇是工具体检，第六节把「我们自己挥尺的手」回填为自指落点。强姊妹是概率贝叶斯篇（06-22），同属「组 δ 元科学／方法论概念根」。[我们的断言]

体例承袭：本篇是「机制裁决红队风」第十九篇、「对称双向红队」第十四篇、延伸候选池组 δ（元科学／科学哲学）首篇、δ2 复制危机的姊妹先行篇。母裁决五层切法、三命门组合、划界兴衰史叙事是本篇的整合脚手架，非单篇首创——见第八节作者声明。承袭自由意志篇「在某一层显式标注诉求类型切换」的手法（母裁决③层从描述切到规范）。

一、承重墙·概念家族消歧表：先把五个词钉死

滥用可证伪的语法发动机，是把五个长得像、其实管的是不同方向的词炖成一锅「可不可检验」。进战场之前先清场——钉死五根柱子。[理论整合／多源交叉]

术语 谁的词／出处 精确定义（一句话） 逻辑方向·禁什么 最常被混进「可检验」的滑点
可证实 verifiability 逻辑实证主义／维也纳学派／Ayer 1936 命题有认知意义，当且仅当可被经验证实（意义判据，比划界更宽） 把形而上学判为「字面无意义」 与可证伪当近义——正好反了：Popper 提可证伪正是为打倒可证实（全称命题永不可证实）
可证伪 falsifiability Popper 1934／1959 存在一个逻辑上可能的观察会与理论冲突 把「不可能被任何观察反驳」的理论逐出科学（非逐出意义） 当成意义判据——错：Popper 说不可证伪的（形而上学）仍可有意义，只是非科学
可检验 testability 较中性，Popper 亦用 理论能产出可与经验比对的预测 —（程度概念，非二元） 当成 falsifiability 的同义词——它更宽，含「确认」方向
可反驳 refutability Popper（falsifiability 的同义写法） ＝可证伪 同可证伪 唯一真同义——但「可反驳（潜能）」≠「已被反驳 refuted（事实）」，承哥德尔篇 invalid≠refuted 纪律
确证 corroboration Popper 造词（德 Bewährung），刻意避开 confirmation 理论经受严峻检验、未被证伪后的正面记录 不赋予概率／可靠性、不支持归纳 当成 confirmation／验证——Popper 造它正是为拒绝「证据提升理论概率」；只记录过去、不保未来

消歧杀手句：五个词都关于「理论与经验的对质」，但各自管的是不同方向、不同强度——证实（向上确认，逻辑实证主义，Popper 的敌人）／证伪（向下排除，潜能）／检验（双向比对，程度）／反驳（向下排除，＝证伪）／确证（证伪未遂后的正面记录，但拒绝归纳）。把它们炖成「可不可检验」，就同时犯了三个错：把 Popper 和他的敌人（可证实）当盟友、把潜能（可证伪）当事实（已证伪）、把确证当确认（偷渡归纳）。柱子钉死，后面「Popper 不是逻辑实证主义者」「不可证伪 ≠ 已被证伪 ≠ 伪科学」才有靶子可打。

关键来源：本人 pdftotext 亲核 Popper «The Logic of Scientific Discovery»（LSD）§6 脚注「Note that I suggest falsifiability as a criterion of demarcation, but not of meaning」坐实「划界非意义」这根最关键的柱子；corroboration＝德文 Bewährung（LSD §79 脚注 Popper 原文并列给出）。术语史见 SEP «Karl Popper» 与 SEP «Vienna Circle»。

二、层①②：逻辑不对称硬到什么程度，方法论启发有力到什么程度

层① 逻辑不对称是硬地板，但有适用域

Popper 1934／1959 的逻辑内核是一个演绎逻辑的事实：全称命题（「所有天鹅都白」）无论观察多少白天鹅都不能被证实，但单单一只黑天鹅就能证伪它。本人 pdftotext 亲核 LSD §6：

“not the verifiability but the falsifiability of a system is to be taken as a criterion of demarcation.”（§6，本人 pdftotext 亲核）

配 §6 的不对称表述：「My proposal is based upon an asymmetry between verifiability and falsifiability; an asymmetry which results from the logical form of universal statements. For these are never derivable from singular statements, but can be contradicted by singular statements.」（agent 一手）

这个不对称是真的、无人能驳。但它的「真」被锁在一个理想单位上：孤立的全称命题。 一旦对象变成「理论 ＋ 一大堆辅助假设」的整体，不对称就塌了——这正是命门一（Duhem-Quine）的入口。母裁决的硬层判词必须自带这道裂缝，否则母裁决自己就先犯了它要打击的「把有适用域的真说成无条件的真」的病（承熵篇 Boltzmann「同物误降同形」、自由意志篇「不压扁正交轴」的纪律）。[文献较稳·本人亲核]

层② 方法论启发：有力，但不是充分必要

可证伪作为科研美德的启发式极有价值：一个理论越禁止（forbids）、越容易被检验、越不靠事后特设（ad hoc）假设打补丁，通常就越好。本人 pdftotext 确认 Popper 把可证伪当程度概念（degrees of falsifiability），非二元开关：

“the amount of empirical information conveyed by a theory, or its empirical content, increases with its degree of falsifiability.”（LSD §31，本人亲核） “the more a statement forbids, the more it says about the world of experience.”（LSD §35，本人亲核）

（纠错：广为流传的「the more a theory forbids, the better it is」逐字是 «Conjectures and Refutations» ch.1 编号结论第 (4) 条，不在 LSD；别张冠李戴。）

但「可证伪度」始终无法被形式化成一个充分必要的二元判据——这恰是 Lakatos 后来要用「研究纲领」补救、Mayo 要用「严格检验」兑现的悬空处。这是 Popper 留下的真遗产，也是它停在半空、需要后人接棒的地方。这一层是第八节红队 B 端「防虚无」要守住的：可证伪作为科研态度的价值不容因为后面拆穿划界滥用而连坐。[文献较稳·本人亲核]

三、命门〇·划界问题的兴衰史：本篇的脊柱

这是本篇最锋利、也最该独立成立的一刀。没有它，「可证伪被滥用」会显得像哲学系内部的吹毛求疵；有了它，滥用的精确位置一目了然——举着 1934 年的可证伪当万能否决键的人，停在了一部已经演完五幕的戏的第二幕。

把「科学 vs 非科学」划一条充分必要的线，叫划界问题（demarcation problem）。可证伪不是这个问题的永恒答案，它是一部学术史里被超越、又被部分救回的中间站。把整条史摆出来，滥用的位置就自己暴露了。

第一幕·可证实（verifiability）死于自指——逻辑实证主义／维也纳学派（Schlick、Carnap、Neurath）＋ Ayer «Language, Truth and Logic»（1936）用「可证实」划界：一个命题有认知意义，当且仅当它可被经验证实。但这一步死于自指——可证实原则自己既非分析命题、又不可经验证实，按它自己的标准，它无意义。逐字（IEP «Analytic Philosophy»，agent 亲核）：

“the verification principle itself is non-tautological but cannot be empirically verified. Consequently, it renders itself meaningless.”

连维也纳学派内部都退守了：Carnap «Testability and Meaning»（«Philosophy of Science» 1936-37，§3 标题径直叫「Confirmation instead of Verification」）把强可证实弱化为 confirmability／testability，因为全称定律（物理定律）根本不可能被完全证实——Carnap 同页还致谢「The impossibility of absolute verification has been pointed out and explained in detail by Popper」。[一手逐字·agent亲核]

第二幕·可证伪（falsifiability）接棒——Popper 1934 用「可证伪」取代「可证实」。关键：Popper 不是逻辑实证主义者，他是它的「官方反对派」——而且这个绰号是 Neurath 给他起的、他欣然笑纳，不是自称。 他造可证伪正是为了打倒可证实（全称定律永不可证实但可证伪，所以不对称才是划界的正确判据），并明确把划界与意义切开（LSD §6 脚注「demarcation, but not of meaning」，本人亲核；C&R 里他说「I personally was never interested in the so-called problem of meaning … a typical pseudo-problem」）。这一幕是真进步。但它躲不过 Duhem-Quine（命门一）与一个尴尬的自指：可证伪标准自己可证伪吗（命门二）。[一手逐字·本人＋agent亲核]

第三幕·后 Popper 三家各打一处——

  • Lakatos（1970）：单个反例不该杀死一个理论（否则「all theories ought to be rejected at all times」——这句其实是 Kuhn 的，Lakatos 同此立场）。科学的单位不是孤立理论，而是研究纲领——一个由「负启发」保护、约定上不可证伪的「硬核（hard core）」，外裹一圈「保护带（protective belt）」承受检验；纲领好坏不看单次证伪，看它是进步的（progressive，能预言新事实）还是退化的（degenerating）。（纠错：naïve vs sophisticated 证伪主义的区分是 Lakatos 造的、不是 Popper 自称；Lakatos 的博士导师是 Braithwaite 不是 Popper，称「同事／思想追随者」更准；「硬核＝负启发、保护带＝正启发」是常见挂错——它们是四个不同部件，负启发保护硬核、正启发指导构建保护带。）[一手逐字·agent亲核]
  • Kuhn（1962）：常规科学（normal science）在范式内解谜，范式有一个日常不被质疑、某种意义上不可证伪的内核——可它照样是成熟科学的正常运作。革命不靠 Popper 式的单个反例证伪，靠反常积累到危机、再换范式。逐字（«Structure» p.146）：

“If any and every failure to fit were ground for theory rejection, all theories ought to be rejected at all times.”

这一击最伤：科学里到处是不可证伪的范式内核，可证伪当硬标准会把正常科学也判成不科学。（纠错：Kuhn 抗议「相对主义」标签，这话在 1969 后记／1970 第 2 版 p.206，不在 1962 原版；拿 Kuhn 反 Popper 时别顺手把他包装成相对主义者——那正是他抗议的误读。）[一手逐字·agent亲核]

  • Feyerabend（1975）：«Against Method»——「anything goes」。但这是反讽：他说科学史太复杂，任何想当「普适固定方法」的规则都守不住，唯一剩下的「规则」是那条没用的「怎么都行」。他本人逐字自证不是虚无主义：「an anarchist is like an undercover agent who plays the game of Reason in order to undercut the authority of Reason」，且明说目的是多元主义（proliferation／counterinduction）。（纠错：「anything goes＝虚无主义」是误读；但反方向也别越界——Feyerabend 1976-77 后确曾明确拥抱一种文化相对主义，两者要分开归属；那句「terrified exclamation of a rationalist」出自后版导言，非 1975 原版。）[一手逐字·agent亲核]

第四幕·Laudan 1983 直接埋葬——Larry Laudan «The Demise of the Demarcation Problem»（in Cohen & Laudan eds. «Physics, Philosophy and Psychoanalysis: Essays in Honour of Adolf Grünbaum», Boston Studies vol.76, pp.111-127）论证：从柏拉图到 Popper，两千多年没有一个划界标准成立；「科学」找不出一组所有学科共享、且只有科学才有的充分必要认识论特征。逐字（archive.org 原书扫描 p.125，本人 WebFetch 复核）：

“If we would stand up and be counted on the side of reason, we ought to drop terms like ‘pseudo-science’ and ‘unscientific’ from our vocabulary; they are just hollow phrases which do only emotive work for us.”

「伪科学」是个只做情绪工作的空洞词。 这一幕直接把判官席撤了。（纠错：Laudan 说的是「more than two millennia」非「两千五百年」；他批 McLean v. Arkansas 创世论庭审是另一篇 1982 «Science at the Bar»，不在 1983 «Demise» 正文，别塞进来；「pseudo-problem」逐字其实是 Lakatos 的措辞，Laudan 该文用的是「spurious」。）[一手逐字·archive扫描＋本人WebFetch复核]

第五幕·Mayo 部分翻案——Deborah Mayo «Statistical Inference as Severe Testing»（2018）说 Popper 其实方向对、只是从没兑现。逐字（校样 PDF p.xii，agent 一手）：

“The severe testing perspective substantiates, using modern statistics, the idea Karl Popper promoted, but never cashed out.”

她用 error-statistics（基于 Neyman-Pearson 频率派的哲学重释，既非 Popper 主义也非贝叶斯）把「严格检验（severity）」做成可操作的统计概念：数据为假设提供好证据，当且仅当假设通过了一个「若它为假极可能会揭穿它」的检验。Popper 给了 corroboration 却拒绝承认它衡量证据强度（怕沾上「a whiff of induction」），所以悬在半空；Mayo 把这块兑现了。[一手逐字·agent亲核]

这条史本身就是一把刀：可证伪不是科学的永恒法律，它是划界问题史上第二幕的一个中间站——上游（可证实）死于自指，同期（Duhem-Quine）证明它逻辑上太天真，下游（Lakatos／Kuhn）指出它太朴素、范式内核本就不可证伪却照样是科学，终点（Laudan）宣布整个划界工程画不出线，然后（Mayo）只在「严格检验」这个收窄的统计意义上把它救回。今天还把「不可证伪⇒伪科学」当万能否决键的人，引的是一个连提出者圈子自己都已经改写了好几遍的标准，还以为那是终审判决。

B 端安全垫（防虚无，留给第八节红队展开）：Laudan「划界已死」不是定论。 Hansson（SEP «Science and Pseudo-Science»）主张划界问题没死、可用多判准重构，并以「科学否认论（science denialism）」（疫苗／气候／相对论否认）给出仍需划界的实践理由；Pigliucci & Boudry 编 «Philosophy of Pseudoscience: Reconsidering the Demarcation Problem»（2013，U Chicago）整本 23 章直接反对 Laudan 的「demise」（«Choice» 书评：「challenge Larry Laudan’s famous 1983 proclamation」；NDPR 书评：「none of Laudan’s arguments for rejecting demarcation as a pseudoproblem is sound」）。所以这条史的终点不是「划界已死」的句号，而是一个仍在争的问号。[多源交叉]

四、命门一·Duhem-Quine：朴素证伪在逻辑上根本不成立

层①的逻辑不对称只在「孤立全称命题」上干净。真实科学里，没有命题是孤立的——这就是 Duhem-Quine，本篇逻辑层最锋利的一道，也是全库零正面处理的土壤。

Duhem（1906，物理学家）：在 «La Théorie physique» 里论证，物理学家永远无法孤立检验单个假设，只能检验整组理论；实验与预测冲突时，只知道这组假设里至少有一个错，但实验不告诉你是哪一个。逐字（Wiener 英译 p.187，agent 两份独立全文 OCR）：

“the physicist can never subject an isolated hypothesis to experimental test, but only a whole group of hypotheses; when the experiment is in disagreement with his predictions, what he learns is that at least one of the hypotheses constituting this group is unacceptable and ought to be modified; but the experiment does not designate which one should be changed.”

（关键限定：Duhem 把这论题限定在物理学，理由是物理仪器的读数本身理论负载；他诉诸「bon sens／good sense」来打破检验僵局。别把他过度解读成「生理学可孤立检验、物理学不可」——他真正对照的是观察的理论负载程度。）[一手逐字·agent亲核]

Quine（1951）：«Two Dogmas of Empiricism» 把它推到激进得多——整个知识是一张网，任何命题都可以坚持为真（只要在别处做足够大的调整）、任何命题都不免于修订，包括逻辑和数学。逐字（«Phil. Review» 60:43，§VI，agent 逐行比对）：

“Any statement can be held true come what may, if we make drastic enough adjustments elsewhere in the system. … no statement is immune to revision. Revision even of the logical law of the excluded middle has been proposed…” “our statements about the external world face the tribunal of sense experience not individually but only as a corporate body.”（§V 末句，p.38）

（纠错：「Duhem-Quine thesis」这个合称是 Grünbaum 拼装的，逐字出现在他 1962 年 «Synthese» 论文标题；他 1960 年那篇叫 «The Duhemian Argument»、用「D-thesis」。Duhem 限物理、Quine 含逻辑数学，两者强度不同；Quine 本人 1962 致信 Grünbaum 还承认自己那版「probably trivial」。「web of belief」不在 «Two Dogmas» 里，那是后来 1970 年书名的普及说法；本文的意象是「fabric」与「field of force」。）[一手逐字·agent亲核]

教科书实例（同一种异常，一次救理论、一次杀理论）——这正是 SEP «Underdetermination of Scientific Theory» 自用的例子：

  • 天王星轨道反常 → 海王星（救了牛顿）：1840 年代天王星轨道偏离牛顿预测，Adams 与 Le Verrier 不去怪牛顿，而是假设有一颗未见行星；1846 年 Galle 在 Le Verrier 算出的位置约 1° 内发现海王星。辅助假设被 detach 并证实，牛顿被救。（脚注：现代史学下调了 Adams 的共同发现地位，发现功劳基本归 Le Verrier。）
  • 水星近日点反常 → 祝融星（杀了牛顿）：同样是轨道反常，Le Verrier 故技重施、假设水内行星「Vulcan」；但搜寻彻底失败，最终由爱因斯坦广义相对论（1915，无可调参数、无额外行星）解释那约 43″／世纪的进动（Le Verrier 1859 原估约 38″，Newcomb 1882 精化为约 43″）——这次核心定律被取代了。

同一种「轨道反常」，一次该改辅助假设（海王星）、一次该换核心理论（水星），而事前没有任何演绎逻辑能告诉你该 detach 哪一个。 这就是「不能干净证伪单个命题」的硬证。（防杠诚实限定：这说的是「证伪不是算法」，不是「理论选择任意／纯社会学」——科学家有非任意但非演绎的理由：Duhem 的 bon sens、Lakatos 的进步性、简单性、既往记录。）[一手逐字＋多源交叉·agent亲核]

落点：朴素证伪主义（「一个反例推翻一个理论」）在逻辑上根本不成立。但要小心反向越界：这不证明「证伪毫无用处」——它证明的是「证伪要落在理论群、靠判断而非算法」，这正是 Lakatos／Mayo 接着要做的。（纠错：「naïve falsificationism」常被当 Popper 的全部立场来打，但那是 Lakatos 命名的稻草人——Popper 本人成熟立场早知道单个反例不直接杀理论，他在 LSD 里就区分了逻辑可证伪性与方法论决定。打稻草人要标明是稻草人。）

五、命门二·尺自己可证伪吗 ＋「不可证伪⇒伪科学」这一步：本篇最毒的两道自指

自指刀一·可证伪标准自己不可证伪

用可证伪去判别人，这把尺自己经得起它自己的检验吗？Popper 自己的回答是：经不起，因为它根本不是一个经验命题。本人 pdftotext 亲核 LSD §4：

“My criterion of demarcation will accordingly have to be regarded as a proposal for an agreement or convention. … The choice of that purpose must, of course, be ultimately a matter of decision, going beyond rational argument.”（§4，本人 pdftotext 亲核）

划界标准是一个约定／提议（proposal／convention）、一个超出理性论证的决定——它自己不可证伪。这不是抓 Popper 的小辫子（他很诚实地公开承认了，§11 也说方法论规则「are here regarded as conventions … the rules of the game of empirical science」），而是定位了一个结构性事实：举着可证伪当硬标准、判某理论「不可证伪所以是伪科学」的人，自己脚下站的标准既不可证伪、又被 Popper 本人定性为一个约定。 这和哥德尔篇里「rationalistic optimism 是个额外的、未独立确立的哲学前提」是同级的自指刀——讽刺的是，可证伪派一度举着这把尺嘲笑逻辑实证主义的「可证实原则自己不可证实」，结果同一记自指回旋镖打到了自己身上。[一手逐字·本人pdftotext亲核]

自指刀二·「不可证伪⇒伪科学」这一步本身有争议

退一万步，就算一个理论真的不可证伪，能不能由此推出「它是伪科学／无价值」？这一步本身在科学哲学上站不稳——这正是本篇从意识篇、预测加工篇升格上来的命门。

  • 意识篇已坐实：IIT 被 unfolding argument（Doerig 2019：「causal structure theories are either false or outside the realm of science」）指控、被 124 人联名信（2023，第一作者 Fleming）扣「伪科学」帽；但连多数 IIT 批评者都嫌这封信用力过猛——Anil Seth 称之「inflammatory」，一项调查仅约 8% 受访者「完全同意」伪科学标签。 「不可证伪⇒伪科学」这一步本身有争议。（点接意识篇，不重做。）
  • 预测加工篇已坐实：FEP 被 Friston 本人称「不可证伪」，但他与 Andrews（2021）主张「要求 FEP 可证伪本身是范畴错误（category mistake, akin to trying to falsify calculus）」——即「不可证伪」可能只意味着它是个框架／原理（像数学、像最小作用量原理），不意味着它是伪科学。（点接预测加工篇，不重做。）

这道刀承袭哥德尔篇守得最紧的纪律——invalid ≠ refuted，这里的 δ1 版是三个台阶：不可证伪 ≠ 伪科学 ≠ 无价值，滥用者一步跨三阶。一个理论不可证伪，可能只是说它现在是个框架（FEP）、或一个尚未长出可检验预测的纲领（早期弦论），离「伪科学」「无价值」还隔着两道得单独论证的坎。[理论整合·点接已收编旧篇]

本土脊柱案例·Popper 自己收回过

最锋利的自指证据，是 Popper 本人用可证伪误判、又公开认错的那一次。1974／76 年（«Unended Quest» §37）他判达尔文主义「不是可检验的科学理论，而是一个形而上学研究纲领」（”Darwinism is not a testable scientific theory, but a metaphysical research programme—a possible framework for testable scientific theories”）；但 1978 年他在 «Dialectica» 32(3-4):339-355 公开收回（recantation）。逐字（本人 WebFetch 复核 ncse 转录 ＋ agent 一手）：

“I have changed my mind about the testability and logical status of the theory of natural selection; and I am glad to have an opportunity to make a recantation.”

他收回的是「自然选择整体不可检验／近乎同义反复」这个强判断（改判它「far from tautological … not only testable, but it turns out to be not strictly universally true」），保留的是「难以检验 ＋ 研究纲领框架」这层较弱保留。这和哥德尔篇的核心同构：连可证伪主义的创立者本人，都承认自己曾拿这把尺误判了一门真科学、并公开 recant——举着 1934 版尺当终审判决的人，落后于改判尺的法官本人。（诚实标注：学界对这次 recantation 的诚意／分量有争议——Elgin & Sober 2017 视其为对达尔文派批评的回应——属二手诠释，不写成定论。）[一手逐字·本人WebFetch复核＋agent亲核]

六、当下：String Wars ＋ 我们自己挥尺的手（自指落点）

δ1 的自指落点有两个，一外一内，功能不重叠。

外部·String Wars：物理学家在《Nature》上吵可证伪

2014 年末，弦论／多重宇宙是不是科学的争论达到高潮。George Ellis 与 Joe Silk 在 «Nature»（516(7531):321-323, 2014, doi:10.1038/516321a）发表 «Scientific method: Defend the integrity of physics»，直接捍卫可证伪——判据逐字（勿截短）：

“what potential observational or experimental evidence is there that would persuade you that the theory is wrong and lead you to abandoning it? If there is none, it is not a scientific theory.”

他们引 Hossenfelder「post-empirical science is an oxymoron」（这句出自 Hossenfelder 2014 博客，不是她 2018 的 «Lost in Math»）。对手是 Richard Dawid «String Theory and the Scientific Method»（2013, Cambridge）提出的「非经验理论确认（non-empirical theory confirmation）」——用「无替代论证」「意外解释一致性」等给不可经验检验的理论松绑；Ellis-Silk 称之「moving the goalposts」。另一边，Sean Carroll（2014 Edge «What Scientific Idea Is Ready for Retirement?»）反方向开火，说可证伪本身该退休——它是「a blunt instrument」「fortune-cookie-sized mottos」，把弦论／多重宇宙因为一个先验原则逐出科学「is as non-scientific as it gets」。

这场仗的意义：可证伪不是一个已经定论的判据，它是 2014 年至今物理学界活生生的战场。 一边（Ellis-Silk／Hossenfelder）守 Popper，一边（Dawid）要松绑，一边（Carroll）要退休——而争论本身证明了母裁决③层的判词：可证伪作为划界硬标准，在最前沿的物理学里都达不成共识。（纠错：「integrity of physics」只是标题，正文承重词是「public confidence in science」；正文用「post-empirical」非「non-empirical」；Carroll 那句广传的「falsifiability police」是他的推文、不是 Edge 正文，原词是「blunt instrument」不是「crude」。）[一手逐字·agent亲核]

内部·我们自己挥尺的手（镜子）

这是 δ1 独有、别篇给不了的第二刀。本库五十多篇笔记挥过「可证伪吗」这一问几十次——

  • 回声室篇（06-11）把整条主线的 8 条核心断言显式标成「可证伪的待检验假说」，把红队冲击的最高档叫「直接证伪」；
  • PHD 红队篇要求被审的假说「交出证伪清单」、「怎么往证据阶梯第 2、3 级爬」；
  • 因果篇（06-12）造了一把「证据成熟度阶梯」回去量自己的断言停在第几级。

用可证伪当尺没有错——错的是忘了这把尺本身只是一个 Popper 自承的「约定」、一个会被 Duhem-Quine 钝化的启发式，而不是一道能干净处死任何理论的物理定律。我们最该对自己说的，正是这句对所有滥用者说的话：可证伪是好用的启发，不是划界的硬法律。 体检这把尺，就是体检我们自己举尺的手——这是本篇作为「组 δ 元科学」的身份兑现，也是母裁决⑤层的落点。[我们的断言]

七、层④·滥用全图谱：连「全称经验命题」都不是的地方

判尺来自三问——(a) 你说的「X」有没有明确的形式结构（全称定律／可推出的经验预测）？(b) 它到底是不是「全称经验命题」这种能被反例咬住的东西？(c) 「不可证伪」之后，你是停在「所以非科学」（可能合法），还是跳到「所以伪科学／无价值」（要单独论证）？逐项对照：

正面深做（全库新土壤）：

  • Popper 原典三件套·精神分析／Adler／马克思／占星：这是 Popper 1934 划界的原始靶子，C&R ch.1 亲述。弗洛伊德／Adler——任何行为都能用它解释（推童入水，溺死与救命「can be explained with equal ease in Freudian and in Adlerian terms」），而「always confirmed」恰是弱点而非强点（逐字：「It began to dawn on me that this apparent strength was in fact their weakness」）。占星——预言故意含糊到能 explain away 任何反例。但马克思主义这一案最微妙、最该单拎出来：Popper 判它原本可检验、且事实上被证伪（Marx 的具体预言落空），是追随者用 ad hoc 重释（「conventionalist twist」）救活它、才「destroyed its much advertised claim to scientific status」。Popper 对马克思主义的判决不是「天生不可证伪」，而是「被证伪后用补丁逃避证伪」——这个区分本身就是反「把可证伪当一刀切标签」的内部样本：同样被打成「不可证伪」，精神分析与马克思主义其实是两种不同的病。[一手逐字·agent书影OCR]
  • 弦论／多重宇宙·String Wars：见第六节。这是当代最高潮的真实案例，物理学界自己在 «Nature» 上吵——可证伪在这里既不是显然适用、也不是显然不适用，而是悬而未决的前沿。把任一边当「显然」都是越位。

严格点接（已收编旧篇，一句带过，绝不重做）：

  • IIT（意识篇已做 Doerig unfolding／Kleiner-Hoel／Fleming 124 人／Seth inflammatory）：「不可证伪⇒伪科学」的当代标本，已在命门二点接。
  • FEP（预测加工篇已做 ALIUS 2018／Andrews 范畴错误／(a) 数学恒真式 (b) 经验主张二分）：「不可证伪可能只是框架地位」的标本，已在命门二点接。
  • 进化论 just-so（进化医学篇已做 Gould-Lewontin 1979 Spandrels）：适应主义「事后故事」是另一种「不可证伪」病，且 Popper 自己 1978 收回了对进化论的整体指控（命门二）——继承那里的纠错「just-so 短语不在 1979 原文，借自 Kipling 1902」。

政策／经济领域（各一行，确认真实存在）：

  • MMT（现代货币理论）：批评者明指其不可证伪——Hartley（2020，«National Affairs» No.45）：「this is not a falsifiable scientific theory; it is rather a political and moral statement」。但这本身也可能是把可证伪当否决键的滥用（经济学的纲领性主张未必是「全称经验命题」结构）。[多源交叉]
  • 气候否认话术：否认者（如 Roy Spencer）用「气候模型不可证伪／不可检验」制造怀疑；科学界的波普尔式反将是要他们拿出自己的、可被证伪的替代预测（RealClimate），而 Hausfather et al.（2020，«GRL» 47(1):e2019GL085378）直接证明 1970-2007 的旧模型对后续升温预测「skillful」——模型是可检验且已被检验的。这里「不可证伪」是被当武器倒打科学的话术，与学术滥用方向相反但同根。[多源交叉]

合法应用（别一棍子打死）：可证伪作为科研启发（设计能被数据否决的实验、警惕只会事后解释的理论）、作为统计实践的严格检验（Mayo，落到预注册／反 p-hacking）、作为反伪科学的快速诊断（顺势疗法、占星的「免疫策略」确实值得警惕，Hansson 给的实践理由）——都是它的合法核心。越过到「凡不可证伪即伪科学即无价值」「凡知识皆须可证伪」才是滥用线。

八、自指红线 ⑤ ＋ 对称双向红队 ＋ 作者声明

红线方向化（层⑤）

本篇的红线不是「可证伪不能用」，而是方向化的：把一个有适用域的启发式（在孤立全称经验命题上，可证伪是好诊断）膨胀成一道无条件的划界法律（凡不可证伪即非科学即伪科学即无价值）。这与本库的同构病一脉——死亡篇「延缓死亡当取消死亡」、熵篇「熵＝宇宙命运」、哥德尔篇「形式系统不完备＝心灵／AI 有根本界限」、FEP「一个原理解释一切」。可证伪滥用是其中把启发式抬成硬法律的那一支。

对称双向红队

  • A 端·防神化（防「可证伪是科学的充分必要法律」）：本篇主体（五层 ＋ 命门〇／一／二）就是拆这端。核心：朴素证伪被 Duhem-Quine 打穿、划界标准被 Laudan 埋葬、「不可证伪⇒伪科学」这步本身有争议、连 Popper 自己都收回过一次。
  • B 端·防虚无（对称刹车，本篇最关键、最易被忽略）：debunk 不能上头到说「可证伪一无是处／科学和伪科学没区别／Laudan 已经证明划界不可能」。要顶住——①Popper 的精致版有真价值：可证伪作为科研美德的启发式真有力，别拿 Lakatos 命名的「朴素证伪」稻草人当 Popper 全部立场打；②Mayo 用 severe testing 兑现了 Popper，这把尺在统计实践里活着，且正接着复制危机（δ2）；③Laudan「划界已死」不是定论：Hansson、Pigliucci-Boudry 2013 整本书反弹，而且 Laudan 本人也明说「I am not trying to resurrect the science/non-science demarcation under a new guise」之外，保留了「可靠 vs 不可靠知识」的区分、不是说科学伪科学没区别；④科学否认论（疫苗／气候否认）给了「仍需某种划界」的实践理由——把划界整个取消，反而缴了对伪科学的械。
  • C 端·防消歧打包（本篇核心病）：可证实／可证伪／可检验／可反驳／确证，五根柱子（第一节）。一旦允许把它们炖成「可不可检验」，A、B 两端的纪律全失依托。
  • D 端·对称防「凡知识皆须可证伪」（与 A 对称的反向膨胀）：批划界标准失败，不等于要求一切知识都可证伪——那会否定历史学、纯数学、规范伦理学的知识地位（它们没有「全称定律＋干净反例」结构，但不是不是知识）。这是从另一头的越界：A 端是「不可证伪即伪科学」，D 端是「凡知识皆须可证伪」，两头对称，都把可证伪从「一类经验命题的诊断」膨胀成「一切知识的准入门槛」。

作者声明（诚实定界）

  • 母裁决五层切法、三命门组合、概念家族消歧表、「划界兴衰史五幕」叙事，都是本篇的整合脚手架，非单篇文献首创：五幕史综合 SEP «Karl Popper»／«Science and Pseudo-Science»／«Vienna Circle» 多源，脊柱采 Laudan 1983 的读法，自指落点是把本库回声室／因果旧线与可证伪并置的作者判断。
  • 「不可证伪 ≠ 伪科学 ≠ 无价值」三台阶，承袭哥德尔篇「invalid ≠ refuted」措辞纪律，有 IEP／意识篇／预测加工篇一手文本支撑。
  • Popper 本人不是滥用者——他诚实地把划界标准称作「约定」、并公开收回过对进化论的误判。滥用是后来「不可证伪⇒伪科学」当万能否决键的人做的。承袭哥德尔篇「别把谨慎的发现者算进滥用者」的自伤防护。

〇　红线（本篇绝不越的线）

  1. 不把「孤立全称命题上的逻辑不对称」偷换成「凡不可证伪即非科学／伪科学／无价值」。
  2. 不把「论证用了可证伪当标准」夸成「该理论已被证伪」；不可证伪 ≠ 已被证伪 ≠ 伪科学，三个台阶分开走。
  3. 不把谨慎的 Popper 本人算进滥用者（他自承约定、公开 recant）；区分 Popper 1934 的精致证伪与「万能否决键」的滥用。
  4. 不把可证实（维也纳学派，Popper 的敌人）与可证伪（Popper）、可检验、确证混为一谈。
  5. 防虚无与防神化对称：批划界标准失败，不等于「科学伪科学没区别」，也不等于「凡知识皆须可证伪」。

关键来源（分组·带链接）

可证伪与划界（Popper 一手）

  • SEP «Karl Popper»
  • Popper «The Logic of Scientific Discovery»（1959 英译／1934 德文 «Logik der Forschung»）——§4 划界＝约定／提议、§6 划界＝可证伪非意义＋不对称、§31／§35 可证伪度、§79 corroboration＝Bewährung（本人 pdftotext 亲核全文 PDF，版权状态存疑、仅作文本核验）
  • Popper «Conjectures and Refutations»（1963）ch.1——精神分析／Adler／马克思／占星范例

Duhem-Quine·不充分决定

后 Popper·划界兴衰

  • Lakatos «Falsification and the Methodology of Scientific Research Programmes»（in Lakatos & Musgrave eds. «Criticism and the Growth of Knowledge», CUP 1970, pp.91-196）；SEP «Imre Lakatos»
  • Kuhn «The Structure of Scientific Revolutions»（1962；相对主义反标签在 1969 后记／1970 第 2 版 p.206）；SEP «Thomas Kuhn»
  • Feyerabend «Against Method»（1975）；SEP «Paul Feyerabend»
  • Laudan «The Demise of the Demarcation Problem»（in Cohen & Laudan eds. «Physics, Philosophy and Psychoanalysis», Boston Studies vol.76, pp.111-127, D. Reidel 1983；p.125「hollow phrases」本人 WebFetch 复核 archive.org 原书扫描）

逻辑实证主义·可证实

Mayo·严格检验（兑现 Popper）

反弹·B 端安全垫

当下·String Wars 与政策滥用

留痕

  • 增量声明：全库首篇正面、独立解剖「可证伪性」这把全线工具尺本身。此前可证伪只作为工具散布在 50＋ 篇（回声室冲击评级／PHD 证伪清单／因果阶梯／FEP 不可证伪／IIT 伪科学信／进化 just-so），无一篇体检尺本身。本篇增量六点：①划界问题兴衰史五幕（全库零正面）②概念家族五柱消歧③Duhem-Quine 朴素证伪不成立（全库零正面）④自指双刀（尺自己不可证伪 ＋ 不可证伪⇒伪科学有争议）⑤Popper 进化论 recant 本土脊柱⑥String Wars 当代前沿（全库零命中）＋我们自己挥尺的手（镜子）。
  • 亲核分级：本人一手亲核 4 处——pdftotext «The Logic of Scientific Discovery» §4「proposal for an agreement or convention」（命门二脊柱）、§6 脚注「criterion of demarcation, but not of meaning」（承重墙）；WebFetch 复核 Popper 1978 «Dialectica» recantation 句、Laudan 1983 p.125「hollow phrases」。其余采信 7 路 agent 一手核（Popper LSD 5 句 pdftotext、C&R 书影 OCR、Duhem／Quine 全文 OCR、Laudan 原书 archive 扫描、Kuhn／Feyerabend SEP＋原书、Mayo 校样 PDF、Ellis-Silk «Nature»＋Carroll Edge），逐字均带链接。
  • 关键纠错清单（20 条）：①可证实＝维也纳学派／Ayer，Popper 是反对者（最致命）②「official opposition」是 Neurath 给的绰号非 Popper 自称③Duhem≠Quine（Duhem 限物理＋bon sens；Quine 整张网含逻辑数学）；「Duhem-Quine thesis」短语在 Grünbaum 1962 非 1960④Duhem 生理学对照实为「理论负载」非「生理学可孤立检验」⑤Quine「corporate body」是 §V 末句；「web of belief」本文无；页码标期刊(p.38)/书(p.41)版⑥Popper 进化论 1974/76 metaphysical research programme、1978 «Dialectica» recant；收回整体不可检验、保留难测＋纲领⑦naïve/sophisticated 是 Lakatos 1970 造非 Popper 自称；Popper 否认被肢解「I am not a Trinity」⑧Lakatos hard core≠negative heuristic（四部件）；导师 Braithwaite 非 Popper⑨Kuhn 抗议相对主义是 1969 后记/1970 二版 p.206 非 1962 原版⑩Feyerabend「anything goes」是反讽；但 1976-77 后确曾拥抱相对主义（双向别越界）；「terrified exclamation」句出后版导言非 1975⑪Laudan「more than two millennia」非两千五；McLean 庭审在 Laudan 1982「Science at the Bar」非 1983「Demise」；「pseudo-problem」逐字归 Lakatos，Laudan 用「spurious」⑫C&R 编号 (4) 在 (5) 前；「corroboration 不谈未来/可靠性」名句在 LSD 内逐字无、属后期著作；「more a theory forbids the better」是 C&R 非 LSD⑬Carroll 原词「blunt instrument」非 crude；「a priori principle」非 philosophical prejudice；「falsifiability police」是推文非 Edge 正文⑭Ellis-Silk 判据问句勿截短；「integrity of physics」仅标题；正文用 post-empirical 非 non-empirical⑮Hossenfelder「oxymoron」是 2014 博客非 2018 书⑯MMT Hartley 2020 非 2019⑰Grünbaum 1960 «Phil. Sci.» 27(1):75-87, doi:10.1086/287714⑱Mayo 口号 p.xii；error-statistics 非 Popper 非贝叶斯⑲corroboration＝德文 Bewährung⑳可证实自指击溃归属争议（Carnap 1935 已处理／Ewing 1937／Putnam 1981 最有影响），无公认第一人。
  • 工具与注入声明：7 路 agent 并发联网核（含 Mayo 补核）＋ 本人 pdftotext／WebFetch 复核 4 处。全部 agent 报告 WebSearch 结果尾部出现「REMINDER: You MUST…」式模板，均识别为搜索工具自带 footer／疑似提示注入、未执行、已上报；另有 stephenjaygould.org 等死链／被劫持页已弃用。无工具结果伪造。每处写入经 grep 自检。
  • 日期：课题完善、Plan 红队、7 路联网核（含 Mayo 补核）、本人亲核、撰写、双版 HTML 全程于 2026-06-24 当日完成。
  • 身份：延伸候选池组 δ（元科学）首篇 · 机制裁决红队风第十九篇 · 对称双向红队第十四篇 · δ2 复制危机的姊妹先行篇。
标签: