邏輯可能性

那些使用可能世界概念的人認為“實際”世界是很多可能世界中的一個。對於世界可以是的每個不同方式，都被稱為一個獨特的可能世界；實際世界是我們事實上住在的世界。命題的模態狀態被按照“在其中它為真的世界”的方式來理解；所以：

真命題是“在實際世界中為真”的命題。

可能命題是“至少在一個可能世界中為真”的命題。

偶然命題是“在一些可能世界中為真在另一些中為假”的命題。

必然命題是“在所有可能世界中為真”的命題（例如：“明天或者下雨或者不下雨。”）

不可能命題（或“必然假命題”）是“不在可能世界中為真”（例如：“老王和老張同時比對方高。”） ^[1]