不可能世界論
哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。不可能世界 "w" は、それはある意味で"不可能"であることを除けば、（それが何であれ）可能世界と同種のものである。文脈によって、ある矛盾が "w" では真となること、論理学または形而上学の正規の規則が "w" では成立できないこと、またはその両方を意味する。
非正規世界 (non-normal world) と言うこともある。