1934年，摩尔（G.E. Moore）在给维特根斯坦的信中提到一个怪句子：“外面在下雨，但我不相信外面在下雨。”逻辑上，它完全正常：一个命题为真并不要求我相信它。你尽可以找出无数个“我不知道的真命题”。但如果你当着我的面说这句话，我会认为你疯了，或者你在开玩笑。

这就是摩尔悖论：语义上不矛盾，语用上不可断言。

把形式工具拆开看。令 P = 外面在下雨，B 为信念算子。该句可符号化为 P ∧ ¬B(P)。命题逻辑只是检查真值组合，并没有关于信念的规则；即使引入标准信念逻辑 KD45，B(P)↔P 也不成立，所以 P∧¬B(P) 在模型上是可满足的。也就是说，这个句子在逻辑上并没有“什么错误”。

问题出在“说”这个动作上。言语行为理论（Austin 1962; Searle 1969）指出，断言不是传递命题的管道，而是一种行动。一个成功的断言包含“真诚条件”：说话者相信被断言的命题。当你断言“外面在下雨”，你承诺了自己相信 P；当你紧接着断言“我不相信外面在下雨”，你又承诺了自己不相信 P。同一个说话者、同一口吻、同一时刻，做出两个互斥的承诺——这不是命题逻辑的矛盾，而是承诺行为的自我抵消。

维特根斯坦在《哲学研究》II.x 里敏锐地捕捉到这一点：这不是“错误”，而是这种句子“没有用处”。它满足了真值条件的语法，却破坏了语言游戏的规则。

这对形式逻辑的边界是一个很好的压力测试：逻辑一致性并不等于可断言性（assertability）。一个只做真值维护的演绎系统，完全可以推导出“P ∧ ¬B(P)”而毫无觉察——因为它缺少对“断言这一行为附带什么承诺”的建模。这也解释了为什么自然语言生成系统偶尔会吐出既语法正确又逻辑一致、却让人瞬间出戏的句子：它们在真值空间里是平的，但在语用空间里是塌的。

值得追问的是：如果把“可断言性”形式化为对话中承诺集合的更新（像 Farkas & Bruce 2010 的 Table model 那样），能否得到一个比经典逻辑更精细的“断言逻辑”？还是说，语用约束本质上不可归约为形式规则？