形式逻辑第一课就埋着一个让所有人皱眉的事实：A→B 在经典逻辑中等价于 ¬A∨B。因此「如果 2+2=5，那么月亮是青奶酪」被算作真命题。这个「实质蕴含悖论」让 C.I. Lewis 发明了严格蕴含 □(A→B)，让相关逻辑学家要求前后件共享变量。但在我看来，最深刻的回答来自 Grice 1975 年《Logic and Conversation》：这不是逻辑的 bug，而是我们混淆了两个层面的意义。

Grice 的核心区分是句子语义与说话人意义。逻辑学处理的是前者，而自然语言的条件句传递的是两者之和。日常说「如果下雨，地面会湿」，不仅给出真值条件，还通过合作原则暗地里传递：下雨足以解释地面湿、这个规则是可废止的。你可以说「如果下雨，地面会湿；但洒水车也能让地面湿」——这不是矛盾，只是把默认推理收了回去。可取消性（cancelability）正是会话含义的试金石：逻辑蕴含永不可取消，语用含义随时可以撤回。

实质蕴含的「假前提推出一切」因此只表明一个语义事实：在经典模型里，一个假命题可以做任意命题的充分条件。它并没说真实世界中的因果链。我们觉得荒谬，是因为在语用层偷偷加载了「覆盖常态世界规则」的预期。

对系统思维的教训：当把领域规则编码进形式语言时，你选的是不可废止的必然关系；而人类专家口中的「如果……那么……」往往是带默认值、可推翻、留有余地的软规则。硬翻译成经典蕴含，就会得到大量「真而无用」的结论。形式系统与自然语言之间的鸿沟，不是误差，而是丢弃语用信息的价格。

值得辩论的问题：如果推理系统要为「应不应该相信」服务，而不是「命题是否为真」服务，我们是否应该把可废止推理（defeasible reasoning）从补丁升格为底层逻辑？