否定后件式

定义

否定后件式是有效推理形式：若 P 则 Q；并非 Q；所以并非 P。

深入理解

否定后件式在通常的经典命题逻辑中具有形式：若 P 则 Q；非 Q；故非 P。有效性指在前提成立时结论不能为假，不保证前提本身真实。经验检验还可能依靠辅助假设；预期结果不出现时，受挑战的是共同前提，不必唯一指向某个理论。

思考如何推进

1. 明确条件句。
2. 核查后件否定。
3. 推出前件否定。
4. 另查前提真实性。
5. 经验应用中列出辅助条件。

例子

假定设备得到正常供电时，一个必然联动的指示灯就会亮。灯未亮；在该必然联系可靠的前提下，可推出设备没有正常得到供电。

反例与界限

从“下雨则路湿”和“没有下雨”推不出“路不湿”，因为其他原因也能使路湿；这是错误地否定前件。

与相近概念的区别

不同于肯定后件或否定前件；非 P 不能据若 P 则 Q 直接推出非 Q。

研究与应用

逻辑及科学论证分析可把形式有效性与模型、测量和前提可靠性分开。

作用与限制

使不符合预期成为有方向的反驳，同时限制反驳究竟打中了什么。

共鸣

结果没有出现，理由链上至少有一处需要重查；哪一处仍须证据。

为什么收录这个概念

提供严格反向推论，并防止把逻辑形式当作自动证伪机器。

从中文阅读出发

三语条件句在日常使用中可能含默认或概率，须先确认是否适合严格条件逻辑，不能只凭“如果”二字套公式。

历史背景与来源范围

Mill 的相关讨论说明必要结果推理的非对称，不据该段断言拉丁名称或德语术语的首例。

实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。

已整理的历史背景

第V卷第VI章区别两种推理：必要后件为假，可合理推出前件为假；后件为真却不能因此确立前件。这记录英语历史论述中的逻辑非对称，不给拉丁名称 modus tollens 定年，也不建立其德语学科接受史。

历史分析的结论与边界

检验预测所依赖的共同假设。预期结果并不能唯一证实为它提出的解释。

来源与查阅范围

下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。

德文原条目与来源 → · 英文原条目与来源 →

引用本条

Reich, Michael（编）：否定后件式，AT-134-027。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。