前言 1
第一章 形式逻辑的源流 1
第一节 形式逻辑的创立 2
一 形式逻辑产生的思想渊源 2
二 形式逻辑的创立 6
第二节 麦加拉—斯多阿学派 15
一 麦加拉学派的逻辑思想 15
二 斯多阿学派的逻辑思想 16
第三节 欧洲中世纪形式逻辑 17
一 三段论理论的发展 17
二命题逻辑的发展 19
三 悖论 20
第四节 结论 20
第二章 数理逻辑 23
第一节 莱布尼茨的数理逻辑思想 23
一 普遍语言 24
二 思维的运算 27
三 计算机 30
第二节 布尔代数 32
一 类的演算 33
二命题演算 34
第三节 弗雷格的贡献 37
一 几个名词 37
二概念语言 40
三 弗雷格的命题逻辑 43
第四节 罗素的贡献 55
一 建立了一个完全的命题演算和谓词演算，是逻辑演算的完成者 55
二 建立了一个完全的关系逻辑 55
三 摹状词理论 56
四 悖论和类型论 56
五数学与逻辑 58
第五节 结论 59
第三章 矛盾律 64
第一节 形式逻辑的基本规律 64
一 同一律 64
二 矛盾律 65
三 排中律 65
第二节 矛盾律 66
一 矛盾律是事物和思维的根本规律 66
二 矛盾律是不能证明的自明的公理 67
三 矛盾律的证明 68
第三节 哲学家谈矛盾律 74
第四节 数理逻辑中的矛盾律 78
一命题演算的一致性 78
二 谓词演算的一致性 79
第五节 数学的无矛盾性 81
一 数学的三次危机 82
二 非欧几何的相容性问题 109
第六节 物理学的无矛盾性 125
一相对论的创立 126
二 量子力学的创立 149
第七节 结论 167
第四章 科学与一分为二 171
第一节 辩证逻辑 171
第二节 一分为二 172
第三节 数学科学与一分为二 173
一 多值逻辑 174
二模糊数学 177
三 概率论 185
第四节 物理科学与一分为二 187
一 物质与反物质 187
二 自然界的四种相互作用 191
第五节 结论 201
一科学中的合二而一现象 202
二 一分为二被绝对化 205
三 对杨献珍的批判 211
第五章 科学与黑格尔的三段式 215
第一节 数学科学与黑格尔的三段式 218
一 曲线概念的发展 218
二 函数概念的发展 228
三 欧氏几何、黎曼几何和非黎曼几何 238
第二节 物理科学与黑格尔的三段式 242
一 真空概念的发展 242
二 力的概念的发展 249
三 宇宙学的发展 274
第三节 结论 288
第六章 逻辑与历史的不一致 290
第一节 数学领域中逻辑与历史的不一致 291
一 线性代数中逻辑与历史的不一致 292
二 几何学中逻辑与历史的不一致 300
三 微积分中逻辑与历史的不一致 308
第二节 物理学领域中逻辑与历史的不一致 317
一 物理理论的逻辑顺序 317
二 宇宙的演化 321
三 物理学中逻辑与历史的不一致 326
第三节 遗传学中逻辑与历史的不一致 332
一 达尔文的进化论与孟德尔的遗传理论 333
二 孟德尔的遗传理论与摩尔根的基因论 339
三 基因论与分子遗传学 343
四 分子遗传学与进化论 345
第四节 结论 350
第七章 辩证法与诡辩 352
第一节 黑格尔的颜色理论及其他 353
一 黑格尔的颜色理论 353
二 黑格尔反对道尔顿的原子论 355
三 歪曲形而上学的本义 359
第二节 米丘林学说与李森科 363
一 遗传物质 363
二 对获得性遗传的批判 364
三 米丘林的遗传理论 364
第三节 微分运算与否定之否定 369
第四节 结论 370
参考文献 373
后记 376