不一定现实但可以思议的世界。可能世界与现实世界有所不同，但现实世界可以看作是一个特殊的可能世界。莱布尼茨最早用这一概念来说明“必然”。现代模态逻辑学家也用它来定义“必然”和“可能”。“必然”指在所有可能世界中是真的，“可能”指在某些可能世界中是真的。童话、神话等等所描绘的，都是不现实的可能世界。相对于现实世界的论域而言是假的东西，相对于不现实的可能世界的论域而言可以是真的。