希腊哲学家亚里士多德创立了形式逻辑，数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础，是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性，矛盾律是一切证明都需要的*根本的原理，矛盾律是建构科学理论体系的基本原则。科学家遵循形式逻辑的规则，对理论中的矛盾采取零容忍的态度。他们总是全力以赴，锲而不舍地寻求解决矛盾的方法，直到矛盾解决，创立新理论，推进科学进步，这也影响到哲学观念的变革。形式逻辑对人类文明和社会进步做出了重大贡献。数学科学、物理科学有几千年、几百年的发展历史，科学发展的轨迹表明，辩证逻辑规律并不是普遍适用的，不是进行科学研究指导原则。而进行科学研究的指导原则，只能是形式逻辑的基本规律，特别是矛盾律。

李浙生，男，汉族，浙江人，1932年5月出生。1961年毕业于北京大学哲学系。毕业后被分配到北京矿务局煤矿当扫盲教员，1980年，归队来到北京市社会科学院哲学所。他通过自学掌握了现代科学的基本知识和精神，从事科学哲学的研究工作。已出版专著7本：《数学科学与认识论》《数学科学与辩证法》《论数学真理》《倏忽之间——混沌与认识》《物理科学与认识论》《物理科学与辩证法》《遗传学中的哲学问题》。发表论文20多篇。2000年，作为访问学者，访问过柏林工业大学。

前言
第一章 形式逻辑的源流
第一节 形式逻辑的创立
一 形式逻辑产生的思想渊源
二 形式逻辑的创立
第二节 麦加拉—斯多阿学派
一 麦加拉学派的逻辑思想
二 斯多阿学派的逻辑思想
第三节 欧洲中世纪形式逻辑
一 三段论理论的发展
二 命题逻辑的发展
三 悖论
第四节 结论
第二章 数理逻辑
第一节 莱布尼茨的数理逻辑思想
一 普遍语言
二 思维的运算
三 计算机
第二节 布尔代数
一 类的演算
二 命题演算
第三节 弗雷格的贡献
一 几个名词
二 概念语言
三 弗雷格的命题逻辑
第四节 罗素的贡献
一 建立了一个完全的命题演算和谓词演算，是逻辑
演算的完成者
二 建立了一个完全的关系逻辑
三 摹状词理论
四 悖论和类型论
五 数学与逻辑
第五节 结论
第三章 矛盾律
第一节 形式逻辑的基本规律
一 同一律
二 矛盾律
三 排中律
第二节 矛盾律
一 矛盾律是事物和思维的根本规律
二 矛盾律是不能证明的自明的公理
三 矛盾律的证明
第三节 哲学家谈矛盾律
第四节 数理逻辑中的矛盾律
一 命题演算的一致性
二 谓词演算的一致性
第五节 数学的无矛盾性
一 数学的三 次危机
二 非欧几何的相容性问题
第六节 物理学的无矛盾性
一 相对论的创立
二 量子力学的创立
第七节 结论
第四章 科学与一分为二
第一节 辩证逻辑
第二节 一分为二
第三节 数学科学与一分为二
一 多值逻辑
二 模糊数学
三 概率论
第四节 物理科学与一分为二
一 物质与反物质
二 自然界的四 种相互作用
第五节 结论
一 科学中的合二而一现象
二 一分为二被绝对化
三 对杨献珍的批判
第五章 科学与黑格尔的三段式
第一节 数学科学与黑格尔的三段式
一 曲线概念的发展
二 函数概念的发展
三 欧氏几何、黎曼几何和非黎曼几何
第二节 物理科学与黑格尔的三段式
一 真空概念的发展
二 力的概念的发展
三 宇宙学的发展
第三节 结论
第六章 逻辑与历史的不一致
第一节 数学领域中逻辑与历史的不一致
一 线性代数中逻辑与历史的不一致
二 几何学中逻辑与历史的不一致
三 微积分中逻辑与历史的不一致
第二节 物理学领域中逻辑与历史的不一致
一 物理理论的逻辑顺序
二 宇宙的演化
三 物理学中逻辑与历史的不一致
第三节 遗传学中逻辑与历史的不一致
一 达尔文的进化论与孟德尔的遗传理论
二 孟德尔的遗传理论与摩尔根的基因论
三 基因论与分子遗传学
四 分子遗传学与进化论
第四节 结论
第七章 辩证法与诡辩
第一节 黑格尔的颜色理论及其他
一 黑格尔的颜色理论
二 黑格尔反对道尔顿的原子论
三 歪曲形而上学的本义
第二节 米丘林学说与李森科
一 遗传物质
二 对获得性遗传的批判
三 米丘林的遗传理论
第三节 微分运算与否定之否定
第四节 结论
参考文献
后记