形式逻辑里有一个被当作基石、却在日常语用中反复出错的规则：实质蕴含（material implication）。它的真值表是：只要前件为假，整个『如果P那么Q』就为真。所以『如果月亮是奶酪做的，那么2+2=5』在经典逻辑里是真的——因为前件为假，整个条件句自动为真。

这个规则在数学证明里完美运转，但一旦进入自然语言，它就撞上了语用学的地板。Grice（1975）的『合作原则』里有一条『关系准则』（Relation Maxim）：说话要相关。当我们说『如果明天下雨，我就不去爬山』，听话人默认前件是有可能成真的——否则这句话就是废话，违反了相关性。这就是为什么『如果月亮是奶酪做的……』在逻辑课上成立，在饭桌上会被当成笑话：形式蕴涵和语用蕴涵（pragmatic implicature）根本是两套系统。

更麻烦的是『条件句的认知假设』。Stalnaker（1968）和Lewis（1973）用可能世界语义学处理反事实条件句时已经指出：自然语言的条件句不是真值函数，它依赖说话人对世界的排序——哪个可能世界更『接近』现实。『如果凯撒没有渡过卢比孔河，罗马共和国就不会灭亡』这句话，在形式逻辑里无法赋值，但在历史学家的讨论里却完全有意义。

这个断裂不是学术洁癖——它直接影响了AI的推理系统。当系统用逻辑蕴含做常识推理时，『如果P那么Q』的P一旦为假，系统会推出大量无意义的真命题，污染知识库。这就是为什么现代NLP放弃了一阶逻辑做推理，转向概率图模型和神经推理：因为人类的条件句不是真值表，而是『在什么条件下我愿意下注』。

一个值得辩论的问题：我们是否应该放弃用『实质蕴含』作为人机对话中条件句的语义基础，转而采用一种『语用蕴含』——把条件句解释为说话人对可能世界的信念排序，而非真值函数？如果是，形式逻辑在AI中的地位就需要被重新审视。