可以被弹劾的结论

——形式逻辑的价值

上一篇把话说到了这个地步：法官普遍先形成结论，两大法系皆然，判决书是事后写就的辩护。那么一个尖锐的追问就悬在半空——既然结论先行，三段论岂不就是装饰？既然预感做主，形式逻辑还有什么用？

有意思的是，最清楚“结论先行”这个秘密的人——法官自己、拆台的现实主义者、承认前理解的德国教义学家——没有一个主张扔掉三段论。哈奇森自曝预感之后照样一丝不苟地写判决，埃塞尔拆完台之后写的仍是方法论。这不是虚伪，是他们看见了外行看不见的东西：形式逻辑的价值本来就不在“生产结论”那一端。它在另外四个地方。

把心证做成靶子

直觉给出的判断是一个整体，不透明，不可分割：“这个案子该原告赢。”你没法反驳一个整体——反对者只能说“我觉得不该”，那是立场撞立场，谁嗓门大谁赢。

三段论做的第一件事，是强制拆解：大前提是哪条规范、哪个先例？小前提是哪些事实、怎么认定的？涵摄那一步是怎么走过去的？拆开之后，每一步都变成一个可以单独瞄准的靶点。反对者不必再说“我觉得不对”，他可以说：“你第二步引的那个先例，说的根本不是这个问题。”这是靶点对靶点的作战，胜负取决于弹药而不是嗓门。

所以形式逻辑本质上是一台转换器：把私人的、不可检验的心证，转换成公共的、可分段攻击的对象。二审法院靠这些靶点工作，对方律师靠这些靶点工作，学术批评靠这些靶点工作。一份不展开推理的判决不是更自信，而是拒绝把自己交出来受检——它把裁判从公共事务改回了私人恩赐。

考场的前移效应

第二层价值不出现在任何一份判决书里，恰恰因为它在文书写成之前就已经起效了。

一个知道自己要把推理全部摊开、逐段受检的法官，连“敢冒出什么预感”都会被反向塑造。那些明知写不出来的结论——先例反着、条文顶着、逻辑接不上的——多数根本活不到动笔那一刻，在心证形成的半路上就被掐灭了。考试的价值从来不只在考场上淘汰谁，更在于报名者会自我筛选。

这就是为什么“三段论只是事后包装”的说法虽然抓住了时间顺序，却弄错了因果结构：包装纸如果足够难穿，它就会反过来决定什么东西被生产出来。刑讯逼供的口供为什么在现代证据法下越来越少？不是审讯者良心发现，是那种口供写不进排除规则之后的判决书了。形式要求足够硬的时候，它就穿透纸面，改造上游。

大前提是一张承诺书

三段论还有一个最容易被忽略的副作用，而它可能是最重要的。

直觉是个案的：“我想这么判这个案子。”但三段论强迫你把理由写成大前提，而大前提天然是普遍的：“凡此类案件，皆应如此。”这两者之间隔着一道深渊——写下大前提的那一刻，你就公开签署了一张承诺书：下一个符合该前提的案子，哪怕当事人换成你讨厌的人，哪怕结果令你不快，你也这么判。

这是对任意性最结构性的约束。一个只需给结论不必给前提的裁判者，可以对张三一个标准、对李四另一个标准，没人抓得住他；一个必须写出大前提的裁判者，每写一次就给自己上一道锁。形式逻辑在这里执行的是“法律面前人人平等”的技术实现——平等不是靠裁判者的美德，是靠普遍化格式对个案偏私的机械挤压。

也是这个格式，让经验能够积累。霍姆斯那根猫的锁骨为什么能在判例法里存活几百年？因为它被写成了规则的形状。预感死于预感者的退休，大前提活在汇编与教科书里，被引用、被区分、被推翻——逻辑是经验得以储存和传承的文件格式。一个只有预感没有形式的法律系统，每一代人都得从零开始。

警告：靶子必须是真的

说到这里，形式逻辑的价值像是坐实了。但有一个前提条件贯穿以上全部三层，不挑明它，这篇文章就是危险的：展开必须忠实。靶子立起来受检，前提是靶子和真实的推理是同一个东西。

法官这一端，这个条件大体成立，原因很具体：写的人和判的人是同一个人。写不下去的痛苦会沿着同一根神经传导回结论，这才有“the opinion that won't write”的否决权。缝隙当然存在——上一篇讲过中国判决书里写不进去的法外变量——但教义学批评、上诉审、发改率在不断挤压这条缝。

AI 这一端，条件默认不成立。大语言模型的推理链和结论是同一个前向过程吐出来的，推理链完全可能是一份事后编造得极其流畅的答辩状：每一步都通顺，但没有一步是结论真实的因果来源。Anthropic 自己的研究就证实过 chain-of-thought 的不忠实——模型可以被暗示牵着走向某个答案，然后写出一条只字不提暗示的“推理”。这样的展开不是靶子，是诱饵：它把审查者的火力引向一个精心布置的假阵地，而真实的决定过程毫发无伤。

所以对 AI 而言，“让它用三段论说话”只完成了一半工程。展开只是把靶子立起来；射箭的必须是外部的、独立的核验者——不读它的推理、独立回到原始材料重建基线，再逐条核对它的每个引证是否真实存在、每个主张是否真有依据，配上一个专职唱反调的对手。不信任展开本身，只信任展开被独立打靶之后还站着的部分。法官的考场是历史建好的现成品，AI 的考场得一根梁一根柱地现造——这正是外一篇结尾那句话的工程含义。

尾声：推理与神谕的分界线

现在可以回答开头的问题了。形式逻辑的价值，一句话：

它不生产正确的结论，它生产可以被证明错误的结论。

这句话听起来像贬低，其实是能给出的最高评价。直觉负责提名候选结论，人人都有直觉，机器也不缺；形式逻辑负责把提名变得可弹劾——可拆解、可瞄准、可追责、可推翻。而弹劾机制正是文明对判断力唯一可靠的改进手段：我们从来没有办法保证任何一个判断是对的，我们只有办法让错的判断死得快一点。

反过来说，一个不可弹劾的判断——无论它出自法官的良心、圣人的洞见还是十万亿参数的概率分布——在制度意义上都不算推理，只算神谕。神谕可以碰巧全对，但你永远不知道是哪一次开始错的。

法律在几百年前就做出了选择：宁要一个会被推翻的判决，不要一个无法审查的正确。现在轮到 AI 了，答案不该有什么不同。