具体描述
第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学：《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡（概括公理学）：非欧几何和射影几何
三 第三阶段——形式公理学：《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
作者简介
张家龙,江苏省江都市人。1961年毕业于北京大学哲学系哲学专业；后留校攻读哲学系数理逻辑专业研究生，1965年2月毕业；同年8月到中国科学院哲学研究所(今中国社会科学院哲学研究所)工作。1993 年被国务院学位委员会批准为博士生导师，1994—1999年任哲学所逻辑室主任。现任中国社会科学院哲学所研究员、哲学所学位委员会副主席、中国社会科学院研究生院教授、博士生导师、中国社会科学院正高级专业技术职务评委会委员、国家哲学社会科学研究哲学学科规划评审小组成员、中国逻辑学会会长、中山大学逻辑与认知研究所学术委员会主任、西南师范大学兼职教授。1987年出席第8届国际逻辑学、方法论和科学哲学大会，在第13组会上宣读了《论亚里士多德的直言三段论》和《论罗素的归纳逻辑》的两篇论文。1988—1989年，赴加拿大阿尔伯特大学哲学系从事访问研究，并应邀在该系作了关于中国逻辑和亚里士多德模态逻辑的两次讲演。1993年8月出席第19届世界哲学大会，在数学哲学组宣读了《论直觉主义的数学哲学》的论文。
目录信息
读后感
评分
评分
评分
评分
用户评价
作为一名在计算机科学领域摸爬滚打多年的工程师，我一直试图追溯我们日常使用的计算理论的哲学根源，这本书为我提供了极佳的视角。它没有过多纠缠于复杂的数学证明细节（这对我来说是巨大的福音），而是着重于探讨“什么是可计算性”以及“什么是可证明性”这些更宏观、更本质的问题是如何在历史长河中被定义和修正的。作者的论述逻辑严密得如同一个精密的算法，层层递进，绝不含糊。特别是在处理不同学派之间关于基础性的争论时，比如直觉主义和形式主义的交锋，作者展现了极高的平衡性和洞察力，既没有偏袒任何一方，又清晰地勾勒出了各自的合理性边界。这种对思想冲突的梳理，让我对现代计算理论中那些看似理所当然的底层假设，有了更深一层的敬畏，意识到它们是多么来之不易的智慧结晶，而不是凭空出现的真理。
评分我是一个对哲学思辨有着浓厚兴趣的业余爱好者，阅读这本书的过程，更像是一场穿越时空的智力探险。它并不是那种枯燥的教科书式叙述，反而充满了叙事的张力。作者对那些奠基性人物——那些沉浸在理性迷宫中的探索者们——的心理侧写描绘得入木三分。我特别喜欢看他们是如何一步步推翻前人看似坚固的堡垒，又是如何小心翼翼地构建起全新的逻辑大厦的。那种“啊哈！”的顿悟时刻，那种因为一个微小符号的引入而引发的学术地震，都被描绘得淋漓尽致。读到一些关键的转折点，比如某些证明方法的提出或者某种公理系统的建立，我甚至能体会到一种近乎于宗教般的虔诚和狂热。这种将历史脉络与个体心路历程相结合的叙事手法，让原本冷硬的数理概念，焕发出鲜活的人文光彩，使得理解那些复杂的理论推导，也变得有了温度和情感支撑。
评分这部书的排版和设计真的令人眼前一亮。封面那种深沉的蓝色调，配上烫金的书名，透着一股历史的厚重感，让人一拿到手就忍不住想翻开。内页的纸张质量也是上乘，阅读起来非常舒适，即便是长时间盯着那些复杂的符号和论证过程，眼睛也不会感到疲劳。更值得称赞的是，作者在关键概念的阐述上做得非常到位，不仅有清晰的文字解释，还巧妙地穿插了一些相关的历史图片和早期手稿的插图，这些视觉元素极大地丰富了阅读体验，让抽象的逻辑概念变得触手可及。例如，在讲到早期集合论的悖论时，作者没有简单地罗列出来，而是通过一张年代久远的黑白照片，将当时的学术氛围烘托出来，仿佛能感受到那些思想巨人们在面对难题时的那种挣扎与兴奋。整体来看，这本书在装帧和细节处理上的用心程度，完全配得上它所承载的深邃内容，无疑是送给爱书之人和逻辑学爱好者的绝佳礼物，光是把它放在书架上，也是一件赏心悦目的事情。
评分这本书的学术深度和广度确实令人称奇，但最让我感到惊喜的是，它成功地将如此艰深的领域，用一种极为优雅且充满文学性的语言表达了出来。行文之间，时常能感受到一种古典学者的风范，用词精准，句式多变，绝无当代学术写作中常见的那种晦涩和堆砌。读起来，就像是在聆听一位学识渊博的长者，娓娓道来一段波澜壮阔的往事。它不仅仅是知识的传递，更是一种审美的享受。比如，作者描述某位逻辑学家面对一个无法解决的难题时的心境，那份孤独感和坚持，被描绘得如同史诗般宏大。对于那些习惯于快餐式阅读的人来说，这本书可能需要一些耐心，但一旦沉浸其中，你会被那种对纯粹理性之美的追求所深深吸引，它教会我，最深刻的真理，往往需要最精雕细琢的语言去承载。
评分我之前接触过几本关于逻辑史的著作，它们大多聚焦于某一个特定的时间段或者某一位核心人物，读完后总感觉中间有巨大的知识断层。然而，这部作品的叙事结构简直是教科书级别的典范。它非常巧妙地搭建了一个完整的“线索网”，确保了从早期对精确推理的萌芽式探讨，到后来面对现代数学基础危机的系统性重构，整个过程如同浑然一体的有机体，每一个阶段的进展都清晰地呼应着前一个阶段遗留下的问题或达成的共识。作者在处理时间线索的并行与交织时，展现了高超的组织能力，使读者能够始终清晰地追踪到“是什么推动了下一步的革命”，这种清晰的因果链条，极大地增强了对整个逻辑学发展图景的理解，让我彻底摆脱了过去那种零散的知识碎片感。
评分已弃疗，先去补数理逻辑基础算了。。
评分里面的意识形态的东西太多啦，我不喜欢，而且现在读符号逻辑对于我来说有点早
评分不愧是王宪均的学生，二人的风格很相似，一上来就是就是技术细节而没有理论的宏观介绍。不适合初学者。不过，此书是国内唯一一部完整的逻辑史著作，虽然写得不太像史。
评分对于理解数理逻辑的整体框架很有帮助。尤其集合论部分讲解的透彻。
评分有用
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 book.quotespace.org All Rights Reserved. 小美书屋 版权所有