第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
皮亚诺曲线和豪斯道夫分球定理:从无限集谈起 本书特色 谢彦麟编著的这本《皮亚诺曲线和豪斯道夫分球定理——从无限集谈起》是“数学中的小问题大定理丛书”之...
人员素质测评理论与方法-(第二版) 本书特色 人本书共七章,大体上分为理论、测评方法和应用三个部分,围绕人员素质测评是什么、人员素质主要测评什么、如何测评以及如...
共和国教科书新国文-(初小) 本书特色 印刷次数在2000次左右,目前所能见到的印刷次数*多的一册高达2560次。当时*受欢迎*为成熟的教育读本。保留原书风貌,...
超级阅读:分层阅读周计划(初中读本6) 内容简介 分层阅读是一种高效实用的阅读方法,能有机地把阅读和写作结合起来,把轻松阅读和升学考试结合起来,把读书和做人结合...
《风光摄影进阶:驾驭光线》内容简介:光线是风光摄影中最为重要的外在条件,张新根所著的《驾驭光线(风光摄影进阶)》通过对各类
一个独立教师的语文之旅 本书特色 语文,应当有着惊人的美丽。十七载教学探索,重构语文精神;五年独立执教生涯,践行教学勇气。郭初阳的经历不可复制,但他的思想值得同...
中国小学生基础阅读书目.导赏手册-中国人阅读书目-二 本书特色 本书是新阅读研究所“中国小学生基础阅读书目”项目取得的成果。本书采取“30+70”的方式选书,即...
英语学术论文写作十讲 内容简介 《英语学术论文写作十讲》将系统介绍英语学术论文写作要素的基本要求、研究论文的格式规范和方法技巧,从如何有效选题开始,介绍如何收集...
《富兰克林效应》内容简介:富兰克林担任宾夕法尼亚州一会秘书时,希望获得一位议员的支持,却始终没能奏效。一次偶然机会,富兰克
[内容简介]“意识是什么”这个问题已经困扰了人类几千年,脑科学的普及与人工智能的兴起让意识再次成为热门话题,尽管大量突破性的研究不断改写着关于大脑的科学,但人们...
模型制作 本书特色 设计类模型的制作本身就是设计的过程和方法,制作模型能使设计师通过观察模型、对话模型、分析模型,进行概念设计的扩展和深化,完善设计方案。《模型...
“莎士比亚经典戏剧(中英文对照全译本)”丛书-奥瑟罗 本书特色 《奥瑟罗(中英文对照全译本)》是由《莎士比亚经典戏剧(中英对照)丛书》编委会所编写,中国出版集团...
孤独的阅读者丛书1453词汇手册:与英语义同形异的法语 本书特色 本手册整理了1453个与英语“义同形异”的法语单词,是作者在多年的第二...
听力与听力理解 本书特色 《TEM4听写与听力理解》:依据《高校英语专业四级考试大纲(2004年新版)》编写。全面、系统地介绍自2005年起按照新考试大纲命题的...
北大红楼忆旧 内容简介 北大红楼是北京城内一座具有极不平凡历史的建筑,因其主体由红砖砌成而得名。自83年前红楼落成伊始,她就成为中国先进思想和文化的发源地。北大...
莎士比亚悲剧:麦克白 本书特色 莎士比亚的杰作 四大悲剧之一世界文学史上的不朽巨著著名莎剧翻译家朱生豪 典雅传神的译本买中文版送英文版莎士比亚悲剧:麦克白 内容...
傅雷家书 本书特色 ★教育部新编八年级(下)语文教科书名著导读指定书目。★名人家书屡见不鲜,但能常销不衰、称得上经典的,似乎只有两本:一本是《曾国藩家书》,一本...
中国阿拉伯语教育史纲 内容简介 本书主要概述了20世纪之前阿拉伯语教育的回顾、20世纪前半叶的阿拉伯语教育、20世纪后半叶的阿拉伯语教育、历史的总结与未来的展望...
秃秃大王-彩绘版 本书特色《秃秃大王》讲述了喜怒无常的秃秃大王既愚蠢又邪恶,虽然已经有很多妻子,但他还强迫干干做他的妻子,并把干干的父母和她的弟弟冬哥儿以及邻居...
约翰 M.巴里(John M. Barry),美国作家、历史学家,曾任记者和足球教练。常为《纽约时报》、《华尔街日报》、《时代周刊》、《财富》杂志、《华盛顿邮报...