新書推薦：
《
聊不完的艺术家：跨界设计师穆夏
》
售價：HK$
117.6
《
失去的过去与未来的犯罪
》
售價：HK$
59.8
《
质子交换膜燃料电池系统及其控制 戴海峰，余卓平，袁浩 著
》
售價：HK$
238.8
《
绘画的基础 彩色铅笔技法入门教程
》
售價：HK$
59.8
《
听闻远方有你2
》
售價：HK$
51.4
《
牛津分配正义手册
》
售價：HK$
432.0
《
全域增长：从战略制定到战术执行
》
售價：HK$
141.6
《
澎湖湾的荷兰船：十七世纪荷兰人怎么来到台湾
》
售價：HK$
79.2
|
| 編輯推薦： |
? 逻辑学大师斯穆里安的逻辑学入门课
著有《这本书叫什么？》等多部逻辑学畅销书；他的著作一直是多所学校逻辑学入门书目；本书曾被用作哈佛大学教科书使用；旨在回答什么是符号逻辑的问题。
?武汉大学哲学学院桂起权教授鼎力推荐！
斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。
|
| 內容簡介： |
|
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
|
| 關於作者： |
|
雷蒙德·M.斯穆里安，世界著名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。斯穆里安著有《这本书叫什么？》等多部逻辑学畅销书，致力于传播逻辑学知识，他的著作一直是多所学校逻辑学入门书目。
|
| 目錄：
|
第一部分 明智地概括
第一章 说谎和讲真话的逻辑
第二章 男性还是女性？
第三章 沉默的骑士和无赖
第四章 发疯还是清醒？
第五章 困难重重！
第六章 统一化
第二部分 明智地符号化
第七章 命题逻辑初步
第八章 说谎者、诚实的人以及命题逻辑
第九章 善变的说谎者
第十章 逻辑联结词和善变的说谎者
第十一章 语义表方法
第十二章 所有和有些
第十三章 一阶逻辑初步
第三部分 无穷性
第十四章 无穷的本质
第十五章 数学归纳
第十六章 广义归纳、柯尼格引理与紧致性
第四部分 一阶逻辑的重要结论
第十七章 命题逻辑的重要结论
第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章 正则定理
第五部分 公理系统
第二十章 开始公理化
第二十一章 更多的命题公理系统
第二十二章 一阶逻辑的公理系统
第六部分 一阶逻辑深入
第二十三章 克雷格插值引理
第二十四章 罗宾逊定理
第二十五章 贝思可定义性定理
第二十六章 大一统
第二十七章 一阶逻辑展望
参考文献
名词索引
中英文名词对照 !
|
| 內容試閱：
|
本书是衔接我早期撰写的符号逻辑热门领域趣味谜题集和后来的一些技术性著作之间的一座桥梁。它起初是只一本典型的谜题集，末尾则以对哲学、数学和计算机科学是有重要意义的几个形式理论结论作结。读完这本书后，读者不仅能够掌握数理逻辑这门标准研究生课程的全部知识，也能为读懂我在该领域内所有的技术性著作，甚至包括该领域内的大多数文献做好准备。我的这本书总体上是面向一般读者而作的，它旨在回答什么是符号逻辑的问题，并试图寻找这门学科大部分问题最好的入门级解释。
什么是符号逻辑？这是一个值得认真思考的问题。符号逻辑也可以称为“数理逻辑”（mathematical logic），虽然“数学”（mathematics）这个词语在此具有完全不同于它在学校常规教学中的意义——它不仅指算术、代数和几何学。数理逻辑不是专门处理数、线和点这类对象，而是解决命题和论证，将它们用符号形式编纂来帮助推理更加准确。
虽然符号逻辑很有价值，但是以往的教学经验告诉我，最好花些时间从非形式推理开始。说谎和讲真话的逻辑最适宜于此，它们都是有趣和有启发性的；所以本书分为六个部分：
第一部分这样开始，在此你将追随人类学家阿伯克龙比（Abercrombie）的非凡之旅，先后通过更加错综复杂的陆地，越来越多的古怪说谎者和形形色色的诚实人，最后以一个概括了先前冒险所有问题的重大发现告终。
第二部分着手于符号逻辑的形式化研究。从所谓的命题逻辑开始，展示这种逻辑如何形式化前一章节的推理，继而进入这本书的主要课题，即一阶逻辑，一个在哲学、数学和计算机科学中运用颇多的课题。
在第三部分，我们穿越神奇的无穷迷宫之旅，无穷概念所激发人类丰富的想象力，不亚于其他深刻的哲学问题。
在第四部分，我们证实了许多一阶逻辑最重要的结论。
在第五部分，数理逻辑的一个重要目的在于对证明的概念进行明确。只是何谓“证明”？一个人告诉我，一个证明仅仅是一个说服某个人的论证。还算不错，但是问题在于，不同人相信不同的论证，所以证明的概念在这层意义上是非常主观的。例如，某个人曾经告诉我，他能够证明某个特定的政党是错的。好啊，我确信他能够证明给自己看，但是很难让属于这个政党的那些人满意！此外，难道一个人不能找到关于“证明”这个词语的更为客观的定义吗？算了，目前不能找到这种关于证明一般概念的定义，但是符号逻辑已经实现了这个目标，使得指定公理系统的“证明”概念完全准确！古希腊人具有一个出色的证明概念，尽管它是非形式的。欧几里得从某些称为“公理”的基本命题出发，这些公理是充分不证自明的，不要求任何形式的证明，然后，通过运用逻辑，从这些公理演绎出并非不证自明的命题。所有这些已经通过形式公理学研究中的现代符号逻辑得到了完善。
在第六部分，我们继续深入研究一阶逻辑，在本书的第二十六章，我们发现一条重大定理，以一种真正显著非凡的方式，正好概括了所有前文的结论！当然，“概括”正是本书的特点。
本书能够作为一到两个学期逻辑课程的教科书使用。哈佛大学曾将本书的预印版作为教材使用，现在看来效果不错。
|
|
購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
