出版说明 3
前言 3
第一编 数学哲学 3
第一章 导论 3
第二章 几何的起源、逻辑特征和几何知识的本性 11
1. 从实验几何到推理几何以及早期的数学哲学 11
2. 欧几里得几何与公理化方法 16
3. 欧几里得几何有关的哲学问题 22
第三章 几何多元化倾向和抽象化观点的发展 27
1. 非欧几何的起因：第五公设的研究 27
2. 非欧几何--一种特异的几何的诞生 32
3. 非欧几何所引起的一些哲学问题 37
4. 关于非欧几何相容性的两种证明方法 41
5. 抽象的演绎观点的起源以及几何学的两重性 46
第四章 数学的逻辑基础和关于数学本性的不同理解 50
1. 从数学的“算术化”到数学的“逻辑化” 50
2. 罗素的关系理论和实数、复数的化归 55
3. “数”的数学也需要使用流动范畴 61
4. 数学哲学中的直觉主义派 65
5. 数学哲学中的逻辑主义派 70
6. 数学哲学中的形式主义派 74
7. 数学推理的辩证本性 78
8. 经验主义在最近数学哲学中的复兴 81
第二编 逻辑哲学 89
第五章 导论 89
1. 逻辑的联词及其现实原型 97
第六章 逻辑与反映论 97
2. 形式系统内外的有效性 102
3. 量词的形式表述及其非形式解读 108
4. 正确的逻辑是唯一的吗？ 111
第七章 经典逻辑与非经典逻辑 117
1. 经典逻辑的产生 117
2. 逻辑理论的可误性 120
3. 修改经典逻辑时值得考虑的各种策略 122
4. 对时态语句的不同逻辑处理 126
5. 作为一种非经典逻辑的辩证逻辑 129
6. 作为一种非经典逻辑的现代归纳逻辑 131
1. 从认识论角度看多值逻辑的产生 135
第八章 多值逻辑的起源、特性及其启示作用 135
2. 几种典型的三值逻辑系统及其特异性质 141
3. 经典的矛盾律、排中律与多值逻辑 147
4. 辩证论者所得到的启示 150
第九章 逻辑哲学所关心的真理理论 153
1. 真理论中互斥互补的几种理论概述 153
2. 塔斯基因语义悖论而采取的对策 157
3. 真理定义的实质妥当和形式正确条件 160
4. 用递归方法定义真理 162
第十章 悖论 166
1. 形形色色的悖论 166
2. 围绕着悖论的各种解救办法 171
3. 关于悖论本质的不同看法 175