作者：[美]雷蒙德·M.斯穆里安
出版社：新星出版社
译者：林田/黄闪闪
出版年：2022-11
页数：432
定价：72.00元
装帧：平装
丛书：幻象文库
ISBN：9787513347693
内容简介
······
★内容介绍
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
————————————————
★编辑推荐
◎趣味横生地讲述多种逻辑谜题的故事书
本书是一本典型的谜题集：包括说谎和讲真话的逻辑、沉默的骑士和无赖、发疯还是清醒等多种趣味谜题。
◎逻辑学大师斯穆里安的逻辑学入门课
著有《这本书叫什么？》等多部逻辑学畅销书；他的著作一直是多所学校逻辑学入门书目；本书曾被用作哈佛大学教科书使用；旨在回答什么是符号逻辑的问题。
◎武汉大学哲学学院桂起权教授鼎力推荐！
斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。
————————————————
★名人推荐
不同于以往的逻辑教科书，斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。
——桂起权（武汉大学哲学学院教授）
————————————————
★媒体评论
雷蒙德·斯穆里安不仅是我们这个时代最重要的数学逻辑学家之一，还是逻辑谜题的主要发明家和提供者。他的许多技术工作都包括用巧妙的方法概括形式系统的特征和数理逻辑中的关键结果。这就是本书强调的内容。事实上，为了激发逻辑的呈现，他对许多逻辑难题本身进行了清晰而深刻的概括。考虑到斯穆里安的活力，我们可以期待他的下一部作品。
——《数学评论》
数学教育者若想缩小专家与小白之间的差距，就必须了解、证明教学与学习中的因素，设计丰富的探索渠道，并建立一个可以实现这些探索的环境。作者做到了这一点，令人钦佩。
——《数学老师》
斯穆里安因编写益智书籍而闻名……本书是他编写的一本关于一阶逻辑的科普书，适合课堂使用，生动活泼的想象力使他的益智书令人欣喜。
——《选择》
作者简介
······
雷蒙德·M.斯穆里安，世界著名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。斯穆里安著有《这本书叫什么？》等多部逻辑学畅销书，致力于传播逻辑学知识，他的著作一直是多所学校逻辑学入门书目。
目录
······
第一部分 明智地概括
第一章 说谎和讲真话的逻辑
第二章 男性还是女性？
第三章 沉默的骑士和无赖
第四章 发疯还是清醒？
第五章 困难重重！
第六章 统一化
第二部分 明智地符号化
第七章 命题逻辑初步
第八章 说谎者、诚实的人以及命题逻辑
第九章 善变的说谎者
第十章 逻辑联结词和善变的说谎者
第十一章 语义表方法
第十二章 所有和有些
第十三章 一阶逻辑初步
第三部分 无穷性
第十四章 无穷的本质
第十五章 数学归纳
第十六章 广义归纳、柯尼格引理与紧致性
第四部分 一阶逻辑的重要结论
第十七章 命题逻辑的重要结论
第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章 正则定理
第五部分 公理系统
第二十章 开始公理化
第二十一章 更多的命题公理系统
第二十二章 一阶逻辑的公理系统
第六部分 一阶逻辑深入
第二十三章 克雷格插值引理
第二十四章 罗宾逊定理
第二十五章 贝思可定义性定理
第二十六章 大一统
第二十七章 一阶逻辑展望
参考文献
名词索引
中英文名词对照
· · · · · ·
评论前必须登录！
注册