灵光 · 灵光 · · 国科智飞 Gavin

数据欠定：争了四十年的风，为什么被一堵墙判了？

何老舵和山先生论了四十年风，谁也赢不了。陈三娘筑了一堵墙，十九天，风自己说了话。一个关于数据欠定的寓言。

渡口镇的老规矩：每年开春，南风起，船才能出港。风晚来一天，布压一天。全镇人等风，像等人开门。

镇上有两位「风先生」。

何老舵，跑过四十年海。他说风从海口来——潮引风；「夜里风总是先到海口灯塔，再到渡口，隔着两个时辰」。他在渡口铺了一地海图，讲得头头是道。

山先生，在山口住了四十年。他说风从山口来——两崖夹一道缝，日头晒热岩缝，气往上跑；「刮风前你先看山口那窝老鹰，它先盘旋，缝里先有气」。他写满了三册「观鹰记」，也是头头是道。

两人各有徒弟。每年开春，在渡口摆茶论风，论到日头落山。四十年，谁也没赢过，谁也没输过。

因为风年年都刮，年年都被双方解释得通。风向偏了，何老舵说「海上有台风挡了一下」，过两天风照常起，他赢了；山先生说「崖上霜厚，缝口被糊了」，过两天老鹰照样盘旋，他也赢了。——没有一句论据，是对方圆不回来的。

今年，风期迟了二十天。

渡口新搬来一个做帆布生意的老板娘，陈三娘。两船布压在栈房，鱼汛在海上等她。她听了两天论风，问了一句没头没脑的话：

「你们争了四十年，有没有人上过山，量过那道缝？」

没人量过。量崖要雇人、画图、挂绳，得三个月；量出来做什么？何老舵说，风从海上来，量山崖无用。山先生说，论的是风理，不是崖。——其实他们都懂：量出来若应了对方，四十年名声就砸了。

所以没人量。四十年，那两座崖，一直没被人碰过。

陈三娘没空理这些。她叫人在北山口底下，垒了一道两丈高的土墙。

墙只挡那道缝，挡不住海口——墙在山口那头，渡口在海口与墙之间。

全镇哗然。说书人讲，这是「断镇之风」，大不敬。山先生冷笑：风若从缝来，墙立三日，风必断。——他等着三天。

何老舵坐立不安：风若从海上来，墙毫无影响。这本该是他赢——但他不敢肯定，因为四十年来，他其实也没有「量」过任何一道海。

第一天，风没断。

第二天，风没断。

第十天，风照常起。渡口的帆张得满满。

山口派输了。他的预测是「墙一立，风要断」；墙立了，风没断。

何老舵，也不算是赢——他的理论只说「风不从缝来」，没说风从哪来。他只是没被淘汰。

第十八天，陈三娘的船队迎着风出了港。

从此，渡口镇没有人再论风。每年开春，只有一桩事：陈三娘派人上一次山，量一次缝，测一次风——不为论理，为她这一季的帆，该做多大。

说书人后来在茶棚里说：

「四十年，论不出一阵风。墙一立，十九天，风就自己说了话。论风的人怕输，用风的人不怕输——他在乎的是帆。风啊，只回答问帆的人。」

概念：数据欠定

数据欠定（Underdetermination of Theory by Data），即迪昂—蒯恩论点（Duhem–Quine Thesis）：皮埃尔·迪昂 1906 年《物理理论的目的与结构》指出，单个观察永远无法证伪一个理论，因为总可以调整「辅助假设」来保住它；蒯恩 1951 年《经验主义的两个教条》把它推广到整个信念之网——观测数据与理论之间没有一一对应，同一批数据永远可以支持不止一个理论，每个理论都能消化任何反例。

当两个理论都能完美解释同一组观测时，观测本身永远无法在它们之间裁判——这不是「证据不够，再收集一点」，再多数据双方照样都能圆。而平局能长期维持，往往因为各方都把名声资本押在了「最好别出判决」上。

解药是干预，而不是解释：Pearl 2000 年《因果论》与 Woodward 2003 年《让事情发生》指出，只有主动改变系统的一个条件，让两个理论的预测分岔，观测才会变成判决。波普尔的淘汰逻辑同样提醒：检验的功能是淘汰，不是证明——被留下的理论只是「今天还在场」。

故事里的映射

故事里的元素 现实中的含义
何老舵与山先生 两个都能自圆其说的理论或方案
四十年论风 反复加码的论证，工具在原则上是平局
「台风挡了一下」「霜糊了缝」 辅助假设补丁：任何反例都能被消化
没人上山量崖 各方名声资本都押在「不要出判决」上
陈三娘 真正要用结果的人
两丈高的土墙 干预：让两个预测分岔的最小试验
「墙立了，风没断」 一个理论被淘汰，另一个只是未被淘汰
每年量一次缝 把一次大辩论变成每年一次的小验证

现实中的数据欠定

给 AI 时代的企业

AI 时代，方案与解释的供给空前过剩：任何决策都能被两套漂亮的叙事圆回来。企业要警惕的不是「证据不足」，而是「无论多少证据都能被圆回来」的平局。结束平局的方法不是再开一次论证会，而是立一堵墙——做一次小规模的真实试验，让两个预测分岔胜负。风只回答问帆的人。

灵光 · 用一个故事讲清楚一个概念。