> ## Documentation Index > Fetch the complete documentation index at: https://meta.niceshare.site/llms.txt > Use this file to discover all available pages before exploring further. # 演繹的推論 > 演繹的推論は、前提が真なら結論が必然的に従う推論です。起源、ユークリッド『原論』、妥当と健全の違いを学びます。 **カテゴリ**: 思考
**タイプ**: 推論スタイル
**起源**: アリストテレス『分析論前書』；ユークリッド『原論』、紀元前300年頃
**別名**: 演繹、三段論法、必然的推論 **先に答えると** — **演繹的推論**（Deductive Reasoning）は、前提が真であれば結論が*必ず*真になる推論です。アリストテレスは、あることが仮定されたのち、それらがそうであるゆえに別のことが必然として生じる言論だと定義しました。実務上の洞察は単純です。演繹は規則をほどくのであり、世界についての新しい事実を足しません。規則が偽なら、完璧な演繹でも誤った場所に着きます。 ## 演繹的推論とは？ **演繹的推論**（Deductive Reasoning）は、前提によって強制される結論の推論です。前提が真なら、結論は偽ではありえません。 > 演繹とは言論であり、あることが仮定されたのち、仮定されたものとは別のことが、それらがそうであるゆえに必然として生じる。これはアリストテレス『分析論前書』（I.1、24b18–20）の一文です。[帰納的推論](/ja/thinking/inductive-reasoning)が常にする伸びしろを、演繹は拒みます。「12歳未満は無料。この子は10歳。ゆえにこの子は無料。」結論は二つの前提を超えません。争いがあるとすれば、その子が10歳か、掲示された規則が本物の規則か、です。日常の絵は改札です。看板が条件を列挙します。満たせば、改札は*必ず*開く——看板と機械が一致していれば、です。妥当な論証は、配線の正しい改札です。*健全*な論証は、その改札に真の看板が付いたものです。[批判的思考](/ja/thinking/critical-thinking)は、配線図より看板に時間を使います。 [アブダクション推論](/ja/thinking/abductive-reasoning)は、驚きを説明する物語を発明します。演繹は次いで言います。その物語が真なら、他に何が現れねばならないか。[第一原理思考](/ja/thinking/first-principles-thinking)は、擁護できる前提から始めようとします。演繹は、下り道で新しい主張を静かに足させない一歩です。 ### 演繹的推論を3つの深さで理解する * **入門**: 規則がこの事例を覆うなら、結論はすでに規則の中にあります。日常の手がかりは掲示価格、レシピ、「火曜なら図書館は休み」です。 * **実務**: *妥当*と*健全*を分ける。形式を見たあと、書いていないものも含め、各前提を点検する。隠れた「すべて」が、たいていの演繹の不正です。 * **上級**: 演繹は*非拡張的*です。結論は前提を追い越しません。数学と契約での力であり、科学での限界です。仮説が禁じるものは演繹できます。仮説が世界に合うことは演繹できません。 ## 起源演繹的推論は「賢い人は理論から始める」という標語としてではなく、*必然的*帰結の研究として始まりました。 **アリストテレス**（紀元前4世紀）は『分析論前書』で、現存する最初の体系的記述を与えます。彼の語は *sullogismos* です。学者はしばしば「演繹」と訳します。定義が教科書の三行三段論法より広いからです。核心は必然です。前提がそうなら、結論は失敗できません。どの範疇前提の組が第三を強制し、どれがしないかを地図にしました。『分析論後書』の証明は、真で第一の前提からの演繹です。「第一原理から証明せよ」の祖先です。 **ユークリッド**はおよそ**紀元前300年**、アレクサンドリアで公開の機械を組みます。『原論』は定義、**五**つの公準、共通概念から始まり、残りを導きます。ヒースの標準的な数えは **13** 巻、**465** の命題です。二千年ほど、後の主張は冒頭にすでに含まれているはずだ、という本の範型でした。ストア派が第二の流れを足します。命題の形、いま言うモーダス・ポネンスとモーダス・トレンスです。中世のラテン学校はアリストテレスを『オルガノン』として教えました。十九世紀、**ジョージ・ブール**（『思考の法則』、**1854年**）と**ゴットロープ・フレーゲ**（『概念記法』、**1879年**）が演繹を代数的、次いで完全に形式的な推論へ鋳直します。**チャールズ・サンダース・パース**は後に、探究の循環へ置きます。アブダクションが仮説を発明し、演繹が必然の帰結を引き、[帰納](/ja/thinking/inductive-reasoning)がそれらの予測を新しい事例で試します。現代の教室の区別——*妥当*対*健全*——は、同じアリストテレスの切れ目の新しい衣服です。妥当はステップの必然です。健全は妥当に真の前提を足したものです。形式が完璧でも、前提が一度も稼がれていなければ、演繹は無用で、むしろ有害です。 ## 要点演繹的推論は、規則がすでに卓にあり、それがすでに禁じ、あるいは要求することを知る必要があるときに本領を発揮します。強制された一歩で新しい事実を運び込むと失敗します。前提を書く。結論を手で隠す。それらの前提を受け入れた人が、矛盾なく最終行を否定できるか。できるなら、演繹ではありません。飛躍です。「このアプリは我々に効いた。だから次のチームにも効く」は、ゆえにを着た帰納です。妥当とは、前提が真*なら*結論が強制される、ということです。健全とは、ステップが妥当で、*かつ*前提が真である、ということです。「すべての白鳥は白い。この鳥は白鳥だ。ゆえに白い」は妥当です。黒い白鳥がいれば不健全です。[経験的思考](/ja/thinking/empirical-thinking)が前提を点検します。演繹はその仕事を代行しません。日常の「論理」の多くは省略推論です。一行が言われていません。「創業者だから、これを伸ばせる。」欠けている全称は「創業者はみな伸ばせる」です。名指しする。その文に署名したくないなら、結論を使ってはなりません。不誠実な手は、「すべて」を紙の外に置き、攻撃できないようにすることです。パースの分業はいまも持ちます。説明を推測し、実際に出会える帰結を演繹する。測定、日付、禁じられた結果。[科学的思考法](/ja/methods/scientific-method)には、その突き合わせが要ります。点検可能なものを何も含意しない仮説は、演繹的に使われていません。展示されているだけです。 ## 応用場面公表された規則、契約、仮説がすでに卓にあるときに演繹的推論を使います。わずかな好意から規則を製造するためには使わないでください。シラバスが80点はBだと書き、提出物が82点なら、成績は従います。得点か評定表を論じ、土壇場で発明した例外を論じない。初期キャリアの争いは、「規則はそう書いていない」と「規則が違っていてほしい」を分けた方がきれいです。「十日を超える遅延は返金を起こす」という契約に、十二日の時刻印を足せば返金が出ます。それが本物の条項なら。エスカレートする前に、二つの前提を書く。法務が読み飛ばした不可抗力を足していれば、演繹は間違ったファイルから妥当でした。「この缶にナッツは入っていない」と「このクッキーはこの缶から来た」は、このクッキーがナッツフリーとして出されることを意味します。アレルギーのリスクは缶の規則が真かどうかに住み、論証の形には住みません。「日曜に焼いた分は除く」を静かに足さない。法令が四条件を列挙し、世帯が三つを満たすなら、給付は強制されません。法令を変えるか、欠けた条件を探す。それを含まない法律からの三段論法として道徳的主張を着飾ると、公聴を浪費します。 ## 事例演繹的推論を公開テキストとして番号付きで見る窓は、\*\*ユークリッドの『原論』\*\*です。一冊のギリシア教科書が論理の全体だ、という主張ではありません。およそ**紀元前300年**、アレクサンドリアでユークリッドは幾何を短い冒頭からの演繹として配列します。標準的な再構成は **13** 巻、**五**つの公準、**465** の命題です。第I巻は**命題29**まで第五公準、すなわち平行線の規則を使いません。最初の **28** 命題は、なしで従うことになっています。この遅延が方法を見えるようにします。証明が本当に必要とするまで、公理を使わない。およそ**二千**年、読者は第五公準を瑕疵と見ました。他より長い。最初の四つから*演繹*できるはずだ、と考えました。サッケーリは**1733年**に試みます。失敗には構造上の理由がありました。**1829年**、**ニコライ・ロバチェフスキー**はカザンで、最初の四公準を保ち第五を否定する幾何を公刊します。**ヤーノシュ・ボヤイ**の**1832年**の付録が、独立に同じことをします。それらの体系が無矛盾なら、第五公準は他の四つの内側に座ってほどかれるのを待ってはいません。妥当な演繹は、欠けた前提を鋳造できません。限界の注記: 学校の幾何は、人の尺度の部屋や区画をいまもモデル化します。1829–1832年の結果は論理的独立についてのものであり、黒板を捨てよという主張ではありません。新しい仕事が写すべきはユークリッドの切れ目です。実際に使っている前提を書き、述べることを拒んだ一条を演繹が補給すると期待しない。 ## 限界と失敗パターン前提が偽、曖昧、不完全なとき、演繹的推論は失敗します。「新人はみな二年残る」からの妥当な鎖は、六か月で人が去れば予算を誤ります。ごみが入れば、必然が出ます。モデルが世界でないときも失敗します。ユークリッドの最初の四公準は第五を強制しません。昨年の市場に真だった事業の手引は、来年の結果を強制しません。演繹は、*あなたの*規則が含意することを告げます。規則がいまも地形を記述しているかは告げません。よくある誤用は、願いを三段論法に着飾ることです。論争的な「すべて」を言わず、都合のよい個を演繹し、反対者を非論理と呼ぶ。それは演繹ではありません。肝心の梁を抜いた省略推論です。別の誤用は、標本しかない場所に演繹を要求することです。次の顧客は、先週の五件の面談の内側にすでにいません。 ## よくある誤解英語名はシャーロック・ホームズ、「妥当は真」、「演繹は数学者だけのもの」と衝突します。ホームズはそれを演繹と*呼びます*。看板の動きはたいていアブダクションです。灰、跛行、吠えなかった犬を最もよく説明する物語を発明する。演繹は次の一歩です。その物語が真なら、その男は十時より後にここにいたはずだ。名前を混ぜると、推測が証明の中に隠れます。妥当は前提と結論の関係です。前提を認証しません。「怒鳴る管理者はみな有能だ。彼女は怒鳴る。ゆえに有能だ」は妥当でも、悪い採用でありえます。健全を点検する。それから「有能」が定義されたかを点検する。掲示価格、契約条項、資格の帳票、ソフトウェアの `if` は、いずれも小さな演繹です。技能はギリシア文字ではありません。結論が余分な荷物を持って入ってくるのを拒むことです。「この規則を本当にそう意味するなら、すでに何にコミットしているか」と問うたとき、それを使っています。 ## 関連概念これらのページは同じ問題の隣にあります。すでに受け入れているものから結論へ進み、新しい事実を運び込まないにはどうするか。逆向きです。事例から、事例が強制しない規則へ。演繹はその規則をほどきます。仮説を発明します。演繹は、仮説が必然にするものを引きます。擁護できる前提を選びます。演繹は、それらの前提からの強制された下りです。前提が真か、ステップが妥当かを試します。演繹は点検するステップの一つです。推測を、検定が壊しうる予測へ変えるために演繹を必要とします。前提を供給し、点検します。演繹は世界を観察してくれません。 ## 一言で言うと結論が前提より多くを語るなら、もう演繹していない。隠れた規則を書き、それが真かを点検し、それから強制された一歩を信頼せよ。