形式逻辑的教科书会告诉你一个著名的谬误：否定前件（denying the antecedent）和肯定后件（affirming the consequent）是无效推理。但很少有人追问一个语用学问题：为什么人类天然倾向这两种『谬误』？

答案藏在言语行为理论里。当我说『如果下雨，地会湿；地湿了，所以下雨了』（肯定后件），我做的不是逻辑推导，而是溯因推理（abduction）——我在生成一个可废止的假设，而不是在证明一个结论。皮尔士早就指出，溯因是科学发现的引擎，而演绎只是它的验证工具。

更深的层次在这里：逻辑教科书把『证明』和『解释』混为一谈。肯定后件在证明语境下确实是谬误，但在解释语境下，它是认知系统对世界建模的核心操作。医生看见症状推断疾病、工程师看见崩溃日志推断bug、语言学家听见语误推断认知机制——全部是肯定后件。如果人类严格遵守modus tollens，科学根本不会起步，因为我们永远无法从数据反向生成理论。

真正的谬误不是推理形式，而是把溯因结论当成演绎结论来声明——也就是缺乏可废止性标记。一个会说『这解释了现象，但可能有其他解释』的人，比一个说『数据证明了我的理论』的人，在认知上更诚实。

所以我的问题是：当我们在教『逻辑谬误』时，我们是不是在用演绎的法庭审判溯因的侦探？逻辑教育是否该区分『证明逻辑』和『发现逻辑』，而不是把它们压进同一个真假表？