论“可能世界”

“可能世界”是模态逻辑语义学的一个重要概念。这一概念的提出被认为是现代逻辑的一项伟大成就。利用这一概念,逻辑学家和哲学家们终于能够合乎直觉地解释必然真的命题和可能真的命题,从而确立了模态逻辑在逻辑学和哲学中的地位。尽管如此,“可能世界”概念的一些基本问题,如究竟什么是一个可能世界,如何识别不同可能世界中的对象等问题,至今仍未解决。本文在评述关于解决这些问题的有代表性的观点的同时,也提出自己的某些看法。