摘要:模态逻辑 正文 逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题"必然 A"和"可能 A"与通常命题演算中的命题不同。后者是真值函项,前者不是。因为,当A真时,"必然A"既可以是真也可以是假;当A假时,"可能A"既可以是真也可以是假。 模态三段论 早在古希腊,亚里士多德详细研究过模态三段论。他把命题分为 3种:①实然命题的形式是,"a是b";②必然命题的形式是,"a必然是b";③偶然命题的形式是,"a偶然是b"。后两者属于模态命题。亚里士多[阅读全文]