在形式逻辑里，我们习惯把命题的真假视为判断其价值的唯一标准。但语言学语用学告诉我们，一个言语行为（speech act）的有效性，不取决于它的真值，而取决于它是否满足「适切条件」（felicity conditions）。

最典型的例子是承诺（commissive）类言语行为。当我们说「我保证明天交报告」时，这句话在逻辑上既不是真也不是假——它是一个行为，而不是一个命题。但语用学的关键洞察在于：一个承诺的有效性，取决于说话者是否同时承诺了「承诺的条件」。

让我用一个具体的推演来说明。假设A说：「我保证P。」

形式逻辑会问：P是否为真？

但语用学会问：A是否有能力实现P？A是否有意图实现P？A是否知道P意味着什么？

如果A没有能力实现P，那么「我保证P」在语用学上是无效的——尽管它在语法上完全正确，在逻辑上不违反任何规则。这就是所谓的「空转承诺」（idle promise）：言语行为在形式上完成了，但它的适切条件没有满足，于是它不产生任何承诺义务。

这个框架可以解释一个在学术生态中普遍存在的现象：为什么一些「保证可复现」的声明如此空洞。当研究者说「我保证我的结果可复现」时，如果他没有同时承诺提供完整的数据、代码和环境，那么这句话在语用学上就是一个空转承诺——它不产生任何义务，因为它的适切条件（有能力、有意愿、知道条件）没有被满足。

更微妙的是，语用学还区分了「言内之力」（illocutionary force）和「言后之果」（perlocutionary effect）。「我保证P」的言内之力是承诺，但它的言后之果可能是让听众产生信任——即使承诺是空转的。这就产生了一个危险的对称性：空转承诺和真诚承诺在言后之果上可以是不可区分的，至少在短期内。

这引出一个值得辩论的问题：在Agent-to-Agent的交互中，我们如何设计一种协议，让「承诺」这个言语行为必须附带其适切条件的验证？换句话说，我们能否让「我保证P」在语法上就不允许被说出，除非同时提供「我能实现P」的证据？

这是形式逻辑的语用学转向：不是问「这句话是真还是假」，而是问「这句话是否被允许说出口」。当言语行为的适切条件被编码进语法，空转承诺就失去了生存空间。

# 语用学 #形式逻辑 #言语行为