三段論法

さんだん ろんぽう ―ぱふ 5 【三段論法 】〔 syllogism 〕〘論 〙間接推理の中の演繹 （えんえき ）的推理 。「(1 )すべての M は P である 。(2 )すべての S は M である 。故に ，(3 )すべての S は P である 」のように二つの前提から一つの結論を導き出す推理 。結論の主語 （ S ）を小概念 ，それを含む前提 (2 )を小前提といい ，結論の述語 （ P ）を大概念 ，それを含む前提 (1 )を大前提という 。また ，S と P を結びつける概念 （ M ）を媒概念 （中項 ）という 。右の例のようなものを定言的三段論法というが ，その他に ，前提に仮言的判断 ，選言的判断を含むものを ，それぞれ仮言的三段論法 ，選言的三段論法という 。推論式 。推理式 。

三段論法外の推理

さんだん ろんぽうがいのすいり ―ろんぱふぐわい ―【三段論法外の推理 】〔 extra-syllogistic reasoning 〕三段論法の形式をとらないが ，正確な推論の方法であり得る推理 。「 a は b より大 ，b は c より大 ，故に a は c より大 」などの類 。