模态逻辑

---

研究判断之结构的逻辑系统，在判断中包括了各种模态(模态算子)——“必然性”、“可能性”、“现实性”、“偶然性”及其否定。

在亚里士多德、斯多葛派哲学家和经院哲学家的著作中，就已提出了模态逻辑的某些基本定义和定律。用数理(符号)逻辑方式研究模态，是由К．刘易斯和卢卡西维茨开始的。他们指出了模态逻辑系统，在该系统中模态具有绝对的性质，即模态决定于表述，而与任何另一个表述无关。

现在，正在研究著包括相对模态在内的所谓相关的模态逻辑。有人以模态算子的内在涵义来区分阿列季的模态逻辑、认识论模态逻辑和杰翁季的逻辑。在模态逻辑的语义学方面取得了重大成果的是С．克里普科。