ストア派の「五つの基本推論式」とは、ほかの証明を待たずに推論の出発点として使える五種類の論証です。古代の呼び名は「証明されないもの／証明不要なもの」（ἀναπόδεικτοι, indemonstrables）。「理由なしに信じる五つの教義」という意味ではなく、複雑な論証を分析するときの基礎形を指します。
よく知られる第一・第二の形は、現代のモーダス・ポネンス、モーダス・トレンスに近く見えます。しかし、五つをそのまま現代の記号論理の公式へ置き換えると、古代の体系にあった重要な違いが消えます。本記事では、ディオゲネス・ラエルティオス『ギリシア哲学者列伝』第7巻79–81節を軸に、五つの形、その前提となる命題、そして「どこまで現代論理と同じと言えるのか」を整理します。
結論：「証明不要」とは、推論を止める言葉ではない
ストア派の論証は、二つ以上の前提と一つの結論からなります。前提を認めたのに結論の否定も同時に認めることができないとき、その論証は妥当です。さらに前提が実際に真であれば、その論証は健全、つまり真なる論証とされます。
ここで五つの基本形が働きます。第一は条件文とその前件から後件を導き、第二は条件文と後件の否定から前件の否定を導きます。第三は「二つが同時に成り立つことはない」という前提を使い、第四・第五は排他的な「AかBか」を使います。ディオゲネスは、クリュシッポスがこれらを五つに数えたと伝えています（『哲学者列伝』7.79–81、R. D. Hicks英訳）。
なぜストア派は「もの」ではなく「命題」をつないだのか
アリストテレスの三段論法が「すべての人間は死ぬ」「ソクラテスは人間である」のように項の関係を中心に組み立てられるのに対し、ストア派は「もし昼なら、明るい」「昼である」のように、真偽を持つ命題全体のつながりを分析しました。そのため、ストア派の体系は命題論理の重要な先駆として説明されます。
ただし、古代の命題を現代の記号だけに縮めることもできません。ストア派が真偽の担い手としたのは、音声そのものでも物体そのものでもなく、発話が表す完全な意味内容でした。この背景はレクトンと命題の解説で詳しく扱っています。また、条件文を何が真にするのかという論争はフィロン・ディオドロス・ストア派の条件文比較が前提になります。
五つの基本推論を原典の順に読む
第一：もしAならB、A、ゆえにB
第一の形は、条件文とその前件を前提にして、後件を結論とします。「もし昼なら、明るい。昼である。ゆえに明るい」が典型例です。現代のモーダス・ポネンスに近い形ですが、論証が健全であるためには、最初の条件文そのものが真でなければなりません。
第二：もしAならB、Bではない、ゆえにAではない
第二は、条件文と後件の否定から前件の否定を導きます。「もし昼なら、明るい。明るくない。ゆえに昼ではない」という形です。現代のモーダス・トレンスに近く、結果が否定されたことから、十分条件として置かれた前件を退けます。
第三：AとBが同時に成り立つことはない、A、ゆえにBではない
第三は否定された連言、つまり「AとBが同時に成り立つことはない」を第一の前提にします。「プラトンが死んでいて、かつ生きていることはない。プラトンは死んでいる。ゆえに生きていない」がディオゲネスの例です。二つの命題が両立しないことを使う推論で、単に一方が真だからもう一方が偽だと決めるわけではありません。最初に両立不可能性が必要です。
第四：AかBか、A、ゆえにBではない
第四は選言と、その一方を前提にし、他方を否定します。「AかBか。Aである。ゆえにBではない」です。ここで注意したいのは、ストア派の選言が「どちらか一方だけが成り立つ」という排他的な関係を表すことです。現代の日常語の「または」のように両方が成り立つ可能性を許せば、AからBの否定を導くことはできません。
第五：AかBか、Aではない、ゆえにB
第五も排他的選言を使います。「昼であるか夜であるか。夜ではない。ゆえに昼である」が伝承された例です。選択肢が本当に二つだけで、少なくとも一方が成り立つという最初の前提が正しい場合に、一方の否定から他方を導けます。第三・第四・第五はいずれも、論証の前に置かれた関係を確認しなければ、見かけだけ似た誤推論になりえます。
「五式＝五つの現代公式」と言い切れない理由
現代の解説では、五つを p と q の公式として並べることがあります。学習の入口としては便利ですが、研究上は留保が必要です。ストア派の「第一」「第二」は、現代の命題変項と完全に同じ役割を持つとは限りません。また、古代の記述は五個の固定された文型だけでなく、順序の入れ替えや複合命題を含む多くの具体的な「様式」を包む五種類の説明だったと考えられています。
Stanford Encyclopedia of Philosophy「Ancient Logic」§5は、五つを単純な五個の推論図式とみなす通俗的理解に注意を促し、三十二の様式が古代の記述に当てはまると説明します。Susanne Bobzienも、五つを現代の規則へ一対一に置き換えるのではなく、論証の構成と還元の仕組みとして再構成しています（“Stoic Logic”）。
複雑な論証は「テマタ」で基本形へ戻す
五つだけで、日常の長い論証がそのまま表せるわけではありません。ストア派はテマタ（themata）と呼ばれる変形・還元の規則を用い、複雑な論証を五つの基本形へ戻そうとしました。四つあったとされるテマタのうち、現存資料から内容を詳しく再構成できるのは第一と第三が中心です。体系の全貌は、クリュシッポスの膨大な論理学著作が失われたため復元できません。
したがって「ストア派は五つの型を暗記した」と考えるより、複雑な議論を基礎形へ分解し、その妥当性を点検する手続を持っていたと理解する方が正確です。ストア派が論理学を倫理や自然学にも不可欠とした理由は、エピクテトス『語録』2.25から読む論理学の役割にもつながります。
現代の議論に生かすなら「形」と「前提」を分ける
五つの基本形から現代の読者が学べるのは、結論の印象ではなく、前提と結論の関係を順に確認する姿勢です。たとえば「この方法を使えば必ず成功する。この人は成功しなかった。だからこの方法を使わなかった」と推論するには、最初の条件文が本当に例外なく成り立つ必要があります。形が第二の推論に似ていても、条件文が弱ければ健全な結論にはなりません。
また「AかBか」と聞かれたとき、第三の可能性がないか、AとBが同時に成り立たないかを確認することも重要です。これは古代資料に書かれた人生訓ではなく、五つの形から引き出せる編集上の応用です。論理形式が妥当であることと、現実の前提が正しいことを分けるだけで、二者択一の思い込みや断定の飛躍を見つけやすくなります。
クリュシッポス本人の著作は残っているのか
クリュシッポスはストア派の論理体系を大成した人物ですが、その論理学著作はまとまった形で現存しません。五つの基本形については、後代のディオゲネス・ラエルティオスとセクストス・エンペイリコスの報告が主要な手がかりです。セクストス『論理学者たちへの反駁』2.224–225（通し番号では M 8.224–225）も「第一」「第二」という古代ストア派の表現を保存しています。
そのため、現存する報告から体系を再構成する部分と、クリュシッポス本人の言葉として確実に引用できる部分を区別しなければなりません。人物像や著作伝承を先に確認したい方は、クリュシッポスの思想と伝承資料の解説も参照してください。
関連書籍を探す
広告：この記事にはAmazonアソシエイトの広告リンクが含まれます。Amazonのアソシエイトとして、meigen89は適格販売により収入を得ています。
五つの形式を古代哲学史の中で深めたい方は、入門書と専門研究を比較できるストア派論理学とクリュシッポスの関連書籍をAmazonで探すと、命題論・推論論・哲学史のどこを重点的に読むか選びやすくなります。
まとめ
ストア派の五つの基本推論は、条件文、両立不可能性、排他的選言を用いて結論を導く基礎形です。第一・第二は現代のモーダス・ポネンス、モーダス・トレンスに近い一方、第四・第五では「AかBか」が排他的である点が欠かせません。
さらに、五つは孤立した暗記項目ではなく、テマタによって複雑な論証を還元する体系の核でした。現代の記号を使うと見通しはよくなりますが、古代の五種類を五個の固定公式と同一視せず、史料の表現と再構成を区別して読むことが大切です。
出典・参考資料
ディオゲネス・ラエルティオス『ギリシア哲学者列伝』第7巻75–83節（とくに79–81節）。R. D. Hicks英訳、ToposText（2026年10月27日確認）。
セクストス・エンペイリコス『論理学者たちへの反駁』第2巻224–225節（M 8.224–225）。本文の位置と古代ストア派の定式は、Stanford Encyclopedia of Philosophy, “Stoicism,” §3.4 Syllogisticおよび上記ディオゲネスの並行箇所と照合（2026年10月27日確認）。
Susanne Bobzien, “Ancient Logic,” §5 Stoic Logic, Stanford Encyclopedia of Philosophy（2026年10月27日確認）。
Susanne Bobzien, “Stoic Logic”, in The Cambridge Companion to the Stoics, 2003（著者公開PDF、2026年10月27日確認）。
本文中の日本語は、上記の公開英訳・研究資料を確認した範囲にもとづく当サイトの要約です。既刊日本語訳からの直接引用ではありません。ギリシア語校訂版間の異読比較は行っていません。
