第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概率解释
第三节 逻辑代数的发展
一 耶芳斯和文恩
二 皮尔士
三 施罗德
四 麦柯尔
第八章 关系逻辑
第一节 德摩根的关系逻辑
一 德摩根对古典形式逻辑的改造
二 关系逻辑的创建
第二节 皮尔士对关系逻辑的发展
一 皮尔士关系逻辑的一些基本概念
二 基本运算
三 关系逻辑的主要原理
四 量词理论
第三编 数理逻辑奠基时期
第九章 逻辑演算的建立和发展
第一节 弗雷格的逻辑演算
一 逻辑演算建立的历史背景
二 逻辑演算系统
三 自然数的定义
四 涵义和所指
第二节 皮亚诺的符号体系
一 数理逻辑
二 数学基础
第三节 罗素的逻辑演算
一 命题演算和谓词演算
二 关系逻辑
三 摹状词理论
第四节 逻辑演算的发展
一 命题演算和谓词演算的不同系统
二 逻辑演算的元理论
第五节 非经典逻辑简述
第十章 从素扑集合论到公理集合论
第一节 无穷集合的怪论
第二节 康托尔的集合论
一 康托尔的指导思想——实无穷的理论
二 可数集和不可数集
三 超穷基数和超穷序数
四 连续统假设
第三节 集合论悖论的出现——第三次数学危机
一 布拉里-福蒂悖论
二 康托尔悖论
三 罗素悖论
四 关系悖论
五 与集合论悖论不同的一些语义悖论
第四节 公理集合论的建立
一 策梅罗—弗兰克尔的公理集合论
二 冯·诺意曼的公理集合论
三 贝尔纳斯对冯·诺意曼系统的改进
第十一章 逻辑主义论题和逻辑类型论
第一节 数学概念和数学定理的推导
第二节 逻辑类型论
第三节 蒯因的新系统NF
第四节 逻辑主义的历史地位
第十二章 直觉主义的数学基础和逻辑
第一节 直觉主义的数学哲学
第二节 直觉主义的数学基础
一 潜无穷论是直觉主义数学的出发点
二 在数学中不能普遍使用排中律
三 数学对象的可构造性
第三节 直觉主义逻辑
一 直觉主义的命题演算
二 直觉主义的一阶谓词演算
三 直觉主义逻辑与经典逻辑的关系
第十三章 形式公理学和证明论
第一节 从实质公理学到形式公理学
一 第一阶段——实质公理学:《几何原本》
二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何
三 第三阶段——形式公理学:《几何基础》
第二节 证明论的建立
一 希尔伯特的元数学——证明论纲领
二 希尔伯特纲领的历史意义和哲学意义
第四编 数理逻辑发展初期
第十四章 哥德尔的伟大贡献
第一节 哥德尔完全性定理
第二节 模型论的两条基本定理——累文汉定理和紧致性定理
第三节 哥德尔不完全性定理
一 自然数算术的形式系统
二 哥德尔不完全性定理的直观说明
三 哥德尔配数法
四 形式算术系统元数学的算术化
五 原始递归函数和原始递归谓词
六 原始递归函数在系统中的数字可表示性
七 不可判定命题的形式结构
八 不可判定命题与说谎者悖论的关系
九 哥德尔不完全性定理的证明
十 哥德尔不完全性定理的哲学意义
第四节 选择公理和广义连续假设的一致性
第十五章 哥德尔不完全性定理带来的硕果
第一节 塔尔斯基论形式语言中的真值概念
一 在普遍的日常语言中不能定义真值概念
二 类演算的形式语言和元语言
三 在类演算的元语言中“真语句”的定义
四 关于“真语句”定义问题的一般结论
五 塔尔斯基定理及其与哥德尔不完全性定理的关系
六 塔尔斯基的成果的历史意义
第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义
一 阿克曼函数
二 一般递归函数
第三节 λ转换演算和丘吉论题
一 λ转换演算
二 丘吉论题
三 丘吉不可判定性定理
第四节 图灵机和可机算函数
一 图灵机的基本概念
二 可机算函数与λ可定义函数的等价性
三 图灵论题
四 一阶谓词演算的判定问题不可解
五 图灵机理论的历史意义
第五节 波斯特的符号处理系统
一 波斯特机
二 波斯特的符号处理系统
第六节 塔尔斯基证明不可判定性的一般方法
一 若干基本概念
二 一些重要定理
三 不可判定性成果的哲学意义
人名译名对照表
主要参考文献
秘密花园 本书特色 一场可怕的霍乱使生活优越、相貌难看、脾气暴躁的玛丽成了一名孤儿,她被送到了英国的舅舅家。舅舅有一个庄园,庄园里有一个秘密花园。但花园没有门,...
无做孩子最好的英语学习规划师与单词发音密码(套装共2册) 本书特色 适读人群 :学生,家长儿童英语启蒙规划路线图包含两册图书:《做孩子*好的英语学习规划师:中国...
思与行:中学英语课堂教学研究与实践 本书特色 这本《思与行:中学英语课堂教学研究与实践》由应晓球、吴彩霞主编,收入了《基地的研修,*苦*累却又心甘情愿》《给教师...
麦加菲美国语文精选读本-(上下册) 本书特色 ★ 16开平装,人民出版社出版★ 美国媒体称其为"影响美国五代人的心灵读本",销量超过了1.2亿册,选编的课文以美...
《中国现代服务业发展报告(2012)》内容简介:本书共分四篇,第一篇为区域篇,分别从四大区域、典型经济区、“四省一市”等层面分
爷爷的爷爷哪里来:人类起源的演化过程 本书特色 2017年9月开始,在国家统一部署下,全国中小学陆续启用统编语文教材。教材的*大特色,是突出了课外阅读的重要性,...
商务知识导读-英文版 本书特色 《商务知识导读(英文版)》:新基点全国高等院校商务英语专业本科系列规划教材·商务知识子系列商务知识导读-英文版 内容简介 本校商...
历史的丰碑:现实主义的思想先驱马基雅维里 本书特色 回溯人类的足迹,人们首先看到的总是那些在其各自背景和时点上标志着社会高度和进步里程的伟大人物。他们是历史的丰...
下课后-如何让孩子真正爱上语文 本书特色 这是一部以豫南一个县城初级中学2007级两个“宏志班”(实验班)为基点,对94个初中生进行长期跟踪观察、忠实记录的教育...
在清华北大的演讲 本书特色 志于改革者要认识到:有比钱更重要的东西,有比官更诱人的东西,有比命更宝贵的东西,那就是——理想!为了理想和信仰生活,就像在阳光和雨露...
独抒性灵-用自己喜欢的方式打造高考满分作文 本书特色 《独抒性灵:用自己喜欢的方式打造高考满分作文》共计四个板块,分为语言之美、构思之美、技法之美、要素之美。本...
小升初英语语法天天练-各版本适用 本书特色 丛书畅销10年!小升初**语法全景展现,讲练结合,双效突破。各版本适用。小升初英语语法天天练-各版本适用 内容简介 ...
考拉小巫的英语学习日记-写给为梦想而奋斗的人 本书特色 新东方教育科技集团董事长俞敏洪、爱思英语网创始人周玉亮、托福名师无老师、85后青年意见领袖一直特立独行的...
生活在美国-上-赠送一张MP3光盘 本书特色 《生活在美国(上)》:原汁原味的生活美语,清新生动的居家生活剧情!生活在美国-上-赠送一张MP3光盘 内容简介 本...
中译经典文库·世界文学名著:水浒传 本书特色 《中译经典文库·世界文学名著:水浒传(精装本)》是我国**部以农民起义为题材的长篇白话章回小说,也是迄今为止这类题...
我的作文教学主张 本书特色在《我的作文教学主张》中,作者打破旧的作文教学程式,提出九大革命性主张,是在丰厚有效的作文教学实践土壤上开出的美丽的思想之花 。自谦为...
大林和小林-中小学生必读文学名著 本书特色 中小学生必读文学名著精选“大家小书”,该系列包含鲁迅先生的《朝花夕拾》,冰心先生的《寄小读者》,张天翼的《大林小林》...
计算机英语 教师用书 本书特色 本书简略而较为系统地介绍了计算机的基础知识。全书共16个单元,内容涉及硬件、操作系统、计算机系统的计量单位、文字处理与表格、电子...
中国特色社会主义制度认同教育研究 本书特色 郭莉*的《中国特色社会主义制度认同教育研究》基于当前存在的各种阻抗中国特色社会主义制度认同的制约因素,从中国特色社会...
美国儿科学会拥有全美最优秀的儿科医生、育儿领域最前沿的研究水平和最丰富的实践经验,其科学、先进的育儿理念在斯蒂文·谢尔弗