第一章 空签

——当“被否决”与“从未被提出”在记录上不可区分

一、引言

（一）问题的提出

一个人走进展厅。第七分钟，他在一件作品前站住，视线落在画面上大约四秒，然后往前走了。他没有讨厌它，也没有喜欢它；他甚至说不出自己看到了什么。那天晚上他记得的是咖啡的价格和回程的地铁。

这一次遭遇发生过。现在的问题是：它在哪里留下了什么。

作品那一侧的记录是入藏、著录、展出、出借。这一次它照常挂在墙上，条目不多一行也不少一行。观看者那一侧记得住的东西里没有它，而这甚至不能叫忘记——忘记的前提是曾经记住。

制度那一侧最值得看清楚：它记下的不是零，是参观人次加一。这一次通过在统计上与一次二十分钟的凝视完全同格。

所以严格地说，这不是“三方共同记零”。真实的处境是：本章关心的那个状态从来不曾成为一个被记录的对象，而一个替代变量被正常记为正值。前一稿把这一处写成“三方共同记零”，是不准确的，本稿予以更正——这个更正不是措辞问题，它直接决定了下文要分几层。

这类时刻数量极大。若把一个人在展厅里经过的作品数与他事后能说出的作品数相比，绝大多数遭遇落在这一类里。它们不是艺术生活的边角料，是它的主体部分。而关于它们，我们手上没有一个可以清点的名目。

（二）本章的核心论点

一句话：分开这一类情形，靠的不是零的大小或对错，而是三层的组合——遭遇能否被界定、判定有没有形成、记录体系有没有为“未判定”保留一个谓词。

由此得到一个更精确的表述，它替代了前一稿那句过强的话：

许多记录体系能够区分“是”与“否”，也能记录“已发生”与“未发生”，却无法区分“被否决”与“从未成为一个待判定对象”。这种不可区分未必表现为缺失值，它可能存在于记录模式本身。

本章把满足以下三个条件的状态称为空签：

无人作出判定＋记录体系不存在容纳该状态的谓词＋系统仍然正常闭合。

第三个条件是它与所有前人概念的分界所在：它不表现为任何缺口、任何报错、任何空栏。全部形式审查都能通过。

判据是一句不含程度词的问话，它在本稿中保留不变：这一次的零，签在谁的名下。

（三）本章的三条贡献

第一，把“零”拆成三类——有谓有值之零、有谓无值之空值、谓词缺席——并指出艺术接受研究长期在第一类的语汇下讨论第三类的对象。

第二，构造一张判定层与表征层交叉的类型表，使不同解释在同一张表上给出可比较且方向相反的预测，并指认其中一格是全部形式审查都能通过的那一格。

第三，报告一次真实清点，并把两条与预期相反的结果写进正文：一条取消了本章原用的读数，一条把结论的适用层级从机构本体降到公开数据模式。

（四）全文结构

第二节请进十位近邻并说明各自停在哪里。第三节借用三门与艺术无关领域处理零的成规，并取出推翻共同假定的那件材料。第四节给出三层与三种零。第五节建立类型表。第六节给出判据、可观测代理与误诊阻挡。第七节报告清点。第八节给出证伪条件与赌注。第九节交代三处反过来削弱本章的约束。第十节划边界。第十一节自我定位。第十二节伦理与证据边界。第十三节结论。

二、十位近邻，以及它们各自停在哪里

本节不制造靶子。以下十位中有几位并没有打算回答本章的问题，本节会明说；对每一位都给出一条判定形式——若观察到 X，则本章对而该说法错；若观察到 Y，则反之。

（一）最近的一位：省略（Schellekens 2023）

Elisabeth Schellekens 在《Failure as Omission: Missed Opportunities and Retroactive Aesthetic Judgements》（Estetika 60(2), 2023, 131–144）中处理的正是本章开篇那个场景：一个对象本可以或本应被审美地经验与判断，而这种经验与判断根本没有产生。她把原因分为审美质量、本体地位、审美显著性三类，并强调这类省略可以被事后追认与修复。

这是本章最近的一位，两者的方向一致——她走到的地方与本章要去的地方在同一条路上，只是各自停在不同的一段。

                        Schellekens 的省略         本文的空签

单位                      审美判断／体验                 一次遭遇及其记录状态

规范性                     含”本应发生”的规范含义            不要求本应发生

时间性                     可事后追认与修复                关注当时判定责任是否形成

关系结构                    主体—对象                   主体—对象—记录模式

对象                      缺失的判断                   缺失的判定表征

2.2 距离第二近、也最容易被误以为本章首创的一位：非决策（Bachrach & Baratz 1962, 1963）

必须明说：“未进入决策”这件事，政治学在六十多年前就已经命名过了。

Peter Bachrach 与 Morton S. Baratz 在《 Two Faces of Power 》（APSR 56(4), 1962, 947–952）与《 Decisions and Nondecisions: An Analytical Framework 》（APSR 57(3), 1963, 632–642）中提出非决策：研究者只观察已进入决策程序的事项，会遗漏权力通过议程、程序与制度使某些事情根本进不了决策场的那一面。他们批评的那个前提——以为只有决策发生时才能观察到权力——与本章批评的前提结构相同。

因此本章不能说“此前没有名目”。准确的表述是：

政治学已经发现“未进入决策”，但没有把它转译为记录体系中的一种可表示性状态，也没有区分“无人判定”与“记录体系是否为未判定保留位置”。本章的推进在于把非决策从权力过程的问题，改写为判定责任与表征位置交叉的记录问题。

值得一提的是，这个概念在自己的领域里长期受到方法上的诘难 —— Geoffrey Debnam（APSR 69(3), 1975, 889–899）就批评它未能区分由隐蔽控制造成的非决策与由偏见动员造成的非决策，且难以经验操作。这一诘难恰好指向本章提供的东西：可表示性给了非决策一个可以清点的落点。

判定形式：若在某一记录体系中，非决策可以仅凭议程记录被完整识别（即议程本身记录了“哪些未被提出”），则本章的表征层是多余的；若议程记录本身只登记已提出者，则非决策在该体系内不可清点，本章的表征层成立。

（二）档案学：记录的沉默与缺席

档案与记录研究长期处理记录中的沉默、缺席、删除与未保存，近年的综述性工作（如剑桥“元素”系列关于档案中缺席的专论）明确区分沉默与缺席，并追问记录在生产、筛选、保存的哪一环消失。

本章与这一路的分界只有一句：

档案学问的是“本应留下的记录为何没有留下”；本章问的是更前一步——某种状态是否曾经取得“可被记录对象”的资格。

用形式的话说：记录的缺席（record absence）不等于谓词的缺席（schema absence）。

判定形式：若某机构补齐了全部散失记录之后，“被否决”与“从未被提出”变得可以区分，则本章所指的是记录缺席，档案学已足够；若补齐记录之后二者仍不可区分，则缺的是谓词，本章成立。

（三）数据语义：封闭世界与开放世界

这是本章形式上最重要的一位邻居。在传统数据库的封闭世界假定下，一项事实不在库中往往被当作假；而在开放世界语义下，一项事实未被写出只意味着不知道，不能推出它为假。

这一区分给本章提供了它需要的全部形式语言：

没有记录 ≠ 记录了没有 ≠ 连“有没有”这个问题都没有谓词。

前一稿在这里跳得太快，直接从“字段不存在”跳到“本体待遇不同”。本稿改为：字段不存在意味着该状态在该模式下不可表示；至于它在机构内部是否被处理，需另行取证。

判定形式：若一个记录体系在开放世界语义下运行（未写出即不知道），则“从未被提出”与“被否决”的不可区分只是暂时的知识状态，可由补充断言消除；若该体系在封闭世界语义下运行（未写出即为假），则不可区分是结构性的，本章成立。多数机构数据发布采用后者的读法而不自知——这正是本章所指的那一处。

2.4bis 数据语义的第二位：三值空值与“不适用”，以及剩余范畴

前一稿在数据语义这一格只处理了封闭世界与开放世界，漏掉了同一格里两位更贴身的占位者。本稿补上，因为它们比开放世界假定更接近本章的第三类零。

其一，关系模型里的三值空值。关系数据库很早就区分了两种空：值缺失（该属性对该元组适用，但当前不知道）与不适用（该属性对该元组根本不适用，例如未婚者的配偶姓名）。这一区分在数据库理论里争论了几十年，至今没有共识的实现，但它已经把“空”拆成了两样。

分界必须写得极准，否则本章这一节就是在重复它。这两种空都发生在谓词之内：属性存在于模式里，只是取值为某种空。本章的第三类零发生在模式之内不存在该属性。用一句可机械检查的话分开：前者是取值层的缺失，后者是模式层的缺失。一个不适用的空仍然可以被 SQL 查询出来并被计数；一个不存在的属性连查询都写不出来——写出来的是语法错误，不是空结果。这也解释了为什么本章的空签率在第七节算不出来：它的分母要求先有一个可以被查询的谓词。

其二，剩余范畴。分类学与分类基础设施研究早已指出，任何分类系统都会留下一类“其他”“未分类”“待定”的收容格，而被塞进这一格的东西往往就此不再被处理。

分界同样落在同一条线上：“其他”是一个有位置的收容格。它出现在字段清单里、出现在统计表里、可以被计数，也因此可以被追问“这一格为什么这么大”。它是本章三种零里的第二类。本章所指的第三类，是连收容格都没有的情形——不是被扔进“其他”，是从来没有进入过任何分类动作。

判定形式：若一个现象可以被写成“它被归入了某个剩余范畴”或“它的某个属性取了不适用值”，它属于第二类；若在整个模式里找不到任何一个属性，其取值域能够容纳“未曾被判定”这一状态，它属于第三类。

（四）信号检测：命中、漏报，以及被单独编码的遗漏

自 Green 与 Swets（Signal Detection Theory and Psychophysics, 1966）以来，“在场而未被报告”的实验设计几乎都在这一框架里。

前一稿说该框架无法容纳本章的对象，这个说法过强，本稿撤回。实际的实验设计完全可以把遗漏单独编码：命中、漏报、正确拒绝、虚警之外增列遗漏；近年的持续注意研究更把敏感度、偏差、失误率、猜测率分开建模。

因此正确的分界不在“装不装得下”，而在分母：

信号检测的分母是试次。每一个试次都是一次被预先切开、被预先提交的判定机会。本章所指的情形是——连试次本身都不存在。

一次展厅通过没有被任何人切成“一次判定机会”，因此它既不是漏报，也不是遗漏，它不在分母里。扩展编码解决的是响应的类别问题，解决不了分母的构造问题。

判定形式：若把一次展厅通过强制切成试次并要求响应，本章预测空签不会消失，只会转为大量无差别的最低档响应；若在这样的设计中该现象真的归零，则本章为伪（此条与第八节条件四相同）。

（五）视觉零符号（Cantor 2016）

Robert M. Cantor 的《 Zero sign duality in visual semiotics 》（Semiotica 2016(210), 209–214）把语言学的零符号改造为视觉领域的三元零符号，并明确讨论视觉零符号未被感知的两种来源：解释者的不注意，与对象的伪装。

这是本章术语上最危险的一位，前一稿把它列进参考文献却没有正面交手，本稿补上。

分界在于：零符号是符号系统内部的一个正式条目——它有位置、有功能、有对立项，只是没有实现形式。这恰恰是本章三种零里的第二类（有谓无值）。本章所指的第三类，是连这个条目都不存在的情形：不是零符号未被感知，是符号系统里没有这个位置。

判定形式：若某一现象可以被写成“某个已确立的零符号未被感知”，它属于第二类；若写不出对应的零符号（因为该系统从未为这一对立设过项），它属于第三类。

（六）审美缺席（Fenner 2023）

同一年的 Estetika 还有一篇讨论审美缺席与解释的论文（DOI 10.33134/eeja.315）。它与本章对象不同——它处理的是作品内部或经验内部的缺席如何参与解释——但术语距离太近，必须排除：本章的空签不是作品中的缺席，也不是经验中的缺席，是记录模式中的谓词缺席。

（七）艺术身份的授予：Danto 1964 与 Dickie 1974

Arthur Danto 的《The Artworld》（The Journal of Philosophy 61(19), 1964, 571–584）与 George Dickie 的《Art and the Aesthetic: An Institutional Analysis》（1974）回答的是：什么使某物成为艺术。

这不是本章的问题，前一稿把它们当作“竞争解释”处理，是把别人的理论拉来回答它本来没打算回答的问题，本稿改正。它们在此的位置是边界而非对手。

但有一处仍需指出，而且这一处不是稻草人：授予装置的分母是“已被提交判定的那些”。它能解释一件东西为什么被纳入或被排除，不能解释一件已被纳入、已在册的东西在一次具体遭遇里为什么什么也没发生；更要紧的是，它没有为“从未被提交”设过位置。本章问的正是这个分母怎么被围起来的。

（八）趣味的社会分布：Bourdieu 1979

《La distinction》（1979）解释谁会在什么位置上停下来、停多久。它的解释力在分布层面极强。

分界：它解释的是分布，不是那一次。同一个人在同一天同一间展厅里，为什么这一件前面什么也没发生、下一件前面发生了，分布层面的解释给不出。把每一次都还原为位置，等于承认那一次遭遇本身不携带任何信息。

（九）实务层：博物馆疲劳与观众研究

从 Benjamin Ives Gilman 的《Museum Fatigue》（The Scientific Monthly 2(1), 1916, 62–74）到 Stephen Bitgood 的系统综述（Visitor Studies 12(2), 2009, 93–111），这一实务传统已经积累了一整套关于停留、驻足比例、移动路径的测量，近年更接入眼动、传感与数字导览日志。

它是本章最应当合作而非对抗的一位：它有测量，没有谓词。它能极精确地告诉你一个人在一件作品前停了多少秒，却不产生任何一条关于“这一次有没有形成判定”的记录——因为停留时长与判定是两件事，四秒通过与二十秒凝视在人次统计上同格。

判定形式：若在停留时长与事后可报告经验之间存在稳定的单调关系（时长足以代理判定的形成），则本章的判定层可由观众研究的既有读数代理；若二者在中段大量分离，则需要一个独立的判定谓词。

（十）十位共同停下的地方

把十位并排摆开，其中直接与本章争同一件事的那几位共享一个未被说出的假定：

一次遭遇算不算发生过，可以由某一方单独读出。

省略从观看者一侧读，授予从装置一侧读，分布从制度一侧读，信号检测从响应一侧读，非决策从议程一侧读。它们互相批评，却都站在这块地上。

取消这个假定需要一件材料。它不能从外面搬——从外面搬来的只是第五种立场。下一节的三门学科提供了它。

三、三门与艺术无关的领域，各自怎样处理一个零

（一）痕量分析：低于判定界限的结果不得被无条件解释为零

在低浓度测量中，“没有检出”是日常工作，而围绕它的规矩核心不是怎么测得更准，是怎么报告。

国际纯粹与应用化学联合会的建议明确：实验结果不应被截尾，须始终附上不确定度的定量估计；当结果与空白不可区分时应标注这一事实，而该标注不可单独使用。实验室认可政策把同一件事写得更具体：低于报告限的测量值须报为“小于”或“未检出”并注明该限值，不得报告零浓度。

前一稿把这一条写成“零不许被单独报出来”“它签不了这个字”，带有明显的拟人化。本稿改为专业表述：

低于检测或判定界限的结果，不能被无条件解释为真实值为零；报告的是测量结果，而关于真实值的推断是另一回事。

这门学科自己对此仍有分歧：其方法委员会近年还在纠正一个普遍误用——通常被称作“检出限”的那个限，本来并不是为“检出与否”的判定而设的。分歧的存在说明这里有一套长期磨出的判据，而不是一句口号。

这门学科每天在做的那件事，正是第二节那几位被诊断出问题的那件事：它天天在报零，而它比谁都清楚，一个不附带判定规程的零不构成信息。

（二）行政程序：不予受理是正式终结，且不作实体判断

一份材料递进去，可能得到两种终结：实体上的驳回（审过了，不支持），或程序上的不予受理（不审，因为不满足受理条件）。

两者在结果上都是“没有成”，在账上却是两个东西。不予受理是一次正式终结，留下裁定、卷宗与签发人，同时明确不产生实体判断，并保留日后再来的资格。

这一路提供的区分是艺术研究里没有的：没有成，与被判定为不成，是两个账目。

它自己知道、但不往这个方向用的一件事是：不作实体判断并非疏漏，而是保护——使当事人不被一次仓促的实体否定长久拘束。第九节会据此反过来削弱本章。

本节所引为行政程序法上不予受理制度的一般结构。本稿尚未把它落到具体法域的条文与教科书页码，这是本章当前最弱的一环，正式投稿前必须补齐。

（三）差错控制编码：擦除必须有地址

1955 年，Peter Elias 在《Coding for Two Noisy Channels》（第三届伦敦信息论研讨会）中提出一个后来被反复使用的信道模型：发送端送出的每个符号，接收端要么正确收到，要么被整个抹掉。它与“符号被替换成别的符号”的模型并列，构成编码理论最基础的两块地基。

结构特征一句话：输入二元，输出三元。多出来的那个符号不表示 0 也不表示 1，它表示“这一位没收到”。接收端因此始终知道是哪一位丢了。

这个多出来的位置带来的差别是可以算出来的：在同一距离条件下，已知位置的缺失（擦除）可处理的数量约为未知位置的错误的两倍。

但这门学科给本章的最深一条不是这个，而是它的前提：

擦除标记之所以可能，是因为缺失有地址。位置未知时，擦除标记根本无从产生，只能退回按错误处理。

无地址的缺失，甚至不能形成一次擦除。这一条在第四节修复本章最关键的一处，并在第九节反过来限制本章的适用范围。

（四）三条成规摆在一起之后的那个分离点

三者互不相容：化学不承认脱离判定规程的零，行政不承认没有签发人的终结，编码不承认没有地址的缺失。

但三者共同假定：一个零总有一方为它负责。

推翻这个假定的材料在第一门自己的规范里：签发方自己规定，这个零不能由它单独成立——报告零浓度不被允许，标注不可单独使用。它承认了：它签不了这个字，除非同时给出那把尺子。

于是一个此前无处安放的问题露出来：如果签发方自己签不了，而记录上又确实出现了某种“没有”，那么这个“没有”是谁的？它甚至有没有一个位置？

四、三层，与三种零

（一）为什么必须分层

前一稿有一处形式矛盾，本稿必须先修：它一面要求空签“必须在某个账目上留下没有事件这一结果”，一面又把它要指认的那一格定义为“根本没有地方可放”。两者不能同时成立。矛盾的根源是把“零”当成了一个单一的东西。

拆开之后，问题变得清楚：“零”至少是三样东西，而它们分布在两个不同的层上。

（二）三层

第一层 · 遭遇层：这一次能不能被界定为一次。遭遇必须有边界，才谈得上判定与记录。展厅里连续的行走没有客观切点；一条被提交审议的条目、一次被登记的导览、一场展览的一件展品，则有。边界不存在时，后两层都不适用——这是本章最硬的一条适用条件，第九节会说明它是被哪一门学科逼出来的。

第二层 · 判定层：有没有形成判定，以及由谁形成。四个取值：判是／判否／有签悬置（明确决定暂不判定，且有签发人）／无判定。前三者都有签发人，第四者没有。

第三层 · 表征层：记录体系拿什么容纳这一层的结果。三个取值：有谓有值（存在谓词且填了值，包括值为零）／有谓无值（存在谓词但为空）／无谓词（体系中不存在这一谓词）。

（三）三种零

由表征层直接得到三种“零”，它们在日常语汇里同名而在结构上互不相同：

                名称          结构            可清点性

Z₁              记录之零        有谓词、有值、值为零    可直接清点

Z₂              空值          有谓词、无值        可清点，且空栏本身会提
                                          醒人去追问

Z₃              谓词缺席        无此谓词，因而连空值都   不可清点；它不产生任何
                            无从出现          缺口

本章的对象是 Z₃。前一稿在 Z₁ 的语汇下讨论 Z₃ 的对象，这是它一系列表述过强的总根源。

（四）空签的定义（修订）

空签：判定层取值为“无判定”、表征层取值为“无谓词”、而系统仍正常闭合的那一类状态。

三个条件缺一不可。

无判定：不是判错，是没判。无谓词：不是空栏，是连栏都没有。系统正常闭合：全部账目自洽、无缺口、无报错——这一条是它与所有前人概念的分界所在。省略在事后追认时会留下一个缺口；否决会在装置里留下记录；不予受理会留下裁定；空值会在某次数据清理中被追问。空签什么也不留，而且不留这件事不违反任何规程。

回到开篇那个例子，现在可以准确地描述它：判定层无判定，表征层无谓词，而制度侧的替代变量记为正值一次。它不是“三方记了零”，它是“目标状态不可表示，而替代变量正常闭合”。

（五）它是一类新对象，还是一个旧对象的新算法

判据只有一句：删掉这个区分之后，那样东西是不是就不存在了。

删掉“停留时长”，人照样站在那里，只是不好测——那是操作化。

删掉 Z₃ 这一层，剩下的是三本各自闭合的账。那一次遭遇不是变得难测，而是在任何一本账上都不作为一样东西存在：它没有值，没有空栏，没有缺口。使它成为一个可被指认的东西的，正是“判定谓词是否存在”这一区分本身。

这是本章与第二节各位最实质的差别：他们讨论的是同一个东西被读得深或浅，本章提出的是一个尚未取得可记录资格的状态。

五、判定—表征类型表

（一）为什么用两层交叉，而不用一根轴

只有判定层，是一个是非题，只能把现象分成两堆；加上表征层，不同解释才能在同一张表上给出方向相反的预测。

两个曾被考虑并排除的候选轴：遭遇的强度（它是判定层的连续化，落在同一层上），观看者的经验水平（它已被第二节第九位整段吸收，用它作轴会把新概念交还给刚刚离开的那位邻居）。

表征层取自数据语义与编码理论。删掉这两门，表格塌成一行：第二节十位中没有一位区分过“空着的位置”与“根本没有位置”。

必须说清：两层不是纯粹正交。无谓词的地方更容易出现无判定。但二者承担的辨别力不同——判定层管这一次有没有人负责，表征层管它有没有地方可放。谁也不是谁的读数。

                                          艺术初探   ｜   第一章   空签



  必须说清：两层不是纯粹正交。无谓词的地方更容易出现无判定。但二者承担的辨别力不同

——判定层管这一次有没有人负责，表征层管它有没有地方可放。 谁也不是谁的读数。


5.2 九格

               有谓有值            有谓无值       无谓词

判是／判否          ① 正式判定并留痕       ② 判了而未录入   ③ 判了，无处录

有签悬置           ④ 悬置并留痕（含期限）    ⑤ 悬置而栏空    ⑥ 悬置，无处录

无判定            ⑦ 未判定而被填入默认值    ⑧ 未判定，栏空   ⑨ 空签

各格的独有观察句：

① 正式判定并留痕。十位邻居与本章预测一致，无分歧。

③ 判了，无处录。独有观察句：这一类判定以叙事而非条目的形式流传——凡靠“听某某说当年”传下来的排除，多半落在这一格。

④ 悬置并留痕。这一格是行政程序那一路的正例，也是本章必须保护的一格：它看起来像空签，实际是一种审慎的制度设计（见

6.3 误诊阻挡第二条）。

⑦ 未判定而被填入默认值。这是本章最担心的一格，因为它是假性改善：栏在、值在、看起来已被处理，而实际上没有人判定过。第十一节的反噬预言指的正是这一格。

⑧ 未判定，栏空。独有观察句：这一格的空会随时间被追问——谓词的存在本身构成提醒，隔几年就会有人去问那一栏为什么还空着。空签在这一格是可见的。

⑨ 空签。没有人判定，没有谓词，而系统正常闭合。

（二）第⑨格的三条签名

其一，在短期指标上表现为改善。参观人次照常增长，停留时长均值不受影响（四秒通过与二十秒凝视被计入同一均值），著录完成率上升。所有能上报的数字都在变好。

其二，失效不产生任何信号。一间机构若连续三年绝大多数遭遇落在这一格，没有任何现行指标会报警——报警需要一个谓词，而这一格的定义就是没有谓词。

其三，自我加固。记录体系越规范，越只记录已被判定的东西；未被判定的那一类越不出现；越不出现，越没有人想到为它设一个谓词。正规化不是这一格的解药，是它的养料。

第三条描述的是一个可以写成回路的过程：无谓词 → 无数据 → 无异常 → 无管理问题 → 无资源投入 → 继续无谓词。本章在此只作为该格第三条签名的展开来陈述它，不为它另立一个构念——把它做成一个动力机制，需要按“什么驱动什么、谁先动、多久跟上”的方式重新选择材料与证据，那是另一项工作，本章不在此处兑现，也提醒读者不要把这一段读成本章已经证明了的机制。

两处形式交代，本稿补上。

其一，为什么是九格而不是十二格。判定层有四个取值，表征层有三个，交叉应为十二格。本表把“判是”与“判否”并作一行，理由是：这两者在表征层上的行为完全一致——都产生一个有签发人的判定结果，都需要同一种谓词来容纳，且本章全部主张都不依赖判定的方向。若研究问题是“否定性判定是否比肯定性判定更少被记录”，则必须把这一行拆开，届时表为十二格；本章不问这一问题，故合并，并在此写明合并的代价。

其二，“系统正常闭合”为什么不是第三根轴。它不是一个与判定层、表征层并列的维度，而是第⑨格的附加条件。理由是它不独立取值：在①至⑧格中，闭合与否只是记录质量问题（有缺口就补），只有在第⑨格里它才承担辨别功能——正是“既没有谓词、又不产生任何缺口”这个合取，使这一格无法被任何形式审查发现。把它做成第三根轴会得到二十七格，其中二十四格没有独有观察句。

九格互不重叠，其中五格有只在该格出现的观察句。

六、判据、可观测代理与误诊阻挡

（一）判据

这一次的零，签在谁的名下？

它不问深浅、不问真假、不问应不应当。它是一句可以拿去问记录、而不是拿去问人的判断的话。

五个场景，五个互不相同的答案：

• 一件作品被策展会议明确排除。签在会议纪要上，有名有姓。第①格。

• 一件作品从未被任何人提议展出。无人可签，且议程记录中不存在“未被提议”这

一谓词。第⑨格。

• 一个观看者站了二十秒，事后说不喜欢。签在他自己名下。第①或第③格，视有无

谓词而定。

• 一个观看者四秒通过，事后什么也说不出。无人可签；而参观记录把这一次计为一

次正常通过。第⑨格。

• 数据库里有一栏“是否公开展出”且为空。无人可签，但谓词在。第⑧格——这一

栏的空会在某次数据清理中被追问。

第 2、5 两个答案不是从论点推出的，是查出来的：本章原以为公开馆藏数据普遍设有展出状态谓词，实际清点的结果推翻了这一预期（见第七节），并因此改写了第 5 个场景的归格与本章的适用层级。

（二）可观测代理

代理一：判定谓词的存在与否。取一份公开的馆藏或观看记录，逐字段列出，判断是否存在任何谓词用于记录“这一件是否曾被提交过某种判定，以及由谁判定”。判定阈值：谓词存在且填写率高于一成，判为有谓；不存在，判为无谓。这是最便宜的代理，也是本章真正跑通的那一个。

代理二：追问延迟。一个空的谓词从产生到第一次被人追问，间隔多长。第⑧格的空会被追问，第⑨格不会。这是辅助读数，用来判断观察对象落在哪一格。

代理三（降级说明）：空签率 ε。定义为一段时间内的全部相关状态中，落在第⑨格者所占比例。

必须明确：ε 目前不是一个已可测量的指标，只是一个具有跨领域同构形式的候选量。理由有二。其一，三门学科中的分母并非同构样本空间：化学的分母是报告数，行政的分母是终结案件数，艺术现场的分母是“遭遇数”，而后者的边界依赖第一层。其二，也是更根本的一条——在艺术现场，ε 的分母目前无法从现有记录中获得，因为记录体系不曾登记“这一次被记为未判定”。

前一稿称它为“可跨领域并排比较的比率”，本稿撤回该说法。它要晋升为一个测量指标，需要三门学科各自写死一份清点单位（三份，而非一份），并在至少一个场景里完成实际采集。附录一保留其中一份的草案，其余两份待定。6.3 误诊阻挡

第一种：尚未处理的积压。未被判定仅仅因为排队没排到。判别：看它有没有进入待办序列。在序列里的属于第⑧格，不是空签。

第二种：有签悬置。行政程序那一路提醒的那种——不作实体判断是为了保护，日后仍可再来。判别：看这份不判定有没有留下签发人。有签发人的悬置落在第④格，是一种审慎的制度设计，不是缺陷。把它误诊为空签，是本章可能造成的最严重的一类伤害。

第三种：记录体系尚未建立。什么谓词都没有，这不是空签，是没有账。空签要求系统正常闭合。

第四种：遭遇边界不可界定。第一层不成立时，后两层不适用。展厅里连续的通过大多落在这一种，本章管不了（见第九节第一处）。

七、一次真实的清点

（一）预注册

统计之前写死并存档：数据源为一家大型公立美术馆公开发布的馆藏数据集（逗号分隔文本，公开可下载与复算）。

假设一：该公开数据中不存在任何谓词，用以记录“这一件是否曾被提交过展出或观看判定”，也不存在区分“被判定不展”与“从未被提交判定”的谓词。阈值：在全部字段名与取值中找不到此类谓词则成立。

假设二：可被观看的最低条件（一张图像）在相当比例条目上缺失，且这些条目在著录上与有图条目同等在册。阈值：无图像条目占比不低于百分之五则成立，低于则判伪。

不利结果一律写入正文，并说明它改了本章的什么。

（二）结果

清点覆盖 69,201 条条目、20 个字段。

假设一成立。 20 个字段为：编号、入藏号、作者、作者角色、作者编号、题名、年代文本、材质、来源说明、创作年、入藏年、尺寸、宽、高、深、单位、题记、缩略图版权、缩略图地址、条目地址。其中没有任何谓词与展出、借展、审议、判定有关，更没有区分“被判定不展”与“从未被提交判定”的谓词。

一个对照数字值得单列：入藏年缺失率 0.07%（69,201 条中 45 条）。该记录对“它什么时候被收编进来”记得几乎无一遗漏，对“它有没有被提交过观看判定”不设谓词。

入藏年代            条目数            无图占比

1850s           37,938         14.09%

1920s           1,055          6.73%

1970s           6,357          18.50%

1990s           6,449          6.64%

2000s           4,953          33.41%

2010s           1,684          66.03%

无图占比随入藏年代单调上升，这与“某些作品不被认为值得被看见”方向相反，而与“数字化在排队”高度一致。代理二在这份数据上是数字化进度的代理，不是本章所指状态的代理。

另有一项样本特征：该馆有一位作者名下条目占全部条目的 56.92%（39,406 条）。样本在关键混淆变量上高度不同质。

（三）数据谱系：本次清点最重要的一处限制

本稿必须补上前一稿漏掉的一步核查：该公开数据仓库自 2014 年 10 月后已停止维护；其逗号分隔文本是扁平化视图，相较同仓库的结构化数据不够完整。

这意味着前一稿的推论链在第二步就断了：

20 字段的扁平文本没有判定谓词 → 该机构公开记录没有判定谓词 → 机构记录体系没有 → 该状态在制度本体上没有位置

第一步有证据；第二步只对该发布版本成立；第三、四步没有被本次数据证明。

因此本稿把结论整体降一级，改为一句可证明的话：

在该机构这一公开数据发布模式中，“被判定不展”与“从未被提交判定”不可表示。

机构内部是否存在会议纪要、藏品管理系统字段或策展工作流记录，本章未取证，不作断言。

（四）一次外部对照：其他机构的公开接口

有必要指出：多家机构的现行公开接口确实提供了展出与展览相关字段——例如是否在展、展厅信息、展览历史，以及独立发布的历史展览数据集。这些不反驳本章最窄的那条命题，因为它们记录的是：展过没有、在哪里展、何时展。

而本章问的是：没有展的那些，究竟是“被判定不展”，还是“从来没有进入过选择”？

据本章所及，公开接口普遍不提供这一区分。因此命题应写成更窄也更难被打掉的一句：

现有公开记录能够很好地保存肯定性的展览史，却通常不能区分否定性判定与无判定。

本节所列各机构接口字段取自其公开文档，本章仅作方向性对照，未逐家完成字段全表核验；第八节条件一正是为此设的。

（五）这次清点改了本章的什么

三处，都是收窄。

第一，代理三（无图占比）被降级，不再作为任何主张的支撑。凡能被“排队进度”解释掉的缺失，都不是本章所指。

第二，结论层级下降：从“机构本体上没有位置”降为“该公开发布模式中不可表示”。

第三，ε 在本次清点中未能计算，原因不是数据不足，而是分母不存在：要计算落在第⑨格的比例，先得有人登记过“这一次未形成判定”，而这正是本章主张的那个缺位。这个结果本身构成本章最稳的一层：该读数在现有记录里跑不动，因为谓词不存在。

代理变量声明：以“缩略图地址是否存在”代理“有无被看见的可能”，为弱代理，已据此降级；以“谓词是否存在”代理“该发布模式是否为判定留有位置”，为强代理，但只反映一间机构、一份发布版本、一个已停止维护的视图。

（六）七之二、条件一已执行：七家机构公开数据模型的逐一清点

第八节把条件一写成“最便宜、可立即实做”的一条，并估计一个人一周内可完成。上一稿没有做。本稿做了，并把结果放在正文——包括一条对本章不利、以及一条使本章必须改写主张的结果。

7bis.1 方法

对象为七家机构面向公众发布的馆藏数据接口或数据集。取数方式：直接请求其公开端点或公开仓库中的数据文件，读取顶层字段清单，逐字段判读其取值域是否能够语义区分“被判定不展”与“从未被提交判定”。判读在读取字段前写死：只要存在任一字段，其取值域包含一个专门表示“未形成判定”的取值，即记为可区分。展览史、是否在展、展厅号一律不记为可区分，理由见7.4——它们记录的是肯定性事实。

7bis.2 逐家读数

可区分“被判定不”

展“与”从未被提交机构取数方式顶层字段数与判定相关的字段判定“泰特公开仓库逗号分隔文 20 无否”

本美国国家美术馆公开仓库对象表 31 位置标识、是否已入否

藏、是否虚拟条目大都会艺术博物馆公开接口单件记录 57 展厅号、是否重点、否

是否进入时间线克利夫兰艺术博物馆公开接口 60 当前位置、展览史、否

是否外借、是否重

点、法律状态、纳粹

时期来源判定、修复

陈述芝加哥艺术学院公开接口 98 是否在展、外借展否

示、展厅标识、展览

史、出版史、是否被

推优、推优排序、是

否很少被浏览、记录

核验等级维多利亚与阿尔伯特公开检索接口 12（检索端点为精当前位置、是否可预否（受精简记录限博物馆简记录，非全量字约调阅制，判读强度低）

段，已标注）现代艺术博物馆公开仓库未能读取（数据文件 — 未判读

可区分“被判定不”

展“与”从未被提交机构取数方式顶层字段数与判定相关的字段判定“”

以大文件指针形式托

管，未取得实体）

七家中六家完成判读，六家全部为否；一家未能取数，如实计入未判读，不计入分母。

7bis.3 三条读数，其中两条改写了本章

第一条，最强竞争解释在这里被正面挡住。第八节写下的那句最难反驳的话是“其实不就是数据没做好吗”。芝加哥艺术学院的公开接口有九十八个顶层字段，其中包含是否在展、外借展示、展厅标识、展览史、出版史，甚至包含推优排序与“是否很少被浏览”。这不是一个资源不足的数据模式。在其公开数据中，是否在展取假值的条目为 129,164 条（全部 132,681 条中的97.35%），而这一取值同时覆盖“经审议后未选入”与“从未进入任何选择”两种情形，模式中没有任何字段把它们分开。字段数从二十增加到九十八，这一区分并没有随之出现。这构成对资源解释的一次直接反证：可区分性不是字段数量的函数。

第二条，本章的主张必须收窄，而收窄之后更难被打掉。上一稿说的是“没有任何谓词与判定有关”。这句话在七家的读数下不成立：判定谓词是存在的，只是不是这一种。克利夫兰有一个记录纳粹时期来源审查结果的字段——那正是一个记录裁定结果的谓词，还有修复陈述与法律状态；芝加哥有一个记录核验等级的字段，取值分三档（基础、已编目、完整），在本章抽取的一百条中分别为 22、75、3 条。机构完全懂得为“一项判断已经作出”设立谓词，也懂得为“记录本身被核到什么程度”设立谓词。它们没有为“这一件有没有被提交过观看/展出判定”设立谓词。

本章据此把命题改写为一句更窄的话：

现行公开数据模式能够记录对作品作出的多种判定，也能够记录记录自身的完备程度，却不为“判”

定是否发生过“保留谓词。”

这一句比上一稿更难被反例打掉，因为它已经把“有判定谓词”这一类反例吸收进自己的表述里。

第三条，开篇那个例子在数字端可以被直接观测。本章开篇说：制度侧记录的不是零，是参观人次加一——目标状态无谓词，而替代变量被正常记为正值。芝加哥的公开数据里有一个字段叫“是否很少被浏览”，取真值的条目 113,553 条，占全部条目的 85.6%。这个字段记录的是网站浏览量派生出的一个判断，它就是“参观人次加一”的数字化版本：替代变量有谓词、有值、被正常闭合，而目标状态连谓词都没有。这一条是本章开篇例证第一次获得可清点的对应物。

7bis.4 一处单字段演示：谓词内的空与谓词的不存在

大都会的公开记录里有一个展厅号字段。一件不在展的作品，这个字段为空。这个空属于本章的第二类零（有谓无值）：字段在，可被查询，可被计数，也会被追问。但对于“这一件有没有被提交过展出判定”，同一份记录里连字段都没有——同一条记录同时演示了第二类零与第三类零，只差一个属性。这是本章三分最经济的一个例证，也说明两类零的边界不是抽象的：它就是模式里有没有那一列。

7bis.5 这次清点改了本章的什么，以及它没能做到什么

改了两处：命题收窄为“不为判定是否发生保留谓词”（见 7bis.3 第二条）；证据基座从一家机构、一份已停止维护的发布版本，扩到六家在用的公开接口。

没能做到三处，必须写明：其一，现代艺术博物馆的数据未取得，样本为六而非七，这一家的缺席在本章自己的账上也是一个空签；其二，维多利亚与阿尔伯特的检索端点返回的是精简记录，本章未取得其全量字段表，该家的判读强度低于其余五家；其三，本次仍只读公开发布层，机构内部藏品管理系统是否存在此类字段，本章依旧未取证，不作断言。

条件一至此由“待做”改为“已做一次”。它没有被推翻，但它变小了——从十家缩到六家，从“一周”缩到一次可复算的接口清点。待补条目中关于字段全表的那一条，本稿予以删除并替换为上表。

八、证伪条件与赌注

（一）最强的竞争解释

那句最难反驳的话是：“其实不就是数据没做好吗。”

它在第七节已经赢过一次——它吃掉了本章的代理三。因此证伪条件必须能排除它。

竞争解释预测：所有缺失都随资源投入而消退，谓词会补上，图像会补齐。本章预测：图像会补齐，判定谓词不会补上——补图是同类作业的延续；设立判定谓词要求先承认“未被提交判定”是一类状态，那是一次表征上的增设，不是工作量的追加。

这正是本章的独有变量：控制资源投入之后，数据的补齐与谓词的增设互不相随。

（二）四条证伪条件

条件一（最便宜，可立即实做）。取十家公开发布馆藏数据的机构，逐一列出其数据模型。若其中多于三家在公开数据模型中已能语义区分“被判定不展”与“从未被提交判定”，则本章关于谓词缺席的主张为伪。所需材料在既有公开文档中已存在，一个人一周内可完成。

条件二（机制条件）。控制入藏年代与数字化批次后，若“判定谓词的增设”与“数据补齐进度”之间存在剂量-反应关系（数字化越推进，判定谓词越倾向被增设），则本章为伪——那说明谓词缺席只是资源问题的侧面。样本要求：同一制度环境内不少于六家同类机构，在馆藏规模与建制年代上同质。严禁用两国或两地区对比充当此项检验，跨国对比只能作启发式例证。

条件三（顺序预测）。若某机构增设了判定谓词，本章预测：该谓词被追问的时间早于它被填满的时间——先出现“这一栏为什么空着”的质询，后出现系统性填写。若观察到相反顺序，本章关于第⑧格的机制为伪。

条件四（分离条件）。若把观看记录接入强制响应式测量（每次经过都强制产生一个响应），本章预测空签不会消失，只会转为大量无差别的最低档响应，或转入第⑦格（被填入默认值）。若在这类系统中该现象真的归零，则本章为伪。

若被证伪，我们学到什么：若谓词确实随资源投入而增设，则这一类状态的不可见是工程问题而非表征问题，正确的干预方向是投入与排期，而不是重新划分账目。那是一条与本章不同、同样可操作的路。

（三）一条写死日期的赌注

前一稿把赌注押在“有没有一个字段”上，这是一个可以被绕开的赌注——现代数据模型未必用一列字段表达，也可能用关联表、事件对象或知识图谱。本稿据此改写。

赌注：至 2029 年 12 月 31 日，在公开发布馆藏数据的主要公立机构中，仍将没有任何一家在其公开数据模型中可语义区分“被判定不展”与“从未被提交判定”。

本稿据第七之二节给赌注加一条更硬的形式：即使某家机构在此期间把公开字段数再翻一倍，该区分仍不会出现。理由已由清点给出——从二十字段到九十八字段的跨度里，判定谓词增加了、核验等级谓词增加了、注意力的替代变量谓词也增加了，唯独这一种没有。若在此期间出现的反例恰恰是通过“字段大幅增加”而顺带带来的，则本章关于“这是表征增设而非工作量追加”的论断为伪。

什么不算命中（一并写死）：内部系统中存在而未公开发布的，不算；以展览史记录已展出者、而不表示未被提交者的，不算；以自由文本备注偶发提及的，不算；仅在研究项目内临时构造而未进入常规发布的，不算；用默认值填满而无实际判定记录的（第⑦格），不算。只有进入常规公开发布、且有明确语义定义与编码规则的表示方式，才算命中反面。

（四）本章解释不了的两个洞

其一，同一个人在同一天同一间展厅里，为什么这一件落在第⑨格、下一件不落，本章完全无法预测。本章读结果，读不出触发。

其二，空签是否有一个健康的下限。第④格的存在说明并非所有状态都该被强制判定。一个所有遭遇都被强制签发的体系可能比现在更糟。这个下限在哪里，本章给不出。

九、三处反过来被削弱的地方

第一处，来自编码——它动了本章的适用范围，而且动得最狠。

擦除标记之所以可能，前提是缺失有地址；位置未知时，擦除无从产生。本章原本要写的更强的话是：“应当为每一次被记为未判定的遭遇设立判定谓词。”这句话写不成了。因为在大量现场，连“这一次遭遇”的边界都无法界定——展厅里的行走是连续的，哪一段算作“面对这一件的一次遭遇”没有客观切点。没有地址，就没有擦除位。

本章的主张因此缩到：只在遭遇边界已被现行记录切开的场合（一件件被提交审议的条目、一次次被登记的导览、一场场被记录的展品）主张设立判定谓词。这一条直接产生了第四节的第一层——遭遇层不是本章的设计，是被这门学科逼出来的。

第二处，来自行政程序——它动了本章的价值排序。

不予受理不作实体判断是为保护。本章原本会滑向“签发优于空签，有人负责总比没人好”。这一处毁掉了它：某些不判定是保护。一件意义未明的作品若被过早签上否定，日后被重新提出的成本会高得多。本章因此不能主张空签率越低越好，只能主张这一类状态应当可表示——知道它是多少，与把它压低，是两件事。这一处使本章从一个改进方案退回为一个表示问题。

第三处，来自痕量分析——它给本章加了一条成本约束。

判定界限不能无限降低，每降一档，空白控制与前处理成本非线性上升。同理，判定谓词不能无限细分：每增设一个谓词，就要求有人真的去作那个判定，而判定有成本。一套谓词极细而无人填写的记录体系，比一套粗糙而如实填写的更坏——它把状态从第⑨格搬到第⑦格，看起来改善了，实际只是把无人负责改写成了默认值。

十、不适用的边界

其一，不适用于没有记录体系的场合——空签要求系统正常闭合。

其二，不适用于遭遇边界无法界定的连续场合（第九节第一处）。

其三，不适用于判定存在而仅未公开的场合——那是透明度问题。

其四，不适用于以不被判定为目的的实践——某些当代实践刻意追求未被判定的状态，此时它是作品的构成部分而非记录的缺陷。

其五，本章的读数只能用于位置，不能用于人（第十二节）。

其六，本章未处理跨文化与非西方记录传统——上述三层是在以书面档案为主的记录传统里成立的，口传与仪式性传承体系是否同样适用，本章不知道。

十一、本章自己落在哪一格用本章的判据检查本章。

本章提出了一个关于“未被判定之物”的论点，而本章自己尚未被任何人判定——它此刻落在第⑨格。这不是修辞：本章写作与自评由同一方完成，因此本章的一切自我评价都不构成判定；真正的签发只能来自不参与本章写作的读者。本章是它所描述的那类状态的一个标本。

具体后果：本章不能靠被发表来改变任何账目。一篇论文的发表在艺术机构的记录体系里不产生任何谓词。若本章的主张落地，落地的方式一定不是被引用，而是某个负责数据发布的人在数据模型里加了一种表示。本章最有价值的部分，是那种表示的语义定义，不是本章的论证。

一个更难堪的自反：本章用来支持自己的那次清点只覆盖一家机构、一份已停止维护的发布版本。那些不公开数据的机构，在本章的证据里也落在第⑨格——本章既没有判定它们，也没有为它们留位置。本章在自己的证据层面复制了它所描述的结构。作者看不到出口：扩大样本只能减轻它，不能取消它，因为不公开数据的机构恰恰不在任何可清点的分母里。

反噬预言

若本章的主张被某机构采用，最省事的实现方式是：加一个谓词，然后由系统默认填入“未提交”。三个月内它会变成一个恒为默认值的死谓词，而机构从此可以宣称已经处理了这个问题。状态会因此从第⑨格搬进第⑦格——更难看见，因为它现在有了一个已被记录的外观。这比没有谓词更糟：没有谓词时人们知道自己不知道；有了死谓词之后人们以为自己知道。

作者看不到出口。任何要求“真填”的规定都需要一个检查真填的机制，而那个机制本身会成为下一个被默认值填满的谓词。

十一、伦理与证据边界

其一，这个读数指的是位置，不是人。一间展厅、一份数据模型、一个记录环节可以有高空签率；一个策展人、一个讲解员、一个观众不可以。

其二，不得为把这个数做好看而强制在关键环节制造判定。尤其不得要求一线人员为每一次遭遇填写响应——那会同时摧毁记录的可信度与工作的可行性（第八节条件四正为此设）。

其三，凡已依据此类读数作出过不利安排的机构，必须公开其语义定义与编码规则，并提供复核通道。一个不公开编码规则的比率，其数值在两种都合理的口径下可相差数倍。

证据边界重申：第七节的清点覆盖一间机构、一份已停止维护的公开发布版本、69,201 条条目，其中单一作者占比接近六成。该结果只支持“该发布模式中不可表示”这一条，不支持任何关于比例的推广。本章不提供关于“有多少遭遇落在第⑨格”的任何数值估计——那个数字目前无处可取，这正是本章的论点。

（一）十二之二、与同一形式家族的相邻构念划界

近年有若干论述与本章共享同一个形式句：有一件事已经发生，而账本上没有它的位置。它们不是本章的近邻——近邻在第二节——但它们与本章形式同构，若不划界，读者有理由怀疑这些是同一条主张的不同措辞。本节逐条给出分界，判据统一为：缺的是哪一层。

其一，“已经生效而尚未被签收的变化”。那一类论述处理的是变化已经发生、主体尚未把它归入自我，而后来的归属会改变它的后续路径。它缺的是判定层的时序（判定何时形成、由谁形成），而它的表征层是完好的——一旦主体作出归属，现有量表、访谈、行为记录都能容纳它。本章缺的是表征层：即使有人当场作出判定，也无处可录。一个是判定迟到，一个是判定无处安放。

其二，“无人接手的那一段时间”。那一类论述处理的是一段有起点、有终点、而中间无人负责的时段。它的对象是时段，且时段的两端在记录上是可见的——正因为两端可见，中间那一段才能被指认为空缺。本章的对象不是时段而是状态，且它没有可见的两端：既没有开始的记录，也没有结束的记录。能被指认为“那一段”的，已经不是空签。

其三，“被算进去时没有被算的那一部分”。那一类论述处理的是同一次结算里的余数。余数的存在以结算已经发生为前提，因此它落在本章九格里的第②格或第⑧格——判定作出了而未录入，或谓词在而栏空。本章的第⑨格要求结算根本没有发生过。

一条统一的检验：拿任一相邻构念的对象去问“它在哪张表的哪一列里应当出现”。若答得出列名，它不是空签；若答得出而那一列恰好为空，它是第二类零；只有当这个问题本身无法被写成一个查询时，它才落在本章的对象里。

十二、结论

一件作品进入视野而没有发生为艺术，这件事每天发生千万次，而我们没有一个名目可以点它。

现有的解释各自把这一次归给一方：观看者的省略、作品的未获身份、制度的未予受理，或分布层面的位置。政治学早已发现“未进入决策”，档案学早已研究记录中的缺席，数据语义早已区分未写出与为假。本章不主张这些前人不知道；本章主张的是他们各自走到的那一步之后还有一步：把它转译为一个交叉的问题——判定是否形成，以及记录体系是否为“未形成”保留了一个谓词。

分层之后，“零”露出三副面孔：有值之零、有谓之空、以及连谓词都不存在的那一类。第三类不产生缺口、不触发追问、不违反任何规程，因而它是唯一一类可以在一个完全健康的记录体系里长期大量存在而不被察觉的状态。

一次真实的清点支持了最窄的那一条，同时取消了本章原本更宽的两条：图像的缺失可以用排队解释；结论只到公开发布模式，够不到机构本体。两条都是收窄，而收窄之后剩下的那一句更难被打掉。

一个记录体系是否值得信任，不看它记下了什么，看它有没有为“什么也没发生”留一个位置——以及那个位置上写着谁的名字。