全书目录 · 专著第 100 号 · 📕 在线翻书 · ⬇ PDF
摘要 《道德经》第三十四章说道无所不在,第三十二章说它小到无人能臣服。历代把这两句合读为"道超越大小",而这个读法不可证伪。本文指出:第三十四章自己给出了大与小的判据,且两者共用同一个判据——「衣养万物而不为主,可名于小;万物归焉而不为主,可名为大」;同一个性质(不为主),从一侧看叫小,从另一侧看叫大。大小之别因此来自"从哪一侧看",不来自对象本身。 本文取临界现象的关联长度发散、湍流的能量级串与生物膜的脂筏为三家不相往来的源,从三家共有而未言明的前提——一个东西有没有特征尺度,是这个东西自己的性质——出发,以膜生物学自身的材料推翻它。本文的判断是:「无所不在」与「无法被指认」不是同一件事的两面,而是同一处缺位的两个后果——某些尺度层在每一种现行方法下都留下痕迹,而没有一种方法以它为对象。 本文称之为无对象化尺度。本文执行了三项可复算检验:其一,对象化程度可被代理测量——脂筏的已发表特征尺寸估计跨度达 100 倍,而四个公认已对象化的亚细胞对象全在 2 倍以内;其二,自反检验发现本书自身的八个读数之间存在两处 ≥2 个数量级的空档,其中一处(小时到天)恰是社会技术现象最密集的一段;其三,最关键的一条证伪成立——空档并不全部落在标尺中段,其中一处位于高端,因而无对象化不等于介观:它是与方法集合的关系,不是在标尺上的位置。
关键词 无对象化尺度;对象化缺口;关联长度;能量级串;脂筏;大道泛兮
《道德经》有两句关于「道」的尺度,历来被合在一起读:
大道泛兮,其可左右。(第三十四章)
道常无名,朴虽小,天下莫能臣。(第三十二章)
一句说无所不在,一句说小到无人能臣服。合读的通行结论是:道超越大小。
这个结论有一个致命的性质:它不可证伪。 任何观察都与它相容——测到大,是道之大;测到小,是道之小;测不到,是道超越了测量。一句与一切观察相容的话,不告诉你任何事。
而这两句其实说的不是同一件事。
这两件事是不是同一件事的两面,就是本文要问的问题。
第三十四章的原文比通行读法给的多。它不止说"道大又小",它给出了判据,而且大与小共用同一个判据:
衣养万物而不为主,可名于小;万物归焉而不为主,可名为大。
同一个性质——不为主——从"衣养万物"这一面看叫小,从"万物归焉"这一面看叫大。
王弼注得更明确:若道无施于物,故名于小矣;万物皆归之以生,而力使不知其所由,此不为小,故复可名于大矣。
大小之别来自从哪一侧看,不来自对象本身。
这一句是全篇的支点,而它是文本自己写的。 历代注疏把这一章读成谦德(以其终不自为大,故能成其大),没有人把它读成一个关于命名条件的陈述。 本文因此不是给这一章加一个新解,是把它已经写出来的那一半接上另一半——为什么会有两侧。
本文全程守一条线:尺度是可算的,不是可感叹的。
凡本文所说的"尺度",都必须能落到一个具体的数量级上;凡本文所说的"缺位",都必须能数出来。若本文的任何一处只能靠"超越大小"这类说法支撑,那一处即应被删。 第十八节的三项检验是这条线的兑现。
临界现象说:在临界点上关联长度发散,系统不再有任何特征长度;各尺度上的涨落图样统计上相同。"没有特征尺度"在这里是被建立的深层秩序——临界指数可测、可算、跨物质普适。
湍流说:能量自注入尺度经惯性区传向耗散尺度,中间那一大段没有特征尺度,而两端有。但这门学科自己已经退了一步:<cite index="336-1">今日有基于大量经验证据的共识,湍流涨落并非统计自相似,须作间歇性修正;而 1962 年那次修订被判为方法上的激进改变而非精化——1941 假定小尺度性质与系统物理尺寸无关,1962 实际上假定它有关。</cite>
膜生物学反手把两家撇开:一个东西之所以三十年说不清,恰恰因为它有一个特征尺度而所有方法都错过了它。 而它给出的证据比"看不见"更狠——见第 1.4 节。
打架点因此极硬:统计物理花了一个世纪把"没有特征尺度"建立为最深的秩序;而膜生物学把同一件事当作说不清的症状。 两边都对,且都有硬证据。
本文开工时的构念是"缝尺度"——落在所有现行观测手段特征尺度之间的那个尺度。这个构念有一个致命的浅版本:仪器分辨率不够。
而膜生物学的材料直接否掉了它。 此前无法在细胞中观察到脂筏的主要理由是它们很小、在 10–100 nm 范围、远低于可见光衍射极限;而受激发射损耗与单分子定位一类超分辨方法恰恰能够进入这些长度尺度——然而在这些方法发明一二十年之后,关于筏的组成、性质乃至其存在本身的争论仍未解决。
分辨率早就够了,争论还在。
因此缺口不在仪器的分辨极限上,在"以什么为对象"这一步上。 每一种方法在使用之前都必须先规定"什么算一个筏"——多大、多久、以什么为界——而这个规定各不相同,且不由数据决定。
构念因此改为「无对象化尺度」:一个在多种方法下都留下痕迹、而没有一种方法以它为对象的尺度层。它不是看不见,是没有被当作一个东西来看。
「无所不在」与「无法被指认」不是同一件事的两面,而是同一处缺位的两个后果:某些尺度层在每一种现行方法下都留下痕迹,而没有一种方法以它为对象。
本文余下部分:第二节交代方法、自我限定与和前八篇的划界。第三至五节陈述三家。第六、七节取共有前提并推翻它。第八至十节建立构念、读数与辨别格。第十一节处理靶格。第十二节给出十处兑现。第十三、十四节回到文本——其中第十四节将说明本书九篇里第一次与王弼同向,以及分离线在哪里。 第十五节与十家近邻划界。第十六节取第二层共有前提。第十七节写明三处让步。第十八节报告三项检验,其中第三项是本文最要紧的一次自我证伪机会。 第十九节给出分层引用、自反与反噬预言。第二十节结论,并收全书。
本文问的是"这到底是什么"——要的答案是一条把「作用无界」与「自身无尺度」分开的辨别维度。三家因此各占一个位置,且各自主张"看我这一处就够了":
与第一篇的分离线最要紧,必须做硬:那一篇处理的是投影必失真,且失真量可算——对象是清楚的,损失的是保真度;本篇处理的是对象化缺位——痕迹在,而没有一种方法立项去测它。一个是测不准,一个是没在测。
与第六篇:那一篇是多来源混合后不再有唯一解(世界那一侧的不可分配);本篇是没有一种方法以它为对象(方法集合那一侧的不立项)。
与第八篇:那一篇是判据换代时的刻度承接;本篇是判据之间的尺度空档。第十八节的自反检验将表明,本书自己的判据体系正好有这样的空档。
九篇不得互相引用为对方的证据。
本文对源做过预先排除:不取哲学、国学、政治学、伦理学作为三家之一。代价是:本文不处理"为什么某些尺度没被立项"这个社会学问题——是资源、是传统、是仪器供给,还是别的,本文没有工具处理。本文只处理"有没有立项"这个可数的事实。
在临界点上,关联长度发散,系统不再有任何特征长度。 各尺度上的涨落图样统计上相同——这就是标度不变性。
其一,"没有特征尺度"是被建立的秩序,不是观测失败。 临界指数可测、可算,且跨越物质种类普适——完全不同的体系落在同一个普适类里。
其二,真实系统的发散总被截断。 有限尺寸标度表明,关联长度最多长到系统尺寸;而这个截断本身是可算的,并被用来从有限体系外推无穷体系。
其三,"哪些细节无关"这一判断是理论给的。 普适类的划分依赖对称性与维数——理论先规定了什么可以被忽略,然后数据才落进类里。
自曝:第三条支撑本身就是自曝——普适类的边界是理论规定的,不是数据决定的。 换一套关于"什么无关"的规定,同一批数据可以落进不同的类。
它为什么停在这里:临界现象的问题是「在临界点上普适行为是什么」。"没有一种方法以某个尺度为对象"这件事在它那里不成其为问题——因为在临界点上,任何尺度都同样好,选哪个都不影响结论。 这门学科的成功恰恰建立在"尺度选择无关紧要"之上。
能量自大尺度注入,经惯性区传向小尺度耗散。 惯性区里没有特征尺度,而两端有——注入尺度与耗散尺度。
其一,1941 理论的核心是惯性区统计自相似,由此得到结构函数的幂律标度。
其二,而今日的共识是它不成立。 <cite index="336-1">湍流涨落并非统计自相似,须作间歇性修正;反常标度的指数无法由量纲论证得出。</cite>
其三,那次修订的性质被后人重判。 <cite index="344-1">1941 假定小尺度的平均性质与系统的物理尺寸无关,而 1962 实际上假定它有关——这被判为方法上的激进改变,而非"精化"。</cite>
自曝:这门学科在半个世纪里改变了自己对"小尺度是否独立于系统尺寸"的判断,而这正是本文所说的"尺度不是对象的属性"在物理学内部的一次实例。
它为什么停在这里:湍流的问题是「能量如何传递、标度指数是多少」。尺度在它那里始终是一个连续变量,不是一批可被立项的对象——它不问"哪一段被当作东西看",它问"标度关系是什么"。
膜的横向组织存在纳米尺度的畴,而这些畴的存在与否至今争论。
2006 年一次专题会议给出共识定义:膜筏是小的(10–200 nm)、异质的、高度动态的、富含甾醇与鞘脂的畴,它们区隔化细胞过程;小筏有时可通过蛋白—蛋白与蛋白—脂相互作用被稳定为更大的平台。
其一,这条共识定义本身就是证据。 它给出的尺寸范围横跨两个数量级,且"有时可被稳定为更大的平台"意味着上界开放。 一个需要靠共识会议来定义、而定义出来跨两个数量级的对象,正是"没有一种方法以它为对象"的直接表现。
其二,同一批分子在不同条件场里差三个数量级。 大的、微米尺度的畴在人工膜中很容易观察到,而在活细胞中的尝试给出的是约 5 nm 的上限;其原因被归为与骨架相连的膜蛋白充当障碍物——面积占比仅 5–10% 的障碍物就显著削弱了脂质相分离的倾向。
其三,也是最要紧的一条:分辨率够了而争论未决(见第 1.4 节)。
自曝:这门学科自陈,关于筏的组成、性质乃至其存在本身的争论至今未解,尽管驱动脂质成畴的物理化学原理已被充分理解。原理清楚而对象不清楚——这两件事可以并存。
它为什么停在这里:膜生物学的问题是「筏存不存在、有多大、干什么」。它把"说不清"归因于对象难测,而不归因于"对象尚未被规定"——因为承认后者会使这门学科的问题本身失去确定的所指。
三家争的是:一个体系在哪些尺度上有结构。
甲家说临界点上所有尺度都一样;乙家说中间一段没有特征尺度而两端有;丙家争的是那些畴到底有多大。
三家共同假定:一个东西有没有特征尺度,是这个东西自己的性质。
三家吵的都是"它是多少",而三家都默认这个问题有一个不依赖测法的答案。 没有一家为"以什么为对象"设字段。
念给三家听,三家都会说「这还用说吗」——尺度当然是它自己的事。
同一批脂质,在人工膜里形成微米级畴,在活细胞里被压到纳米级甚至更小;而原因被归为膜蛋白障碍物的存在,其面积占比仅 5–10%。
尺度不是这批分子的性质,是它与条件场的关系的性质。
而更进一步的一层是:超分辨技术已经能达到那个尺度,争论仍未解决——说明剩下的分歧不在"测得到测不到",在"什么算一个筏"这个先于测量的规定上。
这件材料在膜生物学里回答的是「为什么体外与体内结果不一致」——一个实验条件问题。没有人拿它去质疑"特征尺度是对象自身的性质"这个前提。
共有前提当场不成立:特征尺度不是对象的属性,它是对象化方式的产物。
第一,三家的"尺度"在本体上不同:一个是关联长度(统计量),一个是涡的大小(结构量),一个是畴的直径(几何量)。并成通式只能并成"体系有某种尺度结构",不产生任何预测。
第二,三家对"尺度选择是否重要"的立场相反:临界现象的全部成功建立在"选哪个尺度都一样"之上,而膜生物学的全部困难来自"选哪个尺度决定了你看到什么"。 通式必须抹掉这个对立,而对立正是本文的入口。
第三,并成通式会消掉"对象化"这一层。 通式只保留"有没有特征尺度",而本文的锋利之处在于"有没有人以它为对象"——这是关于方法集合的事实,不是关于体系的事实。
由此得到一条方法判断:跨领域的结构类比在越过"该领域是否需要先规定对象边界"这一层时会失效。 这与本书前几篇分别在作用符号、制度性排期、重新平衡机制、守恒约束、换代程序那几层得到的判断,是同一条纪律的第六个实例——六次的失效层各不相同,而形状相同。
「无所不在」与「无法被指认」不是同一件事的两面,而是同一处缺位的两个后果:某些尺度层在每一种现行方法下都留下痕迹,而没有一种方法以它为对象。
无对象化尺度:一个在多种方法下都留下可测痕迹、而没有一种方法事先规定其边界与判据(即以之为对象)的尺度层。
其一,它不是看不见。 它在每一种方法里都以残差、背景、噪声或"异质性"的形式出现。看不见与没被立项是两回事——第 1.4 节的材料证明了这一点。
其二,它是关系,不是位置。 一个尺度层是不是无对象化的,取决于当前有哪些方法,不取决于它在标尺上的位置。 换一组方法,同一个尺度可以从无对象化变成有对象化,而它在标尺上一动不动。 第十八节的第三项检验专门检验这一条。
其三,它可测。 见第九节。
对象化缺口 g = 在该尺度层上留下可测痕迹的方法数 ÷ 以该尺度层为对象的方法数。
毛病是分母常为零,g 无定义。 而分母为零恰恰是最要紧的情形。
span = 同一名称下,已发表的特征尺度估计的最大值 ÷ 最小值。
逻辑是:一个被充分对象化的东西,各方法给出的特征尺度会收敛(因为大家测的是同一个被规定好的对象);一个未被对象化的层,各方法都测得到,却给出跨数量级的估计——因为各测各的对象。
第十八节表明这个代理有效:脂筏的 span 达 100 倍,而四个公认已对象化的亚细胞对象全在 2 倍以内。
读数名:对象化跨度 符号:span
定义:span = 同一名称下已发表特征尺度估计的最大值 ÷ 最小值
必报三项(缺一则该 span 无效):
① 估计的来源清单(每一条估计出自哪种方法)
② 各方法各自的对象定义("什么算一个")——若各不相同,须并列写出
③ 是否所有方法都测得到(若某方法测不到,该条不计入,且须说明)
粒度:一次「估计」= 一篇已发表工作给出的特征尺度区间或中心值
边界例一:同一课题组用同一方法的重复测量 → 计为一条
边界例二:综述中转引他人数值 → 不计(避免重复计数)
边界例三:仅给上限或下限 → 计入,且标注为单侧
编码规则:
① 必须与对照组一并报告:至少三个公认已对象化的同域对象的 span
② span 大不等于测不准 —— 须同时说明各方法本身的精度
③ 不得跨域比较 span(不同领域的估计习惯不同)
不适用:只有一种方法能测的对象(无从比较)
三处引用一致性:正文 §9.2 = 证伪 §18.2 = 赌注 §18.7
有多少种方法测得到它?有多少种方法在测之前先规定了"什么算一个它"?
两数之差即为缺口。五个场景,五个不同答案,四个必须查:
| 场景 | 答案 |
|---|---|
| 脂筏 | 查文献:多种方法都测得到,而对象定义各不相同(第十八节已算) |
| 湍流的惯性区 | 查定义:它由两端定义(大于耗散、小于注入),本身无对象定义 |
| 临界涨落 | 查普适类:对象由理论先规定(对称性与维数),已对象化 |
| 组织里的"氛围" | 查测量工具:多种问卷都测得到,而"什么算一次氛围事件"无人规定 |
| 本书自己的读数体系 | 查八篇的粒度定义:见第十八节的自反检验 |
轴一:是否有多种方法测得到它的痕迹。轴二:是否有方法以它为对象(事先规定边界与判据)。
| 有方法以它为对象 | 无方法以它为对象 | |
|---|---|---|
| 多方法测得到 | 已对象化:估计收敛,span 小 | ⭐ 无对象化尺度(靶格):痕迹遍在,估计跨数量级 |
| 少方法测得到 | 专属对象:只有一种方法能测,而它被规定得很清楚 | 未被触及:既测不到也没被规定 |
右上是靶格,而它的反直觉之处在于:这一格里的东西看起来是"研究得最热闹"的——多种方法都在测它、都有数据、都有论文。热闹本身掩盖了缺位。
右下的「未被触及」格是常识意义上的"未知",而它反而不难处理:没人测得到,大家都知道自己不知道。 真正的麻烦在右上——所有人都以为自己在测同一个东西。
左下的「专属对象」格值得一提:一种方法独占一个对象,估计当然收敛,但那不是对象化成功,是缺乏对照。 第 9.3 节的"不适用"栏据此写死。
① 它出现在每一种方法的残差里。 不是缺席,是以背景、噪声、异质性、"批次效应"的形式在场。每一种方法都为它准备了一个不需要解释的名字。
② 关于它的争论不随精度提高而收敛。 这是它与"测不准"最干净的分野:提高精度会使测不准的争论收敛,不会使对象未定的争论收敛——第 1.4 节的材料是这一条的直接证据。
③ 它的名字比它的定义早。 先有一个词(筏、氛围、势头、结构),然后各方法各自给它一个操作定义,而这些定义彼此不相容。 共识会议的出现本身是这一条的症状——需要开会来定义的东西,说明它先有名后有义。
三条合起来的后果:无对象化尺度不表现为空白,表现为热闹。而热闹使它极难被识别为缺位——一个有大量文献、多种方法、持续争论的题目,看起来正是研究得最充分的那一类。
一 · 脂筏:多方法测得到而估计跨百倍(第十八节已算)。
二 · 湍流惯性区:由两端定义而自身无对象定义——一个以"不是什么"来定义的区间。
三 · 组织氛围与文化:多种问卷都测得到,而"什么算一次事件"无人规定。
四 · 城市的"街区":交通、商业、治安、房价各有自己的街区划法,四者互不重合。
五 · 疾病的"亚型":病理、影像、基因、临床各自分型,同一批病人被切成不同的组。
六 · 教育的"学段过渡":小升初、初升高那一段,各学段各管一头,中间无人立项。
七 · 供应链的"二级供应商":一级可查、终端可查,中间那一层在多数体系里既在场又无台账。
八 · 时间上的"一个工作日":项目管理以周计,操作记录以分钟计,天这一层多数体系不设对象。
九 · 生态的"景观尺度":样方尺度与流域尺度都有成熟方法,中间那一段各家自定。
十 · 语言的"语篇段落":句法有句、语用有会话,段落这一层的边界至今无统一判据。
第三、四、五、六、七处的共同形式值得单列:它们全部是"多个成熟体系各自在自己的尺度上把它切了一刀,而没有一个体系以那一层为对象"。而在每一处,从业者都能感到那一层的存在——他们只是没有为它立账。
第 17.1 节承认本文不能先验地指出哪里有缺口,第 19.3 节指出无差别立项会制造无意义的对象。本节给出三条不依赖立项的做法。
做法一 · 先数,不定义(成本几乎为零)。 不必先规定"什么算一个",只需把同一名称下已发表的特征尺度估计并列排开,看它跨了多少。这一步不需要任何新实验、不需要任何共识会议,只需要把散在文献里的数字放到一张表上。 而多数题目从来没有人做过这张表——综述通常按学派或按方法分节,不按尺度并列。
做法二 · 把各方法的对象定义并列写出。 按第 9.3 节的必报第②项,这是 span 有效的前提。而它本身就是一件有用的事:一旦并列,"大家在测同一个东西"这个假设是否成立就一目了然。多数争论持续多年而无人做这一步,因为每一方都以为对方的定义与自己相同。
做法三 · 在残差里找名字(成本最高)。 按第十一节第一条签名,无对象化尺度出现在每一种方法的残差里,且每一种方法都为它准备了一个不需要解释的名字——批次效应、个体差异、背景、噪声、异质性。把不同方法的这些名字并排看,若它们指向同一个尺度层,那里就可能有一个未立项的对象。 困难不在技术,在这些名字的功能恰恰是让人不必再看。
三条做法的共同要点:它们都不要求任何人立项,只要求把已经存在的数字与定义并排放一次。 而这正是第 19.3 节那个自我封闭循环唯一可能的松动处。
第 1.1 节已经指出,第三十四章自己给出了判据,且大与小共用同一个判据。本节把这个判据与本文的构念对起来。
「衣养万物而不为主,可名于小」——从它对每一物的作用这一侧看,它在每一处都只是那一处的一个条件,不占主位,因而在任何一处的尺度上,它都不构成一个对象。这就是"小":不是尺寸小,是在任一局部的对象清单上都不出现。
「万物归焉而不为主,可名为大」——从万物汇聚这一侧看,它无处不在。这就是"大":不是尺寸大,是痕迹遍在。
同一处缺位,从"每一处都没有它的账"这一侧看是小,从"每一处都有它的痕迹"这一侧看是大。
而两侧共用的那个判据——「不为主」——正是本文的"无对象化":不为主,就是不被任何一处当作主体、当作那个要被规定边界的东西。
这个读法有一个通行读法没有的性质:它可以为假。 若有一样东西在某一处的对象清单上出现了,它在那一处就不再"小";而本文预测,一旦某个尺度层被某种方法正式立项(规定了"什么算一个"),关于它的估计就会开始收敛——第十八节的对照组正是这一预测的正面例证。
王弼注第三十二章「朴虽小」:朴之为物,以无为心,故将得道莫若守朴。夫智者可以能臣也,勇者可以武使也,巧者可以事役也,力者可以重任也。
他的论证结构极清楚:智、勇、巧、力都是可指认的属性,因而都可以被役使——能臣、武使、事役、重任;朴没有可指认的属性,因而不可被役使。
「莫能臣」在王弼那里已经是"不成其为可被处置的对象",而不是"太强大而无法征服"。
本书前八篇里,本文三次与王弼正面对立——他在别处把可测的结构命题读成取消性的价值命题。这是第一次同向,而且是他先到的。
但分离线仍在,且它是可判决的:
判决方式:若王弼成立,则任何方法都测不到它;若本文成立,则多种方法都测得到它的投影,只是各测各的、无人认领。 第十八节的第一项检验表明后者是事实——脂筏的四组估计全都是测出来的,只是彼此不相容。
本文因此在这一处比王弼多出一层,而不是与他相反:他说的是"没有把手",本文说的是"把手在每一处都有,只是没有一处把它当作把手"。
它的问题:微观与宏观之间那一段该怎么处理。而它已经有名字、有整个学科分支。
分离线来自该领域自己的定义:<cite index="344-1">所谓介观尺度一般不指某一个特定尺度,而是一个尺度序列;且由于物质可以无限分割,尺度的划界是相对的。<cite index="337-1"></cite>另有表述指出,什么算"微观"取决于观测所在的尺度。</cite>
也就是说:介观是一个由两端定义的剩余范畴,它是位置概念。
而本文的对象是关系概念:一个尺度层是不是无对象化的,取决于当前有哪些方法。换一组方法,同一尺度可从无对象化变为有对象化,而它在标尺上一动不动。
由此得到本文最便宜的一条证伪,且它已被执行:若无对象化尺度总是落在介观区间,本文即为换名。 第十八节第三项检验专门测这一条。
⚠ 必须在第一节切开的现实理由:"道像分形,各尺度自相似"已是通行比附。
分离线:分形讲的是同一结构在各尺度上重复——它有一个明确的对象(那个结构),只是这个对象在各尺度上长得一样;本文讲的是没有一个尺度上它被当作对象。两者可判决:分形能给出维数(一个确定的数),而无对象化尺度给不出维数,因为没有对象可量。
⚠ 与本书第一篇撞。分离线:那一篇处理投影的信息损失(测量的保真度);本篇处理对象化的缺位(测量的立项)。一个是测不准,一个是没在测。
<cite index="337-1">它的问题:把微观动力学与介观/宏观动力学分开,使快变量与慢变量解耦。分离线:尺度分离假定分离可行;本文的对象恰恰是分离不下去的那一层——它在每一层的方法里都以残差出现。</cite>
分离线:涌现讲的是新性质在高层出现,它默认高层是有对象的(那个整体);本文讲的是某一层根本没有对象。 且涌现是一个肯定性主张(有新东西),本文是一个缺位性主张(没有立项)。
分离线:它处理的是真实体系对理想发散的截断,截断由系统尺寸给定——对象(系统)是清楚的。
分离线:那一族讲的是分类边界上的模糊(这个算不算 A),本文讲的是整整一层没有分类。一个是边界模糊,一个是范畴缺位。
分离线:它检验同一量表在不同群体上是否测同一个东西——它已经预设了"那个东西"是什么。本文问的是那个东西有没有被规定过。
见第十四节。本书第一次与他同向,分离线在"没有属性"与"没有对象化"之间,且可判决。
见第 2.2 节。九篇的对象与读数互不通约,且不得互相引用为证据。
从上节各位近邻的结构性盲区取交集:介观——位置概念;分形——有明确对象;仪器函数——只问保真度;尺度分离——假定可分;涌现——默认高层有对象;有限尺寸标度——系统清楚;灰色地带——只问边界;测量不变性——预设了对象。
交集是一条:
凡是被研究的东西,都已经是一个对象。
也就是说:整个相关传统共同默认,"研究什么"这一步已经完成,剩下的问题是怎么测、测得准不准、结论能不能推广。
本文的全部工作是对这一条的否定:有一类东西被大量研究、被多种方法测量、有持续的争论,而它从未被立项为一个对象。 在这些框架里,这种情形没有字段——因为它们的第一步就假定了对象已给定。
原本要写的更强的话:一个尺度层没被立项,就是一处损失。
削它的材料:临界现象的全部成功建立在"选哪个尺度都一样"之上——在那里不立项不是损失,是正确的。
削掉之后:无对象化在标度不变的体系里无害。 本文的主张缩到有特征尺度而未被立项的情形;而"这个体系到底有没有特征尺度"往往正是争论所在。本文因此不能先验地指出哪里有缺口。
原本要写的更强的话:一旦某层被立项,关于它的估计就会收敛。
削它的材料:惯性区被明确定义了(大于耗散、小于注入),而标度指数的争论至今未决——立项并未终结分歧。
削掉之后:立项是收敛的必要条件,不是充分条件。 第十三节那条预测因此要弱化为:未立项则必不收敛;立项则可能收敛。
原本要写的更强的话:开一次共识会议、写一条定义,对象化即完成。
削它的材料:2006 年的共识定义给出的范围横跨两个数量级,且此后争论继续。
削掉之后:对象化是程度问题,不是有无问题;而 span 正是这个程度的读数。一条覆盖两个数量级的定义,在形式上完成了对象化而在实质上没有。
检验一(外部):一个被充分对象化的东西,其文献中的特征尺寸估计跨度小;一个未被对象化的层,各方法都测得到却给出跨数量级的估计。读数 span = 最大估计 ÷ 最小估计。H1:脂筏的 span ≥ 10;四个对照对象的 span 均 ≤ 3。
检验二(自反):把本书八篇各自清点手册里写死的「粒度」放到对数时间轴上,计算相邻粒度之间的间隔。H2:存在 ≥ 2 个数量级的空档。
检验三(关键证伪):H3:检验二找到的空档不全部落在轴的中段——若空档只出现在中段,则本文与「介观」不可分,本文即为换名。
| 对象 | 已发表估计范围 | span |
|---|---|---|
| 脂筏 | 2 – 200 nm | 100× |
| 核小体 | 10 – 11 nm | 1.10× |
| 核糖体 | 20 – 30 nm | 1.50× |
| 网格蛋白包被小泡 | 70 – 100 nm | 1.43× |
| 线粒体(直径) | 500 – 1000 nm | 2.00× |
脂筏的四组估计彼此不相容:共识定义给 10–200 nm;另一路把上限压到约 5 nm;收敛估计给 2–20 nm;活细胞观测给出的畴直径约 26–78 nm。
H1 成立:span 相差近两个数量级,而对照组全在 2 倍以内。
这一条的意义不在于数字本身,在于它给了一个可算的代理:不必去数"有多少方法以它为对象"(那不好数),只需看同一名称下已发表的特征尺度估计跨了多少。 跨得越开,对象化越缺位——而这与"测得到测不到"无关,因为四组估计全都是测出来的。
| lg(秒) | 读数 | 粒度 |
|---|---|---|
| −16.0 | 存量比 | 一次中间态的存续 |
| 2.0 | 落项量 | 一次可作业化操作 |
| 3.0 | 接续保持率 | 一次移除+一个平衡期 |
| 6.0 | 滞改比 | 一次内容已定的修正 |
| 7.0 | 低位命中率 | 一轮释放到下一轮 |
| 7.0 | 封册率 | 一个受理窗口 |
| 8.0 | 虚记率 | 一个可指认的记名单位 |
| 9.0 | 承刻代价 | 一次有生效时点的换代 |
两处空档 ≥ 2 个数量级:存量比 → 落项量(18 个数量级);接续保持率 → 滞改比(3 个数量级)。
H2 成立。
第二处空档尤其要紧:它对应 lg(秒) 从 3 到 6,即从"分钟"到"天"这一段。而本书前八篇的兑现清单里反复出现这一段的例子——一次会议、一个工作日、一次交接班、一轮巡检。痕迹遍在,而本书自己的八个读数没有一个以那一段为对象。
轴跨 25 个数量级,中段为 lg(秒) ∈ [−7.7, 0.7]。
H3 成立:空档分布在中段与高端两处,不全在中段。
这条是本篇的判决点。 介观是一个位置概念——由两端定义的剩余范畴;而本文的对象出现在轴的高端,那里既不微观也不介观。
无对象化是与方法集合的关系,不是在标尺上的位置。
其一,读数换了。 原定义的 g 分母常为零;代理读数 span 没有这个毛病,且完全可查。 清点手册已据此改为主报 span。
其二,承重命题从抱怨变成判据。 三跑合起来使本文从"有一个尺度层被漏掉了"变成"对象化缺位是一种可测量的状态,且它与位置无关"——后者是一个可以被别人拿去测别的领域的东西。
其三,自反那一节不是姿态。 本书自己的读数体系有两处空档,其中一处正是社会技术现象最密集的一段。本文因此在自己身上落在靶格里,而且是可算的。
其一,检验一的对照组由本文选定。 四个对照对象是本文认为"公认已对象化"的,这个判断本身没有独立标准;若有人主张核糖体的构象状态同样未被对象化,对照组即须重做。
其二,检验一只有一个正例。 脂筏一个案例不足以支撑一般结论;本文没有找到第二个可比的案例并完成同样的计算。
其三,检验二三的粒度取值是数量级估计。 各篇的粒度写的是定性描述("一次可作业化操作"),其特征时间由本文赋值;换一组赋值,空档的位置会移动。但空档的存在与否对赋值不敏感——18 个数量级的那一处怎么赋值都在。
其四,也是最要紧的:检验二三测的是本书自己,不是世界。 它证明的是本书的读数体系有空档,不能推出"世界上那一层无人研究"——别的学科很可能正在研究"天"这个尺度。本文只能主张:在本书所建立的这套读数里,那一层没有对象。
至 2028 年 8 月 19 日,若有公开可复算的研究,在至少三个不同领域按本文口径计算 span,而"多方法可测且对象定义不一致"的层与"对象定义统一"的层之间,span 不存在显著差异,则本文的代理读数判负。
什么不算命中一并写死:仅比较测量精度的研究,一律不算——本文的主张是关于对象定义而非精度;仅在单一领域内比较的研究,亦不算(第 9.3 节编码规则③已写死不得跨域比较,因而必须在多个领域内各自比较)。
本文的可信度主要落在第二、三层,以及第十八节第三项那次判决。
本文自己就落在靶格里,而且这次是算出来的。
第 18.3 节表明,本书八个读数之间有两处空档,其中"分钟到天"那一段恰是本书兑现清单里出现最多的尺度。本书在八篇里反复用那一段的例子作说明,而没有一篇以那一段为对象——这正是第十一节第一条签名所说的"出现在每一种方法的残差里"。
第二处自反更尖锐:本文这一篇也没有补上那个空档。 本文指出了它,而本文自己的读数(span)是一个跨领域的比较量,它同样不以"天"这个尺度为对象。 指出缺口与填上缺口是两件事,本文只做了前一件。
本命题一旦被采用,最省事的落地方式是"给每一个尺度层都立项"。这会以两步毁掉它。
第一步,按第 17.1 节,在标度不变的体系里不立项是正确的。一条无差别要求立项的规则,会在那些体系里制造出大量无意义的对象——而每一个新对象都会带来一套新的测量、新的指标、新的争论。
第二步,"我们已经为该层建立了定义"成为一个可勾选的合规项。而按第 17.3 节,对象化是程度问题:一条覆盖两个数量级的定义在形式上完成了对象化而在实质上没有。一个只做了形式对象化的体系,会比完全没有定义的体系更难被发现有问题——因为它有定义可以指。
我看不到出口。 更麻烦的是:本文的代理读数 span 本身可以被操纵。一个想让自己的对象看起来"已对象化"的领域,只需要收窄发表范围、统一报告口径——span 立刻变小,而各方法实际测的是不是同一个东西一点没变。本文提供的读数,为这种统一提供了一个正当的外观。
本文的三条假设全部成立。按通行的出版激励,最省事的处理是把"三条全中"当作强证据。
本文不这样做,理由是结构性的:按第十一节第三条签名,无对象化尺度的特征之一是"名字比定义早"——先有一个词,然后各方给它一个操作定义。 一篇论证这一点的文章,如果自己先造了"无对象化尺度"这个词、再用三项自己设计的检验去支持它,它就成了自己所描述的那种情形。
因此本文的可信度应当被这样评估:
本文不主张自己已被证实。本文主张的是:它给自己设了一次可能翻车的检验,并把翻车的条件在算之前写死了。
本文补的是本书最后一个缺口:八篇都默认「道」是一个可以被谈论的对象,没有一篇处理它在哪里不起作用。
本文指出:第三十四章自己给出了大与小的判据,且两者共用同一个判据——不为主;同一个性质,从一侧看叫小,从另一侧看叫大。大小之别来自从哪一侧看,不来自对象本身。 历代把这一章读成谦德,没有人读成一个关于命名条件的陈述。
由此本文的判断是:「无所不在」与「无法被指认」不是同一件事的两面,而是同一处缺位的两个后果——某些尺度层在每一种现行方法下都留下痕迹,而没有一种方法以它为对象。 本文称之为无对象化尺度。「泛兮」是痕迹遍在,「莫能臣」是无人立项。
三项可复算检验:对象化程度可被代理测量(脂筏 span 达 100 倍,四个对照全在 2 倍以内);本书自身的读数体系存在两处 ≥2 个数量级的空档,其中一处正是社会技术现象最密集的"分钟到天"那一段;而最关键的一条证伪成立——空档不全部落在中段,其中一处位于高端,因而无对象化不等于介观:它是与方法集合的关系,不是在标尺上的位置。
本文与王弼在这一处是本书九篇里的第一次同向,而分离线可判决:他说朴没有属性,本文说属性在、痕迹在,缺的是有没有人以它为对象——第十八节表明后者是事实。
本文最后交出三个自己解不了的洞。其一,先验不可指:由第 17.1 节,在标度不变的体系里不立项是正确的,而"这个体系有没有特征尺度"往往正是争论所在,因而本文不能先验地指出哪里有缺口。 其二,指出不等于补上:本文算出了本书自己的空档,而本文没有补上它。 其三,读数可被操纵:统一报告口径即可让 span 变小,而各方法测的是不是同一个东西一点没变——本文为这种统一提供了正当外观。
1. Kolmogorov, A. N. (1941). The local structure of turbulence in incompressible viscous fluid for very large Reynolds numbers. Doklady Akademii Nauk SSSR, 30, 301–305.
2. Kolmogorov, A. N. (1962). A refinement of previous hypotheses concerning the local structure of turbulence. Journal of Fluid Mechanics, 13(1), 82–85.
3. Kraichnan, R. H. (1974). On Kolmogorov's inertial-range theories. Journal of Fluid Mechanics, 62(2), 305–330.
4. Frisch, U. (1995). Turbulence: The Legacy of A. N. Kolmogorov. Cambridge: Cambridge University Press.
5. Wilson, K. G. (1971). Renormalization group and critical phenomena. Physical Review B, 4(9), 3174–3183.
6. Fisher, M. E., & Barber, M. N. (1972). Scaling theory for finite-size effects in the critical region. Physical Review Letters, 28(23), 1516–1519.
7. Singer, S. J., & Nicolson, G. L. (1972). The fluid mosaic model of the structure of cell membranes. Science, 175(4023), 720–731.
8. Simons, K., & Ikonen, E. (1997). Functional rafts in cell membranes. Nature, 387(6633), 569–572.
9. Pike, L. J. (2006). Rafts defined: a report on the Keystone Symposium on Lipid Rafts and Cell Function. Journal of Lipid Research, 47(7), 1597–1598.
10. Yethiraj, A., & Weisshaar, J. C. (2007). Why are lipid rafts not observed in vivo? Biophysical Journal, 93(9), 3113–3119.
11. Sezgin, E., Levental, I., Mayor, S., & Eggeling, C. (2017). The mystery of membrane organization: composition, regulation and roles of lipid rafts. Nature Reviews Molecular Cell Biology, 18(6), 361–374.
12. Levental, I., Levental, K. R., & Heberle, F. A. (2020). Lipid rafts: controversies resolved, mysteries remain. Trends in Cell Biology, 30(5), 341–353.
13. Eggeling, C., et al. (2009). Direct observation of the nanoscale dynamics of membrane lipids in a living cell. Nature, 457(7233), 1159–1162.
14. Imry, Y. (1997). Introduction to Mesoscopic Physics. Oxford: Oxford University Press.
15. Mandelbrot, B. B. (1982). The Fractal Geometry of Nature. San Francisco: W. H. Freeman.
16. 王弼:《老子道德经注》第三十二章、第三十四章,载楼宇烈《王弼集校释》,北京:中华书局,1980 年。
17. 河上公:《老子道德经河上公章句》,王卡点校,北京:中华书局,1993 年。
18. 高明:《帛书老子校注》,北京:中华书局,1996 年。
计算可得性声明 第十八节的三项检验由一段约三十行的脚本给出。检验一使用已发表的特征尺寸数值(来源在正文逐条写明)与四个对照对象的教科书取值;检验二、三使用本书八篇各自清点手册里写死的粒度定义,其特征时间由本文按数量级赋值并在正文列出。不使用任何数据集与拟合。 三条假设的阈值在计算之前写定。全部限制(对照组由本文选定、只有一个正例、粒度赋值由本文作出、检验二三测的是本书自己而非世界)均已在第 18.6 节完整报告。
与同批论文的关系声明 本文与同批前八篇为同一产线的九次独立产出,构念互不通约。九文不得互相引用为对方的证据。第 18.3 节把八篇的粒度并列比较,是一次以本书为对象的自反审计,不构成互证。
利益冲突声明 无。
| 构念 | 它处理「道」的哪一面 | |
|---|---|---|
| 第一篇 | 落项 | 表达:一说出就必然变形 |
| 第二篇 | 未入册者 | 资格:什么算它自己 |
| 第三篇 | 待征位 | 运动:下一轮从哪儿起 |
| 第四篇 | 滞改带 | 干预时机:什么时候动得了手 |
| 第五篇 | 已交付项 | 减法:什么可以撤掉 |
| 第六篇 | 溯断/虚记 | 归属:还要不要记在谁头上 |
| 第七篇 | 必朽中介 | 生成:为什么必经中间步 |
| 第八篇 | 承刻 | 判据:换尺子时什么必须被传下去 |
| 第九篇 | 无对象化尺度 | 边界:它在哪里不成其为对象 |
这本书没有做到的三件事,此处登记:
其一,九个构念没有被证明不可合并。 九篇各自守住了与外部近邻的分离线,而九者之间是否可以被一个更一般的构念吸收,本书没有处理——按九篇互不引证的纪律,本书也不能自己处理。这需要一条独立产线的独立复核。
其二,本书的读数体系有自己的空档,而本书没有补。 第 18.3 节把这个空档算了出来,指出缺口与填上缺口是两件事。
其三,本书处理的全部是「道」的一侧。 「德」那一题在本书里只留下三条线索:它可能是"真无为与被追认的无为之别"的名字(第四篇附录),可能是"系统据以承接的那样东西"(第五篇附录),也可能是"承接完成的标志恰恰是不再需要知道来源"(第六篇附录)。三条线索指向同一个位置——承接那一侧——而本书没有一篇去那里。
已知的最大风险仍与前几篇相同:这个位置极易滑向"德即包容""德即涵养""德即容量"这类过于顺滑的表述,而它们都是标量或态度,无法区分任何一张四格。 后续工作若产出一个标量或一种品德,即应视为失败信号。