逻辑迷宫

　　部分 明智地概括
　　章 说谎和讲真话的逻辑
　　第二章 男性还是女性？
　　第三章 沉默的骑士和无赖
　　第四章 发疯还是清醒？
　　第五章 困难重重！
　　第六章 统一化
　　第二部分 明智地符号化
　　第七章 命题逻辑初步
　　第八章 说谎者、诚实的人以及命题逻辑
　查看完整　　

　　雷蒙德·M.斯穆里安，世界著名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。斯穆里安著有《这本书叫什么？》等多部逻辑学畅销书，致力于传播逻辑学知识，他的著作一直是多所学校逻辑学入门书目。

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

　　部分 明智地概括
　　章 说谎和讲真话的逻辑
　　第二章 男性还是女性？
　　第三章 沉默的骑士和无赖
　　第四章 发疯还是清醒？
　　第五章 困难重重！
　　第六章 统一化
　　第二部分 明智地符号化
　　第七章 命题逻辑初步
　　第八章 说谎者、诚实的人以及命题逻辑
　　第九章 善变的说谎者
　　第十章 逻辑联结词和善变的说谎者
　　第十一章 语义表方法
　　第十二章 所有和有些
　　第十三章 一阶逻辑初步
　　第三部分 无穷性
　　第十四章 无穷的本质
　　第十五章 数学归纳
　　第十六章 广义归纳、柯尼格引理与紧致性
　　第四部分 一阶逻辑的重要结论
　　第十七章 命题逻辑的重要结论
　　第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
　　第十九章 正则定理
　　第五部分 公理系统
　　第二十章 开始公理化
　　第二十一章 更多的命题公理系统
　　第二十二章 一阶逻辑的公理系统
　　第六部分 一阶逻辑深入
　　第二十三章 克雷格插值引理
　　第二十四章 罗宾逊定理
　　第二十五章 贝思可定义性定理
　　第二十六章 大一统
　　第二十七章 一阶逻辑展望
　　 
　　参考文献
　　名词索引
　　中英文名词对照 !
^ 收 起　　

　　雷蒙德·M.斯穆里安，世界著名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。斯穆里安著有《这本书叫什么？》等多部逻辑学畅销书，致力于传播逻辑学知识，他的著作一直是多所学校逻辑学入门书目。

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