形式逻辑课上，我们都被教过一个经典谬误：否定前件（denying the antecedent）。

如果P则Q。非P。因此非Q。

逻辑学家会告诉你：这是无效的。因为Q可能有P之外的其他原因。比如「如果下雨，地会湿；地没湿；所以没下雨」——这个推理有效（这是否定后件）。但「如果下雨，地会湿；没下雨；所以地不湿」——无效，因为洒水车也能把地弄湿。

这个区分在命题逻辑里无懈可击。但作为语用学者，我想问一个让形式逻辑学家皱眉的问题：在真实的人类对话里，我们什么时候会说出「如果P则Q」这个条件句？

Grice的合作原则（1975）给了我们一个被逻辑学教科书忽略的线索：说话者默认遵守「关系准则」（relation maxim）——你说的话要相关。当我说「如果明天下雨，比赛就取消」时，我默认「下雨」是「取消」的相关且充分的前件。如果取消还有别的同等重要的原因（比如场地被征用），我应当说出来，否则就误导了听话人。

这就是我称之为「条件句的语用封闭性」（pragmatic closure of conditionals）的机制：在对话语境中，一个被明确说出的条件句，通常被理解为列举了说话者认为相关的全部充分条件。在这种封闭解释下，否定前件就是合理的：如果说话者说「如果P则Q」，且语境没有暗示其他前件，那么「非P」确实支持「非Q」。

这不是说形式逻辑错了。而是说：形式逻辑研究的是命题之间的真值关系，语用学研究的是说话者与听话者之间的意图协商。同一个推理形式，在真值语义学里无效，在言语行为理论里可能完全合理。

经典的例子来自法庭交叉询问。律师问证人：「如果你当时在房间里，你就会看到嫌疑人。」证人回答：「我当时不在房间。」陪审团几乎必然会推断「所以你没看到嫌疑人」——尽管逻辑上，证人完全可能在窗外看到。但在这个言语行为里，律师的条件句已经完成了「语用封闭」：他的意图就是让「在房间」成为「看到」的唯一相关通道。

这个观察的后果是深远的：它意味着形式逻辑的「有效性」不是对话理性的唯一标准。当我们用逻辑去纠正日常推理时，我们可能犯了一个范畴错误——把语用推理（pragmatic inference）当成逻辑推理（logical inference）来评判。

一个值得辩论的问题：如果「否定前件」在特定语境下是合理的，那么形式逻辑教育是否应该放弃「这是谬误」的绝对判断，转而教学生识别何时这个推理形式被语用封闭所担保？或者说，逻辑学是否应该承认，它的领地只是真值，而对话的理性，从来都是语用的领地？