第一章 数学哲学的历史发展

第一节 数学与哲学的历史联系

一 古希腊时期

二 近代时期

第二节 数学哲学的现代发展

一 现代数学基础研究的深入

二 现代的数学哲学研究

第二章 数学的“逻辑化”与逻辑的“数学化”

第一节 数学的“逻辑化”

一 逻辑主义的基本观点

二 逻辑主义的基础研究

三 逻辑主义的失败

第二节 数学与逻辑

一 数学与逻辑的同一性

二 数学与逻辑的差异性

三 逻辑主义失败的认识论根源

第三节 逻辑的“数学化”

一 数理逻辑的早期发展

二 数理逻辑的成熟

三 数理逻辑的现代发展

四 数理逻辑的性质和特点

第一节 直觉主义的数学基础研究

第三章 直觉主义数学与直觉主义逻辑

一 直觉主义的数学观

二 对于古典逻辑和古典数学的批判

三 直觉主义数学与直觉主义逻辑

第二节 对于直觉主义的分析与评论

一 直觉主义与构造主义

二 直觉主义的失败

三 直觉主义的贡献

第四章 希尔伯特规划及哥德尔不完备性定理

第一节 希尔伯特规划

一 希尔伯特的数学观

二 希尔伯特规划

第二节 哥德尔不完备性定理及希尔伯特规划的失败

一 希尔伯特规划的失败

二 对于希尔伯特数学观的分析与评论

三 哥德尔不完备性定理的意义

第五章 数学哲学总论

第一节 数学对象的实在性

一 问题的尖锐化

二 实在论与形式主义的观点

三 数学对象在实在性问题上的辩证性

第二节 数学的真理性问题

一 数学真理的客观性及其检验标准

二 数学的认识论问题

一 悖论与数学基础“危机”

第三节 悖论与数学基础问题

二 数学基础问题

第四节 数学的辩证性

一 数学的定义

二 数学的辩证性

第六章 哲学逻辑(上)

第一节 哲学逻辑的基本特征

一 传统哲学逻辑的再现

二 现代哲学逻辑的基本特征

三 研究哲学逻辑的意义

一 模态词

第二节 模态逻辑

二 命题模态逻辑的语法研究

三 模态逻辑的语义学研究

四 广义的模态逻辑

第三节 多值逻辑

一 多值逻辑概述

二 三值逻辑

三 多值逻辑的形式语义学研究

四 关于多值逻辑的其它问题

第七章 哲学逻辑(下)

第一节 模糊逻辑

一 模糊逻辑产生和发展的必然性

二 作为多值逻辑之一的模糊逻辑

三 模糊逻辑

四 模糊推理

五 模糊逻辑与标准逻辑

第二节 不协调逻辑

一 悖论与不协调逻辑

二 不协调逻辑

三 协调性与不协调性的相互关系

第三节 辩证逻辑

一 辩证逻辑是一种非形式的哲学逻辑

二 辩证逻辑的核心——矛盾

三 辩证逻辑的方法

四 辩证逻辑、形式逻辑与不协调逻辑

一 逻辑中的哲学问题

第八章 逻辑哲学

第一节 逻辑发展的动力

二 逻辑发展的动力

第二节 逻辑的真理性

一 逻辑经验主义对逻辑真理的看法

二 对逻辑主义真理观的批评

三 对逻辑真理的评论

四 逻辑真理的绝对性与相对性的再分析

第三节 逻辑与本体论

一 传统本体论与逻辑本体论

二 数理逻辑的兴起与逻辑本体论的研究

三 对量词的两种解释以及由此导致的不同的哲学结果