CHAPTER 20

第二十章　弗雷格：心理确信为什么不等于思想有效

把心理确信与思想有效性分开，再检查量词与推理。

一　全班都同意，结论仍可能不成立

设想一个课堂，老师提出一段推论，全班都觉得非常有道理。学生点头，例子生动，表达流畅，讨论气氛也很好。可是，只要一个前提并不能支持结论，这段推论就不会因为认同人数增加而变得有效。共同接受是一项真实发生，但逻辑成立是另一项需要判断的关系。

这一区别直接挑战任何知识发生论。我们当然可以研究人们怎样形成信念、怎样传播判断、怎样把某种说法稳定成共同知识；但这些研究尚未独自回答信念是否正确。一个错误也可以形成、传播并长期稳定。若把发生成功当成真理，认识论就会失去批评稳定错误的能力。

弗雷格节点把这个区分推到非常清楚的位置。它不要求我们否认思考活动有心理和历史条件，而要求我们不能用这些条件替代思想内容的有效性检验。[R20]

二　同一句话至少有四个层次

先用一个普通例子展开。有人说“每位参加者都收到一本书”。第一层是声音或文字的具体出现；第二层是说话者的意图与确信；第三层是句子所表达的内容；第四层是这个内容在相关事实中是否为真。四层相连，却不能互相替代。

录音可以证明一句话被说过，不能单独证明内容为真。真诚可以说明说话者没有故意欺骗，不能保证他没有误解。句法正确可以使内容清楚，仍不保证实际参加者都收到书。若不区分这些层次，知识系统就会把来源可信、语言流畅和事实正确混成同一种指标。

SDE在这里需要进行类型化。表达的S、信念的S与命题内容的S虽然都可以叫显露，但不是同一种分析对象。研究它们如何互相发生有意义，前提是先说明正在研究哪一层。弗雷格式要求因此不是删除E，而是限制某些E在逻辑有效性判断中的作用。

三　第一道约束：思想内容不由个人心理反应定义

弗雷格区分思想与个人表象，反对把逻辑规律还原为人通常怎样思考的心理规律。他的逻辑工作、对意义与指称的区分以及对数的研究，共同构成这一问题方向；具体立场须结合不同著作阅读。[R20]

在SDE重构中，第一项约束可以这样表述：当任务是检验某个推论时，不以说话者是否兴奋、是否熟悉、是否拥有权威作为有效性的定义。那些因素仍然可能解释他为什么接受推论，却不能直接决定推论成立。我们保留发生条件，同时改变它们的证据角色。

这个操作是一种方法性去心理化，而非把人从世界里删除。它让共同讨论拥有超出私人感觉的标准。即使我不喜欢某个结论，只要承认前提与规则，就必须认真面对它；即使我极其喜欢某个结论，也仍须说明它怎样得到。

四　第二道约束：把语法表面拆成逻辑关系

日常句子可以隐藏不同的结构。考虑“每个学生读过一本书”。它可能表示每个学生各自读过至少一本，不要求大家读同一本；也可能被误解成存在一本书被所有学生读过。两种意思在日常语气中相近，在逻辑上却不相同。

用现代一阶逻辑记号作本章的说明，可写成：∀x∃y R(x,y)，与∃y∀x R(x,y)。这里x取学生，y取书，R表示读过。前一个式子允许甲只读书一、乙只读书二；后一个式子要求至少有一本共同读物。因此，前式不能一般地推出后式。

这不是弗雷格原文符号的复制，而是借现代记法展示他所推动的量化分析问题。SDE能够把表达过程放进发生结构，但若不能保存量词次序，就会把不同思想误当作同一S。逻辑分析的精度不能被“都在纠缠中发生”这句总话取代。

五　用一个反模型让错误真正显露

设学生集合只有甲、乙，书的集合只有书一、书二。甲读过书一，乙读过书二，除此之外没有阅读关系。此时每个学生都读过一本书，所以∀x∃y R(x,y)为真；但没有一本书被两人都读过，所以∃y∀x R(x,y)为假。

这个小模型完成了一项明确工作：它给出前提真而结论假的情形，从而证明上述一般推导不有效。它不需要调查全世界学生，也不需要判断老师的动机。逻辑问题通过一个结构反例得到解决，心理与历史说明则属于另一层任务。

把它挂回SDE，E包含明确论域和解释，D是按规则构造与检查模型的过程，S是有效性判断。若改动E中的论域限制，比如全班只有一个学生，某些关系可能改变；但不能在推导过程中悄悄改变论域，再假装前后仍是同一个问题。这里的回写必须显式记录。

六　第三道约束：在一次证明中保持解释规则

现在尝试生成一个最小的形式推论场。我们从SDE活动中选出命题表达作为S，规定E包含稳定词义与真值解释，规定D只能使用公开推理规则。此时，许多现实互动暂时不进入证明内部：谁先提出、谁更有影响力、谁更希望结论为真，都不决定规则是否保持真。

这就是从发生框架进入局部逻辑系统的一种条件化路线。它不意味着三方程自己推出了所有推理规则，而意味着我们能够明确说明怎样从宽广发生任务中选取一种严格活动。形式逻辑的独特性，正在于这些附加约束，不在于字母数量。

若SDE将来声称包含某套逻辑，就必须保存这些约束并证明相关推理的保持性。把经典逻辑叫作“冻结E的特例”只是一句研究提案；只有词义、规则与语义对应真正建立，包含才开始获得明确内容。

七　一个可以实际检查的小推导

给定两个前提P以及P→Q，采用通常的二值真值解释。若P为真，而P→Q也为真，则Q不能为假；因为在P真、Q假的情形下，条件句P→Q为假，与前提要求不符。因此，Q为真。这说明该推理规则在所规定语义下保持真。

若一个推导的初始公理都有效，每一步又只使用保持真的规则，就可以逐步检查每个后续结论。对有限推导长度作归纳：起始步骤有效；假设此前步骤有效，下一步由可靠规则得到，因而仍有效。这样形成的可靠性说明，比画一条“前提到结论”的箭头多出了实质内容。

这里没有证明所有逻辑体系都相同，也没有证明任何日常条件句都服从同一解释。我们只是给出一个局部、明确定义的结果。它展示了发生树应怎样从一般说明进入严格论证：缩小任务，公开规则，指出语义，再证明结论保持什么。

八　意义相同与指向相同为什么不同

两种表达可能指向同一对象，却让人以不同方式理解它。知道两种表达具有同一指称，有时本身就是一项认知发现。弗雷格关于意义与指称的区分正涉及这类问题。[R20] 本章不把其全部语义学缩成“每个人观点不同”，因为认知方式的差别与私人感受并非同一回事。

在SDE中，指认结果可以视为某种S，而通向指认的D以及相关知识E不同。若系统只保存最终对象标识，就可能丢失这项差别。例如读者知道“某本书的作者”与一个姓名分别意味着什么，却尚不知道二者相同。直接合并节点，会抹掉真正需要学习的连接。

因此，动态哲学树不能只把同义词统一成一个标签，还要保存概念的进入路径。不同读者从不同问题来到同一哲学家，所需解释不同。共同指向一个节点，不意味着已经完成相同理解。

九　矛盾不能靠换一种语气消失

设一个知识系统同时保存P与非P，并在同一语义、同一时间范围、同一对象上都把它们视为真。若采用经典逻辑，就必须面对不一致问题。系统不能一方面使用经典推理的可靠性，另一方面在出现冲突时只说“这体现发生的丰富性”，而不说明规则是否已经改变。

当然，现实中的许多冲突并非逻辑矛盾。一个人既想独处又想陪伴，可能是价值需求冲突；今天喜欢某事、明天不喜欢，可能涉及时间改变；不同人给出不同评价，也未必是同一命题的肯定与否定。首先分清冲突类型，才知道需要哪一种逻辑或实践处理。

SDE三原理若讨论不适配如何引发变化，应明确它通常不是在允许任意命题矛盾自动生成真理。发生机制与形式推理之间需要桥梁。把所有冲突都叫矛盾，再宣布旧逻辑不够，反而会降低新框架的分辨力。

十　构拟场景：答案正确，理由却不成立

一个学生碰巧算对结果，却使用了错误推理。若评价只记录最终S，就会把偶然成功当成可靠能力。教师需要检查D：每一步是否有理由，规则是否适用，符号是否保持同义。只有这样，才能判断成功能否在新问题中重现。

但若只看规则，也可能忽略学生为什么误用。SDE把E重新带入：概念是否学过，例子是否造成误导，题目表述是否含混，反馈是否只奖励答案。逻辑分析指出错误在哪里，发生分析解释错误怎样形成，两者不是竞争，而是不同层次的工作。

最终的回写也应分层。学生修改推理，教师调整示例，评价系统记录理由而不只记录结果。这样，逻辑有效性的独立标准并未被取消，反而通过更好的发生条件获得支持。

十一　构拟场景：一句“大家都知道”怎样获得威力

在一次讨论中，有人说：“大家都知道这个方案会失败。”这句话可能同时执行两件事：提出一项关于方案的判断，又制造一种群体共识的压力。即使实际上很多人同意，方案是否失败仍需理由；即使只有少数人反对，他们的论证也不能因人数少而自动失效。

弗雷格节点帮助我们抽出命题内容，要求说明依据。SDE则继续研究“大家都知道”这一表达怎样改变讨论E：它可能使犹豫者不敢提出问题，让未检验的判断显露为共识。这里逻辑与互动分析互相补充，既不忽略内容，也不忽略表达的社会作用。

这个应用不能被用来假装自己完全没有立场。每个人都带着目标和条件进入讨论，区别在于是否允许理由被公开检查。去心理化不是否认人的存在，而是在特定判断中不给心理压力最终裁判权。

十二　客观性是不是一定要住在一个超经验世界

从思想内容不等于个人心理反应，到思想具有何种存在方式，仍有进一步问题。弗雷格的相关主张需要放在他的整体哲学中理解。[R20] 本书不能仅凭逻辑有效性具有公共约束，就直接证明某种独立思想领域；也不能仅凭思想由人表达，就把它化约成私人事件。

SDE可以研究一种替代性任务：公共规则怎样形成、怎样被保存、怎样允许超出当前个人判断的纠错。但这种发生研究还必须解释规范力量，而不能只报告大家事实上如何使用规则。规则若只是多数习惯，就难以说明多数人同时出错的可能。

因此，弗雷格对SDE的压力具有长期价值。新逻辑体系要超出旧体系，首先得能够保存旧体系已经严格区分的东西。若把心理发生、社会接受与逻辑有效重新混在一起，范围看似更大，实际说明却可能更粗。

十三　把形式化视为一种承担，而不是装饰

本章展示的条件路线是：从真实思考活动出发，选取可共享的思想内容，限制心理因素对有效性定义的作用，明确论域、语义与规则，再逐步证明推理保持什么。它能够说明一种形式逻辑实践怎样在SDE中被定位，却不冒充已经从三方程演绎了弗雷格全部体系。

在生活导航中，弗雷格适合被调用来处理“我很确信，所以一定对”“大家同意，所以已经证明”“符号漂亮，所以推导严密”等处境。它也适合帮助研究者从模糊论证进入可检查的局部模型。

这一枝最终教会发生树的是：思想不仅需要发生，还需要承担有效性的要求。一个更广阔的哲学框架不能靠取消这种要求取得胜利。真正的广阔，应当让发生过程与严格判断各有位置，并让二者在清楚的接口上相互支持。

原典阅读入口：《概念文字》《算术基础》以及《论意义和指称》《思想》等论文。原文符号与本章使用的现代逻辑记号并不完全相同，阅读时应区分。[R20] 相邻节点：第二十一章罗素、第四十九章维特根斯坦、第五十九章波普尔。

留给读者的问题　你确信一个结论，与它在给定规则下成立，是同一件事吗？