第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
编辑推荐:★美国著名家庭治疗师、心理学家、作家、育儿专家苏珊•施蒂费尔曼继《育儿无须对抗》之后又一杰作!本书作者苏珊•施蒂
百家姓-第一辑-注音美绘版 本书特色 本套《语文必读丛书》共计50本,已出35本。是根据教育部颁布的*新《义务教育语文课程标准》为小学生研发的配套阅读工具书。丛...
动漫日语带你说-你一直想说的那句话-附书附赠MP3光盘 内容简介 生动有趣的动漫对话与浅显易懂的知识点解说,带你轻松学会原汁原味的日语口语!动漫日语带你说-你一...
雅思王听力真题语料库 本书特色 在图书使用过程中遇到的任何问题,均可凭本书防伪标涂层下的防伪码加QQ群或微信群,联系管理员解决。本书无防伪标均为盗版!本书由环球...
老人与海 本书特色 美国作家欧内斯特 海明威在1952年发表的小说《老人与海》里塑造了一位普通而又可敬的永不言败的劳动者形象。一种不屈不挠的精神始终贯穿于故事当...
新世纪韩汉词典 本书特色 中韩160多位著名语言专家和教授精诚协同,历经十余年的精心编纂,终成此卷。我社独家引进,以飨读者。本书收词丰富,涵盖广泛:共收词目8万...
八十天环游地球-世界文学名著(名家导读版) 本书特色 本书是凡尔纳*著名的小说之一,也是世界科幻小说的经典之作,笔调生动活泼,富有幽默感。小说叙述了英国人福格先...
木偶奇遇记-中英对照全译本 内容简介 要学语言、读好书,当读名著原文。如习武者切磋交流,同高手过招方能渐明其间奥妙,若一味在低端徘徊,终难登堂入室。积年...
《商务文员英语口语》内容简介:本教材坚持“工学结合、项目驱动”的编写思想,根据秘书职业的成长规律,将秘书岗位分为前台文员、
精彩摘录“我也不敢将自己比做寄奴!”从袁天罡的话语中,李旭明显地觉察到了试探与期待的意味。因此,明知道自己的说辞会令对方
2013年GCT逻辑考点集锦与真题解析 本书特色 《周建武考研逻辑应试系列:2013年gct逻辑考点集锦与真题解析》特点:gct逻辑的解题技法,gct逻辑的题型...
你能用英文读懂的美国历史(插图版) 内容简介 本书特色美国历史虽短暂,却充满故事。本书英文部分由多年来一直从事历史研究的美国作家执笔,以西方人的视角,深入浅出地...
义务教育小学科学课程标准解读:科学概念.术语与实验 内容简介 本书主要依据今年新颁布的小学科学课程标准,将18个核心概念进行分解,融入了所要求的科学、技术、社会...
作品目录目录前言第一章 透析写作课堂教学第一节 语文课缺乏规范的写作教学一、写作教学中教师的不作为二、教学内容的经验性第二
我能考第一-跟我学语文(适合年龄10-15岁)(全彩漫画读本) 本书特色 语文好学吗 大多数同学听到这个问题,都会把头摇成拨浪鼓。申小北更是如此,他跟语文像是有...
十二天突破英汉翻译-笔译篇-(第二版) 本书特色 《十二天突破英汉翻译——笔译篇(第二版)》:作者在北京大学出版社出版的“十二天突破系列丛书”,包括《十二天突破...
《水彩画技法入门基础教程》内容简介:水彩是儿童绘本、青年阅读绘本及高级插图中常用的绘画表达方式,水彩手绘插画以其清新、自然
初中数学--解题思维方法大全 内容简介 我们常常会看到这样一种现象:不少同学整天忙着做作业,什么课后练习、单元测试、升学练兵,手头资料一大堆,习题做了好几本,但...
词学十讲 本书特色 适读人群 :中小学教师、文学爱好者《词学十讲》,又名《倚声学》,全书自成体系,既讲了词的产生和发展的历史,也细致地解剖了词这种特殊的文学形式...
《《了凡四训》读本》内容简介:《了凡四训》是明代儒者袁了凡先生为教育自己的子孙而作的四篇家训,作者以自己的亲身经历和数十年