可能世界

---

模态逻辑语义学的基本概念。指可以想象而不包含逻辑矛盾的事物可能状态。最早由德国哲学家莱布尼茨(Gottfried Wilhelm Leibniz)提出，到本世纪才由美国逻辑学家克里普克等人引入模态逻辑语义理论。一般用w₁、w₂…表示一个个可能世界，由这些可能世界构成的集合记为W。现实世界也可以看成是一种可能世界，不过它是实现了的可能世界。用可能世界概念可以定义一系列模态逻辑的基本概念。如必然命题可以定义为：一个命题是必然的，当且仅当，它在一切可能世界中都是真的。根据此定义可以判定，“今天下雨或不下雨”是必然命题，而“今天下雨”不是必然命题。