仮定法の可能性

仮定法可能性（真理可能性とも呼ばれる）は、様相論理で研究される様相の一形態である。仮定法可能性は、反事実的な状況を想定する際に考慮される可能性の種類であり、仮定法様相は、文が真であったかもしれないか、真である可能性があるかに関わる様相である。例えば、 might、could、must、possible、necessarily、contingently 、 externally、accidentallyなどである。仮定法可能性には、論理的可能性、形而上学的可能性、法則的可能性、および時間的可能性が含まれる。

仮定法的な可能性は、（とりわけ）認識論的な可能性（私たちが知る限り、世界がどうあり得るかを扱うもの）や義務論的な可能性（世界がどうあるべきかを扱うもの）と対比される。

仮定法にはいくつかの種類があり、「可能」とみなされるものの規則の厳格さによって、それぞれが広いか狭いかに分類されます。最もよく議論されるものには以下のようなものがあります。

• 論理的可能性は通常、最も広い種類の可能性と考えられています。命題が論理的に可能であるとは、その命題が真であることに論理的な矛盾が伴わない場合を指します。「ディック・チェイニーは独身である」は論理的に可能ですが、実際には偽です。多くの哲学者は、「腕を強く羽ばたかせれば、私は飛ぶだろう」といった命題は、法則的には不可能であるにもかかわらず、論理的に可能だと考えてきました。一方、 「ディック・チェイニーは既婚の独身者である」は論理的に不可能です。独身者は結婚していないので、この命題は論理的に自己矛盾しています（ただし、「独身者」が「既婚男性」を意味することは論理的に可能なので、文自体は自己矛盾していません）。
• 形而上学的可能性は、論理的可能性と同等であるか、あるいはそれよりも狭い範囲である（両者の関係性についての哲学者の見解は、部分的にはその哲学者の論理観に依存する）。クリプキの「水はH₂Oである」のような発見された同一性は、形而上学的には必然的であるが論理的には必然的ではないと主張する哲学者もいる（彼らは、「水は_H₂Oではない」という命題は形而上学的に不可能であることが判明したとしても_、形式的な矛盾は存在しないと主張するだろう）。
• 法則的可能性とは、実際の自然法則の下での可能性のことである。デイヴィッド・ヒューム以来、ほとんどの哲学者は、自然法則は形而上学的に偶然的である、つまり、実際に存在する自然法則とは異なる自然法則が存在し得た、と主張してきた。もしそうであれば、例えば、アルファ・ケンタウリまで一日で旅することは、論理的にも形而上学的にも不可能ではない。光速よりも速く移動できればよいだけである。しかしもちろん、重要な意味ではこれは不可能である。自然法則が現状のままである以上、そのようなことは不可能だからである。（シドニー・シューメーカーのような一部の哲学者は、自然法則は偶然的ではなく、実際には必然的であると主張している。もしそうであれば、法則的可能性は形而上学的可能性と同義となる。）
• 時間的可能性とは、世界の実際の歴史を前提とした可能性のことである。デイビッド・ルイス は哲学ではなく会計学の学位を取得することもできたはずだが、今となってはそれができないという重要な意味がある。「できたはずだ」とは、ルイスが哲学ではなく経済学の学位を取得することに、論理的、形而上学的、あるいは法則的な不可能性が全くないという事実を表している。「今となってはできない」とは、過去が現実のままである以上、その可能性がもはや現実のものとなる余地がないという事実を表している。

同様に、デイビッド・ルイスは経済学の学位を取得することはできたが、例えば航空学（ハーバード大学では教えられていなかったため）や認知神経科学（そのような専攻のためのいわゆる「概念的空間」が存在しなかったため）の学位を取得することはできなかった。この最後のタイプの可能性が、実際に時間的可能性とは異なるタイプの可能性を構成しているかどうかについては議論があり、イアン・ハッキングのような思想家はこれを歴史的可能性と呼ぶことがある。