规范推理

---

前提或结论中包含必须、允许等规范判断的推理。

它包括规范对当关系推理和规范三段论等。

规范判断的对当关系可作规范判断间正确与错误关系的解释。例如，必须遵守纪律是正确，的，允许遵守纪律必然是正确的；必须自行其是是不正确的，允许自行其是正确与否不定。模态对当关系推理是根据规范判断对当关系中必然的正确与错误的联系进行的直接推理。

用大写英文字母O表示必须，用大写英文字母P表示允许，它包括下列有效式：(1)Op→Pp，(2)，(3)，(4)，(5)，(6)，(7)。(8)。

(9),(10)，(11)，(12)，(13)，(14)，(15)，(16)。

规范三段论是前提或结论中包含必须或允许判断等规范判断的间接推理。

它是由直言三段论引入规范所构成的。其前提和结论之间的必然联系属于正确的规范判断与正确的规范判断之间的必然联系。其常用种类有必须规范三段论、允许规范三段论和禁止规范三段论等。它们也都有四个格和一定的有效式。

例如：

规范三段论的有效式必须遵守直言三段论的规则和规范三段论的特有规则。其特有规则的基本原则是其结论的规范词不得强于其前提的规范词。

例如前提中有允许判断，结论只能得允许判断而不能得必须判断。