邏輯不僅把關我們的思維,更是資訊科技的起點!
從人腦管到電腦,邏輯的威力為何如此無遠弗屆？
邏輯不是真理,但是邏輯可以從語句提煉出真理。自古以來,人們就在尋找一套工具,用來審視事物、分析經驗、組織思想、裁決爭議,也就是能判斷真假對錯的邏輯。這一套鍛造真理的工具並非渾然天成,仔細觀察還可見許多瑕疵,不僅讓古往今來的邏輯學家疲於奔命,甚至一度危及數學和科學的基礎,讓人懷疑整體知識體系究竟有沒有堅固的根基。邏輯本身經得起考驗嗎？看一次又一次的思辨攻防,了解「符合邏輯」是多麼艱鉅的挑戰!
如果你覺得邏輯不過是哲學家和理論科學家畫出的空中樓閣,且看圖靈以及其他資訊科技的先驅如何應用邏輯的成果,創造出電腦,並且為人工智慧的發展奠定基礎。從自動販賣機到搜尋引擎,從電子琴到機器人,現代生活中使用的各種產品,以及尚在發展中的未來科技,都是邏輯的延伸應用!
在本書中,你可以解開以下疑惑:
●「直覺邏輯」是什麼？為什麼許多已經證成的數學證明,必須再經過直覺邏輯的驗證？
●科學方法符合邏輯嗎？只要經過觀察和實驗歸納出的定律就是真理？「科學革命」以來人類豐碩的成果,可能都有邏輯漏洞？
●我們可以判斷別人講的話是否合理,是否代表人腦中也有一套邏輯系統？我們能掌握其中的規則,藉此打造完美的人工智慧嗎？了解邏輯從人類語言到程式語言都具備的關鍵地位。
在本書中,你也可以看到邏輯發展史上眾多大師嘔心瀝血的思辨結晶:
●亞里斯多德的三段論主宰西方思想千年之久,究竟有何威力？
●萊布尼茲的歸謬法和邏輯定律,為何讓他成為教會的眼中釘？
●弗雷格的命題演算如何徹底革新了邏輯學界,使他成為現代邏輯的開創者？
●康托爾的集合論一度是統合數學和邏輯的最佳希望,為何因為羅素提出的一個問題而徹底幻滅？
●維根斯坦的真值表如何大幅簡化了邏輯運算,不只協助判定語句,更成為電路設計的基礎之一!
本書圖文並茂地描繪了邏輯發展的故事,你可以掌握邏輯的基本概念,並且發現邏輯對世界的深遠影響!
◆常聽說但總是似懂非懂的領域──大話題系列:
英國Icon Books招牌長青科普書系,由各學科的專家學者撰寫文字易懂、立論堅實的內容,搭配藝術家繪圖,讓一般讀者也能進入專業領域,掌握艱深知識的基本框架。全書系廣受讀者支持,出版持續將近半世紀,已出版140餘本,主題橫跨經濟學、社會科學、自然科學和文學等領域,總銷量超過4,000萬本,總計有超過30種語言的譯本。
從人腦管到電腦,邏輯的威力為何如此無遠弗屆？
邏輯不是真理,但是邏輯可以從語句提煉出真理。自古以來,人們就在尋找一套工具,用來審視事物、分析經驗、組織思想、裁決爭議,也就是能判斷真假對錯的邏輯。這一套鍛造真理的工具並非渾然天成,仔細觀察還可見許多瑕疵,不僅讓古往今來的邏輯學家疲於奔命,甚至一度危及數學和科學的基礎,讓人懷疑整體知識體系究竟有沒有堅固的根基。邏輯本身經得起考驗嗎？看一次又一次的思辨攻防,了解「符合邏輯」是多麼艱鉅的挑戰!
如果你覺得邏輯不過是哲學家和理論科學家畫出的空中樓閣,且看圖靈以及其他資訊科技的先驅如何應用邏輯的成果,創造出電腦,並且為人工智慧的發展奠定基礎。從自動販賣機到搜尋引擎,從電子琴到機器人,現代生活中使用的各種產品,以及尚在發展中的未來科技,都是邏輯的延伸應用!
在本書中,你可以解開以下疑惑:
●「直覺邏輯」是什麼？為什麼許多已經證成的數學證明,必須再經過直覺邏輯的驗證？
●科學方法符合邏輯嗎？只要經過觀察和實驗歸納出的定律就是真理？「科學革命」以來人類豐碩的成果,可能都有邏輯漏洞？
●我們可以判斷別人講的話是否合理,是否代表人腦中也有一套邏輯系統？我們能掌握其中的規則,藉此打造完美的人工智慧嗎？了解邏輯從人類語言到程式語言都具備的關鍵地位。
在本書中,你也可以看到邏輯發展史上眾多大師嘔心瀝血的思辨結晶:
●亞里斯多德的三段論主宰西方思想千年之久,究竟有何威力？
●萊布尼茲的歸謬法和邏輯定律,為何讓他成為教會的眼中釘？
●弗雷格的命題演算如何徹底革新了邏輯學界,使他成為現代邏輯的開創者？
●康托爾的集合論一度是統合數學和邏輯的最佳希望,為何因為羅素提出的一個問題而徹底幻滅？
●維根斯坦的真值表如何大幅簡化了邏輯運算,不只協助判定語句,更成為電路設計的基礎之一!
本書圖文並茂地描繪了邏輯發展的故事,你可以掌握邏輯的基本概念,並且發現邏輯對世界的深遠影響!
◆常聽說但總是似懂非懂的領域──大話題系列:
英國Icon Books招牌長青科普書系,由各學科的專家學者撰寫文字易懂、立論堅實的內容,搭配藝術家繪圖,讓一般讀者也能進入專業領域,掌握艱深知識的基本框架。全書系廣受讀者支持,出版持續將近半世紀,已出版140餘本,主題橫跨經濟學、社會科學、自然科學和文學等領域,總銷量超過4,000萬本,總計有超過30種語言的譯本。
