第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
人生比读书-三国演义 本书特色 ★【人生必读书】教育部“语文课程标准”重点推荐阅读,语文专家,一线教师全程阅读指导,名师点评,精美手绘,妙笔生花,精选*适合孩子...
21世纪英语常用词、新词小词典 本书特色 实用 新颖 简明 准确20000常用英语词条收录2500*新英语单词词汇依据计算机语料库选定21世纪英语常用词、新词小...
语言艺术水平考级教程 本书特色 谢伦浩、黄河主编的《语言艺术水平考级教程》 以播音主持艺术专业高考生为主体读者对象,力求为 专业考生提供实用、全面的自备稿件朗诵...
中考现代文助读与训练 本书特色 点睛命题思路和规则详析语段分析方法与技巧选材涵盖各类文体和考查内容基础训练与提升冲刺相结合中考现代文助读与训练 内容简介 本书...
小学生数学基础知识工具包 内容简介 本书将小学数学基础知识按学习顺序和由易到难的原则进行编排,把某项知识按其自身的特点归为若干要点,对每个要点进行介绍、讲解,并...
语文常谈 本书特色 “读书破万卷,下笔如有神”,我们相信,通过阅读这套版本权威、选目完善、经典实用的丛书,不仅有助于中小学生的课内外学习与考试升学,还能提高学生...
二年级-数学思维能力优+训练 本书特色 这是一套思维能力训练丛书,以各年级数学课本教学的内容为基础和背景,适当加深和拓宽,特别是在题目的类型形式、灵活变化、思路...
社会问题社会问题-第二版 本书特色 《社会问题》运用社会学理论和方法分析社会问题,阐述社会问题研究的基本理论、基本方法,分析 社会问题的特点及产生原因,探寻预防...
远东初中生新标准扩写缩写续写改写作文大全 内容简介 为了有利于读者阅读,我们为本书每篇佳作配了短小的点评,中肯精到地对这进行了分析,或从某一角度稍作开掘,目的都...
中学语文:马玉文卷/上海名师课堂 本书特色 本书为“名师教学书系”之一,该书系旨在反映实施后上海名师语文课堂的教学方法、教学效果和教学经...
CIS企业形象设计 本书特色 《cis企业形象设计》一书从企业形象策划、定位、识别等角度对cis原理进行分析,在原有理论的基础上,融入了现代企业经营与管理制度与...
高山流水《科学.人文.未来》论坛实录 内容简介 文学、哲学体系使人无限超越;科学则使人了解到自铁有限性后对知识能保持一种尊敬。当你接触到那些属于人类智慧累积而成...
中学生字帖 柳体 节选 我社编辑的这套《中学生字帖》共四种。**种是柳体(选自柳公权《玄秘塔碑》、《神策军碑》),第二种为颜体(选自颜真卿《勤礼碑》),第三种系...
初中化学易用表 内容简介 安徽科学技术出版社推出的《初中生易用表丛书》是旨在提高初中生学习能力,有助初中生夯实初中基础、积极迎战中考、建立健康向上的人格的一套书...
完形填空II-星火英语高考专项突破 本书特色 s-18命题系统科学打造不是真题胜似真题100%原创题目100%全新修订独家推出完形填空完全解决方案完形填空II-...
作品目录致谢导言第1章 大全景第2章 从小药房到大型制药公司第3章 远离尖端第4章 明日的药品第5章 免费周游第6章 就像牙膏第7章
少年飞花令(共十册) 本书特色 ★ “飞花令”是中国古代一种喝酒时用来罚酒助兴的酒令,诞生于西周,成熟于隋唐,属雅令。行令时必须引经据典,即席构思并应对,是极为...
几何原本 本书特色《几何原本》成书于公元前三百年左右,全书十三卷,是欧几里得将古希腊数学集大成的著作,包括了希腊科学数学家:泰利斯、毕达哥拉斯、希波克拉提斯等人...
蒙曼,隋唐史学者,北京大学历史学博士,中央民族大学教授。2002年起,于中央民族大学历史文化学院任教,主要研究领域为隋唐五代史及中国古代女性史。2007年,登上...
2019语文学科知识与教学能力历年真题及标准预测试卷(初级中学)/国家教师资格考试专用教材 本书特色 《中公版·2019国家教师资格考试专用教材:...