本文由 國立臺灣師範大學 委託，泛科學企劃執行。
煮湯時看到調理包背面寫著「加水且加入鹽巴或味精，就大功告成了」。
這句話該怎麼解讀呢？邏輯思維好的人可能很快就能反應過來，意思是加水是必須的，鹽巴和味精至少要加一個。當然，兩者都加也行，但似乎不太健康。
你可能會說：「煮湯時誰會想那麼多？這太哲學了！」其實，19 世紀有位數學家將邏輯建立在數學而非哲學之上，他的貢獻深深影響了現代電腦的運算。他就是我們今天的主角——喬治．布爾（George Boole）。
在工作會議中，清晰的邏輯思維能幫助我們有條理地表達觀點，並迅速理解他人的意見；程式設計中，邏輯是核心，透過布林代數和邏輯運算，電腦能根據條件執行不同的任務，在智慧家電中利用邏輯閘判斷多個輸入條件來控制輸出結果。
因此，布爾提出的這一套邏輯思維與布林代數，不僅在學術領域至關重要，更是日常生活中不可或缺的工具。
更多、更完整的內容，歡迎上數感實驗室 Numeracy Lab 的 youtube 頻道觀看完整影片，並開啟訂閱獲得更多有趣的資訊！
討論功能關閉中。
本文由 國立臺灣師範大學 委託，泛科學企劃執行。
以前小時候如果調皮不聽話，就會被大人叫去跪算盤，現在的家長家裡沒算盤了，反而會拿出電路板讓小孩跪。
咦？為什麼總是拿算數工具來懲罰小孩呢？
電路板上看似複雜電路板密密麻麻的，是電腦進行邏輯計算的關鍵。這小小的薄片能執行驚人的運算功能，背後的奧秘離不開一位傳奇科學家的貢獻。他不僅奠定了現代通信的基礎，還開創了人工智慧研究，這可不是一般人一生能做到的成就，但克勞德．香農（Claude Shannon）卻一次搞定。
他讓我們今天能享受高效的通訊技術和智慧生活。如果你也覺得現在生活離不開手機和電腦，那你應該感謝這位數學和電機工程的天才。
對於 2000 年後出生的人而言，或許覺得用手機傳訊息、用電腦看影片再平常不過。但在 Shannon 出現之前，沒有人能系統性地定義「資訊」和「通訊」。他以其對動手實驗的熱忱，將這些看似無形的概念轉化為實際的理論，為世界帶來了一場資訊革命。
正是因為 Shannon 的卓越貢獻，我們才能享受如此便捷的現代通信技術。他不僅改變了科學的面貌，還深刻地影響了我們的日常生活。
Shannon 的故事也提醒我們，熱愛與好奇心是推動進步的核心力量。他用智慧和創造力，為我們打造現代通信的基礎，並開啟未來的無限可能。
更多、更完整的內容，歡迎上數感實驗室 Numeracy Lab 的 YouTube 頻道觀看完整影片，並開啟訂閱獲得更多有趣的資訊！
布勞威爾 （1881 – 1966）是最早脫離所謂「古典邏輯」系統的學者之一。他反對弗雷格和羅素將數學化約為邏輯的構想，認為數學根基於我們對某些基本數學物件（如數字和直線）的「直覺」，因此他的學說便稱為「直覺主義」。
布勞威爾主要將焦點擺在無限集合和序列上，例如所有正數的集合和無理數（如 π 和）小數點後的數字形成的序列等等。他的論證大致如下：
我邏輯上能證明 666 這個序列一定會出現在任何無理數（如 π）的擴張裡。因為若主張 666 不在裡面，就代表 666 不出現在 π 的小數點後數字的任何地方，但這一點在數學上是無法證明的。就算世界上所有白紙都寫滿π的小數點後數字，還是有無限多的數字沒檢查到。
雖然布勞威爾只想證明有些數學證明的方式和邏輯證明不同，但有些人發現他的論證也能用來證明某些數學領域的邏輯和其他數學領域不同，甚至有些人還據以建構出一套邏輯系統，並嘗試證明這套邏輯適用於所有數學領域。這套系統就叫「直覺邏輯」。
直覺邏輯有一個關鍵特點，就是不能用萊布尼茲的歸謬法。歸謬法是先假設某個數學陳述的否定為真，然後導出矛盾，進而證明該陳述為真。但要從「某事的否定為假」推導出「某事為真」就得仰賴排中律，因此在某些數學領域裡，歸謬法並不符合數學應該運作的方式，也就是從公理推導出數學語句。
上述問題在 1930 年代引發了一波新的數學熱潮，不少學者嘗試用直覺邏輯替一些常用的基本數學陳述找到證明，也確實找到了不少。
數學系和哲學系紛紛成立，新的學術領域也隨之誕生。就連希爾伯特的方法明明是直覺邏輯的對手，也被加以改造，只使用得到認可的直覺主義程序。直到這股風潮引起了哥德爾的注意。
儘管後來學者對這場爭辯的興趣削弱了一些，但「唯有構造性證明才能確保一個陳述句為真」的基本看法至今仍然得到不少邏輯學家、數學家、科學家和哲學家支持。
大約同一時期，波蘭數學家盧卡西維茨（1897 – 1956）1920 年提出的構想勾起了一些學者的興趣。此前十多年，這個構想從來不曾在波蘭以外的地區引起多大反應。盧卡西維茨當時想解決的，是從亞里斯多德到羅素都面對過的老問題。
編按：「如何判斷大笨鐘一千年後會遇上大雪」這句話的真值？
大約一百年後，克律西波斯（c.280 – c.206 BC）改變了邏輯的關注焦點，從簡單的主述詞陳述句轉向「蘇格拉底是人，且芝諾也是人」之類的複合句。
這是很大的進展。當時甚至有人說「克律西波斯的邏輯就是神會用的邏輯」。我們稍後會見到，克律西波斯的邏輯也是人類使用的邏輯，只不過我們還得等兩千年才會明白這一點。
複合句使用的連接詞不同，其真假受個別句子影響的方式也不同。
譬如「不是…就是…」這個連接詞組可以這樣用，也只有「不是…就是…」這個連接詞組可以這樣用：
編按：「不是」穆罕默德到山那邊，「就是」山到穆罕默德這邊。
其後一千五百年甚至更久，克律西波斯沒有對邏輯留下多少影響。不僅因為他的作品失傳了，只留下他人的轉述，也因為亞里斯多德成了天主教會的心頭好。
接下來兩千年，邏輯學家建構出愈來愈多三段論，有些甚至前提不只兩個。這些邏輯學家就像煉金術士，拿著概念拼拼湊湊，想辦法生出有效論證。最後有一個人在這股狂熱當中想出了方法，那人就是萊布尼茲（1646 – 1716）。
萊布尼茲想到的方法是將陳述句看成代數裡的等式。等式使用等號（＝）來表達式子兩邊數值相等。
例如：x2 + y2 = z2
萊布尼茲將等號帶進邏輯裡，用來指稱 a 和 b 等同。
自此之後，這個等同式就叫做「萊布尼茲定律」。萊布尼茲將 a = b 拆成兩個不可分割的述句「a 是 b」和「b 是 a」，意思是「所有 a 都是 b」和「所有 b 都是 a」。
例如：「所有單身漢都是沒結婚的男人，且所有沒結婚的男人都是單身漢。」
若 a 和 b 等同，那麼陳述句裡的 a 就算換成 b，這個陳述句的真假顯然不會隨之改變。例如，「蘇格拉底是沒結婚的男人，沒結婚的男人是單身漢，因此蘇格拉底是單身漢」。
這個定律很重要，因為有了它，我們就能以有限多的步驟來判斷近乎無限多的句子的真值。萊布尼茲使用的步驟數是四個。
1. a = a
例：「蘇格拉底是蘇格拉底。」
2. 若 a 是 b，且 b 是 c，則 a 是 c
例：「所有人都會死，蘇格拉底是人，所以蘇格拉底會死。」
說「a 是 b」就等於說「所有 a 都是 b」。
3. a =非（非 a）
例：「如果蘇格拉底會死，則蘇格拉底不是不會死的。」
4. a 是 b = 非 b 是非 a
例：「蘇格拉底是人，意思是如果你不是人，你就不是蘇格拉底。」
利用這四個簡單的法則，萊布尼茲就能證明所有可能出現的三段論。比起亞里斯多德的四角對當，這才是人類史上第一個真正的真理理論，因為它使用事先定下的法則，藉由代換等同的符號（同義詞）來導出結論。
萊布尼茲最常用的證明方法是一個極為重要的邏輯工具，深受後世邏輯學家和哲學家喜愛。他稱呼這個方法為歸謬法。
這個工具很簡單，卻好用得驚人，自萊布尼茲發明以來便廣獲使用。我們用一個例子來講最清楚。
使用歸謬法時，我們先假設要檢驗的那個陳述句為真，再看它能導出哪些結論。如果導出的結論互相矛盾，我們就知道那個陳述句是假的，因為矛盾永遠為假。
歸謬法有一大好處，那就是即使我們不知道如何證明，也能判斷一個陳述句的真假；只要證明這個陳述句的否定會導出矛盾，就知道它是真的了。
新工具
「我發明的這個工具完全使用理性，是裁決爭議的判官、解釋概念的權威、衡量可能性的天平、指引我們穿越經驗之海的指南針，是萬物的清單、思想的表格、檢視事物的顯微鏡、預測遙遠事物的望遠鏡、通用的演算法、不使詐的魔術、不空妄的計謀，也是人人都能用自己的語言閱讀，所及之處皆會帶來真宗教的經文。」
萊布尼茲致信漢諾威公爵，1679 年
不難想見，天主教會將萊布尼茲視為異端。但「思想有其必然法則」的想法卻對西方哲學家產生了深遠的影響，包括康德、黑格爾、馬克思和羅素。
