三段論法

三段論法は、論理学における論理的推論の型式のひとつ。典型的には、大前提、小前提および結論という3個の命題を取り扱う。これを用いた結論が真であるためには、前提が真であること、および論理の法則が守られることが必要とされる。

アリストテレスの『オルガノン』によって整備された。

1. 語義
-----

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

2. 構成
-----

2.1. 3つの項と3つの命題
---------------

古代ギリシアに由来する西洋の三段論法は、

大概念 - 結論において述語となる概念。
小概念 - 結論において主語となる概念。
媒概念name="#1" - 大前提・小前提で上2つの概念との関係性が示される媒介的な概念。中項。という3つの項の内、2つの組み合わせをそれぞれ表現する、

大前提 - 大概念/述語と、媒概念/中項の関係性を示す命題文
小前提 - 小概念/主語と、媒概念/中項の関係性を示す命題文
結論 - 小概念/主語と、大概念/述語の関係性を示す命題文という3つの命題によって構成される、演繹的な推論規則である。

このように、ある個物的/基体的な「小概念」と、抽象的/類的な「大概念」の関係性を、両概念との関係性を示すことが可能な「媒概念」を介しつつ提示/規定するのが、三段論法という手法の目的である。

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

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

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

2.2. 命題の4つの型
------------

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

なお、このAとIはラテン語の「la」、EとOはラテン語の「la」から採られた記号である。

2.3. 三段論法の4つの格
--------------

三命題における S、P、Mの配列パターンを格と呼び、これには4つの可能性がある。

 ちなみに、上記した命題の4つの「型」と、この4つの「格」を組み合わせて表現すると、例えば、第一格の命題が全てAの場合は、

MaP SaM SaPといった具合に表現できる。

3. 種類
-----

4つの型を採り得る各命題が3つ組み合わされ、更にその組み合わせが命題3要素の配列パターンによって4つの「格」に分けられるので、全部で43×4=256通りの三段論法がありえるが、実際にはそのうちの19通りのみから恒真な結論が得られる。このとき2つの前提はともに真でなければならない。

その19式を示せば、

第一格では AAA,  EAE,  AII, EIO
第二格では EAE,  AEE,  EIO, AOO
第三格では AAI, EAO, IAI, AII, OAO, EIO
第四格では AAI, AEE,  IAI, EAO, EIOである。

3.1. 詩による表現
-----------

「定言三段論法」における上記の19式を覚えるため、中世ではsyllogismusと呼ばれるラテン語の詩が作られた。

この詩から子音を取り除くことによって三段論法の式が得られ、それぞれの式を呼ぶのには詩のおのおのの単語を用いる。

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

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

冒頭で示した三段論法の例は第一格の「Barbara」に対応している。

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

3.2. ベン図による表現
-------------

上記の19式を「ベン図」で表すと、以下のようになる。

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

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



3.3. オイラー図による表現
---------------

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

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



4. 詳細
-----

4.1. 包含タイプ
----------

4.1.1. AAA-1
------------

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

「入れ子」式に、主語が述語に包含されるパターン。

以下のようになる。

大前提：「全てのM」は、Pである。 小前提：「全てのS」は、Mである。結論：ゆえに、「全てのS」は、Pである。 具体例。

大前提：「全ての人間」は、「死ぬ存在」である。 小前提：「全てのギリシア人」は、「人間」である。結論：ゆえに、「全てのギリシア人」は、「死ぬ存在」である。

4.1.1.1. AAI-1 : 弱勢式
--------------------

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

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

以下のようになる。

大前提：「全てのM」は、Pである。小前提：「全てのS」は、Mである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「全ての人間」は、「死ぬ存在」である。小前提：「全てのギリシア人」は、「人間」である。結論：ゆえに、「あるギリシア人」は、「死ぬ存在」である。

4.1.2. AAI-4
------------

第四格のAAI、すなわち「PaM MaS SiP」の三段論法。

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

以下のようになる。

大前提：「全てのP」は、Mである。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「全てのギリシア人」は、「人間」である。小前提：「全ての人間」は、「死ぬ存在」である。結論：ゆえに、「ある死ぬ存在」は、「ギリシア人」である。

4.2. 一部重複タイプ
------------

4.2.1. AII-1
------------

第一格のAII、すなわち「MaP SiM SiP」の三段論法は、以下のようになる。

大前提：「全てのM」は、Pである。小前提：「あるS」は、Mである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「全てのウサギ」は、「有毛生物」である。小前提：「あるペット」は、「ウサギ」である。結論：ゆえに、「あるペット」は、「有毛生物」である。

4.2.1.1. AII-3
--------------

第三格のAII、すなわち「MaP MiS SiP」の三段論法は、以下のようになる。

大前提：「全てのM」は、Pである。小前提：「あるM」は、Sである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「全てのウサギ」は、「有毛生物」である。小前提：「あるウサギ」は、「ペット」である。結論：ゆえに、「あるペット」は、「有毛生物」である。

4.2.2. IAI-3
------------

第三格のIAI、すなわち「MiP MaS SiP」の三段論法は、以下のようになる。

大前提：「あるM」は、Pである。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「あるウサギ」は、「ペット」である。小前提：「全てのウサギ」は、「有毛生物」である。結論：ゆえに、「ある有毛生物」は、「ペット」である。

4.2.2.1. OAO-3 : 否定形
--------------------

第三格のOAO、すなわち「MoP MaS SoP」の三段論法は、以下のようになる。

大前提：「あるM」は、Pではない。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「あるネコ」は、「有尾生物」ではない。小前提：「全てのネコ」は、「哺乳類」である。結論：ゆえに、「ある哺乳類」は、「有尾生物」ではない。

4.2.3. IAI-4
------------

第四格のIAI、すなわち「PiM MaS SiP」の三段論法は、以下のようになる。

大前提：「あるP」は、Mである。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「あるペット」は、「ウサギ」である。小前提：「全てのウサギ」は、「有毛生物」である。結論：ゆえに、「ある有毛生物」は、「ペット」である。

4.2.4. AAI-3
------------

第三格のAAI、すなわち「MaP MaS SiP」の三段論法は、以下のようになる。

大前提：「全てM」は、Pである。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pである。 具体例。

大前提：「全ての正方形」は、「長方形」である。小前提：「全ての正方形」は、「菱形」である。結論：ゆえに、「ある菱形」は、「長方形」である。

4.3. 一部重複タイプ : 全て否定形
--------------------

4.3.1. EIO-1
------------

第一格のEIO、すなわち「MeP SiM SoP」の三段論法は、以下のようになる。

大前提：「全てのM」は、Pではない。小前提：「あるS」は、Mである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての宿題」は、「楽しみ」ではない。小前提：「ある読書」は、「宿題」である。結論：ゆえに、「ある読書」は、「楽しみ」ではない。

4.3.1.1. EIO-2
--------------

第二格のEIO、すなわち「PeM SiM SoP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mではない。小前提：「あるS」は、Mである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての楽しみ」は、「宿題」ではない。小前提：「ある読書」は、「宿題」である。結論：ゆえに、「ある読書」は、「楽しみ」ではない。

4.3.1.2. EIO-3
--------------

第三格のEIO、すなわち「MeP MiS SoP」の三段論法は、以下のようになる。

大前提：「全てのM」は、Pではない。小前提：「あるM」は、Sである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての宿題」は、「楽しみ」ではない。小前提：「ある宿題」は、「読書」である。結論：ゆえに、「ある読書」は、「楽しみ」ではない。

4.3.1.3. EIO-4
--------------

第四格のEIO、すなわち「PeM MiS SoP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mではない。小前提：「あるM」は、Sである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての楽しみ」は、「宿題」ではない。小前提：「ある宿題」は、「読書」である。結論：ゆえに、「ある読書」は、「楽しみ」ではない。

4.3.2. EAO-3
------------

第三格のEAO、すなわち「MeP MaS SoP」の三段論法は、以下のようになる。

大前提：「全てのM」は、Pではない。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての花」は、「動物」ではない。小前提：「全ての花」は、「植物」である。結論：ゆえに、「ある植物」は、「動物」ではない。

4.3.2.1. EAO-4
--------------

第四格のEAO、すなわち「PeM MaS SoP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mではない。小前提：「全てのM」は、Sである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての動物」は、「花」ではない。小前提：「全ての花」は、「植物」である。結論：ゆえに、「ある植物」は、「動物」ではない。

4.3.3. AOO-2
------------

第二格のAOO、すなわち「PaM SoM SoP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mである。小前提：「あるS」は、Mではない。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての参考情報」は、「有用」である。小前提：「あるウェブサイト」は、「有用」ではない。結論：ゆえに、「あるウェブサイト」は、「参考情報」ではない。

4.4. 分裂タイプ : 全て否定形
------------------

4.4.1. EAE-1
------------

第一格のEAE、すなわち「MeP SaM SeP」の三段論法は、以下のようになる。

大前提：「全てのM」は、Pではない。小前提：「全てのS」は、Mである。結論：ゆえに、「全てのS」は、Pではない。 具体例。

大前提：「全ての爬虫類」は、「有毛生物」ではない。小前提：「全てのヘビ」は、「爬虫類」である。結論：ゆえに、「全てのヘビ」は、「有毛生物」ではない。

4.4.1.1. EAO-1 : 弱勢式
--------------------

第一格のEAO、すなわち「MeP SaM SoP」の三段論法。

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

以下のようになる。

大前提：「全てのM」は、Pではない。小前提：「全てのS」は、Mである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての爬虫類」は、「有毛生物」ではない。小前提：「全てのヘビ」は、「爬虫類」である。結論：ゆえに、「あるヘビ」は、「有毛生物」ではない。

4.4.2. EAE-2
------------

第二格のEAE、すなわち「PeM SaM SeP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mではない。小前提：「全てのS」は、Mである。結論：ゆえに、「全てのS」は、Pではない。 具体例。

大前提：「全ての有毛生物」は、「爬虫類」ではない。小前提：「全てのヘビ」は、「爬虫類」である。結論：ゆえに、「全てのヘビ」は、「有毛生物」ではない。

4.4.2.1. EAO-2 : 弱勢式
--------------------

第二格のEAO、すなわち「PeM SaM SoP」の三段論法。

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

以下のようになる。

大前提：「全てのP」は、Mではない。小前提：「全てのS」は、Mである。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全ての有毛生物」は、「爬虫類」ではない。小前提：「全てのヘビ」は、「爬虫類」である。結論：ゆえに、「あるヘビ」は、「有毛生物」ではない。

4.4.3. AEE-2
------------

第二格のAEE、すなわち「PaM SeM SeP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mである。小前提：「全てのS」は、Mではない。結論：ゆえに、「全てのS」は、Pではない。 具体例。

大前提：「全てのヘビ」は、「爬虫類」である。小前提：「全ての有毛生物」は、「爬虫類」ではない。結論：ゆえに、「全てのヘビ」は、「有毛生物」ではない。

4.4.3.1. AEO-2 : 弱勢式
--------------------

第二格のAEO、すなわち「PaM SeM SoP」の三段論法。

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

以下のようになる。

大前提：「全てのP」は、Mである。小前提：「全てのS」は、Mではない。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全てのウマ」は、「有蹄生物」である。小前提：「全ての人間」は、「有蹄生物」ではない。結論：ゆえに、「ある人間」は、「ウマ」ではない。

4.4.4. AEE-4
------------

第四格のAEE、すなわち「PaM MeS SeP」の三段論法は、以下のようになる。

大前提：「全てのP」は、Mである。小前提：「全てのM」は、Sではない。結論：ゆえに、「全てのS」は、Pではない。 具体例。

大前提：「全てのヘビ」は、「爬虫類」である。小前提：「全ての爬虫類」は、「有毛生物」ではない。結論：ゆえに、「全ての有毛生物」は、「ヘビ」ではない。

4.4.4.1. AEO-4 : 弱勢式
--------------------

第四格のAEO、すなわち「PaM MeS SoP」の三段論法。

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

以下のようになる。

大前提：「全てのP」は、Mである。小前提：「全てのM」は、Sではない。結論：ゆえに、「あるS」は、Pではない。 具体例。

大前提：「全てのウマ」は、「有蹄生物」である。小前提：「全ての有蹄生物」は、「人間」ではない。結論：ゆえに、「ある人間」は、「ウマ」ではない。

5. その他
------

なお上に示した「定言三段論法」のほか、その発展として

「仮言三段論法」
「選言三段論法」
「仮言選言三段論法」がある。

また、ジョン・スチュアート・ミルは、如上のソクラテス云々の場合、結論を知っていないならば、大前提の全称判断は得られないのだから、三段論法は一種の循環論証であると批判した。

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 関連項目
-------

アリストテレス
『オルガノン』
『分析論前書』
『分析論後書』
論理学
一階述語論理
演繹
詭弁

8. 外部リンク
--------