類別: 思維
類型: 推理方式
來源: 亞里斯多德，《前分析篇》；歐幾里得，《幾何原本》，約西元前 300 年
別名: 演繹、三段論推理、必然推斷
類型: 推理方式
來源: 亞里斯多德，《前分析篇》；歐幾里得，《幾何原本》，約西元前 300 年
別名: 演繹、三段論推理、必然推斷
快速回答 — 演繹推理（Deductive Reasoning）是從前提推出必然為真的結論：前提若真，結論不能假。亞里斯多德把它定義為一種話語：某些事情被假定之後，另一些不同的事情由於它們如此而必然得出。核心啟示很簡單：演繹拆開一條規則，並不往世界裡添加新事實。規則若是假的，再完美的演繹仍會把你帶錯。
什麼是演繹推理？
演繹推理（Deductive Reasoning）是由前提強迫得出結論的推斷：前提為真，結論就不能為假。演繹是一種話語：某些事情被假定之後，另一些不同於被假定者的事情，由於它們如此而必然得出。這是亞里斯多德在《前分析篇》（I.1，24b18–20）裡的句子。歸納推理總要多走的那一步，正是演繹拒絕走的。「十二歲以下免費；這孩子十歲；因此這孩子免費。」結論沒有超出兩個前提。若有爭執，爭的是孩子是否十歲，以及牆上的規則是不是真規則。 日常圖像是驗票閘門。牌子列出條件。你若滿足，閘門必須開——前提是牌子和機器一致。有效論證是線路接對的閘門。可靠論證是這台閘門，外加一塊成真的牌子。批判性思維把大部分時間花在牌子上，而不是花在線路圖上。 溯因推理發明一個能解釋意外的故事。演繹接著說：若這個故事為真，還必須出現什麼？第一性原理思維試圖從你願意捍衛的前提出發。演繹是那一步：不許你在往下走的路上悄悄塞進新主張。
演繹推理的三層理解
- 入門：規則若覆蓋了這一例，結論已經在規則裡。日常線索是標價、食譜，或「若今天星期二，圖書館關閉」。
- 實務：把有效和可靠分開。先看形式，再核每一條前提，包括沒人寫下來的那些。隱藏的「所有」，是大多數演繹作弊的地方。
- 進階：演繹是非擴展性的：結論不能超出前提。這是它在數學和合約裡的力量，也是它在科學裡的限度。你可以演繹出假說禁止什麼。你不能演繹出假說已經匹配世界。
起源
演繹推理起於對必然後承的研究，不是「聰明人從理論出發」的口號。 亞里斯多德（西元前四世紀）在《前分析篇》裡給出現存最早的系統論述。他用的詞是 sullogismos。學者常譯為「演繹」，因為他的定義比課本上三行三段論更寬。核心是必然：前提如此，結論不能失敗。他測繪了哪些範疇前提的配對會強迫出第三條，哪些不會。《後分析篇》裡的證明，是從真實、初始的前提出發的演繹——「從第一原理證明」的祖先。 歐幾里得約在西元前 300 年於亞歷山大城造出這台公開機器。《幾何原本》以定義、五條公設和若干公理開頭，再推出其餘。希思的通行計數是 13 卷、465 條命題。此後約兩千年，它都是這樣一種書的範本：後面的主張，理應已經含在開頭裡。 斯多亞學派補上第二條流：命題形式，包括我們現在所說的肯定前件和否定後件。中世紀拉丁學堂把亞里斯多德當作《工具論》來教。十九世紀，喬治·布爾（《思維規律》，1854 年）和戈特洛布·弗雷格（《概念文字》，1879 年）把演繹改寫成代數的、然後完全形式的推斷。查爾斯·桑德斯·皮爾斯後來把它放進探究循環：溯因發明假說，演繹推出必然後果，歸納用新事例去檢驗那些預測。 現代課堂上的區分——有效對可靠——是同一刀亞里斯多德切法的新衣服。有效是步驟的必然。可靠是有效加上真實的前提。形式上完美的演繹，若前提從未掙到，仍然無用，甚至更糟。核心要點
當規則已經在桌上、你需要知道它已經禁止或要求什麼時，演繹推理才掙到自己的位置。若用這強迫的一步去偷運新事實，它就會失效。1
先問結論是否已經在前提裡面
寫下前提。用手蓋住結論。一個人能否接受這些前提，卻仍無矛盾地否認最後一行？若能，你沒有演繹。你有一躍。「這個應用對我們有用，所以對下一組也有用」，是穿著「因此」的歸納。
2
把有效的一步和可靠的一步分開
有效是指：若前提為真，結論就被強迫。可靠是指：步驟有效，並且前提為真。「所有天鵝都是白的；這隻鳥是天鵝；因此它是白的」有效。若存在黑天鵝，它就不可靠。經驗主義思維負責核前提。演繹不會替你做這件事。
3
去找隱藏的前提
大多數日常「邏輯」是省略三段論：有一行沒說。「她是創辦人，所以她能把這事做大。」缺失的全稱是「所有創辦人都能做大」。把它寫出來。若你不願在那句話上簽字，就不能用這個結論。不老實的做法是把「所有」留在紙外，讓人沒法打。
4
用演繹把假說兌現，而不是用它來發明假說
皮爾斯的分工仍然成立。先猜解釋，再演繹一個你真能遇見的後果：一個測量、一個日期、一個被禁止的結果。科學方法需要這一步兌現。一個推不出任何可檢驗之物的假說，並沒有被演繹地使用。它只是被展示。
應用場景
當桌上已有一條公布的規則、一份合約或一個假說時，使用演繹推理。不要用它從幾聲按讚裡製造規則。把你的案例插入已公布的評分表
若大綱寫明 80 分是 B，而你的作業是 82 分，成績就跟著來。爭論分數或評分表，不要爭論你在最後一分鐘發明的特例。職業早期的爭執會更乾淨，若你能把「規則沒這麼寫」和「我希望規則不同」分開。
把政策追到下一步不得不做的事
合約寫「逾期超過十天觸發退款」，加上十二天的時間戳，就得出退款——若那是真條款。升級之前，先寫下兩條前提。若法務加了一條你跳過的不可抗力，演繹是從錯誤檔案裡做出來的有效。
執行家規時不要私加條款
「這盒不含堅果」加上「這塊餅乾來自這盒」，意味著這塊餅乾被當作無堅果提供。過敏風險住在盒規是否為真，不住在論證的形狀裡。不要悄悄補上「週日烤的那些除外」。
公開資格要先核，再去遊說
若法規列了四個條件，一戶只滿足三個，福利並不被強迫。去改法規，或去找缺失的那一條。把道德主張打扮成從一部並不包含它的法律出發的三段論，只會浪費一場聽證。
經典案例
演繹推理作為公開文本的帶編號窗口，是歐幾里得的《幾何原本》——不是聲稱一本希臘教材等於全部邏輯。 約西元前 300 年，歐幾里得在亞歷山大城把幾何安排成從一段短開頭出發的演繹。通行的重構是 13 卷、五條公設、465 條命題。第一卷等到命題 29 才使用第五公設，也就是平行公設。前 28 條命題意在不靠它也能推出。這一推遲把方法擺在明處：證明真正需要時，才花掉一條公理。 大約兩千年裡，讀者把第五公設當成瑕疵。它比其他幾條更長。他們以為，它一定能從前面四條裡演繹出來。薩凱里在 1733 年試過。失敗有結構上的理由。1829 年，尼古拉·羅巴切夫斯基在喀山發表一種幾何：保留前四條公設，否定第五條。鮑耶·亞諾什 1832 年的附錄獨立做了同一件事。若這些系統一致，第五公設並不坐在另外四條裡面等著被拆開。任何有效的演繹，都鑄造不出一條缺失的前提。 邊界說明：學校幾何在人的尺度上仍能模擬房間和地塊。1829–1832 年的結果關乎邏輯獨立性，不是讓人扔掉黑板。新工作該抄的是歐幾里得那一刀：寫下你真正在用的前提，不要指望演繹補給你拒絕寫出的那一條。邊界與失效場景
當前提為假、含糊或不完整時，演繹推理失效。一條從「所有新人都留兩年」出發的有效鏈條，若人們第六個月就走，預算就會算錯。垃圾進去，必然出來。 當模型不是世界時，它也會失效。歐幾里得的前四條公設並不強迫第五條。對去年市場為真的業務手冊，並不強迫明年的結果。演繹能告訴你你的規則蘊含什麼。它不能告訴你這些規則仍在描述地形。 常見誤用是把願望打扮成三段論。你把有爭議的「所有」留著不說，演繹出一個方便的個例，再罵反對者不合邏輯。那不是演繹。那是抽掉承重樑的省略三段論。另一種誤用是在只有樣本的地方要求演繹。下一個客戶並不已經含在上週的五次訪談裡。常見誤區
中文名會撞上福爾摩斯，撞上「有效就是真」，也撞上「演繹只屬於數學家」。演繹推理就是福爾摩斯在做的事
演繹推理就是福爾摩斯在做的事
福爾摩斯自稱演繹。標誌動作通常是溯因：發明一個最能解釋菸灰、跛行、以及那條沒叫的狗的故事。演繹會是下一步——若那個故事為真，此人必須在十點之後到過這裡。把名字混在一起，是把猜測藏進證明裡。
有效的演繹推理因此就是真的
有效的演繹推理因此就是真的
有效是前提與結論之間的關係。它不給前提發證。「所有會喊的經理都高效；她會喊；因此她高效」可以有效，卻仍是一次糟糕的招聘。核可靠。再核「高效」有沒有被定義。
演繹推理只屬於數學，幫不上日常生活
演繹推理只屬於數學，幫不上日常生活
每一條標價、合約條款、資格表格、以及軟體裡的
if，都是一次小演繹。技能不在希臘字母。技能是不讓結論夾帶額外行李走進來。每當你問「若我們真的是這個意思，我們已經承諾了什麼」，你就在用它。相關概念
這些頁面挨著同一個問題：如何從你已經接受的東西走向結論，而不偷運新事實。歸納推理
走相反方向：從案例到案例並不強迫的規則。演繹再把那條規則拆開。
溯因推理
負責發明假說。演繹推出假說將使之成為必然的東西。
第一性原理思維
選擇你願意捍衛的前提。演繹是從那些前提出發的強迫下行。
批判性思維
檢驗前提是否為真、步驟是否有效。演繹是它檢查的步驟之一。
科學方法
需要演繹把猜測變成一次檢驗能夠打破的預測。
經驗主義思維
提供並核驗前提。演繹不會替你觀察世界。