分離を肯定する

選言肯定の形式的誤謬は、代替選言の誤謬または偽排他的選言としても知られ、演繹的議論が以下の論理形式をとる場合に発生します。^[1]

AまたはB

あ

したがって、Bではない

または論理演算子では:

${\displaystyle p\vee q}$

${\displaystyle p}$

${\displaystyle {}\vdash {}}$¬${\displaystyle q}$

ここで は論理アサーションを表します。 ${\displaystyle {}\vdash {}}$

この誤りは、一方の論理和が真であるために、もう一方の論理和が偽であると結論付けることです。実際には、「または」は排他的ではなく包括的に定義されているため、両方とも真である可能性があります。これは、演算ORとXORの同義語に関する誤りです。

選言を肯定することは、選言三段論法として知られる有効な議論と混同されるべきではない。^[2]

次の議論は、選言を肯定することの不健全性を示しています。

マックスは哺乳類、またはマックスは猫です。

マックスは哺乳類です。

したがって、マックスは猫ではありません。

定義上、 すべての猫は哺乳類であるため、この推論は根拠がありません。

2番目の例は、現実的に見える最初の命題を示し、この誤謬の下では明らかに欠陥のある結論がどのようにして生じるかを示しています。^[3]

ヴォーグ誌の​​表紙を飾るには、有名人か非常に美人でなければなりません。

今月の表紙は有名人でした。

したがって、この有名人はあまり美しくありません。

• 排他的論理和
• 論理和
• 三段論法の誤謬

• 誤謬ファイル: 分離を肯定する
• ベネット、ロバート「ボー」。「分離の肯定」。論理的に誤り。 2023年7月29日閲覧。