第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
研究性学习的理论与实践 内容简介 本书追溯了研究性学习的历史发展,对国外研究性学习的理论与实践进行了剖析,揭示了研究性学习的机制,探讨了研究性学习的价值。研究性...
高校思想政治理论课重点教材马克思主义哲学原理(第5版.数字教材版)/陈先达/高校思想政治理论课重点教材 本书特色 党的十九大指出,十八大以来,我们党围绕着新时代...
民事诉讼法学教程(第四版)(潘剑锋) 本书特色 刘家兴、潘剑锋主编的《民事诉讼法学教程(第4版21世纪法学规划教材普通高等教育十二五规划教材)》在体系和结构上都...
地理典型课示例 本书特色 本书通过教育部师范教育司组织的评审,被正式列为“全国中小学教师继续教育学习参考书”。 本书作者为我国中小学地理教育界的著名专家、学者,...
小学生观察力训练游戏 本书特色 小学时期是人生打基础的重要时期。这个时期的孩子天真、活泼、纯洁、可爱,求知欲强,可塑性也强。这个时期,抓紧对孩子进行科学、有效地...
卡斯特桥市长 本书特色 小说讲述主人公韩洽德通过自己的努力,从一个无名小子成为受人尊敬的市长,又因性格的弱点而受到命运的捉弄,*终在贫困孤独中凄惨地死去的悲情故...
海蒂-亲亲经典-19-中英双语对照 本书特色 在阿尔卑斯山脚下的一个小村庄里,有个一直在姨母抚养下成长的小女孩——海蒂。有一天,她的姨母要去法兰克福工作,就把小...
在斯坦福听演讲-中英双语 本书特色 让你前所未有的体验,学英语也可以发此fun!重现世界*有影响力的声音,带你体验演讲的魅力,每一个字都足以撼动你的心灵。在斯坦...
小学生一定爱读的探案推理书 本书特色 《小学生一定爱读的探案推理书》由杨敬敬编著,本书精选世界*顶级的侦探推理游戏。游戏长短适宜,形式活泼,内容涵盖科学知识、自...
完全攻略高中生物学考必备 内容简介 《中学生完全攻略书系·完全攻略:高中生物学考**》目标明确,以全面贯彻素质教育,进一步深化新课程改革为导向,原则统一...
《啊哈原来如此(中译本)》作者是一位享誉世界的趣味数学大师。他1914年生于美国俄克拉荷马州,中学时代就对数学产生了浓厚的兴趣
德育成语学生书法描红册第一辑勤奋篇 内容简介 一、临摹与描红模子临摹是学习书法的两种方法。临,是照着字帖上字的样子写,也叫“临帖”;摹,是把较为透明的薄纸蒙在字...
伊索寓言精选 本书特色 《伊索寓言精选(增订版)》由人民文学出版社出版。伊索寓言中的许多题材都曾被后代作家继承和模仿,但人们读后稍加体会和比较,仍不免会称赞伊索...
高中生必背古诗文-语文必读丛书 本书特色 “读书破万卷,下笔如有神”,我们相信,通过阅读这套版本权威、选目完善、经典实用的丛书,不仅有助于中小学生的课内外学习与...
除旧布新-新中国成立初期中共对高等教育的接管与改造 本书特色 本书研究的中心问题在于考察中共发展正规高等教育的阶段性探索。文章通过这一角度的研究,反映中共接管与...
泛函分析基础(修订本) 内容简介 本书以简短的篇幅叙述了线性泛函分析的基础理论。全书分五章,按章序分别讲解度量空间的公理系统和点集拓扑性质、有界线性算子和有界线...
中小生受益一生的微型小说-(第二季.珍藏版) 本书特色 感动源于生活中的每一次花开草枯,日落月出。而微型小说就是生活的浓缩,如雨后新荷凝聚的水滴,晶莹剔...
马上就会!看热门美剧学英语口语 本书特色 英语字幕不连贯,想把每一句经典台词都铭记于心?中文字幕看了就忘?想不起演员是怎么说的了?那就更要看这本书!时下*热*劲...
狐狸的微笑:原始森林里正在消逝的它们 本书特色 当我们钦羡大自然中的美丽生灵时,是否想到,它们赖以生存的自然环境正在遭受无尽的侵扰。大森林中的野生动物正在加速消...
作品目录一、意大利著名歌曲1.小夜曲[意]托塞利曲佚名英文填词佚名译配江泽民回忆整理2.女人善变——选自歌剧《弄臣》[意]波亚