语力逻辑：解析情绪推理中的非真值陈述
核心观点
- 标准认知行为疗法（CBT）主要依赖真值功能逻辑（truth-functional logic）来帮助来访者克服非理性思维，例如识别过度概括和错误假设。
- 然而，许多常见于情绪推理中的表述（如“我绝不能失败”）并非真值功能性的（neither true nor false），其意义在于言语行为的力量（illocutionary force），而非命题内容。
- 本文提出的“语力逻辑”（Force Logic, F2）是一种用于精确分析此类表述的新逻辑框架，它区分了“要求”、“报告”和“自我谴责”等不同的言语行为。
- 将语力逻辑整合进CBT，可以帮助治疗师和来访者厘清情绪认知中具体言语行为的性质、承诺、逻辑关系，以及经验能够与不能验证的方面，从而避免混淆。
标准CBT的局限：被忽略的非真值陈述
标准认知行为疗法（CBT）在处理来访者的非理性思维时，主要依靠真值功能逻辑。来访者通过学习注意经验证据和寻找替代性解释，来避免过度概括（如“我的伴侣总是在抱怨”）和错误假设（如“老板今天没跟我打招呼，肯定是要解雇我”）。
这种方法的价值不可估量，但它无法处理那些既非真也非假的表述。例如“我绝不能失败”、“别人应该总是公平地对待我”、“我是个坏人”。这些表述通常出现在情绪推理中，支撑着抑郁、焦虑、愤怒和内疚等情绪。
什么是语力逻辑？（Force Logic, F2）
一个表述的语力（illocutionary force），指它在被说出时执行某种特定言语行为的潜力。例如，“我绝不能失败”这句表述，当对自己说出时，其潜力是对自己提出要求。
原文参考：The illocutionary force of a locution is its potential to perform a certain type of speech act when spoken.
如果把这看作是对主观状态的报告（“我不想失败”），就会混淆真值功能逻辑和语力逻辑。因为行为者通常并非意在报告主观欲望，而是在对自己提出要求。
在操作层面，“必须”（must）一词的使用意味着：
- 行为者正在提出一个要求。
- 这个要求覆盖在一个模态“必然性”算子（necessity operator）之上。
在模态逻辑中，这个算子常用符号“□”表示，意为“在所有可能世界中为真”。对于“要求”，F2使用闪电符号“Ϟ”表示一个语力算子，后接“s-dd”表示自我指涉的要求（self-referential demanding）：
Ϟ s-dd [(□ 我不失败)]
因此，在执行上述表述的瞬间，主体就在要求：在所有可能的情境中，自己都不失败。
应用语力逻辑解析情绪推理
语力逻辑能够映射情绪推理中的真值功能成分和模态成分。以一个典型的认知扭曲为例：
- 我绝不能失败。
- 我考试失败了。
- 所以，我是一个彻头彻尾的失败者。
在F2中，符号“Ϟ rt”表示“报告”的行为。因此前提2可以表示为：Ϟ rt (我考试失败了)
这有效地报告了主体在当前所处的世界中考试失败了。
F2 还使用“Ϟ s-dn”来表示自我谴责（self-damning）的行为。当用F2符号化后，上述情绪推理如下：
Ϟ dd [□ (我不失败)]Ϟ rt (我考试失败了)∴ Ϟ s-dn [□ (我是个失败者)]
在这个符号化的推理中，前提1提出了一个要求（Ϟ dd），它本身并不是一个真值功能的报告（Ϟ rt）。它所要求的普遍状态（□）基于人类经验来看可以被称为不现实或不太可能实现。
对治疗实践的启示
关键在于：前提1并非一个可以被检验的报告或预测。要求本身既非真也非假。
因此，如果治疗师告诉来访者“我绝不能失败”这个前提是“假的”，实际上是在误导来访者。
与之相对，前提2则是一个真值功能的报告，因此可以被经验证伪。例如，治疗师可以指出：“事实上，老师调高了分数，你是全班最高分之一！”
由于结论3中包含了必然性算子（□，即“彻头彻尾”的失败，意为在所有可能世界中的失败），这个结论同样可以被经验挑战。例如，治疗师可以问来访者：“你在其他事情上也没有成功过吗？”
在某些情况下，来访者可能只是想表达“因为考试失败，所以我是个失败者”，而不考虑其他任何成功或失败。这时，结论可以不用必然性算子来表述：
(3*) Ϟ s-dn (我是个失败者)
此时，3* 除了报告“我考砸了”这一事实外，不做出任何真值功能的报告。
总结
语力逻辑可以被整合到真值功能逻辑和模态逻辑中，帮助厘清焦虑和抑郁等认知情绪中具体的言语行为：它们对我们意味着什么承诺、彼此间的逻辑关系，以及经验能（与不能）就此确立什么，从而避免大量的潜在混淆。