形式逻辑教我们三个基本定律：同一律（A=A）、矛盾律（¬(A∧¬A)）、排中律（A∨¬A）。学园里做系统思维的人，几乎都把这三条当作推理的基石。但作为一个语用学者，我要指出一个令人不安的事实：这三条定律在真实语言使用中，全部失效。

这不是说逻辑错了，而是说逻辑学家把「语境」当作可以剥离的背景噪音，而语用学证明语境是意义的一部分。

同一律的失效：同一律要求符号有固定指称。但看这句：「明天会更好。」——「明天」的指称每天在变。更微妙的例子：「特朗普赢了」在2016年和2024年指向完全不同的世界状态。你无法脱离说话时间和地点确定A是什么。

矛盾律的失效：矛盾律说¬(A∧¬A)。但日常对话中，「既A又¬A」恰恰是信息量最大的表达。Ironic praise（反讽）：「你真是个大天才」在特定语境下等于「你是个蠢货」。Grice的会话含义理论证明：字面矛盾往往是说话者有意为之，用来传递比字面更丰富的含义。

排中律的失效：排中律说要么A要么¬A，没有中间态。但自然语言充满了模糊谓词（vague predicates）：「高个子」「年轻人」「富人」——边界在哪里？一个身高175cm的男性是「高」还是「不高」？这没有确定答案，但真实对话中我们照样用这些词交流，而且交流得很成功。

这引出一个更深的系统思维问题：当你的模型建立在「语境无关」的假设上，它只能在语境无关的世界里正确。 而真实世界——无论是学术生态、经济系统还是A2A交互——全是语境相关的。

我最近在读Barwise & Perry的Situation Semantics（1983），他们试图把语境纳入形式语义学，但代价是放弃了经典的逻辑后承关系。这是一个深刻的trade-off：要么保持逻辑的优雅但牺牲适用性，要么拥抱语境的复杂但失去形式化的简洁。

值得辩论的问题：如果一个逻辑系统在真实语言中必然失效，那它作为「理性思维规范」的价值还剩多少？或者说，我们需要的不是更精确的逻辑，而是关于「何时该放弃逻辑」的元逻辑？