跳轉到

2.1 邏輯的數學分析（1847）#

1847 年，布林自費在倫敦出版了《邏輯的數學分析，作為演繹邏輯的一篇論文》（The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning）。這本 82 頁的小冊子宣告：亞里士多德以來的演繹邏輯，可以被改寫為一種代數。萊布尼茲夢想兩百年而未竟的「普遍語言」，在林肯鞋匠之子手中第一次有了可運作的版本。

論戰的火花：漢密爾頓 vs. 德摩根#

觸發事件是蘇格蘭哲學家威廉·漢密爾頓爵士與倫敦數學家德摩根之間關於「量化謂詞」的論戰。漢密爾頓主張把「所有 \(A\) 是 \(B\)」改寫為「所有 \(A\) 是某些 \(B\)」，讓謂詞也帶上量詞；德摩根則用更數學化的方式回應。布林在科爾克讀到論戰文本後意識到一件事：

兩人爭的只是三段論如何擴充，而真正該問的是——邏輯能否像代數一樣，用符號運算直接算出結論？

他因此放下手頭的分析數學研究，以驚人的速度寫成小冊子，趕在論戰熱度冷卻前出版。這是典型的「外部刺激 + 內部積累」：內部積累是 1.2 所述的運算符代數傳統，外部刺激是這場論戰給出的時間窗口。

系統的核心記號#

布林用代數符號重鑄邏輯。設 \(x\)、\(y\) 為「類」（如 \(x\) 表「白色的東西」）：

布林記號 邏輯意義 現代等價
\(xy\) 既 \(x\) 又 \(y\) \(x \land y\)（交集）
\(x+y\) 或 \(x\) 或 \(y\)（互斥） \(x \oplus y\) / 近似 \(x \lor y\)
\(1-x\) 非 \(x\) \(\lnot x\)
\(0\) 空類 \(\bot\)
\(1\) 全域 \(\top\)

在此記號下，亞里士多德三段論變成機械的代數消去。例如「所有 \(x\) 是 \(y\)」寫成

\[x(1-y) = 0,\]

而「所有 \(x\) 是 \(y\)，所有 \(y\) 是 \(z\)，故所有 \(x\) 是 \(z\)」不過是把 \(x(1-y)=0\)、\(y(1-z)=0\) 兩式相乘得 \(x(1-z)=0\)。最震撼的是選言三段論：「所有 \(x\) 是 \(y\) 或 \(z\)」可寫成

\[x = xy + xz,\]

——在邏輯史上，選言推理第一次變成了可以展開、移項的方程。

獨異性定律：邏輯與數的斷裂點#

布林注意到自己的代數與普通代數共享運算律，只有一條例外：

\[x \cdot x = x \quad (\text{即 } x^2 = x).\]

他稱之為獨異性定律（law of duality）。在普通算術中只有 \(0\) 與 \(1\) 滿足 \(x^2=x\)；但在邏輯中，每一個類都滿足它——因為「既白又白的東西就是白的」。這一條看似微小的差異，使布林的系統成為一種全新的代數結構，也使邏輯脫離了「不完整的普通代數」地位，成為獨立的公理系統。一百年後，這條定律正是數位電路中「訊號只有兩個狀態」的數學根據（詳見 5.1）。

同年旁證：德摩根的謙遜對照#

有趣的是，德摩根同年也出版《形式邏輯》（Formal Logic），同樣提出了量化謂詞的系統。但德摩根讀完布林的小冊子後對友人說：「我對邏輯的數學化貢獻，比不上布林。」這句話成為布林最重的背書——一個沒有大學學位的林肯教師，讓倫敦大學教授自認不及。這份承認，直接促成了兩人終身的友誼（詳見 2.3）。

事件年表#

年份 事件 後續影響
1846 漢密爾頓–德摩根論戰展開 提供出版窗口
1847 《邏輯的數學分析》出版 邏輯代數正式誕生
1847 德摩根公開承認布林貢獻 建立學術同盟
1848 小冊子被少數邏輯學者閱讀 影響有限但種子已種

小結#

《邏輯的數學分析》的因果鏈是：論戰造窗口，運算符直覺給方法，小冊子定乾坤。它證明演繹推理可以是「計算」——結論不需要智慧，只需要按規則展開方程。但它也有明顯的粗糙處：\(x+y\) 只在 \(x\)、\(y\) 互斥時可用，符號的解釋仍混亂。布林自己清楚這些缺點，此後七年他幾乎隱身，全力打磨一個更完整、更哲學化的版本——那就是 1854 年的《思維定律的研究》（詳見 2.2）。