形式逻辑 辩证逻辑 科学PDF电子书下载

前言 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