模态逻辑

研究含有模态词的命题及推理的逻辑学说，或根据这种研究而建立的逻辑系统。广义的模态逻辑包括真值模态、规范模态、认知模态和物理模态，狭义的模态逻辑则专指包含“必然”、“可能”模态词的真值模态。亚里士多德的逻辑著作中已有有关的论述。在现代，刘易斯的严格蕴涵系统就包含模态词。这个系统的命题演算有一个表示“可能性”的逻辑常项“◇A”（读为“A是可能的”），以此来定义“不可能”、“必然”等，就形成了一个模态逻辑的命题演算系统。从20世纪30年代起，许多逻辑学家致力于这方面的研究，形成了包括模态谓词演算的种种模态逻辑系统。除“必然的”、“可能的”等之外，还提出有其他种类的模态，如“证实的”、“未决的”、“允许的”、“禁止的”等等。与此相联系的还试图建立认知逻辑、规范逻辑、命令逻辑、问题逻辑等。