演繹推理詳解：邏輯與常見錯誤

演繹推理是唯一帶有保證的推理方式。如果前提為真且結構正確，結論就不可能為假。這比任何其他形式的論證所做出的承諾都要強大，這也是為什麼演繹奠定了數學、形式邏輯以及科學中檢驗假設之方法的基石。

這也是一個特定且非常常見的研究錯誤所在。以下將介紹：什麼是真正的演繹、有效論證與真實論證之間的區別、值得了解的五種形式、幾乎愚弄了所有人的兩種無效形式，以及當你撰寫研究結果部分時，這一切是如何呈現的。

<CTA title="建立站得住腳的論證" description="Jenni 協助您構建推理結構、對照來源檢查論點並精準寫作" buttonLabel="免費試用 Jenni" link="https://app.jenni.ai/register" />

什麼是演繹推理？

演繹推理是從一般性陳述推導出必然隨之而來的特定結論。因此，它通常被稱為自上而下的推理。你從被接受為真事物開始，將其應用於特定案例，結論便必然得出。

教科書上的例子只有三行：

所有哺乳動物都是脊椎動物。所有鯨魚都是哺乳動物。因此，所有鯨魚都是脊椎動物。

結論中沒有引入任何新事物。它所說的一切都已經包含在前提之中，這正是該保證成立的原因，也是為什麼單憑演繹本身永遠無法告訴你關於世界的真正新知。將其與 歸納推理 進行對比，後者是從特定觀察推導出一般性論點，並以犧牲確定性為代價獲得新內容。觀察一千隻天鵝支持「所有天鵝都是白色的」這一論點；但它並不能確立這一點。

有效性（Validity）與妥當性（Soundness）不是同一回事

這個區別比本頁面上的任何其他概念都更有用，而大多數隨口使用「有效」這個詞的人，其用法並不正確。

當演繹論證的結構保證了結論時，它就是有效（valid）的：正如《網絡哲學百科全書》所說，有效論證是指其形式為：如果前提為真，結論必為真。有效性完全與前提是否實際上為真無關。

當一個論證是有效的且其所有前提在事實上都為真時，該論證就是妥當（sound）的。妥當性才是你真正想要的屬性。

以下是一個完美有效但完全不妥當的論證：

所有鳥類都會飛。企鵝是鳥類。因此，企鵝會飛。

邏輯是完美無瑕的。第一個前提是假的，所以結論毫無價值。這在學術寫作中至關重要，因為文獻探討是建立在你沒有親自驗證的前提之上的論證鏈。你的推理可以無懈可擊，而結論仍然是錯誤的，因為某個引用的研究結果未能複製。審計你的前提與檢查你的邏輯是分開的工作，而了解如何判斷來源可靠性就是你達成此目的的方法。

<ProTip title="🗝️ 核心概念：" description="有效性關乎結構，而妥當性關乎事實。當有人說某個論證有效時，請追問他們的意思是推理成立還是結論正確，因為這兩者是不同的論點。" />

演繹推理的日常範例

演繹並不局限於邏輯課。大多數人在不為其命名的情況下一直在使用它，而在日常情境中看到它能讓正式版本更容易掌握。

• 醫學： 每個感染此病毒的患者在此檢測中都呈陽性。該患者檢測呈陰性。因此，該患者沒有感染。

• 法律： 該法規適用於 2024 年 1 月之後簽署的合同。這份合同是在 2022 年簽署的。因此，該法規不適用。

• 軟體： 如果缺少配置文件，服務在啟動時會失敗。服務已啟動。因此，配置文件存在。

• 數學： 每個證明在結構上都是演繹。公理是前提，定理是必然的結論。

• 智力測驗： 演繹推理題會給你一套規則，並詢問哪個結論是必然隨之而來的，這正是時間壓力下的有效性測試。

注意這些與當你因為三個朋友喜歡而得出某家餐廳大概不錯的推理感覺有多麼不同。後者是歸納，它可以非常合理，但仍然可能是錯的。

值得了解的五種形式

演繹論證有公認的形式。學習這些名稱並不是生搬硬套：一旦你能看出其形式，你就能在幾秒鐘內檢驗一個論證，而不是花一個小時爭論不休。

肯定前件（Modus ponens）

如果 P 則 Q。P 為真。因此 Q。如果下雨，球場就是濕的。下雨了。所以球場是濕的。 這是假設檢定（Hypothesis testing）的主力，也是幾乎所有研究預測所採用的形式。

否定後件（Modus tollens）

如果 P 則 Q。Q 為假。因此 P 為假。如果藥物有效，症狀就會減輕。症狀沒有減輕。所以藥物無效。 這是證偽（Falsification）的邏輯形式，也是給予否定結果（Negative results）力量的形式。

假言三段論（Hypothetical syllogism）

如果 P 則 Q。如果 Q 則 R。因此，如果 P 則 R。如果資金增加，人員配置就會增加。如果人員配置增加，等待時間就會減少。所以，如果資金增加，等待時間就會減少。 像這樣的條件句鏈是跨文獻探討建立理論論證的方式。

選言三段論（Disjunctive syllogism）

不是 P 就是 Q。非 P。因此 Q。要麼樣本被污染，要麼試劑過期。它沒有被污染。所以試劑過期了。 適用於排除解釋，當替代方案列表不完整時則很危險。

直言三段論（Categorical syllogism）

所有 M 都是 P。所有 S 都是 M。因此，所有 S 都是 P。經典形式，包含三個命題和恰好三個概念：作為結論謂項的大項、作為其主項的小項，以及出現在兩個前提中但不出現在結論中的中項。

看似有效但實際無效的兩種形式

這兩種形式比所有五種有效形式加起來更值得關注，因為它們具有說服力、極其常見，且會得出聽起來很有信心但並不成立的結論。

肯定後件。 如果 P 則 Q。Q 為真。因此 P。如果理論成立，分數就會上升。分數上升了。所以理論成立。 無效，因為可能有其他原因提高了分數。這是實證研究中唯一最重要的謬誤，原因將在下一部分說明。

否定前件。 如果 P 則 Q。P 為假。因此非 Q。如果理論成立，分數就會上升。理論不成立。所以分數不會上升。 無效，因為還存在其他原因。

兩者都顯得很有說服力，因為前提確實與結論相關。但相關性不等於必然，而這兩者之間的差距正是大量言過其實的論點存在的地方。

<ProTip title="🧩 形式檢查：" description="在評估論證之前，將其簡化為 P 和 Q。一旦抽離了內容，無效的形式就會變得顯而易見，而在句子聽起來權威時，你往往很難發現這點。" />

演繹推理與歸納推理的對比

大多數研究在循環中結合使用兩者。兩者的區別在於方向以及各自能為你帶來的保證。

與理論的搭配是值得記住的部分。正如 Bhattacherjee 在其開放方法論教科書中所說，歸納研究是構建理論的研究，而演繹研究是測試理論的研究，一個領域要取得進步，兩者缺一不可。

演繹推理在研究中如何運作

研究應用的正式名稱是假說演繹法（Hypothetico-deductive method）：你從被測試的假說中演繹出可觀察的推論，然後去觀察實證。《斯坦福哲學百科全書》指出，它沒有單一的創始人，曾由 Whewell 在 19 世紀提出，並由 Hempel 在 1966 年給出了其標準的現代公式。

在實踐中，該順序如下運行。從一個理論開始，該理論取自文獻而非為研究而杜撰。演繹出一個預測：如果該理論成立，那麼在這個群體中我們應該觀察到這個特定的結果。將其可操作化（Operationalize），這意味著精確地闡明每個概念將如何被測量，包括變量、測量方式以及結果將如何被解釋。在測量方式提前固定的情況下收集數據，以便該預測有真正失敗的可能。然後報告實際得出的結果，而這正是最容易出錯的一步。

一個無論發生什麼都必然會成真的預測，並不是從理論中得出的演繹，而是對該理論的描述。如果你無法提前說明什麼樣的結果會被視為對你不利，那麼這項研究就沒有測試任何東西。

<ProTip title="📐 結構：" description="將你的預測寫成一個單一的句子，格式為：如果 [理論] 成立，那麼在 [群體] 中我們應該觀察到 [測量結果]。如果你無法填滿這三個位置，則說明該假設尚未準備好進行測試。" />

大多數言過其實的研究結果背後的推理錯誤

這是幾乎沒有人明確指出過的關聯，也是本頁面上最實用的內容。

你的預測形式為：如果我的理論為真，那麼我將觀察到這個結果。你進行了研究並觀察到了該結果。接下來得出什麼？從形式上來說：什麼都沒有。由此得出該理論為真的結論就是肯定後件，即前文提到的無效形式。其他機制也可能產生相同的觀察結果。

這就是為什麼在否定方向上邏輯運作得要好得多。如果你預測了結果但沒有得到，那就是否定後件，而否定後件是有效的。卡爾·波普爾在《科學發現的邏輯》中基於這種不對稱性建立了一套完整的科學哲學，他指出，邏輯上不可能通過參照經驗來驗證一個全稱命題，而單個真實的反例即可證偽相應的全稱定律。

實踐中的結果體現在句子的層面上。被證實的預測容許使用「與...一致（consistent with）」、「支持（supports）」和「正如...所預測（as predicted by）」等詞。但它們不容許使用「證明（proves）」、「表明該理論是正確的（demonstrates that the theory is correct）」或「證實該理論（confirms the theory）」。評審和審稿人會注意到這種區別，在這裡正確地留有餘地（hedging）代表的是能力而非軟弱。

一個誠實的複雜情況。真正的證偽也很少是乾乾淨淨的，因為當一個預測失敗時，你也同時在測試你的測量、你的樣本和你的操作。否定結果告訴你，該組合中的某些東西是錯的，而不一定理論本身。在討論部分明確地說明這一點，是寫作者嚴謹的標誌。

<ProTip title="🚫 且慢：" description="在你的研究結果和討論中搜尋 prove（證明）、proves 和 proven 這些詞。在演繹設計中，被證實的預測永遠無法證明理論，而這一詞彙的選擇往往是初學者草稿的標誌。" />

定性研究中的演繹推理

演繹通常被歸入定量研究，這是一個錯誤。它在定性研究中也有直接的對應物，即演繹編碼（Deductive coding）。在接觸數據之前，你先根據現有的理論或框架構建編碼本，而不是讓編碼從數據中自然浮現。

嚴謹的版本並不只是單純地強加框架。Fife 和 Gossner 在《國際定性方法雜誌》上撰文指出，演繹性定性分析結合了演繹和歸納工作，以審查所檢驗理論的支持性、矛盾性、修正性和擴展性證據，同時使用引導理論中的敏感性建構，這些建構仍必須在結果中贏得其一席之地，並牢牢植根於數據中。

簡單來說：理論告訴你往哪裡看，但它不會告訴你你發現了什麼。

值得養成的習慣

演繹不是你學過一次就存檔的抽象概念。它是一個檢查程序。當論文中的某個論點顯得很有說服力時，將其還原為它的形式，看看結論是必然得出，還是僅僅被暗示。當你自己寫結論時，問問自己它是你所展示內容的必然結果，還是幾種合理解釋中的一種。

<CTA title="撰寫評審無法攻破的論點" description="在附帶來源的情況下起草，並對照證據實際支持的內容檢查每一個論點" buttonLabel="免費試用 Jenni" link="https://app.jenni.ai/register" />

這種習慣在學術寫作中無處不在：體現在如何構建研究論點、在如何描述研究方法，而最重要的是體現在研究觀察到的結果與作者聲稱確立的結論之間的差距。平庸論文與優秀論文之間的差距，大部分都花在了縮小這個差距上。