真相不是被发现的 图片：AI 生成

在我们宇宙的开放世界里，并不存在可供发现的真相。然而我们可以声明真相，而被声明的真相，只在它所开启的那个世界之内为真。这不是犬儒，而是物理，其次才是法律。

光总是迟到

任何观测都不会超过光速。

看夜空中的星。那束光在数千年前就已出发。此刻你看到的不是那颗星，而是"很久以前曾有一颗星"这样一个主张。那颗星或许早已消逝（Speed of light, Wikipedia）。

别只把这当作遥远星辰的故事。看手中的杯子。杯子反射的光抵达眼睛需要时间。极其短暂，但并非为零。我们看见的杯子，永远是刚刚过去的那只杯子。此时此刻的这只杯子，我们永远触不到。事件一旦发生便即刻退入过去，比光更快。留给我们的不是事件本身，而只是事件派出的信使。而信使，总是在事件已经死去之后才抵达。

没有零跳的观测

光抵达视网膜的那一刻并非纯粹的传递，而是转换。光子改变了蛋白质的形态，那一变化引发连锁反应，信号沿神经上行，大脑把它称作"红"（Visual phototransduction, Wikipedia）。这条链的每一步都是再解释。我们的视神经不是朝向世界敞开的窗户，而是关于世界的推理模型（Unconscious inference, Wikipedia）。

因此，即便是最接近事件的观测——刚刚被光子击中的视网膜——也已是隔了一跳以上的推理。零跳的观测从未存在过。我们从未有过一次直接触碰世界。当我们说相机"看见"了杯子，我们知道那是传感器的推理。人的眼睛也没有不同。它不是一条享有特权的直接接触通道，而只是一个传感器。

开放世界里没有真相——只有主张

那么在开放世界里，留给我们的是什么。证据与主张。而只要稍加审视便会发现，证据不过是主张的另一个名字。

“相机看见了这只杯子"是证据。但它不多不少，只是"传感器，在此时刻，以此信度，主张存在这样一只杯子”。深挖证据，其中又藏着一个主张；深挖那主张的根据，又是另一个主张。没有底。哪里都找不到一个可以停在"这就是真的"上的落点。

所以在我所设计的语义语言GEUL里，没有"事实（Fact）“类型。不是故意删去的，而是在承载开放世界的位置上根本放不进去。一放进去就成了谎言。即便是看似最基础的主张——“这二者是同一个对象”——也分为确定与候选，而区分二者的，不是另一枚"事实印章”，而只是有没有附上信度（confidence）。确凿的事实与不确定的猜测，并非种类不同。差别只在于同一结构上有没有贴上名为信度的标签。这不是哲学宣言，而是比特布局。它被设计成：哲学一旦垮塌，模式（schema）也随之垮塌。

然而真相确实存在——在封闭世界里

开放世界里没有可供发现的真相。但真相并非全然不存在。

看小说。“洪吉童是庶子"在那个世界之内为真。因为作者是这样写的（Fiction — Truth in Fiction, SEP）。没有可供验证的外部世界，作者即是那个世界的唯一出处与终审。这里不需要观测。作者一旦声明，它便随之存在。不是事件先于声明，而是声明即事件。

数学也是同一结构。“二加二等于四"在公理所封闭的世界之内为真。公理是作者，定理是那个世界的登场人物。它不是通过观测物理世界得来的，而是从定义演绎出来的，所以光速在这里并不适用（Formalism in the Philosophy of Mathematics, SEP）。因此，真相之所以失败，不是因为真相本身错了，而是因为把真相写进了未曾封闭的世界。物理实在没有封闭世界的权威。然而小说与公理系统拥有那份权威。

真相不是被发现，而是被声明

有两类句子。一类描述世界。“杯子在这里。“它试图指向某个已经存在之物。所以它被光速所困，永远停留在主张。另一类创造世界。“我在此宣布二人结为夫妻。“这句话不描述婚姻，它造出婚姻。在这句话被说出之前，没有可指之物。是言说生出了对象（Speech Acts, SEP）。

第一类句子可以追问真/假。第二类句子无法追问真/假——因为言说即事件。封闭世界之所以能拥有真相，真正的原因就在这里。不是因为世界封闭，而是因为那些世界是由声明所建造的世界。所以真相不是被发现的。真相是被制作的。而人类文明的几乎全部——法律、货币、契约、承诺、国家、小说——都建立在这被制作的真相之上。

审判是投影，判决是运算

法律是这一原理最精巧的实现。法官不发现真相。法官是数学家。但他接连做两件事。

**审判是把实在世界投影到法律世界的过程，判决是对投影进入法律世界的事实进行运算的结果。**第一个动作是投影。把无限而开放的实在，降到法律世界这个有限而封闭的坐标系上。证据采纳正是这个投影，而如同一切投影那样，它有损失——实在的绝大部分进不了法庭，只有进来的才成为事实。开放世界的主张一旦被法庭采纳，它便不再是关于实在的主张，而开始在法律世界之内作为事实运作。然而这并不是被擢升为开放世界的绝对真相，而只是一个仅在这个封闭世界之内作为事实运作的主张。

第二个动作是运算。投影一旦结束、世界一旦封闭，便以法条为公理，判决被决定论地计算出来。第一个是作者的动作（声明世界），第二个是数学家的动作（演绎定理）。法官之所以是一种独特的存在，正因为这两者由一个人接连完成。

这一视角不是凭空而来的思辨。证据法很早便区分了形式法律真实（formal legal truth）与实体真实（substantive truth）。审判所瞄准的理想是实体真实，但证据规则、举证责任与时间的限度阻断了它的抵达，于是"实际发生的事"与"法律上确定的事"分道扬镳（Summers, Formal Legal Truth and Substantive Truth in Judicial Fact-Finding, Cornell Law）。哲学家约翰·塞尔（John Searle）揭示了这一转换的语法——制度性事实永远具有"X在语境C中被视为Y（X counts as Y in context C）“的形式，而发动那"视为"的，不是观测，而是声明（Searle, Constitutive Rules, Argumenta; Social Ontology, SEP）。社会学家尼克拉斯·卢曼（Niklas Luhmann）用这一原理解释了整个法律系统——法律在认知上是开放的，在规范上是封闭的，只以合法/非法这一二元代码来处理（Critical Legal Thinking, Niklas Luhmann: What is Autopoiesis?）。我用投影与运算分开的两个动作，在卢曼那里就是认知开放与规范封闭。

误判分开了声明与发现

在封闭世界之内，判决是真相。然而那个世界是否与实在相符，仍旧是一个主张。

法官若说"有罪”，那么在法律世界之内他就是有罪。以数学的方式。与他可能并非真凶无关。误判这个概念之所以成立，原因正在于此——法律真相（封闭世界的判决）与物理主张（实际上发生了什么）是彼此不同的层次，二者可以相互错开（Miscarriage of justice, Wikipedia）。倘若判决就是物理真相，那么误判在逻辑上就不可能。然而我们能够谈论误判。这句话能够成立这一事实本身，就证明了被声明的真相并非被发现的真相。

当下的LLM是没有案卷的法官

LLM是由封闭的数学造出来的。做矩阵乘法，计算概率，用既定算法挑选下一个词元。它的内部运算在数学上是封闭的。然而LLM所处理的输入来自开放世界。问题的语境不完整，习得的知识里出处与时点混杂在一起，检索结果与用户的主张彼此冲突。模型没有留下它把其中哪些采纳为事实（Measuring Attribution in NLG, arXiv:2112.12870），便把开放世界在参数之内暂时封闭，算出答案。

当下的LLM，就像一个既无案卷、也无证据采纳程序的法官。采纳了哪些主张、驳回了哪些主张，处理的是哪个时点的世界，什么一旦改变就需要重开案件——这些都不会留下。而答案却像判决书那样斩钉截铁地给出（Survey of Hallucination in Natural Language Generation, arXiv:2202.03629）。即便模型的数学没有错，误判仍会发生。因为封闭开放世界的那次投影是隐含的、不可复现的，而且没有人为那道边界负责。更大的模型与更多的参数或许能缓解这个问题，却无法将其消除（Hallucination is Inevitable, arXiv:2401.11817; Why Language Models Hallucinate, arXiv:2509.04664）。把整个开放世界完全封闭进参数之内，是不可能的。

先声明一个可计算的世界

LLM所需要的，不只是更完美的记忆，而是像法治那样明示的封闭程序（The Rule of Law, SEP）。

首先，把从开放世界进来的一切都作为主张（Claim）接收——谁、何时、以什么为根据、在什么范围内、以多大信度作出了主张。然后，为了某个特定的问题而封闭世界——决定采纳、驳回还是搁置哪些主张，把它投影为可计算的认定事实。这个认定事实不会被擢升为绝对真相。它是一个仅在某个特定封闭世界之内作为事实运作的主张。在其上运算判决，而当新证据到来时，必须能够重开案件。

这就是GEUL要做的事。GEUL在不丢失开放世界主张的前提下将其保存。在其上，图尔敏论证引擎把被采纳的根据与反驳所构成的封闭图作为输入，将判决决定论地运算出来（Argumentation framework, Wikipedia）。引擎不判定真相。正如法官是数学家，引擎也是数学家。它不是判断者，而是执行者。目标不是把LLM变得无懈可击，而是把误判结构化，把投影的错误与运算的错误分开，弄清谁认定了什么，并让人能够在新证据面前上诉。

声明必须伴随责任

然而，一旦声明变得廉价，世界就会被污染。倘若任何人都能声明任何事，真相便会经历通货膨胀——如今的互联网、AI所倾泻的句子正是如此。所以真正需要的不是真相，而是责任。

声明需要权威，权威必须伴随责任（Moral Responsibility, SEP）。正如非法官的人喊"有罪"也封闭不了任何世界，声明不是真/假的对象，而是有效/无效的对象。而责任最终以金钱来承担——因为它是唯一可测量、可转移、可按过失分摊的手段（Legal liability, Wikipedia）。要做到这一点，首先必须让声明被识别。谁、以什么权限、从什么出发作出了那个声明。这就是GEUL为何强制给每一个主张随附出处、时点与信度。要追究责任，首先必须把声明切成可货币化的单位。

真相不是被发现的。然而真相可以被声明。而这就足够了。光总是迟到。尽管它是宇宙中最快的。

相关文章

参考文献

物理 —— 观测与光

  • Speed of light (Wikipedia) —— 光速是信息与物质的有限上限，且对一切观测者都相同。在地球上看到的星光来自遥远的过去
  • Lookback time / Cosmic time (Wikipedia) —— 由于光的传播时间，越遥远的对象被观测到的样子越是更古老
  • Meter (NIST) —— 1983年的重新定义将光速固定为每秒299,792,458米
  • Visual phototransduction (Wikipedia) —— 视网膜不是被动传递光，而是以生化连锁将其转换
  • Unconscious inference (Wikipedia) —— 亥姆霍兹的无意识推论：知觉不是直接接触，而是推断感觉输入之成因的统计推理

真相 · 声明 · 封闭世界

  • Speech Acts (Stanford Encyclopedia of Philosophy) —— 奥斯汀的施为句／记述句之分：某些言说通过如此言说而造出事实
  • Performative utterance (Wikipedia) —— 施为句不描述实在，而是改变社会实在。不是真/假，而是成功/失败的对象
  • Fiction — Truth in Fiction (Stanford Encyclopedia of Philosophy) —— 小说中的真相由作者规定的作者中心理论
  • Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy) —— 数学之真是在系统规则之内可证明，而非与物理实在的对应
  • Axiomatic system (Wikipedia) —— 从公理演绎定理的结构

法律 —— 投影 · 运算 · 责任

  • Formal Legal Truth and Substantive Truth in Judicial Fact-Finding (Robert S. Summers, Cornell Law) —— 审判所瞄准的实体真实，与证据法、举证责任、时间约束所造出的形式法律真实之间的错开
  • Constitutive Rules (John R. Searle, Argumenta) —— 制度性事实的形式"X counts as Y in context C”，以及声明创造实在的力量
  • Social Ontology (Stanford Encyclopedia of Philosophy) —— 制度性事实与地位功能由集体认可与声明言语行为所施加
  • How the Facts Enter Into the Law (Springer) —— 法律是规范性秩序，故只有把"实在的事实"转换为"法律的事实状态"才能处理的视角
  • Niklas Luhmann (Wikipedia) —— 社会系统在运作上封闭，同时在信息上向环境开放（规范封闭，认知开放）
  • Miscarriage of justice (Wikipedia) —— 误判显示出法律判决与事实无罪之间的分道扬镳
  • The Rule of Law (Stanford Encyclopedia of Philosophy) —— 把事先声明的一般规则以非人格而非个人裁量的方式适用，从而造出可预测性
  • Moral Responsibility (Stanford Encyclopedia of Philosophy) —— 责任的可答责性·可制裁性分支
  • Legal liability (Wikipedia) —— 法律责任是横跨契约·侵权·税收·罚款的、可强制且可支付的义务

LLM —— 认识论与幻觉

变更历史

  • 2026-07-23: 初版