前 350 年：亞里斯多德三段論 — 史上第一套形式推理系統#

偵探：亞里斯多德（Aristotle）。案發地：雅典呂克昂學園。卷宗：《前分析篇》（Prior Analytics）。

案發現場#

辯論術橫行的雅典城邦，智者派（Sophists）靠話術顛倒黑白，柏拉圖的對話雖美卻沒有判定論證有效的硬標準。

亞里斯多德接到的報案是：什麼樣的論證必然為真？ 不能靠口才，而要靠形式。幾何學已有演繹的雛形，但日常與哲學推理仍是一團迷霧。

他的野心是：把一切嚴格推理歸約為少數幾種「格」（figures）與「式」（moods），像鑑識分類指紋一樣分類有效論證。

後續兩千年：1847-Boole布林代數.md 把這套分類代數化，1879-Frege概念文字.md 則徹底超越了它。

亞里斯多德把直言命題分成四型，後世以母音字母記之：

關鍵洞見是：有效性只看形式，不看內容。把「人」「必死」「蘇格拉底」換成 \(S\) 、 \(P\) 、 \(M\) ，骨架不變。

三段論由大前提、小前提、結論三句組成，中詞 \(M\) 是連結兩端的橋樑。依 \(M\) 的位置分格：

第一格的四個完美式（無需額外證明即自明）：

Barbara 的現代形式：

\[ ∀x (M(x) → P(x)) ∧ ∀x (S(x) → M(x)) ⊢ ∀x (S(x) → P(x)) \]

亞里斯多德證明第二、三格的式都可經換位（conversion）、歸謬化歸為第一格，這正是歷史上第一次「證明轉換」與「完備性論證」的雛形。

換位規則：E 命題可單純換位（若所有 \(S\) 都不是 \(P\) ，則所有 \(P\) 都不是 \(S\) ），A 命題只能「限量換位」成 I。

對當方陣（Square of Opposition）描述四型命題的矛盾、反對、下反對、蘊涵關係，是最早的語意關係圖。

亞里斯多德結案：有效三段論共 19 式（中世紀助記詩 Barbara、Celarent、Darii、Ferio 等），其餘皆可化歸第一格完美式。

遺產有三：

1900-Hilbert23問題.md 的公理化夢想、1910-PrincipiaMathematica.md 的邏輯主義，骨子裡都是亞里斯多德理想的放大版。

核心公式小抄：

\[ \text{Barbara：} ∀x (M(x) → P(x)), ∀x (S(x) → M(x)) ⊢ ∀x (S(x) → P(x)) \]

\[ \text{Celarent：} ∀x (M(x) → ¬P(x)), ∀x (S(x) → M(x)) ⊢ ∀x (S(x) → ¬P(x)) \]

現代一階邏輯對照表：

檢驗小練習：用 \(S\) ＝希臘人、 \(M\) ＝人、 \(P\) ＝必死者代入 Barbara，即得蘇格拉底論證。而「有些 \(S\) 不是 \(M\) ，所有 \(M\) 都是 \(P\) 」推不出任何必然結論——這正是無效式的經典反例。

延伸閱讀：1929-Herbrand定理.md 說明三段論這類有限推理如何被機械化；1931-Godel不完備定理.md 則宣告任何比它強得多的系統都不可能既完備又一致。