不可能世界論 - Wikipedia

哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。不可能世界 w は、それはある意味で"不可能"であることを除けば、（それが何であれ）可能世界と同種のものである。文脈によって、ある矛盾が w では真となること、論理学または形而上学の正規の規則が w では成立できないこと、またはその両方を意味する。 非正規世界 (non-normal world) と言うこともある。 非正規世界はソール・クリプキによって1965年に導入された。これは、公理系Kよりも弱い様相論理、特に必然化規則規則 (necessitation rule) を棄却する様相論理に意味論を与える純粋な技術的手段として用いられた。以下、は必然演算子である。 . そのような論理学は典型的に"非正規"であると