三段論法のソースを表示

{{出典の明記|date=2015年11月7日 (土) 13:29 (UTC)}}
'''三段論法'''（さんだんろんぽう、{{lang-el-short|συλλογισμός}}, シュロギスモス<ref group="注釈">原義は「[[推論]]術」といった程度の意味。</ref>、{{lang-la-short|syllogismus}}、{{lang-en-short|syllogism}}）は、[[論理学]]における論理的[[推論]]の型式のひとつ。典型的には、大前提、小前提および結論という3個の命題を取り扱う。これを用いた結論が[[真]]であるためには、前提が真であること、および論理の法則（[[同一律]]、[[無矛盾律]]、[[排中律]]、および[[充足理由律]]）が守られることが必要とされる<ref>エス・エヌ・ヴィノグラードフ、ア・エフ・クジミン『論理学入門』西牟田久雄、野村良雄訳、青木書店(青木文庫)1973年、157頁
</ref>。

[[アリストテレス]]の『[[オルガノン]]』（『[[分析論前書]]』『[[分析論後書]]』）によって整備された。

== 語義 ==
ギリシャ語の原語はもともと言語依拠段階的推論法というような意味合いであり、3段と限定されてはいない。そのように限定されるかのような誤解を招く邦訳語であるが、[[古代ギリシア]]が確立したものが3段構成だったために、欧米文明へ向けての開化という実際目的に即した訳語が作られた。インド固有の三段論法では5段構成である。

== 構成 ==
=== 3つの項（概念）と3つの命題 ===
古代ギリシアに由来する西洋の三段論法は、
*'''大概念'''<ref group="注釈">{{lang-en-short|major term}}</ref> - '''結論'''において'''述語'''（P<ref group="注釈">{{lang-en-short|predicate}}</ref>）となる概念（項）。
*'''小概念'''<ref group="注釈">{{lang-en-short|minor term}}</ref> - '''結論'''において'''主語'''（S<ref group="注釈">{{lang-en-short|subject}}</ref>）となる概念（項）。
*'''媒概念'''{{efn|name="#1"|{{lang-en-short|middle term}}}} - '''大前提・小前提'''で上2つの概念（項）との関係性が示される媒介的な概念（項）。'''中項'''（M{{efn|name="#1"}}）。
という3つの項（概念）の内、2つの組み合わせ（関係性）をそれぞれ表現する、
*'''大前提'''<ref group="注釈">{{lang-en-short|major premise}}</ref> - 大概念/述語（P）と、媒概念/中項（M）の関係性を示す命題文
*'''小前提'''<ref group="注釈">{{lang-en-short|minor premise}}</ref> - 小概念/主語（S）と、媒概念/中項（M）の関係性を示す命題文
*'''結論'''<ref group="注釈">{{lang-en-short|conclusion}}</ref> - 小概念/主語（S）と、大概念/述語（P）の関係性を示す命題文
という3つの[[命題]]によって構成される、[[演繹]]的な推論規則である。

このように、（「[[量化]]」的な変動性を持つ）ある個物的/基体的な「小概念」と、抽象的/類的な「大概念」の関係性を、両概念との関係性を示すことが可能な「媒概念」（中項）を介しつつ提示/規定するのが、三段論法という手法の目的である。（「媒概念」（中項）を介さずに、すなわち「大前提」「小前提」を経ずに、端的に「結論」の「小概念」と「大概念」の関係性のみを命題として提示する場合、それは推論ではなく単なる「定義文」となる。）

このように、概念間の関係性を規定・整理する「概念の整理整頓術」としての論理学において、その推論形式の最小型となるのが三段論法である。

以下に「定言的三段論法」の例を示す。

*大前提：全ての人間は[[死すべき定め|死すべきもの]]である。
*小前提：ソクラテスは人間である。
*結論：ゆえにソクラテスは死すべきものである。

（なお、これが今日に至るまでに伝統的なものになっているが、アリストテレスがその著『[[分析論後書]]』において例示している、定言命題を欠いて仮言命題一本のみの「三段論法」とは形式が異なる。）

=== 命題の4つの型 ===
三段論法を構成する各命題は、「全称 - 特称」「肯定 - 否定」の区別の組み合わせによって、'''A'''、'''E'''、'''I'''、'''O'''の4つの「型」に分類される。

{|class=wikitable
!記号!!意味!!量子化表現!!命題の例
|-
|A||全称肯定判断||<math>\forall</math>||'''全ての'''人間'''は'''生物'''である'''
|-
|E||全称否定判断||<math>\forall\lnot=\lnot\exists</math>||'''全ての'''人間'''は'''不死'''ではない'''
|-
|I||特称肯定判断||<math>\exists</math>||'''ある'''人間'''は'''学生'''である'''
|-
|O||特称否定判断||<math>\exists\lnot=\lnot\forall</math>||'''ある'''人間'''は'''学生'''ではない'''
|}

なお、このAとIはラテン語の「{{lang|la|<strong>a</strong>ff<strong>i</strong>rmo}}」（肯定）、EとOはラテン語の「{{lang|la|n<strong>e</strong>g<strong>o</strong>}}」（否定）から採られた記号である。

=== 三段論法の4つの格（配列パターン） ===
三命題における '''S'''、'''P'''、'''M'''の配列パターンを{{読み仮名|'''格'''|かく|{{lang-en-short|figure}}}}と呼び、これには4つの可能性がある。

{| class="wikitable" style="text-align:center;width:500px;"
|+ 三段論法の「格」
! 格 !! 大前提 !! 小前提 !! 結論
|-
! 第一格
| M - P || S - M || S - P
|-
! 第二格
| P - M || S - M || S - P
|-
! 第三格
| M - P || M - S || S - P
|-
! 第四格
| P - M || M - S || S - P
|}

（なお、第四格は、[[ガレノス]]が形式整備のために補完したものである。アリストテレスは、実用性は無いと考え、省いたものと考えられている。）


ちなみに、上記した命題の4つの「型」（A、E、I、O）と、この4つの「格」を組み合わせて表現すると、例えば、第一格の命題が全てAの場合は、（分かりやすくこれを小文字のaにして）
*MaP SaM SaP
といった具合に表現できる。

== 種類 ==
4つの型（A, E, I, O）を採り得る各命題が3つ（「大前提」「小前提」「結論」）組み合わされ、更にその組み合わせが命題3要素の配列パターンによって4つの「格」に分けられるので、全部で4<sup>3</sup>×4=256通りの三段論法がありえるが、実際にはそのうちの19通り（厳密には「弱勢式」<ref group="注釈">結論（S-P）を特称化（大小対当）したもの。</ref>の5通りを加えて24通り）のみから[[恒真]]な結論が得られる。このとき2つの前提はともに真でなければならない。（真でない前提からは、しばしば[[パラドックス]]が導かれる。）

その19式（24式）を示せば、
*第一格では AAA, (AAI,) EAE, (EAO,) AII, EIO
*第二格では EAE, (EAO,) AEE, (AEO,) EIO, AOO
*第三格では AAI, EAO, IAI, AII, OAO, EIO
*第四格では AAI, AEE, (AEO,) IAI, EAO, EIO
である。

=== 詩による表現 ===
「定言三段論法」における上記の19式を覚えるため、[[中世]]（[[スコラ学]]）ではsyllogismusと呼ばれる[[ラテン語]]の詩が作られた。

{{quotation|B<strong>a</strong>rb<strong>a</strong>r<strong>a</strong> c<strong>e</strong>l<strong>a</strong>r<strong>e</strong>nt d<strong>a</strong>r<strong>ii</strong> f<strong>e</strong>r<strong>io</strong>que prioris.

C<strong>e</strong>s<strong>a</strong>r<strong>e</strong> c<strong>a</strong>m<strong>e</strong>str<strong>e</strong>s f<strong>e</strong>st<strong>i</strong>n<strong>o</strong> b<strong>a</strong>r<strong>o</strong>c<strong>o</strong> secundoe.

Tertia d<strong>a</strong>r<strong>a</strong>pt<strong>i</strong> d<strong>i</strong>s<strong>a</strong>m<strong>i</strong>s d<strong>a</strong>t<strong>i</strong>s<strong>i</strong> f<strong>e</strong>l<strong>a</strong>pt<strong>o</strong>n, b<strong>o</strong>c<strong>a</strong>rd<strong>o</strong> f<strong>e</strong>r<strong>i</strong>s<strong>o</strong>n habet. 

Quarta insuper addit br<strong>a</strong>m<strong>a</strong>nt<strong>i</strong>p c<strong>a</strong>m<strong>e</strong>n<strong>e</strong>s d<strong>i</strong>m<strong>a</strong>r<strong>i</strong>s f<strong>e</strong>s<strong>a</strong>p<strong>o</strong> fr<strong>e</strong>s<strong>i</strong>s<strong>o</strong>n.}}

この詩から子音を取り除くことによって三段論法の式が得られ（上記の詩の強調文字の部分が式である）、それぞれの式を呼ぶのには詩のおのおのの単語を用いる。

また、詩の1行目が第一格、2行目が第二格、3行目が第三格、4行目が第四格に対応している。

また、第一格以外の格は、第一格に還元され得るが、式の名称に含まれる子音のうちs, m, p および c は還元の際の手引きとなるもので、s および p はそれぞれ直前の母音で表される式を「単純換位」あるいは「限量換位」せよという意味であり、m は「前提の変換」を命じ、c は「三段論法の換位」すなわち[[帰謬法]]によって証明せよという意味である。

冒頭で示した三段論法の例は第一格の「B<strong>a</strong>rb<strong>a</strong>r<strong>a</strong>」に対応している。

:大前提：全ての[[ヒト|人間]]は死すべきものである。（'''A''', M-P：全てのMはPである）

:小前提：[[ソクラテス]]は人間である。（'''A''', S-M：全てのSはMである）

:結論：ゆえにソクラテスは死すべきものである。（'''A''', S-P：全てのSはPである）
<!--当然のことながら、この前提が真実だとは言ってませんよ-->
<!--  どちらかが偽なら、結論も偽ですな。：－)-->

=== ベン図による表現 ===
上記の19式（24式）を「[[ベン図]]」で表すと、以下のようになる。

上に「M」（中項）、左下に「S」（主語）、右下に「P」（述語）が配置され、その3つの関係が示されている。また、右上に「大前提」、左上に「小前提」、下に「結論」が補足的に示されている。

黒い領域は要素が無いことを表す、赤い領域は特称を表す。「弱勢式」の項目は背景を灰色で示している。

（このように、「[[オイラー図]]」と異なり、「ベン図」は直感的にやや分かりづらい面があるので注意。）

{| class="wikitable" style="width:100%;text-align: center" border="1"
|-
|
|'''AAA'''
|'''EAE'''
|'''AEE'''
|'''AII'''
|'''IAI'''
|'''AOO'''
|'''OAO'''
|'''EIO'''
|'''AAI'''
|'''EAO'''
|'''AEO'''
|-
|'''1'''
| [[File:Modus Barbara.svg|50px]]<br><small>[[:File:Modus Barbara.svg|Barbara]]</small>
| [[File:Modus Celarent.svg|50px]]<br><small>[[:File:Modus Celarent.svg|Celarent]]</small>
|
| [[File:Modus Darii.svg|50px]]<br><small>[[:File:Modus Darii.svg|Darii]]</small>
|
|
|
| [[File:Modus Ferio.svg|50px]]<br><small>[[:File:Modus Ferio.svg|Ferio]]</small>
|style="background: #ddd"| [[File:Modus Barbari.svg|50px]]<br><small>[[:File:Modus Barbari.svg|Barbari]]</small>
|style="background: #ddd"| [[File:Modus Celaront.svg|50px]]<br><small>[[:File:Modus Celaront.svg|Celaront]]</small>
|
|-
|'''2'''
|
| [[File:Modus Cesare.svg|50px]]<br><small>[[:File:Modus Cesare.svg|Cesare]]</small>
| [[File:Modus Camestres.svg|50px]]<br><small>[[:File:Modus Camestres.svg|Camestres]]</small>
|
|
| [[File:Modus Baroco.svg|50px]]<br><small>[[:File:Modus Baroco.svg|Baroco]]</small>
|
| [[File:Modus Festino.svg|50px]]<br><small>[[:File:Modus Festino.svg|Festino]]</small>
|
|style="background: #ddd"| [[File:Modus Cesaro.svg|50px]]<br><small>[[:File:Modus Cesaro.svg|Cesaro]]</small>
|style="background: #ddd"| [[File:Modus Camestros.svg|50px]]<br><small>[[:File:Modus Camestros.svg|Camestros]]</small>
|-
|'''3'''
|
|
|
| [[File:Modus Datisi.svg|50px]]<br><small>[[:File:Modus Datisi.svg|Datisi]]</small>
| [[File:Modus Disamis.svg|50px]]<br><small>[[:File:Modus Disamis.svg|Disamis]]</small>
|
| [[File:Modus Bocardo.svg|50px]]<br><small>[[:File:Modus Bocardo.svg|Bocardo]]</small>
| [[File:Modus Ferison.svg|50px]]<br><small>[[:File:Modus Ferison.svg|Ferison]]</small>
| [[File:Modus Darapti.svg|50px]]<br><small>[[:File:Modus Darapti.svg|Darapti]]</small>
| [[File:Modus Felapton.svg|50px]]<br><small>[[:File:Modus Felapton.svg|Felapton]]</small>
|
|-
|'''4'''
|
|
| [[File:Modus Calemes.svg|50px]]<br><small>[[:File:Modus Calemes.svg|Calemes]]</small>
|
| [[File:Modus Dimatis.svg|50px]]<br><small>[[:File:Modus Dimatis.svg|Dimatis]]</small>
|
|
| [[File:Modus Fresison.svg|50px]]<br><small>[[:File:Modus Fresison.svg|Fresison]]</small>
| [[File:Modus Bamalip.svg|50px]]<br><small>[[:File:Modus Bamalip.svg|Bamalip]]</small>
| [[File:Modus Fesapo.svg|50px]]<br><small>[[:File:Modus Fesapo.svg|Fesapo]]</small>
|style="background: #ddd"| [[File:Modus Calemos.svg|50px]]<br><small>[[:File:Modus Calemos.svg|Calemos]]</small>
|}

===オイラー図による表現===
上記の19式（24式）を、より直感的に分かりやすい「[[オイラー図]]」で表すと、以下のようになる。

「M」（中項）は青、「S」（主語）は赤、「P」（述語）は緑で表現されている。「弱勢式」の項目は背景を灰色で示している。

{| class="wikitable" style="width:100%;text-align: center" border="1"
|-
|
|'''AAA'''
|'''EAE'''
|'''AEE'''
|'''AII'''
|'''IAI'''
|'''AOO'''
|'''OAO'''
|'''EIO'''
|'''AAI'''
|'''EAO'''
|'''AEO'''
|-
|'''1'''
| [[File:syllo-aaa1.png|50px]]<br><small>[[:File:syllo-aaa1.png|Barbara]]</small>
| [[File:eae1.png|50px]]<br><small>[[:File:eae1.png|Celarent]]</small>
|
| [[File:aii1.png|50px]]<br><small>[[:File:aii1.png|Darii]]</small>
|
|
|
| [[File:eio1.png|50px]]<br><small>[[:File:eio1.png|Ferio]]</small>
|style="background: #ddd"| [[File:aai1.png|50px]]<br><small>[[:File:aai1.png|Barbari]]</small>
|style="background: #ddd"| [[File:eao1.png|50px]]<br><small>[[:File:eao1.png|Celaront]]</small>
|
|-
|'''2'''
|
| [[File:eae2.png|50px]]<br><small>[[:File:eae2.png|Cesare]]</small>
| [[File:aee2.png|50px]]<br><small>[[:File:aee2.png|Camestres]]</small>
|
|
| [[File:aoo2.png|50px]]<br><small>[[:File:aoo2.png|Baroco]]</small>
|
| [[File:eio2.png|50px]]<br><small>[[:File:eio2.png|Festino]]</small>
|
|style="background: #ddd"| [[File:eao2.png|50px]]<br><small>[[:File:eao2.png|Cesaro]]</small>
|style="background: #ddd"| [[File:aeo2.png|50px]]<br><small>[[:File:aeo2.png|Camestros]]</small>
|-
|'''3'''
|
|
|
| [[File:aii3.png|50px]]<br><small>[[:File:aii3.png|Datisi]]</small>
| [[File:iai3.png|50px]]<br><small>[[:File:iai3.png|Disamis]]</small>
|
| [[File:oao3.png|50px]]<br><small>[[:File:oao3.png|Bocardo]]</small>
| [[File:eio3.png|50px]]<br><small>[[:File:eio3.png|Ferison]]</small>
| [[File:aai3.png|50px]]<br><small>[[:File:aai3.png|Darapti]]</small>
| [[File:eao3.png|50px]]<br><small>[[:File:eao3.png|Felapton]]</small>
|
|-
|'''4'''
|
|
| [[File:aee4.png|50px]]<br><small>[[:File:aee4.png|Calemes]]</small>
|
| [[File:iai4.png|50px]]<br><small>[[:File:iai4.png|Dimatis]]</small>
|
|
| [[File:eio4.png|50px]]<br><small>[[:File:eio4.png|Fresison]]</small>
| [[File:aai4.png|50px]]<br><small>[[:File:aai4.png|Bamalip]]</small>
| [[File:eao4.png|50px]]<br><small>[[:File:eao4.png|Fesapo]]</small>
|style="background: #ddd"| [[File:aeo4.png|50px]]<br><small>[[:File:aeo4.png|Calemos]]</small>
|}

== 詳細 ==
=== 包含タイプ ===
==== AAA-1（Barbara） ====
[[File:syllo-aaa1.png|thumb|right|250px|AAA-1]]

第一格のAAA、すなわち「MaP SaM SaP」の三段論法。

「[[入れ子]]」式に、[[主語]]（S）が[[述語]]（P）に包含されるパターン。

以下のようになる。

:大前提：「全てのM」は、Pである。 (MaP)

:小前提：「全てのS」は、Mである。(SaM)

:結論：ゆえに（[[∴]]）、「全てのS」は、Pである。(SaP)


具体例。（M=人間、S=[[ギリシア]]人、P=死ぬ存在）
:大前提：「全ての人間」は、「死ぬ存在」である。 (MaP)

:小前提：「全てのギリシア人」は、「人間」である。(SaM)

:結論：ゆえに（∴）、「全てのギリシア人」は、「死ぬ存在」である。(SaP)

===== AAI-1（Barbari） : 弱勢式 =====
[[File:aai1.png|thumb|right|250px|AAI-1]]
第一格のAAI、すなわち「MaP SaM SiP」の三段論法。

上記の「AAA-1」と同じ形だが、結論の主語（S）だけを不必要に特称にしてしまっている「弱勢式」。

以下のようになる。

:大前提：「全てのM」は、Pである。(MaP)

:小前提：「全てのS」は、Mである。(SaM)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=人間、S=ギリシア人、P=死ぬ存在）
:大前提：「全ての人間」は、「死ぬ存在」である。(MaP)

:小前提：「全てのギリシア人」は、「人間」である。(SaM)

:結論：ゆえに（∴）、「あるギリシア人」は、「死ぬ存在」である。(SiP)

==== AAI-4（Bamalip） ====
[[File:aai4.png|thumb|right|250px|AAI-4]]
第四格のAAI、すなわち「PaM MaS SiP」の三段論法。

「AAA-1」とは逆に、主語（S）が述語（P）を包含してしまうパターン。したがって、主語（S）の観点から見れば、常にその一部だけが、述語（P）（の全体）に該当することになる。

以下のようになる。

:大前提：「全てのP」は、Mである。(PaM)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=人間、S=死ぬ存在、P=ギリシア人）
:大前提：「全てのギリシア人」は、「人間」である。(PaM)

:小前提：「全ての人間」は、「死ぬ存在」である。(MaS)

:結論：ゆえに（∴）、「ある死ぬ存在」は、「ギリシア人」である。(SiP)

=== 一部重複（絶対）タイプ ===
==== AII-1（Darii） ====
[[File:aii1.png|thumb|right|250px|AII-1]]
第一格のAII、すなわち「MaP SiM SiP」の三段論法は、以下のようになる。

:大前提：「全てのM」は、Pである。(MaP)

:小前提：「あるS」は、Mである。(SiM)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=[[ウサギ]]、S=[[ペット]]、P=[[有毛生物]]）
:大前提：「全てのウサギ」は、「有毛生物」である。(MaP)

:小前提：「あるペット」は、「ウサギ」である。(SiM)

:結論：ゆえに（∴）、「あるペット」は、「有毛生物」である。(SiP)

===== AII-3（Datisi） =====
[[File:aii3.png|thumb|right|250px|AII-3]]
第三格のAII、すなわち「MaP MiS SiP」の三段論法は、以下のようになる。

:大前提：「全てのM」は、Pである。(MaP)

:小前提：「あるM」は、Sである。(MiS)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=ウサギ、S=ペット、P=有毛生物）
:大前提：「全てのウサギ」は、「有毛生物」である。(MaP)

:小前提：「あるウサギ」は、「ペット」である。(MiS)

:結論：ゆえに（∴）、「あるペット」は、「有毛生物」である。(SiP)

==== IAI-3（Disamis） ====
[[File:iai3.png|thumb|right|250px|IAI-3]]
第三格のIAI、すなわち「MiP MaS SiP」の三段論法は、以下のようになる。

:大前提：「あるM」は、Pである。(MiP)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=ウサギ、S=有毛生物、P=ペット）
:大前提：「あるウサギ」は、「ペット」である。(MiP)

:小前提：「全てのウサギ」は、「有毛生物」である。(MaS)

:結論：ゆえに（∴）、「ある有毛生物」は、「ペット」である。(SiP)

===== OAO-3（Bocardo） : 否定形 =====
[[File:oao3.png|thumb|right|250px|OAO-3]]
第三格のOAO、すなわち「MoP MaS SoP」の三段論法は、以下のようになる。

:大前提：「あるM」は、Pでは'''ない'''。(MoP)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=[[ネコ]]、S=[[哺乳類]]、P=[[有尾生物]]）
:大前提：「あるネコ」は、「有尾生物」では'''ない'''。(MoP)

:小前提：「全てのネコ」は、「哺乳類」である。(MaS)

:結論：ゆえに（∴）、「ある哺乳類」は、「有尾生物」では'''ない'''。(SoP)

==== IAI-4（Dimatis） ====
[[File:iai4.png|thumb|right|250px|IAI-4]]
第四格のIAI、すなわち「PiM MaS SiP」の三段論法は、以下のようになる。

:大前提：「あるP」は、Mである。(PiM)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=ウサギ、S=有毛生物、P=ペット）
:大前提：「あるペット」は、「ウサギ」である。(PiM)

:小前提：「全てのウサギ」は、「有毛生物」である。(MaS)

:結論：ゆえに（∴）、「ある有毛生物」は、「ペット」である。(SiP)

==== AAI-3（Darapti） ====
[[File:aai3.png|thumb|right|250px|AAI-3]]
第三格のAAI、すなわち「MaP MaS SiP」の三段論法は、以下のようになる。

:大前提：「全てM」は、Pである。(MaP)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（∴）、「あるS」は、Pである。(SiP)


具体例。（M=[[正方形]]、S=[[菱形]]、P=[[長方形]]）
:大前提：「全ての正方形」は、「長方形」である。(MaP)

:小前提：「全ての正方形」は、「菱形」である。(MaS)

:結論：ゆえに（∴）、「ある菱形」は、「長方形」である。(SiP)

=== 一部重複（可能性・不明）タイプ : 全て否定形 ===
==== EIO-1（Ferio） ====
[[File:eio1.png|thumb|right|250px|EIO-1]]
第一格のEIO、すなわち「MeP SiM SoP」の三段論法は、以下のようになる。

:大前提：「全てのM」は、Pでは'''ない'''。(MeP)

:小前提：「あるS」は、Mである。(SiM)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=宿題、S=[[読書]]、P=楽しみ）
:大前提：「全ての宿題」は、「楽しみ」では'''ない'''。(MeP)

:小前提：「ある読書」は、「宿題」である。(SiM)

:結論：ゆえに（∴）、「ある読書」は、「楽しみ」では'''ない'''。(SoP)

===== EIO-2（Festino） =====
[[File:eio2.png|thumb|right|250px|EIO-2]]
第二格のEIO、すなわち「PeM SiM SoP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mでは'''ない'''。(PeM)

:小前提：「あるS」は、Mである。(SiM)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=宿題、S=読書、P=楽しみ）
:大前提：「全ての楽しみ」は、「宿題」では'''ない'''。(PeM)

:小前提：「ある読書」は、「宿題」である。(SiM)

:結論：ゆえに（∴）、「ある読書」は、「楽しみ」では'''ない'''。(SoP)

===== EIO-3（Ferison） =====
[[File:eio3.png|thumb|right|250px|EIO-3]]
第三格のEIO、すなわち「MeP MiS SoP」の三段論法は、以下のようになる。

:大前提：「全てのM」は、Pでは'''ない'''。(MeP)

:小前提：「あるM」は、Sである。(MiS)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=宿題、S=読書、P=楽しみ）
:大前提：「全ての宿題」は、「楽しみ」では'''ない'''。(MeP)

:小前提：「ある宿題」は、「読書」である。(MiS)

:結論：ゆえに（∴）、「ある読書」は、「楽しみ」では'''ない'''。(SoP)

===== EIO-4（Fresison） =====
[[File:eio4.png|thumb|right|250px|EIO-4]]
第四格のEIO、すなわち「PeM MiS SoP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mでは'''ない'''。(PeM)

:小前提：「あるM」は、Sである。(MiS)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=宿題、S=読書、P=楽しみ）
:大前提：「全ての楽しみ」は、「宿題」では'''ない'''。(PeM)

:小前提：「ある宿題」は、「読書」である。(MiS)

:結論：ゆえに（∴）、「ある読書」は、「楽しみ」では'''ない'''。(SoP)

==== EAO-3（Felapton） ====
[[File:eao3.png|thumb|right|250px|EAO-3]]
第三格のEAO、すなわち「MeP MaS SoP」の三段論法は、以下のようになる。

:大前提：「全てのM」は、Pでは'''ない'''。(MeP)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=[[花]]、S=[[植物]]、P=[[動物]]）
:大前提：「全ての花」は、「動物」では'''ない'''。(MeP)

:小前提：「全ての花」は、「植物」である。(MaS)

:結論：ゆえに（∴）、「ある植物」は、「動物」では'''ない'''。(SoP)

===== EAO-4（Fesapo） =====
[[File:eao4.png|thumb|right|250px|EAO-4]]
第四格のEAO、すなわち「PeM MaS SoP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mでは'''ない'''。(PeM)

:小前提：「全てのM」は、Sである。(MaS)

:結論：ゆえに（[[∴]]）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=花、S=植物、P=動物）
:大前提：「全ての動物」は、「花」では'''ない'''。(PeM)

:小前提：「全ての花」は、「植物」である。(MaS)

:結論：ゆえに（∴）、「ある植物」は、「動物」では'''ない'''。(SoP)

==== AOO-2（Baroco） ====
[[File:aoo2.png|thumb|right|250px|AOO-2]]
第二格のAOO、すなわち「PaM SoM SoP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mである。(PaM)

:小前提：「あるS」は、Mでは'''ない'''。(SoM)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=有用、S=[[ウェブサイト]]、P=[[出典|参考情報]]）
:大前提：「全ての参考情報」は、「有用」である。(PaM)

:小前提：「あるウェブサイト」は、「有用」では'''ない'''。(SoM)

:結論：ゆえに（∴）、「あるウェブサイト」は、「参考情報」では'''ない'''。(SoP)

=== 分裂（排反）タイプ : 全て否定形 ===
==== EAE-1（Celarent） ====
[[File:eae1.png|thumb|right|250px|EAE-1]]
第一格のEAE、すなわち「MeP SaM SeP」の三段論法は、以下のようになる。

:大前提：「全てのM」は、Pでは'''ない'''。(MeP)

:小前提：「全てのS」は、Mである。(SaM)

:結論：ゆえに（∴）、「全てのS」は、Pでは'''ない'''。(SeP)


具体例。（M=[[爬虫類]]、S=[[ヘビ]]、P=[[有毛生物]]）
:大前提：「全ての爬虫類」は、「有毛生物」では'''ない'''。(MeP)

:小前提：「全てのヘビ」は、「爬虫類」である。(SaM)

:結論：ゆえに（∴）、「全てのヘビ」は、「有毛生物」では'''ない'''。(SeP)

===== EAO-1（Celaront） : 弱勢式 =====
[[File:eao1.png|thumb|right|250px|EAO-1]]
第一格のEAO、すなわち「MeP SaM SoP」の三段論法。

上記の「EAE-1」と同じ形だが、結論の主語（S）だけを不必要に特称にしてしまっている「弱勢式」。

以下のようになる。

:大前提：「全てのM」は、Pでは'''ない'''。(MeP)

:小前提：「全てのS」は、Mである。(SaM)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=爬虫類、S=ヘビ、P=有毛生物）
:大前提：「全ての爬虫類」は、「有毛生物」では'''ない'''。(MeP)

:小前提：「全てのヘビ」は、「爬虫類」である。(SaM)

:結論：ゆえに（∴）、「あるヘビ」は、「有毛生物」では'''ない'''。(SoP)

==== EAE-2（Cesare） ====
[[File:eae2.png|thumb|right|250px|EAE-1]]
第二格のEAE、すなわち「PeM SaM SeP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mでは'''ない'''。(PeM)

:小前提：「全てのS」は、Mである。(SaM)

:結論：ゆえに（∴）、「全てのS」は、Pでは'''ない'''。(SeP)


具体例。（M=爬虫類、S=ヘビ、P=有毛生物）
:大前提：「全ての有毛生物」は、「爬虫類」では'''ない'''。(PeM)

:小前提：「全てのヘビ」は、「爬虫類」である。(SaM)

:結論：ゆえに（∴）、「全てのヘビ」は、「有毛生物」では'''ない'''。(SeP)

===== EAO-2（Cesaro） : 弱勢式  =====
[[File:eao2.png|thumb|right|250px|EAO-2]]
第二格のEAO、すなわち「PeM SaM SoP」の三段論法。

上記の「EAE-2」と同じ形だが、結論の主語（S）だけを不必要に特称にしてしまっている「弱勢式」。

以下のようになる。

:大前提：「全てのP」は、Mでは'''ない'''。(PeM)

:小前提：「全てのS」は、Mである。(SaM)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=爬虫類、S=ヘビ、P=有毛生物）
:大前提：「全ての有毛生物」は、「爬虫類」では'''ない'''。(PeM)

:小前提：「全てのヘビ」は、「爬虫類」である。(SaM)

:結論：ゆえに（∴）、「あるヘビ」は、「有毛生物」では'''ない'''。(SoP)

==== AEE-2（Camestres） ====
[[File:aee2.png|thumb|right|250px|AEE-2]]
第二格のAEE、すなわち「PaM SeM SeP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mである。(PaM)

:小前提：「全てのS」は、Mでは'''ない'''。(SeM)

:結論：ゆえに（∴）、「全てのS」は、Pでは'''ない'''。(SeP)


具体例。（M=爬虫類、S=有毛生物、P=ヘビ）
:大前提：「全てのヘビ」は、「爬虫類」である。(PaM)

:小前提：「全ての有毛生物」は、「爬虫類」では'''ない'''。(SeM)

:結論：ゆえに（∴）、「全てのヘビ」は、「有毛生物」では'''ない'''。(SeP)

===== AEO-2（Camestros） : 弱勢式 =====
[[File:aeo2.png|thumb|right|250px|AEO-2]]
第二格のAEO、すなわち「PaM SeM SoP」の三段論法。

上記の「AEE-2」と同じ形だが、結論の主語（S）だけを不必要に特称にしてしまっている「弱勢式」。

以下のようになる。

:大前提：「全てのP」は、Mである。(PaM)

:小前提：「全てのS」は、Mでは'''ない'''。(SeM)

:結論：ゆえに（∴）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=有蹄生物、S=人間、P=ウマ）
:大前提：「全てのウマ」は、「有蹄生物」である。(PaM)

:小前提：「全ての人間」は、「有蹄生物」では'''ない'''。(SeM)

:結論：ゆえに（∴）、「ある人間」は、「ウマ」では'''ない'''。(SoP)

==== AEE-4（Calemes） ====
[[File:aee4.png|thumb|right|250px|AEE-4]]
第四格のAEE、すなわち「PaM MeS SeP」の三段論法は、以下のようになる。

:大前提：「全てのP」は、Mである。(PaM)

:小前提：「全てのM」は、Sでは'''ない'''。(MeS)

:結論：ゆえに（∴）、「全てのS」は、Pでは'''ない'''。(SeP)


具体例。（M=爬虫類、S=有毛生物、P=ヘビ）
:大前提：「全てのヘビ」は、「爬虫類」である。(PaM)

:小前提：「全ての爬虫類」は、「有毛生物」では'''ない'''。(MeS)

:結論：ゆえに（∴）、「全ての有毛生物」は、「ヘビ」では'''ない'''。(SeP)

===== AEO-4（Calemos） : 弱勢式 =====
[[File:aeo4.png|thumb|right|250px|AEO-4]]
第四格のAEO、すなわち「PaM MeS SoP」の三段論法。

上記の「AEE-4」と同じ形だが、結論の主語（S）だけを不必要に特称にしてしまっている「弱勢式」。

以下のようになる。

:大前提：「全てのP」は、Mである。(PaM)

:小前提：「全てのM」は、Sでは'''ない'''。(MeS)

:結論：ゆえに（[[∴]]）、「あるS」は、Pでは'''ない'''。(SoP)


具体例。（M=[[有蹄生物]]、S=[[ヒト|人間]]、P=[[ウマ]]）
:大前提：「全てのウマ」は、「有蹄生物」である。(PaM)

:小前提：「全ての有蹄生物」は、「人間」では'''ない'''。(MeS)

:結論：ゆえに（∴）、「ある人間」は、「ウマ」では'''ない'''。(SoP)

== 補足 ==
なお上に示した「定言三段論法」のほか、その発展として
*「[[仮言三段論法]]」
*「[[選言三段論法]]」
*「[[仮言選言三段論法]]」（[[両刀論法]]）
がある。

[[ジョン・スチュアート・ミル|J･S･ミル]]は『[[論理学体系]]』(1843年)において、因果関係の論証において従来の'''三段論法'''には以下のような欠陥があると指摘する<ref>岡本慎平「推論と規範-J.S.ミル『論理学体系』における生の技芸とその構造について-」（哲學63号 73-87　2011.10.25）広島大学学術情報リポジトリ[https://ir.lib.hiroshima-u.ac.jp/00031721]P.78</ref>。これは大前提(1)に論点先取の問題があり学術的推論において慎重を期すべき点を指摘するものである。すなわち
* (1)すべての人間には寿命がある。(2)Cは人間だ。(3)よってCには寿命がある
大前提(1)は、寿命のない人間の例が、これまでに一つも知られていないことから導かれたものであり、寿命のない人間が見つかれば(1)は成立しない。このため「Cに寿命がない」ならば(1)は成立せず、(1)が成立するには「Cに寿命がある」ことが前提になり、結局「Cに寿命がある」ことを前提として「Cに寿命がある」ことを導き出している。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
{{Reflist}}

==関連項目==
*[[アリストテレス]]
*『[[オルガノン]]』
**『[[分析論前書]]』
**『[[分析論後書]]』
*[[論理学]]
*[[一階述語論理]]
*[[演繹]]
*[[詭弁]]

==外部リンク==
{{SEP|medieval-syllogism|Medieval Theories of the Syllogism|三段論法に関する中世の理論}}
* {{Kotobank}}

{{Normdaten}}
{{DEFAULTSORT:さんたんろんほう}}
[[Category:三段論法|*]]
[[Category:論証]]
[[Category:名辞論理学]]
[[Category:アリストテレス]]
[[Category:方法論]]