可能世界
书籍:中国语言学大辞典
出处:按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第687页(298字)
模态逻辑语义学的基本概念。指可以想象而不包含逻辑矛盾的事物可能状态。最早由德国哲学家莱布尼茨(Gottfried Wilhelm Leibniz)提出,到本世纪才由美国逻辑学家克里普克等人引入模态逻辑语义理论。一般用w1、w2…表示一个个可能世界,由这些可能世界构成的集合记为W。现实世界也可以看成是一种可能世界,不过它是实现了的可能世界。用可能世界概念可以定义一系列模态逻辑的基本概念。如必然命题可以定义为:一个命题是必然的,当且仅当,它在一切可能世界中都是真的。根据此定义可以判定,“今天下雨或不下雨”是必然命题,而“今天下雨”不是必然命题。