1989_07 现代逻辑学_10230202.pdf

1、General Information书名=1989.07 现代逻辑学作者=李树琦 蔡春庚 蒋艳华页数=438SS号=10230202出版日期=1989年07月第1版前言目录第一章 绪论 第一节 逻辑思想的发展 一 中国“名学” 二 印度“因明学” 三 希腊“逻辑学” 四 逻辑学的发展 第二节 现代逻辑学的产生 第三节 现代逻辑学的分类和子学科简介 一 理论逻辑 二 应用逻辑 第四节 现代逻辑与传统逻辑的比较 一 传统逻辑的缺陷 二 形式逻辑、数理逻辑和辩证逻辑 三 数理逻辑和数学逻辑 第五节 学习现代逻辑的意义和方法第二章 命题逻辑 第一节 命题逻辑的基础理论 一 命题形式 二 命题联结词

2、三 命题函项 四 重言式 五 范式 六 推理 第二节 命题逻辑的演算系统 一 形式系统 二 公理推理系统 三 自然推理系统 四 元逻辑问题 五 命题演算的其它系统第三章 谓词逻辑 第一节 谓词逻辑的基础理论 一 命题逻辑的不足 二 个体词、谓词和量词 三 谓词公式 四 谓词公式判定的绘图方法 五 摹状词问题 六 关系逻辑问题 第二节 谓词逻辑的演算系统 一 系统特点 二 公理推理系统 三 自然推理系统 四 演绎定理 五 范式 六 元逻辑问题第四章 逻辑代数 第一节 布尔代数 一 代数含义 二 基本规则 三 公式化简 第二节 真值代数和命题代数 一 真值代数的含义 二 命题代数的含义 三 实质蕴

3、涵 四 建立范式 第三节 类逻辑代数和集合代数 一 类逻辑代数的含义 二 集合代数的含义 三 类的概念和演算 四 集合的概念和演算 第四节 开关代数和概率代数 一 开关代数的含义 二 概率代数的含义 三 等可能概率 四 概率运算 五 排列与组合第五章 模态逻辑 第一节 标准模态逻辑的产生 第二节 模态概念、命题及语义 一 模态概念 二 模态命题 三 模态语义 第三节 模态逻辑演算 一 模态命题演算 二 模态谓词演算 第四节 非标准模态逻辑的概况 一 道义逻辑 二 认识逻辑 三 时态逻辑第六章 概率逻辑 第一节 概率论与逻辑 第二节 频率论概率逻辑 第三节 逻辑论概率逻辑 一 语言系统L 二 概

4、率化和定量化的归纳逻辑系统 第四节 困难与前景第七章 演绎逻辑与归纳逻辑 第一节 演绎理论及其模型问题 第二节 公理和公理方法 一 直观公理方法 二 概括公理方法 三 形式公理方法 第三节 形式公理系统的主要性质 一 语形和语义 二 一致性、完全性和独立性 第四节 关于公理系统的两个元定理 一 哥德尔数 二 不完全性定理证明 第五节 归纳方法与演绎方法 第六节 常用的几种归纳方法 一 简单枚举法 二 类比法 三 统计推理 四 求因果五法 五 其它归纳方法 第七节 科学方法论 一 具体学科方法论 二 基础科学方法论 三 一般科学方法论 第八节 现代科学方法论的主要流派 一 正统的逻辑主义观点 二

5、 非正统的逻辑主义观点第八章 现代逻辑的实际应用 第一节 命题逻辑的应用 第二节 谓词逻辑的应用 第三节 逻辑代数的应用 一 用于分析逻辑问题 二 用于有效推理及其证明 第三节 对传统形式逻辑的研究 一 关于A，E，I，O的再构造 二 关于直言三段论的再构造 第四节 应用于其它学科第九章 数学中的逻辑问题 第一节 数学与逻辑 一 不同的领域 二 相似的特点 第二节 推理证明的一般方式 一 演绎推理证明和归纳推理证明 二 直接证明和间接证明 三 形式证明和非形式证明 四 顺推求证和逆推求证 五 数学归纳法 第三节 应用数学的主要途径 一 符号化和形式化 二 模型化和公理化 三 利用更适合的数学工具附录 当代中国的几部逻辑学著作简介