第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
眼耳鼻喉口腔科学-第7版-供临床医学专业用 本书特色 本套教材为全国高职高专临床医学专业第七轮国家卫生与计划生育委员会规划教材,全国高等医药教材建设研究会规划教...
奥巴马精彩演讲集锦-(英汉双语对照)-(含光盘1张) 本书特色 演讲技巧乃当今社会追求卓越、奔向成功必不可少的一项重要技能。学习英语演讲技巧,更己成为近年来许多...
美是不会欺骗人的-中国儿童文学名家论集 本书特色 《美是不会欺骗人的》是著名儿童文学理论家、学者刘绪源的学术精要之作。作者从“批评的批评&rdquo...
我只允许你笨十年-写给笨小孩的学习指南 本书特色 没有天生的笨孩子,每个人都可能成为天才。可怕的并非是学习中存在的问题,而是缺乏解决问题的思路和方法。孟锦编著的...
使用频率最高的7000日语单词 本书特色 还在为记不住海量的日语单词而苦恼吗?试试单词分类记忆法吧。本书将生活中*常用的日语单词按照词性词义分类,配上生动的插图...
全新版大学英语第二版(十二五)综合教程 2 学生用书(附光盘) 本书特色 李荫华、夏国佐主编的《全新版大学英语综合教程(第2版学生用书2)》选文情理兼顾,练习注...
中学这样学.成绩提高快-本书适用于初一至高三各个年级 本书特色本书包含105个真实案例,书中高效的学习方法让他们在不到一年的时间里就实现了成绩的快速提高,成为优...
小学生必背古诗词80首4六年级使用 内容简介 《新世纪小学生必背古诗词80首》精心选择了80首我国经典古诗词,从汉乐府到清代诗歌都有入选,都是历代传诵不衰的名著...
Dubliners 本书特色 有些书不可不熟读,不可不熟知,那就是经典。那是被岁月吹打、淘洗、风化后剩下的菁华。让自己心灵纯净,精神充实的一个熏要方式是阅读经典...
国际金融-(英文版.第十五版) 本书特色 本书逻辑清晰、结构顺畅、论述简洁、案例丰富,理论、政策与经验研究相结合,帮助学生学以致用。本书采用了大量与现实经济问题...
儿童彩图注音版-三国演义 内容简介 《三国演义》是中国历史演义小说的杰作。故事起于东汉末年的黄巾起义,终于三国归晋,描绘了一个波澜壮阔的历史时代,再现了群雄逐鹿...
高考作文必刷题备考(2019) 本书特色 《高考作文必刷题》全新改版,必刷考题,助考生刷出高分 全新特点一:高考作文五大**类型题 **考题 =“极速提分”捷径...
Thiswell-writtenneweditioncontainsahealthybalanceofexplicitandimpliedcalculation...
乌合之众-青少年励志经典文库-49 本书特色 一部讲透心理操纵真相、*具影响力的社会学经典名著△弗洛伊德、荣格、奥尔波特*为推崇的心理学巅峰巨作△能够驾驭群体心...
木偶奇遇记-第二辑-彩绘注音版 本书特色《木偶奇遇记》是意大利作家卡洛·科洛迪的代表作,出版后,印数达到了一百万册。1892年,该书被译成了英文,以后又被译成多...
聆乐夜思-汉英对照 本书特色 《聆乐夜思》是刘易斯·托马斯在1980,1981,1982,1983这四年里,给美国几家杂志写的专栏。有些话题是从前说过的。可是,...
布尔函数的设计与分析 本书特色 布尔函数是对称密码算法的重要部件。为集中展 现布尔函数密码学性质、构造方法和应用方面的近期 成果,《布尔函数的设计与分析/网络与...
中外名著大全集-清华北大状元最爱看的 本书特色 《清华北大状元*爱看的中外名著(大全集)》:精挑细选700余部中外名著尽收眼底。超低的价格让喜爱名著的您轻松拥有...
亚瑟王与圆桌骑士-文学名著英汉双语读物-第二级 本书特色 《亚瑟王与圆桌骑士(文学名*英汉双语读物)》 是由D.K.斯旺和M.韦斯特改写,陈丽辉翻译。在不列颠群...
通用中小学奥赛教材-小学六年级数学(第四版) 内容简介 首先,在数学课堂上总会有部分同学感到“吃不饱”,应该为这些“学有余力”,并且实实在在地对数学有兴趣的学生...