模態演繹推理

模態演繹推理是以模態命題為前提並根據模態命題的邏輯性質進行推演的演繹推理。模態演繹推理分為直接模態推理和間接模態推理。直接模態推理有：根據模態命題的邏輯方陣進行推演的模態推理和根據“實然…‘必然…‘可能”的關係進行推演的模態推理。前者如：“違背客觀規律的要求是必然要失敗的（‘必然p’真），所以，違背客觀規律的要求不可能不失敗（‘可能非p’假）。”後者如：“實驗成功了是真的，那么，實驗可能成功也是真的（即如果‘p’真，則‘可能p’也真）。”

間接模態推理主要有在三段論系統中引入模態概念而構成的模態三段論。包括在三段論的前提中引入“必然”這一模態概念而構成的必然模態三段論，和在三段論的前提中引入“可能”這一模態概念而構成的可能模態三段論，以及在三段論的兩個前提中分別引入“必然”和“可能”這兩個模態概念而構成的必然和可能兩種模態相結合的模態三段論。參見“模態三段論”。