逻辑学大师斯穆里安的逻辑学入门课
著有《这本书叫什么？》等多部逻辑学畅销书；他的著作一直是多所学校逻辑学入门书目；本书曾被用作哈佛大学教科书使用；旨在回答什么是符号逻辑的问题。
武汉大学哲学学院桂起权教授鼎力推荐！
斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
本书是衔接我早期撰写的符号逻辑热门领域趣味谜题集和后来的一些技术性著作之间的一座桥梁。它起初是只一本典型的谜题集，末尾则以对哲学、数学和计算机科学是有重要意义的几个形式理论结论作结。读完这本书后，读者不仅能够掌握数理逻辑这门标准研究生课程的全部知识，也能为读懂我在该领域内所有的技术性著作，甚至包括该领域内的大多数文献做好准备。我的这本书总体上是面向一般读者而作的，它旨在回答什么是符号逻辑的问题，并试图寻找这门学科大部分问题最好的入门级解释。
什么是符号逻辑？这是一个值得认真思考的问题。符号逻辑也可以称为“数理逻辑”（mathematical logic），虽然“数学”（mathematics）这个词语在此具有完全不同于它在学校常规教学中的意义——它不仅指算术、代数和几何学。数理逻辑不是专门处理数、线和点这类对象，而是解决命题和论证，将它们用符号形式编纂来帮助推理更加准确。
虽然符号逻辑很有价值，但是以往的教学经验告诉我，最好花些时间从非形式推理开始。说谎和讲真话的逻辑最适宜于此，它们都是有趣和有启发性的；所以本书分为六个部分：
第一部分这样开始，在此你将追随人类学家阿伯克龙比（Abercrombie）的非凡之旅，先后通过更加错综复杂的陆地，越来越多的古怪说谎者和形形色色的诚实人，最后以一个概括了先前冒险所有问题的重大发现告终。
第二部分着手于符号逻辑的形式化研究。从所谓的命题逻辑开始，展示这种逻辑如何形式化前一章节的推理，继而进入这本书的主要课题，即一阶逻辑，一个在哲学、数学和计算机科学中运用颇多的课题。
在第三部分，我们穿越神奇的无穷迷宫之旅，无穷概念所激发人类丰富的想象力，不亚于其他深刻的哲学问题。
在第四部分，我们证实了许多一阶逻辑最重要的结论。
在第五部分，数理逻辑的一个重要目的在于对证明的概念进行明确。只是何谓“证明”？一个人告诉我，一个证明仅仅是一个说服某个人的论证。还算不错，但是问题在于，不同人相信不同的论证，所以证明的概念在这层意义上是非常主观的。例如，某个人曾经告诉我，他能够证明某个特定的政党是错的。好啊，我确信他能够证明给自己看，但是很难让属于这个政党的那些人满意！此外，难道一个人不能找到关于“证明”这个词语的更为客观的定义吗？算了，目前不能找到这种关于证明一般概念的定义，但是符号逻辑已经实现了这个目标，使得指定公理系统的“证明”概念完全准确！古希腊人具有一个出色的证明概念，尽管它是非形式的。欧几里得从某些称为“公理”的基本命题出发，这些公理是充分不证自明的，不要求任何形式的证明，然后，通过运用逻辑，从这些公理演绎出并非不证自明的命题。所有这些已经通过形式公理学研究中的现代符号逻辑得到了完善。
在第六部分，我们继续深入研究一阶逻辑，在本书的第二十六章，我们发现一条重大定理，以一种真正显著非凡的方式，正好概括了所有前文的结论！当然，“概括”正是本书的特点。
本书能够作为一到两个学期逻辑课程的教科书使用。哈佛大学曾将本书的预印版作为教材使用，现在看来效果不错。
第一部分 明智地概括
第一章 说谎和讲真话的逻辑
第二章 男性还是女性？
第三章 沉默的骑士和无赖
第四章 发疯还是清醒？
第五章 困难重重！
第六章 统一化
第二部分 明智地符号化
第七章 命题逻辑初步
第八章 说谎者、诚实的人以及命题逻辑
第九章 善变的说谎者
第十章 逻辑联结词和善变的说谎者
第十一章 语义表方法
第十二章 所有和有些
第十三章 一阶逻辑初步
第三部分 无穷性
第十四章 无穷的本质
第十五章 数学归纳
第十六章 广义归纳、柯尼格引理与紧致性
第四部分 一阶逻辑的重要结论
第十七章 命题逻辑的重要结论
第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章 正则定理
第五部分 公理系统
第二十章 开始公理化
第二十一章 更多的命题公理系统
第二十二章 一阶逻辑的公理系统
第六部分 一阶逻辑深入
第二十三章 克雷格插值引理
第二十四章 罗宾逊定理
第二十五章 贝思可定义性定理
第二十六章 大一统
第二十七章 一阶逻辑展望
参考文献
名词索引
中英文名词对照 !
雷蒙德˙斯穆里安不仅是我们这个时代最重要的数学逻辑学家之一，还是逻辑谜题的主要发明家和提供者。他的许多技术工作都包括用巧妙的方法概括形式系统的特征和数理逻辑中的关键结果。这就是本书强调的内容。事实上，为了激发逻辑的呈现，他对许多逻辑难题本身进行了清晰而深刻的概括。考虑到斯穆里安的活力，我们可以期待他的下一部作品。
——《数学评论》
数学教育者若想缩小专家与小白之间的差距，就必须了解、证明教学与学习中的因素，设计丰富的探索渠道，并建立一个可以实现这些探索的环境。作者做到了这一点，令人钦佩。
——《数学老师》
斯穆里安因编写益智书籍而闻名……本书是他编写的一本关于一阶逻辑的科普书，适合课堂使用，生动活泼的想象力使他的益智书令人欣喜。
——《选择》