先讲个非虚构故事！显然，现实世界中的你正在阅读《什么是可能世界》这篇哲学笔记。站在当下，我们可以想象，要么你接下来看懂了、要么你最终没看懂。此刻，我们构造出了3个世界：你正在看但还没看完的「现实世界」、你看了并且看懂了的「可能世界」、你看了却没看懂的「可能世界」。严格来说，这3个世界都是我们可以想象的世界 —— 这种可以被人类理性所构造并理解的世界都是一个个可能世界 (possible worlds)。
「可能世界」是现代逻辑的术语，它与「命题」紧密相关：
- 一个命题是 真命题 或 实真命题 (a true proposition or actually true proposition)，当且仅当，它在现实世界中是个真命题。例如「你正在阅读这篇哲学笔记」这个命题 —— 它是真的，因为你确实 正在读它。
- 一个命题是 假命题 或 实假命题 (a false proposition or actually false proposition)，当且仅当，它在现实世界中是个假命题。例如「你此刻在聊微信」这个命题 —— 它是假的，因为你在读笔记就不是在 聊微信。
- 一个命题是 可能命题 或 可真命题 (a possible proposition or possibly true proposition)，当且仅当，这个命题在至少一个可能世界 中是个真命题。例如「你看了却没看懂」这一情况是有可能 发生的。
- 一个命题是 偶然命题 或 偶真命题 (an contingent proposition or contingently true proposition)，当且仅当，该命题在一些可能世界中是个真命题、同时在其他可能世界中是个假命题。例如「我相信上帝」这种断言显然不符合每个人的实际情况，因为有的人是无神论者 —— 由于这一命题在基督徒那里是真的、在无神论者那里是假的，所以它在一些情况下是真的、在另一些情况下是假的 —— 从而是偶然命题。
- 一个命题是 必然命题 或 必真命题 (a necessary proposition or necessarily true proposition)，当且仅当，该命题在所有可能世界中都是个真命题。例如「逻辑真理是颠扑不破的」在任何一种 人类可以想象的可能世界 中都是真的，所以是必然真理，也就是必然命题。
- 一个命题是 不可能命题 或 必假命题 (an impossible proposition or necessarily false proposition)，当且仅当，该命题在所有可能世界中都是个假命题。例如「自相矛盾的概念是可以被构造的」这一命题 —— 在任何一种人类可以想象的可能世界中，我们都无法构造 出自相矛盾 的概念，所以 —— 这句话是必然假的，也就是不可能命题。
用逻辑语言来表述这些命题 —— 假设 p 是命题变元，w 是可能世界变元，wa 是可能世界常元「现实世界」：
- p 是真命题，当且仅当，在可能世界 wa 中 p 是个真命题。
- p 是假命题，当且仅当，在可能世界 wa 中 p 是个假命题。
- p 是可能命题，当且仅当，至少存在一个可能世界 w ，p 在其中是个真命题。
- p 是偶然命题，当且仅当，至少存在一个可能世界 w ，p 在其中是个真命题；并且，至少存在一个可能世界 w ，p 在其中是个假命题。
- p 是必然命题，当且仅当，在任一可能世界 w 中，p 都是真命题。
- p 是不可能命题，当且仅当，不存在一个可能世界 w ，p 在其中是个真命题。
直观地说，可能世界就是可以任由理性构造出的无逻辑矛盾的理念世界。由于我们找不出一个容纳不可能命题的可能世界，所以，由前5种命题中的一种或者几种命题构造出的理念世界 都是 可构造的可能世界。
