選言的前件の単純化（せんげんてきぜんけんのたんじゅんか、simplification of disjunctive antecedents; SDA）は、形式意味論と哲学的論理学において、条件文の前件に現れる選言が、各選言肢を前件とする条件文へと分配されるように見える現象のことである。この推論は図式的に次のように示される。

以下に示すような文のペアに基づいて、この推論は妥当だと主張されてきた。なぜなら、文(1)はここで文(2)を含意するように見えるからである。

If Yde or Dani had come to the party, it would have been fun. （イドかダニがパーティーに来ていたら、パーティーは楽しかったことだろう） If Yde had come to the party, it would be been fun and if Dani had come to the party, it would have been fun. （もしイドがパーティーに来ていたら、パーティーは楽しかっただろうし、かつ、もしダニがパーティーに来ていたら、パーティーは楽しかっただろう）

SDA推論は当初反事実的条件文の類似性分析（可能世界の類似性に基づくルイス-スタルネイカーの分析）に対する潜在的な問題として議論された。これらのアプローチでは、反事実的条件文 は、後件のが、前件であるの成立する、評価の行われる世界（現実世界）に最も類似している可能世界 のすべてで成立するとき、真であるとされる。選言のブール代数的意味論では、は、端的にがその世界で真であることだけによって成立することができる。つまり、最も類似した-世界（の成立する世界）は、は成立するが は成立していないような世界でありうる。もし がそれらのだけが真であるような最近接の-世界で真で、しかしが真であるような最近接世界では真ではないとき、このアプローチはSDAが成立しないと予測する。すなわち、反事実的条件文は、が偽であるにもかかわらず、評価世界で真になる。

もっと直観的な言葉で言えば、次のような状況を想像してほしい。イドはタイヤがパンクしてしまったために直近のパーティーを欠席した。その一方で、ダニは、パーティーを嫌っており、さらにダニは最近亡くなっていたので、ダニもパーティーに来なかった。イドかダニのどちらかがパーティーに来るような現実に最も近い世界のすべてにおいて、パーティーに出席するのはイドであって、ダニではない。もしイドが、パーティーを楽しくするような人間だったら、上の文(1)は類似性アプローチでは真になる。しかし、ダニがパーティーを楽しくしないような人間でありがちだったら、（文(1)が真であっても）文(2)は偽であると予測され、SDAに違反することになる。

SDAは様々な仕方で分析されてきた。一つの方法は、代替意味論や審問的意味論におけるもののような、選言の非古典的な取り扱いを措定することで、SDAを意味論的含意（entailment）として導くことである。。もうひとつのアプローチは、同じくSDAを意味論的含意として導くが、それを、条件文に対する別の意味論的解釈、例えば、厳密条件文としての分析や、なんであれ状況意味論において利用可能な諸分析のような解釈を条件文に適用することでそれを行う。 加えて、一部の研究者は、SDAが、古典的な選言解釈と条件文の標準的意味論に基づいて導かれる語用論的推意として分析できることを示唆している。 SDAは自由選択推論の埋め込まれた例化であると考えられることがある。

関連項目

選言 様相論理 自由選択推論

脚注