によって

ネイサン・オユエン

—

2026/06/11

演繹的推論の解説：論理とよくある誤り

ネイサン・オユエン

EYのシニアアカウンタント

会計学の学士号を取得し、会計の大学院ディプロマを修了しました

リンクトイン

演繹法（えんえきほう）は、保証が伴う唯一の推論方法です。前提が真であり、構造が正しければ、結論が偽になることはあり得ません。これは他のいかなる議論の形式よりも強力な約束であり、だからこそ演繹は数学、形式論理学、そして科学における仮説検証の根底に位置しているのです。

また、ここには研究における特有で非常に一般的なエラーも潜んでいます。以下では、演繹とは実際何なのか、妥当な議論と真の議論の違い、知っておくべき5つの形式、ほぼすべての人が騙される2つの妥当でない形式、そして論文の「結果（Results）」セクションを書く際にこれらすべてがどのように現れるかについて解説します。

演繹法とは何か？

演繹法は、一般的な前提から、そこから必然的に導き出される特定の結論へと進みます。そのため、しばしばトップダウン型の推論と呼ばれます。真であると受け入れられていることから始めて、それを特定のケースに適用すると、結論が不可避的に導かれます。

教科書的な例は、以下の3行で表されます。

すべての哺乳類は脊椎動物である。すべてのクジラは哺乳類である。したがって、すべてのクジラは脊椎動物である。

結論において、新しい要素は何も加わりません。結論が述べていることはすべて、すでに前提に含まれています。これこそが、保証が維持される理由であり、同時に演繹だけでは世界に関する真に新しい知見を何も得られない理由でもあります。これと帰納法（きのうほう）を比較してみましょう。帰納法は、特定の観察から一般的な主張へと進み、確実性を犠牲にして新しい内容を獲得します。1,000羽の白い白鳥を観察することは、すべての白鳥が白いという主張を支持しますが、それを立証するものではありません。

妥当性（Validity）と健全性（Soundness）は同じではない

この区別は、このページに書かれている他のどの概念よりも重要です。日常的に「妥当（Valid）」という言葉を使うほとんどの人は、それを正しく使っていません。

演繹的な議論が妥当（valid）であるとは、その構造が結論を保証している状態を指します。『インターネット哲学百科事典』の表現を借りるなら、妥当な議論とは、前提が真であれば、結論も必ず真となるような形式を持つものです。妥当性は、前提が実際に真であるかどうかについては何も言及しません。

議論が健全（sound）であるとは、それが妥当であり、かつすべての前提が実際に真である場合を指します。健全性こそが、あなたが本当に求めるべき性質です。

以下は、完全に妥当でありながら、完全に不健全な議論の例です。

すべての鳥は飛ぶことができる。ペンギンは鳥である。したがって、ペンギンは飛ぶことができる。

論理は完璧です。しかし、最初の前提が偽であるため、結論には価値がありません。学術的な執筆において、これは極めて重要です。なぜなら、文献レビュー（先行研究のレビュー）は、自分で検証していない前提に基づいて構築された議論の連鎖だからです。推論が非の打ち所がなくとも、引用した知見の1つが再現不可能だったために、結論が間違ってしまうことがあります。前提を精査することは、論理をチェックすることとは別の仕事であり、何が信頼できる情報源なのかを知ることで、それが可能になります。

日常における演繹法の例

演繹は論理学の授業の中だけのものではありません。ほとんどの人は、それを意識することなく日常的に使い続けています。身近な場面でそれらを見ることで、フォーマルな形式を理解しやすくなります。

医療： この感染症にかかっているすべての患者は、このアッセイ（検査）で陽性反応を示します。この患者は陰性でした。したがって、この患者は感染していません。
法律： この法律は、2024年1月以降に署名された契約に適用されます。この契約は2022年に署名されました。したがって、この法律は適用されません。
ソフトウェア： 設定ファイルが存在しない場合、サービスは起動時に失敗します。サービスは起動しました。したがって、設定ファイルは存在します。
数学： すべての証明は、その構成上、演繹的です。公理が前提であり、定理が必然的に導かれる結論です。
適性検査： 演繹的推論のテスト問題は、一連のルールを提示し、どの結論が必然的に導き出されるかを問います。これはまさに、制限時間内に適用される妥当性のテストそのものです。

これらの推論が、「3人の友人が気に入っていたから、あのレストランはきっと美味しいだろう」と結論づけるときの推論とはまったく異なることに気づくでしょう。後者は帰納法であり、非常に合理的ではあっても、間違っている可能性があります。

知っておくべき5つの形式

演繹的な議論には、広く認知されたいくつかの「型」があります。その名前を覚えるのは単なる衒学（げんがく）ではありません。形式を認識できるようになれば、1時間議論を戦わせる代わりに、ほんの数秒で議論の正しさをチェックできるようになります。

前件肯定（Modus ponens）

PならばQである。Pである。したがってQである。雨が降れば、グラウンドは濡れる。雨が降った。したがってグラウンドは濡れている。 これは仮説検証において主力となる形式であり、ほぼすべての研究予測がこの形をとります。

後件否定（Modus tollens）

PならばQである。Qではない。したがってPではない。薬が効くなら、症状は治まる。症状は治まらなかった。したがって薬は効いていない。 これは反証（Falsification）の論理的な形式であり、否定的（ネガティブ）な結果に説得力を与える形式です。

仮言三段論法（Hypothetical syllogism）

PならばQである。QならばRである。したがって、PならばRである。予算が増えれば、人員が増える。人員が増えれば、待ち時間が減る。したがって、予算が増えれば、待ち時間が減る。 このような条件文の連鎖は、文献レビューを通じて理論的な主張を構築していく際によく使われます。

選言三段論法（Disjunctive syllogism）

PまたはQである。Pではない。したがってQである。サンプルが汚染されていたか、試薬の期限が切れていたかのどちらかである。汚染はされていなかった。したがって、試薬の期限が切れていた。 可能性を排除して説明を絞り込むのに便利ですが、選択肢のリストが不完全である場合には危険を伴います。

定言三段論法（Categorical syllogism）

すべてのMはPである。すべてのSはMである。したがって、すべてのSはPである。これは3つの命題と、正確に3つの名辞（概念のクラス）からなる古典的な形式です。すなわち、結論の述語となる大名辞、結論の主語となる小名辞、そして両方の前提に現れるが結論には現れない媒名辞（中間概念）です。

妥当に見えてしまう2つの「妥当でない」形式

これら2つは、前述の5つの妥当な形式すべてを合わせたものよりも注意を払う価値があります。なぜなら、それらは非常に説得力があり、極めて一般的であり、論理的に導き出せないにもかかわらず「自信ありげに聞こえる結論」を生み出すからです。

後件肯定の誤謬。 PならばQである。Qである。したがってPである。理論が正しければ、スコアは上昇する。スコアは上昇した。したがって理論は正しい。 これは妥当ではありません。なぜなら、他の何かがスコアを上昇させた可能性があるからです。これは実証研究において最も重要な誤謬であり、その理由については次のセクションで説明します。

前件否定の誤謬。 PならばQである。Pではない。したがってQではない。理論が正しければ、スコアは上昇する。理論は正しくない。したがってスコアは上昇しない。 これも妥当ではありません。なぜなら、他の原因が存在する可能性があるからです。

どちらも説得力があるように感じられるのは、前提が結論に実際に関連しているからです。しかし、関連性は「必然（含意）」ではありません。その2つの間にあるギャップこそが、多くの行き過ぎた主張（過剰主張）が生み出される場所なのです。

演繹法と帰納法の比較

ほとんどの研究は、この両方をサイクルとして使用します。その違いは、思考の方向性と、それぞれがどのような約束をしてくれるかにあります。

	演繹的（Deductive）	帰納的（Inductive）
方向性	一般から特定へ（トップダウン）	特定から一般へ（ボトムアップ）
約束	前提が真であれば、結論も必ず真となる	結論は確率的に高いが、決して保証はされない
評価基準	妥当（Valid）か妥当でない（Invalid）か、健全（Sound）か不健全（Unsound）か	強い（Strong）か弱い（Weak）か、説得力がある（Cogent）かないか
新しい内容	なし（結論はすでに前提に含まれている）	あり（だからこそ確実性が失われる）
研究での役割	理論の検証、仮説検証	理論の構築、パターンの発見
典型的な設計	設定した仮説を検証する実験やアンケート調査	グラウンデッド・セオリー、探索的な質的研究

「理論」との組み合わせを覚えておくことが重要です。バタチャルジー（Bhattacherjee）がそのオープンメソッドの教科書で述べているように、帰納的研究は「理論構築」のための研究であり、演繹的研究は「理論検証」のための研究であり、学術分野が前進するためにはその両方が必要です。

研究における演繹的推論の仕組み

研究への応用における正式名称は、仮説演繹法（仮説演繹的アプローチ）です。検証対象の仮説から観察可能な帰結を「演繹」し、それを確かめに行きます。『スタンフォード哲学百科事典』によると、これは19世紀にヒューウェルによって提唱され、1966年にヘンペルによって標準的な現代の定式化が与えられたものであり、特定の単一の創設者はいないとされています。

実践における手順は次のようになります。まず、研究のために発明するのではなく、文献から得た既存の理論から始めます。そこから導き出される予測を演繹します（もし理論が正しければ、この対象集団においてこの特定の結果が観察されるはずである）。それを操作可能（オペレーショナル）にします。これは、変数、尺度、そして結果がどう解釈されるかを含め、各概念がどのように測定されるかを正確に規定することを意味します。測定方法を事前に固定した上でデータを収集し、予測が本当に失敗し得る（反証可能な）状態にします。そして、実際に何が導き出されたかを報告しますが、ここが最も間違いの起こりやすいステップです。

何が起ころうとも必ず真になってしまうような予測は、理論からの「演繹」ではありません。それは単なる理論の記述です。何が起きたら自身の主張への反証となるかを事前に示すことができないのであれば、その研究は何の検証もしていないことになります。

過剰な主張の裏にある推論エラー

ここに、ほとんど誰も明確に指摘しない、しかしこのページで最も有用な関係性があります。

あなたの予測は「私の理論が正しいなら、この結果が観察される」という形式をとっています。そして研究を実行し、その結果が観察されました。そこから何が導かれるでしょうか？形式的には、何も導かれません。「したがって理論は正しい」と結論づけるのは、2つ前のセクションで紹介した妥当でない形式「後件肯定の誤謬」です。他のメカニズムが同じ結果を生み出した可能性があるからです。

だからこそ、否定（反証）の方向の方が、論理がはるかに強固に機能します。予測した結果が得られなかった場合、それは「後件否定」であり、後件否定は論理的に妥当です。カール・ポパーはこの非対称性に基づいて独自の科学哲学を築き上げ、著書『科学的発見の論理』の中で、経験に基づいて普遍的な命題を検証することは論理的に不可能であるが、たった1つの本物の反例があれば、対応する普遍的な法則を反証することができると主張しました。

実務上の注意点は、論文の記述レベルに関わってきます。予測が裏付けられた場合、「〜と一致している（consistent with）」、「〜を支持する（supports）」、「〜の予測通り（as predicted by）」といった表現が許容されます。しかし、「〜を証明する（proves）」、「理論が正しいことを実証する（demonstrates that the theory is correct）」、「理論を確定させる（confirms the theory）」といった言葉は使えません。審査員や査読者はこの違いを細かくチェックしています。ここで正しく適切な「ぼかし（hedging）」を使うことは、弱さではなく、研究者としての有能さを示すことになります。

ただし、現実的な複雑さもあります。本物の「反証」もまた、実際にはそれほど単純ではありません。予測が失敗したとき、あなたは同時に測定方法やサンプル、操作（実験的介入）そのものもテストしているからです。ネガティブな結果（予測通りにいかない結果）が伝えているのは、そのパッケージの「何か」が間違っていたということであり、必ずしも理論そのものが間違っているとは限りません。考察（Discussion）セクションでその点を率直に述べることは、慎重で丁寧な執筆者であることの証です。

質的研究における演繹的推論

演繹法は通常、量的研究に分類されがちですが、それは誤りです。質的研究にも、データに触れる前に既存の理論やフレームワークからコードブックを構築する「演繹的コーディング（定性的コーディング）」という、直接対応するアプローチが存在します。

厳密な手法は、単にフレームワークをデータに無理やり押し付けるだけではありません。FifeとGossnerは『定性的方法の国際ジャーナル（International Journal of Qualitative Methods）』の中で、演繹的な質的分析を、演繹的作業と帰納的作業を組み合わせて検証対象の理論に対する「支持する証拠」「矛盾する証拠」「洗練させる証拠」「拡張する証拠」を精査するものとして説明しています。この方法では、導きの糸となる理論から感度を高める構成概念を用いつつも、それらの概念が結果の中で機能していることをデータに基づいて実証する必要があります。

端的に言えば、理論は「どこを見るべきか」を教えてくれますが、「何が見つかったか」を教えてくれるわけではないのです。

持ち帰るべき習慣

演繹は、一度学んでしまっておくような抽象的な概念ではありません。それは「検証のための手順」です。論文の議論が説得力があると感じたときは、それを論理形式に還元してみて、結論が本当に不可避的に導かれているのか、それとも単にそれらしく提案されているだけなのかを確認してください。自分自身で結論を書くときも、それが自分が示したことから論理的に導かれているのか、それとも数ある妥当な説明の中の1つに過ぎないのかを自問してみてください。

その習慣は、学術的な執筆のあらゆる場所に現れます。研究の議論がどのように構築されているか、方法論がどのように記述されているか、そして何よりも、研究が「観察したこと」と、著者が「確立したと主張していること」の間にあるギャップの扱いに現れます。並の論文と優れた論文を分ける距離の大部分は、そのギャップをいかに適切に扱えているかによって決まるのです。