CHAPTER 54

第五十四章　奥卡姆：解释中的节制与必要承担

削减冗余假设，也保留解释不可缺少的承担。

一　一个词出现，不等于多出一种东西

我们说“这组人的合作效率提高了”，并不必然是在说，除了这些人、他们的行动和成果以外，还有一个叫作“合作效率”的独立物件悄悄长大。这个表达可能是在比较同一任务下投入与完成情况的关系。

若不作区分，语言很容易让解释不断增殖。先用一个名词概括现象，再用这个名词解释同一个现象，就形成循环：因为有合作力，所以合作顺利；我们知道有合作力，因为合作顺利。

奥卡姆对共相、词项和本体承诺的讨论，适合用来检查这一问题。但不能把他的哲学缩成“越简单越正确”。节制首先是一项关于说明负担的要求，而不是世界必须符合最短句子的保证。[R54]

二　剃刀不是一条能够替代理由的口号

常见的剃刀表述，通常并非奥卡姆文本中的逐字原句。他所接受的论证条件也包括其时代的理性、经验和神学承诺，不能直接改写成当代科学主义宣言。[R54]

本书从中抽取的有限方法是：当一个解释增加某类存在或机制时，应当说明增加带来了什么必要工作。如果不增加也能保持已承诺的解释与推断，就需要重新审查这一增设。

这并不要求先删除一切不可见者。不可见的机制可能产生可检查差别；一个短小的解释也可能只是省略了必要条件。真正要比较的，是解释承担的内容，而不是字数多少或直观是否舒服。

三　共相问题：一个概念怎样涉及多个对象

《逻辑大全》第一部第14章区分一个符号作为单一存在，与它能够指向多个对象的功能。[P54a] 一个概念可以在某次心灵活动中是一个具体发生，同时在使用上适用于多个个体。

本书用一个自制例子说明。教师有一张写着“可借阅”的卡片，它可以用来标记许多书。卡片只有一张，不意味着可借阅的书只有一本；它适用于多本书，也不意味着卡片本身是一种同时散布在所有书中的特殊实体。

这不充分解决共相争论，却提醒我们区分存在方式与指称功能。SDE若把理念界中的某个显露当成现实对象的普遍原因，必须进一步说明跨层关系，不能仅凭一个概念能用于很多对象便完成证明。

四　词项在命题中代表什么

奥卡姆的指代理论区分词项在不同命题中的角色。[P54b] 这不是普通意义上的“同一个词可以随便解释”，而是要求判断此处究竟在谈对象、概念还是表达本身。

例如：“树需要水”“树是一个一般概念”“‘树’是一个汉字”。三句话里的表面字形相同，所作断言却不同。若把第三句关于文字的性质直接转移到真实植物上，显然发生了类型混淆。

本书由此建立一项适用于SDE的检查：我们是在说“显露”这个词、显露概念，还是某次实际显露？是在讨论方程的符号形式，还是被方程解释的发生？不把这些层次分开，理论就可能在不同意义之间滑动。

五　一个可以严格完成的删项证明

设模型M用两个输入x、y计算输出f(x,y)，其中y无论取何允许值，输出都等于x。则可定义较小模型M′，只接收x并输出x。对于原来所有允许输入，两模型的输出完全相同。

这个证明只涉及已规定的输出行为。在此范围内，y没有增加区分能力，可以删去。但若后来任务要求解释系统耗能，y恰好影响耗能，那么删项结论不再适用于扩大的任务。

因此，“冗余”总要相对于任务和观察范围来判断。不能因为一项变量对某个指标无用，就宣布它在世界中不存在。这个有限证明比一句“不要增加实体”更精确，也能直接约束SDE的模型构造。

六　短解释为什么可能更复杂

构拟两个解释。甲说“因为环境复杂”；乙说明三项具体条件及其怎样影响决策。甲只有几个字，乙写了几段，但甲实际上没有承担任何具体机制，也无法说明什么变化会使结果不同。

若把“环境复杂”当作一个万能机制，短句里面可能藏着无限自由度。乙虽然更长，却明确了允许情形、变量关系和失败条件。文本长度因此不是理论复杂度的充分标准。

同样，SDE三个字母非常简洁，F、G、H却可能容纳任意函数。要说它比其他理论更经济，就需同时计算函数定义、约束和解释规则的成本，不能只比较字母数量。

七　母框架的自由度不能被当成免费资源

假设一个框架允许对每个案例单独指定F、G、H，并随时扩大E。它当然容易拟合大量材料，但这可能只是把复杂性从叙述转移到未写出的函数中。

若要形成真正的统一解释，应当寻找跨案例保持的约束：哪些变量类型不变，哪些映射规则重复使用，哪些观察能够排除某个解释。统一不能只存在于三个字母相同，而应存在于实际推断负担的共享。

因此，奥卡姆节点对SDE提出的是建设性要求：把隐含成本显化。如果某个新增概念只重新命名已知现象，就说明它的整理用途；若它提供新的推断，再展示推断。不同贡献不必被混称为本体发现。

八　不用实体化，也未必能取消结构

一个谨慎的删减论也会遇到限制。两套系统可以具有同样的零件数量和零件类型，却因为连接方式不同而产生不同功能。只清点个体而不记录关系，可能丢失重要信息。

例如，三个成员各有相同技能，但一个小组允许双向反馈，另一个只允许单向交付，最后的错误发现机制可能不同。这里是否需要另设一个“关系实体”，是本体论问题；描述中是否必须保存连接差异，则是可操作问题。

SDE以特征纠缠为E，应当抓住后一个要求，同时避免未经论证便给所有关系另造一类实体。结构不可忽略，与结构必须作为某种独立物存在，不是同一个结论。

九　删去一个人格标签以后，还剩下什么

构拟场景：一位学习者多次推迟交稿，被概括为“天生拖延”。这个标签听起来解释了一切，却没有说明推迟发生在哪些任务中、从哪个环节开始、哪些条件下并未出现。

暂时删除“天生拖延”，保留事实记录：任务不清时推迟，获得具体示例后能够开始；需要公开展示时反复重写，私下草稿却能完成。新的描述开始产生不同可检验方向。

这里不是证明人格差异不存在，而是拒绝让一个总括标签提前终止调查。标签若不能增加预测和行动区分，就可能只是把尚未理解的D与E压成一个S，再用这个S解释原来的现象。

十　解释中的节制也包括少猜他人的内心

一个人没有回复消息，可以有多种原因。若缺少信息，却立刻增加“他故意轻视我”“他正在测试我”等机制，解释会迅速变得丰满，但证据没有同步增加。

节制不是强迫选择最善意的解释，也不是默认最简单的原因真实。它是暂时停在能够支持的层次，并寻找区分候选解释的办法。例如，确认消息是否收到，说明自己的时限，观察后续回应。

这与休谟的证据限制、皮浪的暂缓及苏格拉底的追问形成交叉。每个节点强调不同操作：不从重复推出必然，不在证据不足时强行封闭，不让不清楚的概念承担全部结论。

十一　为什么不能只凭剃刀删除神学或价值

奥卡姆的历史体系并非通过删减一切神学承诺形成。[R54] 把他塑造成“用最少假设取消所有超经验问题”的现代人物，是后来的投射。

在本书自己的方法中，价值前提也不能只因无法测量而被删去。决定什么值得解释、什么后果可接受，本来就需要说明评价标准。删除标准的名称，并不意味着决策已经无价值。

更诚实的节制，是把不同类型的前提各自列明：哪些是经验假设，哪些是逻辑定义，哪些是规范承诺，哪些来自特定信仰。读者才可能逐项接受、拒绝或暂缓，而不是被一个“简单”整体带走。

十二　从SDE到奥卡姆式分析需要哪些约束

首先，禁止由名词存在直接推出相应独立对象存在。其次，给词项使用标注类型与指称范围。再次，比较不同解释时，要求保持同一任务下的有效内容，并记录增加实体或机制的理由。

这会形成一种节制型SDE：S不再任意实体化，D包含语义分析与删项检验，E中的设定必须说明其区分作用。输出不是最少字母的图，而是一份较清楚的承担清单。

这些条件能够重构奥卡姆哲学的一部分分析方向，却不能单独推出他的全部共相论、心灵语言理论和神学立场。要得到更强结果，需要把那些特有主张另行论证，不能藏进“限制”一词。

十三　给E划界的一种有限办法

前面的章节反复问：E会不会无限扩展？奥卡姆节点提供一个实际入口。先指定本次任务和所需区分，再逐项询问某条件怎样进入机制。不能说明作用的材料，可以保留为候选而不立即进入主模型。

若删去某条件会使模型无法解释已经确认的差别，就有理由重新纳入；若它只为每次失败提供临时借口，则需要更严格的独立证据。边界不是一次永定，而是随研究承诺公开调整。

这不会把复杂世界变成简单世界。它让分析者不再用“万物相连”替代实际调查。整体性必须通过可追踪的差别获得内容，而不能作为免于说明的权利。

十四　剃刀也要切向自己的解释

当本书说某位哲学家冻结了某一维，应当继续问：这个“冻结”是否真的解释了他的论证，还是仅仅换了一个名字？若删去该标签，原来的文本分析没有损失，就不应把标签当作新发现。

反之，若明确某项被固定的前提，可以推出特定结论、发现边界并预告困难，那么标签才获得结构价值。判断标准不是作者是否喜欢这个术语，而是它承担了什么不可替代的工作。

奥卡姆这一枝让发生树保持轻盈，不是因为它拒绝复杂性，而是因为它要求每一根新增枝条交代自己为何需要。少一个空洞实体，可能多一个真正的问题；少一个万能解释，反而可能让具体发生第一次被看清。

留给读者的问题　删去这项条件，模型仍解释了原来需要解释的差别吗？