| 纯粹假言推理 pure hypothetical inference 亦称“假言联锁推理”。前提和结论都为假言命题的假言推理。它通过前提中第一个假言前提的后件与后一个假言前提的前件的相同而将两个假言前提联结起来，从而推出一个假言命题的结论。如：“如果物体磨擦，那么物体就会生热;如果物体生热，那么物体就要膨胀;所以，如果物体磨擦，那么物体就要膨胀。”纯粹假言推理的前提可以是两个假言命题，也可以是两个以上的假言命题。组成纯粹假言推理的前提可以是充分条件的，或必要条件的，或充分必要条件的，因而纯粹假言推理也相应地区分为：(1)充分条件纯粹假言推理。其前提皆为充分条件假言命题，必须遵守充分条件假言推理的规则。其推理形式有：肯定式“如果p，那么q;如果q，那么r;所以如果p，那么r”;否定式“如果p，那么q;如果q，那么r;所以如果非r，那么非p”。(2)必要条件纯粹假言推理。其前提皆为必要条件假言命题，必须遵守必要条件假言推理的规则。其推理形式有：肯定式“只有p，才q;只有q，才r;所以如果r，那么p”;否定式“只有p，才q;只有q，才r;所以如果非p，那么非r”。(3)混合条件纯粹假言推理。其前提为几种不同条件的假言命题，一般第一个前提为充分必要条件假言命题，第二个前提为充分条件假言命题或必要条件假言命题。它应遵守有关充分条件假言推理或必要条件假言推理的规则。其推理形式为：“当且仅当p，则q;如果q，则r;所以，如果p，则r”;或者“当且仅当p，则q;只有q，才r;所以，只有p，才r”。 |