形式逻辑·辩证逻辑·科学

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