【冰的哲學】7-B 萊布尼茲與第一套形式邏輯

🅱️上一集我們介紹了萊布尼茲在什麼意義上開啟了現代邏輯，這一集我們要更進一步來討論，萊布尼茲的邏輯系統確切來說如何掌握他所謂的「思想法則」。對他來說，在實在這一端、存在物的特定關係，可以完全對應到思想內部的概念關係。所以只要找出思想內部的法則，就可以理解世界的原理。

萊布尼茲一方面建立起，以否定 negation 和連言 conjunction 為基礎的形式邏輯，取代亞里斯多德的詞項邏輯，另一方面提出了有別於阿維森納時間性條件句的模態邏輯，來理解真理的偶然和必然性質——就是他的可能世界理論。

學者們發現，萊布尼茲在十七世紀發展出來的邏輯系統，和布爾在 1847 年發展的形式邏輯高度相似。但這個早了快兩百年的超前佈署，在哲學史上卻沒有太大的影響——這又是為什麼呢？

👂 聽起來！練練你的邏輯力！

👏 訂閱哲學新媒體，收聽會員限定內容。歡迎訂閱哲學新媒體

你可以在以下平台追隨/收聽：