三段論法
第三格のIAI、すなわち「MiP MaS SiP」の三段論法は、以下のようになる。
大前提:「あるM」は、Pである。(MiP)
小前提:「全てのM」は、Sである。(MaS)
結論:ゆえに(∴)、「あるS」は、Pである。(SiP)
具体例。(M=ウサギ、S=有毛生物、P=ペット)
大前提:「あるウサギ」は、「ペット」である。(MiP)
小前提:「全てのウサギ」は、「有毛生物」である。(MaS)
結論:ゆえに(∴)、「ある有毛生物」は、「ペット」である。(SiP)
OAO-3(Bocardo) : 否定形
第三格のOAO、すなわち「MoP MaS SoP」の三段論法は、以下のようになる。
大前提:「あるM」は、Pではない。(MoP)
小前提:「全てのM」は、Sである。(MaS)
結論:ゆえに(∴)、「あるS」は、Pではない。(SoP)
具体例。(M=ネコ、S=哺乳類、P=有尾生物)
大前提:「あるネコ」は、「有尾生物」ではない。(MoP)
小前提:「全てのネコ」は、「哺乳類」である。(MaS)
結論:ゆえに(∴)、「ある哺乳類」は、「有尾生物」ではない。(SoP)
ギリシャ語の原語はもともと言語依拠段階的推論法というような意味合いであり、3段と限定されてはいない。そのように限定されるかのような誤解を招く邦訳語であるが、古代ギリシアが確立したものが3段構成だったために、欧米文明へ向けての開化という実際目的に即した訳語が作られた。インド固有の三段論法では5段構成である。