模态 编辑
模态逻辑，或者叫内涵逻辑，是处理用模态如“可能”“或许”“可以”“一定”“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化：“乔治·布什是美国总统”和“



2
+
2
=
4


{\displaystyle 2+2=4}

”是真的，但是“乔治·布什必然是美国总统”是假的，而“



2
+
2
=
4


{\displaystyle 2+2=4}

是必然的”是真的。
1
相关
命题性模态与事务性模态是对于信念、想望、模态等内涵性语句的两种不同解读方式。
命题性模态与事务性模态是对于信念、想望、模态等内涵性语句的两种不同解读方式。
命题性模态与事务性模态是对于信念、想望、模态等内涵性语句的两种不同解读方式。