模态推理

---

前提或结论中包含必然判断或可能判断的推理。

它包括模态判断对当关系推理和模态三段论等。

模态对当关系推理是根据模态判断对当关系中必然的真假联系进行的直接推理。它包括下列有效式：(1)□P→◇P．(2)(3)(4)(5)(6)(7)(8)(9)(10)(11)(12)(13)(14)(15)(16)

模态三段论是前提或结论中包含必然或可能判断的间接推理。它是在直言三段论中引入必然或可能模态词组成的。

它可以分为必然模态三段论、必然直言三段论、必然可能三段论、可能模态三段论和可能直言三段论几种。每种都可以分为四个格，各有其有效式。

如必然模态三段论第一格的下列式都是有效式：

它们只有遵守直言三段的规则并且遵守模态三段论的特有规则才是有效的。其特有规则的基本原则是结论的模态不得强于前提的模态。

如前提中有可能判断，结论只能为可能判断。

模态推理在预测和决策过程中具有重要作用。