*不引入新材料,只把十章各自的读数接进枢纽章那七条关系,并给出五条可以同时推翻它们的方式*
位置 本章排在第四编之后、结语之前。它与枢纽章的分工是:枢纽章从三条判断推出七条关系,本章反过来,把十章的读数逐一放回这七条关系里,看它们是否彼此约束。一本书与十篇文章的差别,就在这一步做不做得成。
| 章 | 读数 | 一句话判据 | 归入 |
|---|---|---|---|
| 一 | 复推率 ρ | 换一个表面不同、结构相同的情境,他会不会推出同一条(至少测两次) | R2 |
| 二 | 内外表述落差 | 该领域对同行说的与对使用者说的,是不是同一件事 | R6 的上游;R7 的通解(第六之三节) |
| 三 | 影子正本占比 | 「这几份应该一样吗」多数答应该,而「哪一份算数」答案分歧 | R3 的第三种形态(第六之二节) |
| 四 | 借清率 b | 相邻处清晰度下降量 ÷ 目标处上升量 | R5 |
| 五 | 剥夺落差 Δ | 临时封掉替代路径,结果跌多少、多久回得来 | R1、R3、R4 |
| 六 | 带责分叉数 | 单位工时内,路真的分开、他知道并被允许走、后果落在他本人身上的位置有几处 | R3 |
| 七 | 类内距 | 合格样本在使用者关心的维度上的离散度 | R6 的对偶 |
| 八 | 记零位 | 「发现了一个错误」记在谁名下、算多少;能否跟人走、进晋升材料、被第三方核对 | R3 的第二条独立路径 |
| 九 | 静息变异率 v | 无任务、无考核、无故障的时段里,自发做出的与默认做法不同的事占多少 | R5 的代理 |
| 十 | 鉴别独立性 | 我凭什么认为他靠得住——这个理由,不懂行的人能不能用 | R7 |
十项里有六项在本书之前互不相识:它们由六个不同的三学科组撞出来,作者写第七章时不知道会有第九章。本章要检验的正是这一点——它们是不是同一件事在十个位置上的显形,还是十件恰好被放进一本书的事。
R2 给出 ρ = ρ_max(1−λ),R4 给出 Δ 是 λ 的唯一读法。消去 λ:
Δ / y₀ = 1 − ρ/ρ_max
于是复推率与剥夺落差不是两项独立的指标,而是同一件事的两种测法:一种在正常运行中做(换情境让他重推),一种要停机做(封路量跌多少)。 前者便宜而侵入学习者,后者昂贵而侵入系统。
这条给出一个可以直接执行的核对:在同一批人身上同时测 ρ 与 Δ,两者应当负相关,且斜率由 ρ_max 定。 若测出两者不相关,则第一章的复推率与第五章的剥夺落差测的不是同一样东西,本书第二编的两章不能放在同一编里。
这是本章成本最低、也最容易推翻全书的一次核对。 它需要的只是一组学习者、两次测量、一次封路。
R3 说凡不进入产物的都在退,而只有进入产物的被记录。第六章与第八章各自到达了这一条,而且互相不知情。
· 第六章:被删除的是岔路不是步骤。岗位在、工序在、工作量甚至上升,减少的只是那些「本来可以走另一条」的位置。岔路不进入产物。
· 第八章:被记为零的那类动作有一个共同特征——它的成果是一个否定,是某件事没有发生,因而无法计量、易被稀释、无法向第三方证明。否定不进入产物。
「岔路」与「否定」在形式上是同一样东西:一条没有被走的路,与一个没有发生的事故,都只能由它们不留下的东西来指认。
这一处锁给出一条推论,两章各自都推不出来:
凡以产物为结算单位的记账法,必然同时漏记岔路与否定;而这两样合起来,正是一个共同体在下一轮所需要的全部辨认能力。
第八章的航空实例是这条推论目前唯一一处被真的做出来的解:它没有去给「发现」记功,它给「报告」记了账——因为报告有一个可确定的时点与一份可比对的内容,而发现没有。把这条办法翻译到第六章的题域上,得到一个此前没有被提出过的处方:不要试图记录「他做了一次选择」,去记录「他提交了一次不采纳」。 前者无法核对,后者有时点、有内容、有第三方。
第六章明写现行法规要求人能够不采纳系统输出,却既不要求记录否决率,也不分配否决的责任。第八章给出的正是补上这一栏的办法。两章隔着认知教育、伦理人类学、法哲学与专利法、作坊研究,接口在这里对上了。
R6 说覆盖型量表给均浅者加分。第七章说的是产物侧的同一件事:一份规范只写了什么算同类,没写同类之间有多近;压缩类内距的那笔功夫不会因为无人付钱而消失,只会换个地方发生。
把两条对起来:
| 人的一侧 | 产物的一侧 | |
|---|---|---|
| 量表只写了什么 | 及格线(格) | 边界(合格判定) |
| 量表没写什么 | 峰高与坑深(锐度 κ) | 同类之间有多近(类内距) |
| 没写的那一样去了哪 | 落在使用现场,表现为「他证书齐全但上不了手」 | 落在使用侧,表现为返工、胶合代码、排练次数 |
| 谁付这笔钱 | 用人方,且不入账 | 使用方,且不入账 |
于是 R6 与第七章是同一条判断的两个投影:规范化把「合格」写清楚,同时把「有多好」从账上删掉;而 a → 1 使合格产物的供给趋于无限,于是全部压力转移到那个已经被删掉的量上。
由此得到一条本书之外可以立即使用的推论:当一个行当里合格产物突然变得随手可得,它的返工率、上手时间、胶合成本会上升,而它的合格率会同时上升。 两条曲线同向背离,是这件事在产物侧最早、最便宜的信号。第七章第 7.3 节那条不需要新数据的证伪条件(把规范条款数与胶合代码量对齐)在 a 上升的年份里应当出现一次可见的转折;这一点第七章没有预言,是本章加上去的,因而它也是本章自己的一条赌注。
R5 说均浅者的 κ 没有定义,因为峰与坑都不在。这带来一个测量上的死结:一切基于「让他做点什么」的测量,都要求先给出任务,而任务一旦给出,a 就在起作用——他可以取用。
第九章正好处理这个死结。它的判断是:那个只在「什么也没要求」时才存在的量,与「被要求时能出多大反应」,是同一个量;而三门学科都在花钱把它降到零。
接起来:
v(静息变异率)是 κ 在无任务条件下的唯一代理,因为它是唯一一个不给任务就能读的量。
这条锁有一个不受欢迎的推论。第九章已经指出一种最省事的作弊:划出两小时叫「自由探索」,有场地、有交付物、有考核——在这两小时里测到的一切,按定义一条也不算数。合章要补的是:在 a 高的环境里,这种作弊几乎不可避免,因为一旦有交付物,取用就是理性的。 于是 v 的可测性本身随 a 下降。
这与 R4 是同一个形状:读出这件事的唯一办法,其成本与失效风险都随 a 上升。本书三次遇到这个形状(Δ、v、κ),三次都不是巧合——它们都是在测「没有发生的那一半」。
第二章的判断是:一个领域采取哪种处置,主要不由对象性质决定,而由该领域下游使用的刚性需求决定,而这一选择随后被表述为一项关于对象本性的发现。
把它放到 a → 1 之后:
1. 下游使用的刚性需求,现在有相当一部分由供给侧(可随时取用的产物)塑造;2. 「知识本来是什么样子」这一表述,据第二章,由下游需求追认;3. 于是关于知识本性的表述,正在被供给方的形状追认。
第二章的第四问——「如果下游需求改变了,这个立场会不会跟着变」——在这里有一个当下的应用对象:「知识就是可检索、可复述、可即时调用的东西」这个说法,若它在 a 低的年代不成立、在 a 高的年代成立,则按第二章的判据,它高度可疑地是一次追认,而不是一项发现。
这一条把全书的书名问回给了书名。 「答案随时可得之后」,我们对「知道」的定义已经改了一次,而这次改动会被表述为我们终于看清了知识本来的样子。第二章给的四问,是本书能提供的唯一一件用来核对这次改动的工具。
第一节那张表把第三章的影子正本挂在「R3 的一个特例」上。这是十项里接得最松的两处之一,本节把它接紧——而接紧之后它不再是特例,是 R3 的第三种形态。
R3 说:凡进入产物的都留下,凡不进入产物的都在退,而只有前者被记录。前面已经指认了两样不进入产物的东西——岔路(第六章)与否定(第八章)。第三章指认第三样:「哪一份算数」这个答案本身。
它符合同样的形式。这个答案不是任何一份文件的内容,不在任何一份副本里;它存在于每个人心里,而每个人心里的不是同一份。第三章那句「它有全部的效力,没有任何的位置」,正是「不进入产物」的字面表述。于是:
岔路、否定、算数的那一份——三样都是关于产物的事实,而三样都不在产物里。
接到可及性上,得到一条第三章写不出、而 R3 也推不出的判断。第三章说影子正本这些年在变多,理由是数字化使副本廉价。这个理由现在不够了:副本廉价只解释份数上升,不解释预期为什么不跟着调整。补上的是 a:
a 上升使「取到一份合格产物」这个动作的成本趋于零,因而每一次需要时都可以现取一份,而不必回到那一份。于是副本的产生频率上升,而每一份的持有时间下降——「哪一份算数」这个问题被问到的次数反而减少了。
一个人不会去问一份他五分钟前才取来、用完就丢的东西算不算数。预期一致的那个预期,因此不是被撤销的,是被绕过的——它连被问一次的机会都没有了。第三章说从未被表述的预期连撤销的对象都找不到;这里加一句:a 高的环境使它连被表述的场合都消失。
判决性对照:第三章预测影子正本随副本份数上升而上升;本节预测在 a 很高的通道里,份数继续上升而「哪一份算数」的分歧度先升后降——不是因为对齐了,是因为没有人再持有任何一份足够久,久到能形成一个关于它的预期。两条曲线在中段分开,一个学期的问卷即可分辨。这一条第三章没有说过,本书也没有测过。
第一节那张表把第二章挂在「R6 的上游」上。这是另一处接得松的地方,而它其实可以接到全书最末端的那条关系上去。
R7 说:鉴别独立性低的领域里,依赖的安全性取决于 ρ;而依赖本身使 λ 上升、ρ 下降。这是一个自锁:被依赖的那一样越好用,评判它好不好用的能力越少,因而连「该不该换」这个问题也逐渐无法被提出。
自锁的形式是:一个立场的维持条件,由使用它所带来的后果供给。 而这正是第二章第七节第四问所定义的那个形状——「如果下游需求改变了,这个立场会不会跟着变」。第二章处理的是本体论立场,本节处理的是依赖关系,两者是同一个结构的两次出现:
| 第二章 | R7 | |
|---|---|---|
| 被维持的东西 | 一项关于对象本性的表述 | 对某个来源的依赖 |
| 维持它的力 | 下游使用的刚性需求 | 使用它所降低的那项鉴别能力 |
| 为什么难以察觉 | 被表述为一项发现 | 被体验为一次省力 |
| 第二章的解 | 四问,尤以第四问可事前预测 | 同样的四问,改问依赖 |
于是第二章的四问是 R7 自锁的通解,只需换一个宾语。 逐条改写如下:
1. 相反面在实务上是否可行? 如果明天起不能使用这个来源,这项工作还能不能进行?若完全不能,那么「它可靠」这个判断高度可疑地是被需求决定的,与它是否真的可靠无关。2. 这个立场是什么时候形成的? 对它的信任是在有能力核对的时期形成的,还是在已经无力核对之后形成的?后者是自锁已经闭合的标志。3. 内外表述是否一致? 对同行说的(「它当然有出错的时候」)与对使用现场说的(直接采用),是不是同一件事?第二章说内外不一致是追认物的稳定特征。4. 需求变了它会不会跟着变? 若这项工作的验收标准改成需要出示推导过程,对这个来源的信任会不会立刻改变?会,则那份信任一直是被需求维持的。
第四问在这里最有用,因为它可以事前问,不必等到出事。而 R7 的麻烦恰恰是它不产生事件——第十章已经写明,鉴别不独立的领域里错误在数年后才显形,且显形时由同一批人认定。
这一处锁的代价要写清楚。 把第二章的工具搬到 R7 上,等于承认本书对自锁没有给出新的解,只是指出旧工具适用。这与第二章、第十章各自的自陈是一致的:两章都没有主张能解开它,只主张能问出它。合章不该在这里比它的材料更乐观。
十项读数被锁在一起,代价是它们可以被一起推翻。下列五条,任何一条成立,本书相应部分作废。
其一(针对 R1–R2 的核心) 在某个 0 < a < 1 且无人为封路的环境里,λ 长期稳定在明显低于一的水平。⟹ 枢纽章的递推形式错,全书脊梁断。
其二(针对第二处锁) 在同一批人身上同时测复推率 ρ 与剥夺落差 Δ,两者不相关。⟹ 第一章与第五章测的不是同一样东西,第二编不成编。
其三(针对 R6 与第四处锁) 在一份分格的覆盖型量表上,深学者系统性地高于均浅者;或在 a 明显上升的年份里,某行当的合格率与返工率同向下降。⟹ 推论三错,第三编与枢纽章第 7 节作废。
其四(针对第五处锁) 在一个 a 很高的环境里,静息变异率 v 被无侵入地、稳定地测了出来,且与该群体的复推率不相关。⟹ v 不是 κ 的代理,第九章与枢纽章第 6 节之间没有接口。
其五(针对本书自身的结构) a 在多年内明显上升,而上述四项代理(ρ、Δ、v、κ)没有一项下降。⟹ 本书全部十章各自可能仍然为真,但它们不是同一件事,这本书不该被装成一本书,应当拆回十篇。
第五条是本章最重要的一条。它不针对任何一章的内容,只针对把这十章放在一起这个动作。一本由十篇已发表文章装成的书,唯一需要单独辩护的就是这个动作;把辩护写成一条可以判它错的条件,是本书能做到的最诚实的形式。
本章用七处锁把十项读数联立,这件事本身有一个代价:锁得越紧,越像一个自洽的系统,而自洽是最容易被误认为正确的性质。
七条关系里,只有 R1、R3、R4 有实测支持,且都是别人为别的目的做的测量。R2、R5、R6、R7 是从定义推出来的。第 6 节那条追认链,本身就是第二章那把刀可以砍向本书的方向:如果「知识是每次被重新推出来的事件」这一表述,恰好为本书所处的位置(一个由人定题、由机器成文的写作方式)提供辩护,那么按第二章的四问,它也高度可疑地是一次追认。
本书没有办法自己回答这个问题。它能做的只有一件:把四问原样留在第二章,不作任何削弱。