对复杂性科学的批判CRITIQUES OF COMPLEXITY SCIENCE

一门学科被外行夸得越响，多半说明它内部正在打一场不太体面的架。复杂性科学最值得读的批评文献，几乎全部由它自己人写成——而外行最爱引用的那几句，恰恰是圈内早就判过死刑的。

01把隐喻当解释（Metaphor Posing as Explanation）

先说清一条判据，后面四节都要用它：一句话的价值不在于它能贴到多少现象上，而在于它排除掉了什么。

「二维方格网上，每个格子以概率 p 独立地被占据；p 低于 0.5927 时不会出现贯通全图的巨簇」——这句话很硬，因为它禁止了大量观测。你做一次实验，p 取 0.5，却看到贯通，这句话就完了。

「这个组织处在混沌边缘」这句话则贴得上任何一个组织。没有哪种观测结果会让说这话的人收回它。它不禁止任何东西，所以它在结论里不承重——它是个感叹句，穿着陈述句的衣服。

「混沌边缘」（edge of chaos）值得单独讲，因为它是这条指控最干净的标本。1990 年前后，Chris Langton 在研究元胞自动机（cellular automaton，就是第 4 期讲的那种格子上跑简单规则的模型 → 参考 · 生命游戏与元胞自动机）时提出：在「规则太死板」和「规则太随机」之间，存在一个狭窄的地带，那里的系统最能做计算。1988 年 Norman Packard 报告了一个更诱人的结果：用遗传算法（genetic algorithm，一种模拟进化来搜索方案的方法 → 参考 · 遗传算法）去演化元胞自动机完成一项计算任务时，演化出来的规则会自己聚集到那个边缘地带附近。

这个结果太漂亮了：进化会主动跑向混沌边缘。它随即被写进无数本管理学与创新学的书。

然后 1993 年，Melanie Mitchell、Peter Hraber 和 James Crutchfield 把这个实验重做了一遍。聚集现象没有复现。他们的结论是：Packard 观察到的聚集，是遗传算法本身的动力学加上那个特定适应度函数共同造成的假象，不是系统朝临界性演化的证据。

这件事发生在三十多年前。而「组织要待在混沌边缘」这句话至今活得很好——因为它已经脱离了那个可以被证伪的原始命题，变成了一个纯隐喻。指控一：成立。

EN The load-bearing test for any claim is what it forbids. "Edge of chaos" is the cleanest specimen of failure: Packard's 1988 result — that evolved cellular automata cluster near Langton's critical λ — did not replicate when Mitchell, Hraber & Crutchfield redid it in 1993; the clustering was an artifact of the genetic algorithm and the fitness function. The falsifiable claim died; the metaphor is still in management books. Charge one: upheld.

02解释一切，预测什么（Weak Predictive Power）

第二条指控最常见：这门学科对已经发生的事总能讲出一套机制，对没发生的事却说不出什么。1995 年科学记者 John Horgan 在《科学美国人》上写过一篇著名的檄文，标题就叫《从复杂到困惑》，里面连圣塔菲研究所自己的研究者都在怀疑那个许诺中的统一理论会不会来；他随后在 1996 年的书里把混沌与复杂性合起来讥为「chaoplexity」。

这条指控里藏着一个没申报的前提：预测 = 说出哪天、多大。而预测其实有三种，它们要求的证据完全不同。

放弃点预测这件事，第 8 期和第 11 期已经论证过：混沌意味着误差指数放大，计算不可约性意味着有些系统除了原速跑完没有捷径。所以「说不出哪天多大」不是没做到，是断言了做不到。用这个去打分，像用短跑成绩评价游泳。

但辩护到这儿只完成了一半。剩下一半是：那你交付的后两种，兑现了没有？诚实地记分——

兑现了的：渗流阈值（percolation threshold）在具体的格子和网络上算得出来，而且换一个系统还是对的 → 参考 · 渗流模型；传染病的基本再生数 R₀ 跨过 1 就从熄灭变成流行，这条阈值是防疫政策的骨架 → 参考 · SIR 模型；临界慢化（critical slowing down）作为预警信号，在 2011 年一场真正的野外实验里被验证过——研究者往一个湖里逐步引入捕食性鱼类，人为推动它翻转，同时用旁边一个未干预的湖作对照。翻转发生前一年多，被干预湖的方差与自相关确实先升上去了，对照湖没有。这是一次事前设计、事前记录的检验。

没兑现的：地震。自组织临界性（self-organized criticality，缩写 SOC）恰恰蕴含着「震级不可预测」，这一点它自己也承认；1997 年一批地震学家在《科学》上打过一场公开辩论，主张地震在实用意义上不可预测，此后二十多年没有出现能推翻它的可重复预报。至于 2008 年的金融危机——复杂性经济学事后给出的解释相当漂亮（杠杆、网络耦合、同质化），但事前可存档的预测基本没有。

指控二：部分成立。成立的部分不在「它做不到点预测」，而在圈内人经常允许自己在解释之后不再区分「我能解释」和「我能预测」——一份事后写的机制说明和一份事前封存的预测，在文本上长得一模一样，只有时间戳能区分它们。

EN The charge of weak prediction smuggles in a premise: that prediction means naming the date and the size. Complexity science explicitly forfeits that — chaos and computational irreducibility say so. What it owes instead are distributional and threshold predictions, and there the record is mixed: percolation thresholds and the R₀ = 1 threshold hold up, and critical slowing down was confirmed in a pre-registered whole-lake experiment in 2011; earthquake magnitude forecasting and any archived pre-2008 crisis call did not. Charge two: partly upheld — the real fault is not distinguishing an explanation from a time-stamped forecast.

03幂律滥用与「万物皆网络」（Power-Law Inflation and the Network Turn）

第三条指控是技术性的，也是判得最干脆的一条：这门学科到处看见幂律，而其中相当一部分根本不是幂律。

病因很物理：在双对数坐标下，人眼极容易把一段缓弯判成直线，而对数正态分布、带指数截断的分布画出来都很像直线。2009 年 Aaron Clauset、Cosma Shalizi 和 Mark Newman 给了一套统一的做法——最大似然估计指数、用统计检验判断拟合优度、再和几种备选分布做正面比较——然后把一批被广泛引用的数据集重新过了一遍，很多没通过 → 参考 · 幂律的识别与误判。2019 年 Anna Broido 和 Clauset 把这套方法推到近千个真实网络上，结论是：严格意义上的无标度网络（scale-free network）其实很罕见 → 参考 · 优先连接模型。

注意这件事的方向：这两篇都是圈内人写的，用的是圈内的数据。指控成立，但它是这门学科自己提出、自己执行的——这是健康的证据，不是病征。一个学科真正的麻烦是无人做这种事，而不是有人做了。

「万物皆网络」这条更隐蔽，因为它看起来不像一个主张。把一堆东西画成网络，感觉是在发现结构。其实那是一次建模选择：你选了哪种关系当边、用了多长的时间窗口、把多弱的连接切掉。这三样一换，图就换了。

所以「在这个网络里 X 是枢纽」这种句子，必须连着建图规则一起说才有意义。省掉规则，读者会以为你在描述这群人，其实你在描述你的表格。指控三：幂律那部分成立且正在被修；「万物皆网络」那部分部分成立——网络确实是个好工具，问题出在把一次表征当成了一次发现。

EN Charge three has two halves. Power-law inflation: upheld, and being repaired from inside — Clauset, Shalizi & Newman (2009) supplied a real test, and Broido & Clauset (2019) applied it to nearly a thousand networks and found strictly scale-free structure to be rare. "Everything is a network": partly upheld. Drawing a network is a modelling choice — which relation counts as an edge, over what time window, above what threshold — and the same eight people yield three different hubs under three defensible edge definitions. A hub claim without its edge definition describes your spreadsheet, not the world.

04为什么偏偏是这门学科（Why This Field Is Especially Exposed）

前三条指控放在一起会引出一个问题：别的学科也有夸大和滥用，为什么复杂性科学显得格外严重？答案是结构性的，不是道德性的——它有四个别人没有的暴露面。

第一，它的工作方式本身就是类比。这门学科的全部主张就是同一条机制反复出现在互不相干的领域：沙堆、灭绝、崩盘共享同一条统计。而正确的搬运和错误的搬运，在句子层面长得一模一样——两者都说「这两件事背后是同一条机制」。区别只在有没有把前提一起搬过去。

第二，它没有自己的数据。物理有实验室，流行病学有病例登记，它没有专属的观测对象——它永远在别人的数据上工作。而那份数据哪里有坑（怎么采集的、漏了谁、口径什么时候改过），只有那个领域的人知道。跨进来的人拿到的是一张干净的表，看不见表背后的脏活。

第三，审稿人只懂一半。一篇跨学科论文，懂数学的审稿人往往看不出实证部分的漏洞，懂实证的常常被数学吓住、默认它是对的。这不是谁的阴谋，是结构：没有人有能力对整篇文章说「不」。

第四，命名本身有市场。2000 年霍金在一次报纸采访里说「我认为下一个世纪将是复杂性的世纪」——这句话此后被引用了无数次。它是一句采访里的期待，不是一个研究结论，但它在传播中的分量远超任何一篇论文。一个领域一旦有了这种句子，进来的人里就会有一部分是冲着句子来的。

EN Four structural exposures, not moral failings. The field's method is analogy, and a sound transfer and a bogus one are verbally identical — only the premise list distinguishes them. It owns no data of its own, so it never sees where someone else's dataset is dirty. Interdisciplinary referees each understand half a paper, so nobody is equipped to say no to the whole. And the field carries slogans — Hawking's "the next century will be the century of complexity" — that travel further than any result.

05这套批判在哪儿不成立（Where the Critique Itself Breaks Down）

现在把枪口调转。批判也会越界，而且越界的方式和它批评的对象一模一样。

「它没有统一理论，所以不算科学」——不成立。这条听起来很有力，其实标准是错的。生态学没有统一理论，地质学没有，免疫学也没有，没人因此说它们不是科学。判据从来不是「有没有一个大写的理论」，而是「有没有可被检验、可被推翻的具体模型」。这个它有一堆：渗流、SIR、Kuramoto、NK 景观、优先连接——每一个都作出过明确断言，也确实都被修正过（第 22 期讲的那次对无标度网络的系统性反驳，就是模型被数据修理的现场）。

「它没预测到 2008 年危机」——记分错了。这条已经在第二节拆过：用点预测给一门明确放弃点预测的学科打分，是拿错了尺子。该问的是它交付的阈值与分布有没有被检验过。要注意的是，这个辩护不能反过来用成免死金牌——放弃点预测的代价，是必须在另外两种预测上接受更严格的检验，而不是从此不受检验。

最要紧的一条：批判本身可以变成零成本的姿态。「这很复杂」「系统是不可预测的」「线性思维在这里不管用」——这些句子和它们所批评的对象犯的是同一个错误：它们也不禁止任何东西。用「复杂」来终止讨论，和用「复杂」来解释一切，是同一个动作的两个方向。前者听起来更谦虚，所以更难被发现。

同样地，Sokal 式的清算有它自己的越界：从「某些人文学者误用了物理术语」推到「跨学科搬运本身没有价值」，也是丢掉了定义域——那次事件证明的是某个审稿环节失灵，不是类比这件事本身破产。

所以诚实的边界大致在这里：这门学科交付得最好的是「机制的形状」——阈值在哪、分布是什么形状、结构怎样决定动力学；交付得最差的是任何形如「哪天、多大、谁」的东西。凡是它讲得越像故事的地方，你越该要求它给出那句「它禁止了什么」。

EN The critique has its own boundary. "No unified theory, therefore not a science" is simply false — ecology and geology have none either; the test is whether there are falsifiable specific models, and there are plenty. "It missed 2008" scores the field with the wrong instrument. And the most seductive failure: "it's complex, it's unpredictable, linear thinking won't work" forbids nothing either, so ending a discussion with complexity and explaining everything with it are the same move. What the field delivers well is the shape of mechanisms — thresholds, distributions, structure driving dynamics; what it delivers badly is anything of the form "when, how big, who".