论文部分内容阅读
<正> 两千多年前古希腊的伟大哲学家亚里土多德总结了前人的研究成果,创建了形式逻辑的科学体系,现代演绎逻辑,主要是数理逻辑就是从它的基础上发展起来的。形式逻辑的基本原理,从来沒有象今天这样在现代科学技术中得到广泛的应用。这种情况也日益证明形式逻辑这门专门科学是人类进行理论思维的必不可少的一种认识与反映的工具。现代生产力和科学技术的飞跃发展正在促进形式逻辑科学的广泛发展。