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