三段論法とは？

さんだんろんぽう

「すべてのAはBである、CはAである、ゆえにCはBである」という形の推論形式です。

三段論法とは、大前提・小前提・結論の三つの命題から構成される演繹的推論形式であり、アリストテレスが体系化した。「すべての人間は死ぬ、ソクラテスは人間である、ゆえにソクラテスは死ぬ」が典型例である。前提が真であれば結論の真が論理的に保証される演繹推論の基本形として、長く論理学の中心に置かれてきた。