未成年者への違法な

不正なマイナーを示すオイラー図。集合AはBとCの両方のサブセットですが、BはCのサブセットではありません。

不正な小前提は、定言的三段論法で犯される形式的な誤謬であり、その小前提の項が小前提に配分されていないために無効である。

この誤謬の論証形式は次のようになります。

すべてAはBです。

すべてAはCです。

したがって、すべての C は B です。

例：

猫はすべてネコ科です。

猫はすべて哺乳類です。

したがって、すべての哺乳類はネコ科です。

ここでの小項は「哺乳類」ですが、「すべての猫は哺乳類である」という小前提では分布型ではありません。なぜなら、この前提は、一部の哺乳類が持つ可能性のある性質（つまり、それらが猫である）を定義しているだけだからです。しかし、「すべての哺乳類はネコ科である」という結論では、哺乳類は分布型です（これはすべての哺乳類がネコ科であるということを述べています）。ネコ科ではない哺乳類、例えば犬によって、この仮定は誤りであることが示されます。

例：

パイは美味しいです。

パイは不健康です。

つまり、すべての良いものは不健康です。

参照

この記事はもともと、 GFDLライセンスの Free On-line Dictionary of Philosophy の資料に基づいています。

この論理関連の記事はスタブです。記事を拡張することでWikipediaに貢献できます。