アリストテレスの『オルガノン』(『分析論前書』『分析論後書』)によって整備された。語義.構成.古代ギリシアに由来する西洋の三段論法は、このように、(「量化」的な変動性を持つ)ある個物的/基体的な「小概念」と、抽象的/類的な「大概念」の関係性を、両概念との関係性を示すことが可能な「媒概念」(中項)を介しつつ提示/規定するのが、三段論法という手法の目的である。(「媒概念」(中項)を介さずに、すなわち「大前提」「小前提」を経ずに、端的に「結論」の「小概念」と「大概念」の関係性のみを命題として提示する場合、それは推論ではなく単なる「定義文」となる。)このように、概念間の関係性を規定・整理する「概念の整理整頓術」としての論理学において、その推論形式の最小型となるのが三段論法である。以下に「定言的三段論法」の例を示す。(なお、これが今日に至るまでに伝統的なものになっているが、アリストテレスがその著『分析論後書』において例示している、定言命題を欠いて仮言命題一本のみの「三段論法」とは形式が異なる。)(なお、第四格は、ガレノスが形式整備のために補完したものである。アリストテレスは、実用性は無いと考え、省いたものと考えられている。)といった具合に表現できる。種類.である。詩による表現.この詩から子音を取り除くことによって三段論法の式が得られ(上記の詩の強調文字の部分が式である)、それぞれの式を呼ぶのには詩のおのおのの単語を用いる。ベン図による表現.黒い領域は要素が無いことを表す、赤い領域は特称を表す。「弱勢式」の項目は背景を灰色で示している。(このように、「オイラー図」と異なり、「ベン図」は直感的にやや分かりづらい面があるので注意。)オイラー図による表現.詳細.包含タイプ.以下のようになる。以下のようになる。以下のようになる。一部重複(絶対)タイプ.一部重複(可能性・不明)タイプ:全て否定形.分裂(排反)タイプ:全て否定形.以下のようになる。以下のようになる。以下のようになる。以下のようになる。その他.なお上に示した「定言三段論法」のほか、その発展としてがある。カザフ人名称.歴史.