不可能世界論

哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。不可能世界 "w" は、それはある意味で"不可能"であることを除けば、（それが何であれ）可能世界と同種のものである。文脈によって、ある矛盾が "w" では真となること、論理学または形而上学の正規の規則が "w" では成立できないこと、またはその両方を意味する。
非正規世界 (non-normal world) と言うこともある。
応用.
非正規様相論理.
非正規世界はソール・クリプキによって1965年に導入された。これは、公理系Kよりも弱い様相論理、特に必然化規則規則 (necessitation rule) を棄却する様相論理に意味論を与える純粋な技術的手段として用いられた。以下、formula_1は必然演算子である。
そのような論理学は典型的に"非正規"であると言及される。における様相論理の語彙の標準的な解釈の下では、各モデルにおいてformula_3がすべての世界で成立する場合およびその場合に限り、formula_4である。formula_3がすべての世界で成立するがformula_6は成立しないモデルを構築するには、 (i) formula_1を非標準的な方法で解釈する（formula_3の真実をすべての到達可能 (accessible) な世界においてだけ考えるのではなく、到達不可能な世界を導入する）、または (ii) "妥当"であるための条件を再解釈する必要がある。この後者の選択はクリプキが行った仕事である。"正規な"ものとして世界の分類を選び出す、そしてあるモデルにおけるすべての正規世界で真であるべき"妥当性"を設定する。この方法により、formula_3がすべての正規世界で真であるが、formula_6は真ではないモデルを構築することができる。われわれは、このformula_6が成立しない世界は"正規"ではない到達可能な世界を持つことを保障する必要があるだけである。このとき、formula_3は成立しないことが可能である。それゆえ、 論理が真実であることに関わらず、われわれの今いる世界ではformula_6が必然であることは成立しない。
これらの非正規世界は、 論理学に従って真であるものによってそれらが制約されていないという意味で"不可能"である。formula_4という事実から、formula_3が非正規世界で成立することにはならない。
世界の概念を持つ様相論理による言語の解釈についてのさらなる議論は、様相論理学およびの項目を参照のこと。
カリーのパラドックスの回避.
カリーのパラドックスは、"意味論的に閉じた (semantically closed) "（例えば、それらは自身の意味論を表現することができる）形式言語を開発することに興味のある論理学者にとって深刻な問題である。そのパラドックスは一見明らかなの原理を頼りにしている：
縮約を無効にする意味論体系において非正規世界を利用する方法が存在する。さらに、これらの方法は非正規世界を"論理規則が成立しない"世界として構築することによって合理的かつ哲学的な正当化を与えることができる。
反必然的な言明.
反必然的な言明 (counternecessary statement) は、先行条件節が単なる偽ではなく"必然化"である（または帰結節が必然的に真である）である。
これについて議論するため、以下の二つの事例を仮定する：
推定されるように、これらの言明はどちらも「その言明が真（偽）ならば、その言明は必然的に真（偽）である」という性質を持つ。
ここから、以下の二つの事例が仮定される：
ここで、以下の言明を考える。
これは直感的に偽である。直観主義の基本的な教義の一つはまさに排中律が成立"しない"ということである。この言明が次のように修正されることを考える：
これは (1') または (2') を与えると漠然と成立する。
ここで、可能世界に加えて不可能世界について考える。 (1') 直観主義が真である"不可能"世界が存在すること、および (2') 排中律が偽である"不可能"世界が存在することは互いに両立する。これは次の解釈を生む：
これは、直感的に直観主義が真であり排中律が成立しない"不可能"世界が存在するため、正当ではないようである。