图画通识丛书：逻辑学

　　逻辑学是西方文明重要的支柱，它将哲学、科学和法律体系结合在一起。然而，尽管逻辑学的重要性得到了广泛的认可，但由于大量使用专业术语和数学符号，它仍然是许多人难以进入的领域。《逻辑学/图画通识丛书》以逻辑学的发展历史为线索，以一种易于理解和友好的方式解释其中所涉及的符号和方法，并探讨围绕相关主题的哲学问题。它将带您了解逻辑学对科学方法，以及对从物理学到心理学的各种科学的影响，并将向您展示为什么计算机和数字技术只是逻辑学的一个实践案例。

　　丹·克莱恩，伦敦大学学院哲学学位，作为市场分析师在伦敦工作。“图画通识”丛书《资本主义》的作者。

　　沙龙·沙提勒，在以色列开放大学任哲学讲师。“图画通识”丛书《资本主义》的作者。

　　比尔·梅布林，在伦敦皇家艺术学院接受平面设计培训，他也是“图画通识”丛书《逻辑学》《德里达》与《经验主义》的插图作者。

什么是逻辑？

研究句子

对当方阵

三段论

联结词逻辑

莱布尼茨律

归谬法

一种“新工具”

弗雷格的量词

语境原则

命题演算

康托尔的集合论

联结词的效用

罗素悖论

致命的错误

表面语法的问题

罗素的系统

维特根斯坦的逻辑图像

卡尔纳普和维也纳小组

宽容原则

希尔伯特的证明论

哥德尔的到来

哥德尔的不完备性定理

与证明论的联系

维特根斯坦的逻辑联结词表

维特根斯坦的真值表

发现重言式

数字电子的逻辑门

售货机

图灵和“恩尼格玛密码”

欧几里得的公理方法

莱布尼茨的证明方法

矛盾的滥用

联结词的规则

对语法的敏感

谓词演算

模型理论语义学

希尔伯特的递归模型

无限产出的有限规则

简单的操作指南

证明论和形式语言

塔斯基的真值条件

实践中的形式语义

拍一部肥皂剧

人工智能肥皂剧的逻辑

编程语言

图灵的AI菜谱

悖论难题

悖论能够被回避吗？

类型理论

塔斯基的撒谎者悖论解决方案

纠缠不休的悖论

哥德尔的不完备性定理

哥德尔定理的影响

停机问题

哥德尔证明的局限

芝诺运动悖论

无穷总和

极限的收敛

一“堆”有多少？

对集合的挑战

消解逻辑

模糊词语的虚构性

词语“意味”着什么？

模糊逻辑

模糊的堆

逻辑能够避免悖论吗？

非经典逻辑：直觉主义

恶魔论证

直觉主义逻辑

直觉主义vs归谬法

直觉主义的流行

思考一些古老的问题

可能的值

作为数字的真值

可能与矛盾律

从经典逻辑到模糊逻辑

电子“可能”状态

模糊逻辑搜索引擎

模糊逻辑机器