選言先行詞の簡略化

形式意味論と哲学的論理学において、選言的先行詞の単純化（SDA ）とは、条件文の先行詞における選言が、条件文全体に分布しているように見える現象である。この推論は、以下のように模式的に示される： ^{[1] [2]}

1. ${\displaystyle (A\lor B)\Rightarrow C\models (A\Rightarrow C)\land (B\Rightarrow C)}$

この推論は、以下のような文のペアに基づいて有効であると主張されてきた。なぜなら、文1は文2を暗示しているように見えるからである。 ^{[1] [2]}

1. もしイデかダニがパーティーに来ていたら、楽しかっただろうに。
2. もしイデがパーティーに来ていたら、楽しかっただろうし、ダニがパーティーに来ていたら、楽しかっただろう。

SDA 推論は、最初は反事実的推論の類似性分析の潜在的な問題として議論されました。これらのアプローチでは、評価の世界に最も類似するが成り立つ可能世界全体で が成り立つ場合、反事実的推論は真であると予測されます。論理和のブール意味論では、 は、単にそこで真であるという理由で世界で成り立つことができます。つまり、最も類似した -世界はすべて、 が成り立つが は成り立たない世界である可能性があります。 がこれらの世界でも真であるが、ここでの最も近い世界ではが真でない場合、このアプローチは SDA の失敗を予測します。 は評価の世界では真になりますが、 は偽になります。 ${\displaystyle (A\or B)>C}$${\displaystyle C}$${\displaystyle A\or B}$${\displaystyle A\or B}$${\displaystyle A}$${\displaystyle A\or B}$${\displaystyle A}$${\displaystyle B}$${\displaystyle C}$${\displaystyle B}$${\displaystyle (A\or B)>C}$${\displaystyle (B>C)}$

もっと直感的に言えば、Yde はたまたまタイヤがパンクしたために最近のパーティーを欠席し、Dani はパーティーが嫌いで亡くなっているために欠席したと想像してください。Yde または Dani のどちらかがパーティーに来る最も近い世界すべてにおいて、出席するのは Dani ではなく Yde です。Yde がパーティーで楽しい人であれば、上記の文 1 は類似性アプローチで真であると予測されます。しかし、Dani が参加するパーティーで逆の効果をもたらす傾向がある場合、文 2 は SDA に違反して偽であると予測されます。^{[3] [1] [2]}

SDA はさまざまな方法で分析されてきました。1 つは、代替意味論や探究的意味論などの非古典的な選言の扱いを仮定して、意味的含意として導出することです。^{[4] [5] [6] [1] [2]}別のアプローチでも意味的含意として導出されますが、厳密な条件文や状況意味論で利用可能なオプションのいずれかなど、条件文の代替表記を採用することで導出されます。^{[1] [2]}最後に、一部の研究者は、古典的な選言と条件文の標準的な意味論に基づいて導出された実用的な含意として分析できると示唆しています。 ^{[7] [1] [2] SDA は、}自由選択推論の埋め込まれたインスタンスと見なされることがあります。^[8]

• 分離
• 様相論理
• 自由選択推論