希腊哲学家亚里士多德创立了形式逻辑,数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础,是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性,矛盾律是一切证明都需要的*根本的原理,矛盾律是建构科学理论体系的基本原则。科学家遵循形式逻辑的规则,对理论中的矛盾采取零容忍的态度。他们总是全力以赴,锲而不舍地寻求解决矛盾的方法,直到矛盾解决,创立新理论,推进科学进步,这也影响到哲学观念的变革。形式逻辑对人类文明和社会进步做出了重大贡献。数学科学、物理科学有几千年、几百年的发展历史,科学发展的轨迹表明,辩证逻辑规律并不是普遍适用的,不是进行科学研究指导原则。而进行科学研究的指导原则,只能是形式逻辑的基本规律,特别是矛盾律。
本书适用于逻辑学研究人员
《形而上学》-是古希腊哲学家亚里士多德的哲学代表作,他在《形而上学》这本书中,写的第一句话就是“求知是人类的本性。”这使人回想起一些倒行逆施,有人说什么知识越多越反动;还强迫青少年上山下乡,剥夺他们受教育的权利。
亚里士多德不仅把“求知”提到非常重要的地位,而且他还创立了形式逻辑,强调矛盾律的重要性,为人类文明和科学进步作出了巨大的贡献。实际上,亚里士多德创立的逻辑是科学体系的逻辑基础,是构建科学殿堂的工具。一切科学理论都必须是不矛盾的,相容的,都是按照这样的逻辑建立起来的。
在科学发展的过程中会遇到矛盾,或者是理论与观测(或实验)事实的矛盾,或者是理论内部的不一致。科学家对这样的矛盾总是采取零容忍的态度。它们用坚忍不拔、百折不饶、精卫填海的精神解决矛盾。欧几里得第五公设问题,数学家从古希腊开始,用了两千年的时间,直到19世纪20年代非欧几何的诞生,才得以解决。科学家这种呕心沥血,坚持不懈地消除理论中的矛盾,追求真理的精神是十分感人的。
非欧几何的创立者之一J.波尔约的父亲曾从事第五公设证明的研究多年,但未获得肯定的结果。于是,他认为这是件无意义的工作而放弃了。当知道自己的儿子在研究这个问题时,他在给儿子的信中说:“你绝不可再试图沿这条道路去研究平行线了。我熟悉这条道路直至尽头。我曾走过这无尽的黑暗,它熄灭了我一生的光明和欢乐。我恳求你丢开关于平行线的科学吧。……我曾经想为了真理而牺牲自己。我曾经打算作一个殉道者以除去几何学中的毛病并将纯洁的几何学给予人类。我付出了极大的劳动;我的创造远远优于其他人,然而我一直没有完全满足。……当我看没有一个人能达到黑暗的尽头时,我就回头了。我满怀痛苦地回头了,为自己也为人类怜惜。我承认我不能期望你离开自己的航线。我以曾到过这些地区,似曾驶过这无底死海的每一块礁石,可是每一次都折桅裂帆而归,我曾连想也不想就以我的生命和欢乐来冒险,我的毁灭和失败就是这样来的。”从这段话,我们可以体会到科学家追求真理的那种殉道者的牺牲精神。当然,波约尔的父亲没有能完成的工作,波约尔完成了,而且是在知道其中的困难和危险的情况下,义无反顾地完成的。
然而,黑格尔在评价亚里士多德的形式逻辑时说:“亚里士多德的书里所陈述的的哲学形式,却只是理智思维形式,是抽象的理智所区别出来的一般的思维的规定。这不是思辨思维的逻辑,不是作为与理智有别的理性逻辑;理智的同一性,即任何东西都不应该自相矛盾,是它的基础。这种逻辑按其本性来说就不是思辨的。……亚里士多德乃是理智的普通逻辑的创立者,他的形式所触及的只是有限的东西彼此之间的关系,真理在这种形式中是不能被把握到的。”黑格尔不赞成亚里士多德的形式逻辑,‘而建立起一个辩证法体系。
李浙生,男,汉族,浙江人,1932年5月出生。1961年毕业于北京大学哲学系。毕业后被分配到北京矿务局煤矿当扫盲教员,1980年,归队来到北京市社会科学院哲学所。他通过自学掌握了现代科学的基本知识和精神,从事科学哲学的研究工作。已出版专著7本:《数学科学与认识论》《数学科学与辩证法》《论数学真理》《倏忽之间——混沌与认识》《物理科学与认识论》《物理科学与辩证法》《遗传学中的哲学问题》。发表论文20多篇。2000年,作为访问学者,访问过柏林工业大学。
前言
第一章 形式逻辑的源流
第一节 形式逻辑的创立
一 形式逻辑产生的思想渊源
二 形式逻辑的创立
第二节 麦加拉-斯多阿学派
一 麦加拉学派的逻辑思想
二 斯多阿学派的逻辑思想
第三节 欧洲中世纪形式逻辑
一 三段论理论的发展
二 命题逻辑的发展
三 悖论
第四节 结论
第二章 数理逻辑
第一节 莱布尼茨的数理逻辑思想
一 普遍语言
二 思维的运算
三 计算机
第二节 布尔代数
一 类的演算
二 命题演算
第三节 弗雷格的贡献
一 几个名词
二 概念语言
三 弗雷格的命题逻辑
第四节 罗素的贡献
一 建立了一个完全的命题演算和谓词演算,是逻辑
演算的完成者
二 建立了一个完全的关系逻辑
三 摹状词理论
四 悖论和类型论
五 数学与逻辑
第五节 结论
第三章 矛盾律
第一节 形式逻辑的基本规律
一 同一律
二 矛盾律
三 排中律
第二节 矛盾律
一 矛盾律是事物和思维的根本规律
二 矛盾律是不能证明的自明的公理
三 矛盾律的证明
第三节 哲学家谈矛盾律
第四节 数理逻辑中的矛盾律
一 命题演算的一致性
二 谓词演算的一致性
第五节 数学的无矛盾性
一 数学的三 次危机
二 非欧几何的相容性问题
第六节 物理学的无矛盾性
一 相对论的创立
二 量子力学的创立
第七节 结论
第四章 科学与一分为二
第一节 辩证逻辑
第二节 一分为二
第三节 数学科学与一分为二
一 多值逻辑
二 模糊数学
三 概率论
第四节 物理科学与一分为二
一 物质与反物质
二 自然界的四 种相互作用
第五节 结论
一 科学中的合二而一现象
二 一分为二被绝对化
三 对杨献珍的批判
第五章 科学与黑格尔的三段式
第一节 数学科学与黑格尔的三段式
一 曲线概念的发展
二 函数概念的发展
三 欧氏几何、黎曼几何和非黎曼几何
第二节 物理科学与黑格尔的三段式
一 真空概念的发展
二 力的概念的发展
三 宇宙学的发展
第三节 结论
第六章 逻辑与历史的不一致
第一节 数学领域中逻辑与历史的不一致
一 线性代数中逻辑与历史的不一致
二 几何学中逻辑与历史的不一致
三 微积分中逻辑与历史的不一致
第二节 物理学领域中逻辑与历史的不一致
一 物理理论的逻辑顺序
二 宇宙的演化
三 物理学中逻辑与历史的不一致
第三节 遗传学中逻辑与历史的不一致
一 达尔文的进化论与孟德尔的遗传理论
二 孟德尔的遗传理论与摩尔根的基因论
三 基因论与分子遗传学
四 分子遗传学与进化论
第四节 结论
第七章 辩证法与诡辩
第一节 黑格尔的颜色理论及其他
一 黑格尔的颜色理论
二 黑格尔反对道尔顿的原子论
三 歪曲形而上学的本义
第二节 米丘林学说与李森科
一 遗传物质
二 对获得性遗传的批判
三 米丘林的遗传理论
第三节 微分运算与否定之否定
第四节 结论
参考文献
后记