逻辑迷宫

★内容介绍

本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。

------------------------------------------------

★编辑推荐

◎趣味横生地讲述多种逻辑谜题的故事书

本书是一本典型的谜题集：包括说谎和讲真话的逻辑、沉默的骑士和无赖、发疯还是清醒等多种趣味谜题。

◎逻辑学大师斯穆里安的逻辑学入门课

著有《这本书叫什么？》等多部逻辑学畅销书；他的著作一直是多所学校逻辑学入门书目；本书曾被用作哈佛大学教科书使用；旨在回答什么是符号逻辑的问题。

◎武汉大学哲学学院桂起权教授鼎力推荐！

斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。

------------------------------------------------

★名人推荐

不同于以往的逻辑教科书，斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。

——桂起权（武汉大学哲学学院教授）

------------------------------------------------

★媒体评论

雷蒙德·斯穆里安不仅是我们这个时代最重要的数学逻辑学家之一，还是逻辑谜题的主要发明家和提供者。他的许多技术工作都包括用巧妙的方法概括形式系统的特征和数理逻辑中的关键结果。这就是本书强调的内容。事实上，为了激发逻辑的呈现，他对许多逻辑难题本身进行了清晰而深刻的概括。考虑到斯穆里安的活力，我们可以期待他的下一部作品。

——《数学评论》

数学教育者若想缩小专家与小白之间的差距，就必须了解、证明教学与学习中的因素，设计丰富的探索渠道，并建立一个可以实现这些探索的环境。作者做到了这一点，令人钦佩。

——《数学老师》

斯穆里安因编写益智书籍而闻名……本书是他编写的一本关于一阶逻辑的科普书，适合课堂使用，生动活泼的想象力使他的益智书令人欣喜。

——《选择》