白馬 ≠ 馬？當陳述句變成數學邏輯等式！——《大話題：邏輯》

從簡單陳述句轉變為複合句——「連接詞」

大約一百年後，克律西波斯（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 年

不難想見，天主教會將萊布尼茲視為異端。但「思想有其必然法則」的想法卻對西方哲學家產生了深遠的影響，包括康德、黑格爾、馬克思和羅素。

萊布尼茲的思想影響到後世許多西方哲學家。圖／大話題：邏輯。

——本文摘自《大話題：邏輯》，2023 年 3 月，大家出版出版，未經同意請勿轉載。

Read More