《圖畫通識叢書第一輯：邏輯學》是2019年生活.讀書.新知三聯書店出版的圖書。
基本介紹
- 中文名：圖畫通識叢書第一輯：邏輯學
- 作者：丹·克萊恩（Dan Cryan） 著
- 出版時間：2019年9月1日
- 出版社： 生活.讀書.新知三聯書店
- ISBN：9787108065193
內容簡介,圖書目錄,作者簡介,
內容簡介
邏輯學是西方文明重要的支柱，它將哲學、科學和法律體系結合在一起。然而，儘管邏輯學的重要性得到了廣泛的認可，但由於大量使用專業術語和數學符號，它仍然是許多人難以進入的領域。《邏輯學/圖畫通識叢書》以邏輯學的發展歷史為線索，以一種易於理解和友好的方式解釋其中所涉及的符號和方法，並探討圍繞相關主題的哲學問題。它將帶您了解邏輯學對科學方法，以及對從物理學到心理學的各種科學的影響，並將向您展示為什麼計算機和數位技術只是邏輯學的一個實踐案例。
圖書目錄
什麼是邏輯？
研究句子
對當方陣
三段論
聯結詞邏輯
萊布尼茨律
歸謬法
一種“新工具”
弗雷格的量詞
語境原則
命題演算
康托爾的集合論
聯結詞的效用
羅素悖論
致命的錯誤
表面語法的問題
羅素的系統
維根斯坦的邏輯圖像
卡爾納普和維也納小組
寬容原則
希爾伯特的證明論
哥德爾的到來
哥德爾的不完備性定理
與證明論的聯繫
維根斯坦的邏輯聯結詞表
維根斯坦的真值表
發現重言式
數字電子的邏輯門
售貨機
圖靈和“恩尼格瑪密碼”
歐幾里得的公理方法
萊布尼茨的證明方法
矛盾的濫用
聯結詞的規則
對語法的敏感
謂詞演算
模型理論語義學
希爾伯特的遞歸模型
無限產出的有限規則
簡單的操作指南
證明論和形式語言
塔斯基的真值條件
實踐中的形式語義
拍一部肥皂劇
人工智慧肥皂劇的邏輯
程式語言
圖靈的AI菜譜
悖論難題
悖論能夠被迴避嗎？
類型理論
塔斯基的撒謊者悖論解決方案
糾纏不休的悖論
哥德爾的不完備性定理
哥德爾定理的影響
停機問題
哥德爾證明的局限
芝諾運動悖論
無窮總和
極限的收斂
一“堆”有多少？
對集合的挑戰
消解邏輯
模糊詞語的虛構性
詞語“意味”著什麼？
模糊邏輯
模糊的堆
邏輯能夠避免悖論嗎？
非經典邏輯：直覺主義
惡魔論證
直覺主義邏輯
直覺主義vs歸謬法
直覺主義的流行
思考一些古老的問題
可能的值
作為數字的真值
可能與矛盾律
從經典邏輯到模糊邏輯
電子“可能”狀態
模糊邏輯搜尋引擎
模糊邏輯機器
作者簡介
丹·克萊恩，倫敦大學學院哲學學位，作為市場分析師在倫敦工作。“圖畫通識”叢書《資本主義》的作者。
沙龍·沙提勒，在以色列開放大學任哲學講師。“圖畫通識”叢書《資本主義》的作者。
比爾·梅布林，在倫敦皇家藝術學院接受平面設計培訓，他也是“圖畫通識”叢書《邏輯學》《德希達》與《經驗主義》的插圖作者。
