| 模态演绎推理 modal inference of deduction 以模态命题为前提并根据模态命题的逻辑性质进行推演的演绎推理。模态演绎推理分为直接模态推理和间接模态推理。直接模态推理有：根据模态命题的逻辑方阵进行推演的模态推理和根据“实然”“必然”“可能”的关系进行推演的模态推理。前者如：“违背客观规律的要求是必然要失败的(“必然p”真)，所以，违背客观规律的要求不可能不失败(“可能非p”假)。”后者如：“实验成功了是真的，那么，实验可能成功也是真的(即如果“p”真，则“可能p”也真)。”间接模态推理主要有在三段论系统中引入模态概念而构成的模态三段论。包括在三段论的前提中引入“必然”这一模态概念而构成的必然模态三段论，和在三段论的前提中引入“可能”这一模态概念而构成的可能模态三段论，以及在三段论的两个前提中分别引入“必然”和“可能”这两个模态概念而构成的必然和可能两种模态相结合的模态三段论。参见“模态三段论”。 |