逻辑学是西方文化发展的主轴，涉及哲学，科学和法律，因而体系复杂。然而，尽管逻辑学的重要性已被广泛认可，但由于对专业术语和数学符号的大量使用，因此许多人对逻辑仍然很陌生。

本书按照逻辑学的历史发展顺序，图文并茂地解释了逻辑学发展过程中所使用的符号与方法，并以浅显易懂的方法探讨了围绕此学科而得出的哲学结论。无论你是一般读者还是学习哲学或理科的学生，本书都是一部难得而又必不可少的读物！

译者序

什么是逻辑

命题研究

对当关系的逻辑方阵图

三段论

连接词逻辑

莱布尼兹定律

归谬法

新工具论

弗雷格的量词

语境原则

命题演算

康托尔的集合论

连接词的效用

罗素悖论

致命的缺陷

表层语法的难题

罗素理论体系

维特根斯坦的逻辑图像

卡纳普和维也纳学派

容许原则

希尔怕特的证明论

哥德尔的出现

哥德尔的不完全性定理

证明论的相关联系

逻辑连接词

维特根斯坦的真值表

发现重言式

数字电子学的逻辑门电路

一台自动贩卖机

图灵和神秘的编码

欧几里得的公理方法

莱布尼兹的证明方法

矛盾的滥用

连接词的规则

语法敏感性

谓词演算

模型论的符号学

希尔伯特的递归模型

有限的规则无限的产物

基本说明

证明论和形式语言

塔尔斯基的真值条件

实践中的形式符号学

构思一个肥皂剧

人工智能肥皂剧的程序语言

图灵的人工智能秘诀

悖论问题

悖论能够避免吗

类型论

塔尔斯基解决说谎者悖论的方

挥之不击的悻论

哥德尔的不完全性定理

哥德尔定理的价值

“停机问题”

哥德尔证明的极限

芝诺的运动悖论

一道无穷算术题

极限收敛

“一堆”是多少

集台论面临的挑战

逻辑基础的削弱

含混言语的虚构性质

话语意味着什么

模糊逻辑

模糊堆垛

逻辑能避免悖论吗

非经典逻辑：直觉主义

魔鬼论证

直觉主义逻辑

直觉主义VS．归谬法

直觉主义的奇想

旧问题的处理

可能的价值

当做数字的真值

可能与不矛盾

从经典逻辑到模糊逻辑

电子仪器的"可能"状态

模糊逻辑的搜索引擎

模糊逻辑机器

量子领域的逻辑

量子逻辑的分配律

量子逻辑是如何发挥作用的

实践获得的逻辑

逻辑和科学

哥白尼革命

伽利略的革命

演绎与归纳

归纳推理带来的问题

体谟岔路(Fork)

推理法则的演绎

概括归纳

规则还是经验预测

乌鸦悖论

关于因果的问题

波珀对亨普尔的响应

渡珀的驳斥理论

可行性理论的或然性

奎因的"信念网"

两络的变更

不充分根据

奎因的相对主义

法伊尔阿本德对科学方法的否定

戴维森对奎因的回击

真值的表达

硬边线真值VS．相对主义

认知科学和逻辑

乔姆斯基的普遍语法

名词范畴和动词范畴

语法的循环规则

X一杠杆理论

一种逻辑理论

句法和语义学的问题

复杂语法结构

“普遍”语法存在的问题

用作符号的大脑模型

神经网训练

模式识别

理性行为模型

实践理性

什么是意识

逻辑学的地位

维特根斯坦观点的转变

拓展阅读

附录