跳到內容
邏輯不是真理，但是邏輯可以從語句提煉出真理。自古以來，人們就在尋找一套工具，用來審視事物、分析經驗、組織思想、裁決爭議，也就是能判斷真假對錯的邏輯。這一套鍛造真理的工具並非渾然天成，仔細觀察還可見許多瑕疵，不僅讓古往今來的邏輯學家疲於奔命，甚至一度危及數學和科學的基礎，讓人懷疑整體知識體系究竟有沒有堅固的根基。邏輯本身經得起考驗嗎？看一次又一次的思辨攻防，了解「符合邏輯」是多麼艱鉅的挑戰！
如果你覺得邏輯不過是哲學家和理論科學家畫出的空中樓閣，且看圖靈以及其他資訊科技的先驅如何應用邏輯的成果，創造出電腦，並且為人工智慧的發展奠定基礎。從自動販賣機到搜尋引擎，從電子琴到機器人，現代生活中使用的各種產品，以及尚在發展中的未來科技，都是邏輯的延伸應用！
在本書中，你可以解開以下疑惑：
● 「直覺邏輯」是什麼？為什麼許多已經證成的數學證明，必須再經過直覺邏輯的驗證？
● 科學方法符合邏輯嗎？只要經過觀察和實驗歸納出的定律就是真理？「科學革命」以來人類豐碩的成果，可能都有邏輯漏洞？
● 我們可以判斷別人講的話是否合理，是否代表人腦中也有一套邏輯系統？我們能掌握其中的規則，藉此打造完美的人工智慧嗎？了解邏輯從人類語言到程式語言都具備的關鍵地位。
在本書中，你也可以看到邏輯發展史上眾多大師嘔心瀝血的思辨結晶：
● 亞里斯多德的三段論主宰西方思想千年之久，究竟有何威力？
● 萊布尼茲的歸謬法和邏輯定律，為何讓他成為教會的眼中釘？
● 弗雷格的命題演算如何徹底革新了邏輯學界，使他成為現代邏輯的開創者？
● 康托爾的集合論一度是統合數學和邏輯的最佳希望，為何因為羅素提出的一個問題而徹底幻滅？
● 維根斯坦的真值表如何大幅簡化了邏輯運算，不只協助判定語句，更成為電路設計的基礎之一！
作者
丹‧克萊恩（Dan Cryan）
擁有倫敦大學學院（University College London）哲學學位。他和本書另一位作者謝帝爾也共同撰寫了本書英文版Introducing書系的《資本主義》一書。
夏隆‧謝帝爾（Sharron Shatil）
擁有倫敦大學學院哲學博士學位，於以色列開放大學（Open University）擔任哲學講師。
繪者
比爾‧梅比林（Bill Mayblin）
設計師，於倫敦執業。他的其他作品包括Introducing書系的《徳希達》、《經驗主義》和《語言學》三本書的插圖。
譯者
賴盈滿
倫敦政經學院科學哲學碩士，譯有《天才的責任：維根斯坦傳》、《暗數據》和《演算法的一百道陰影》等書。
