《现代逻辑与传统逻辑》导言

形式逻辑属于思维科学。人们的思维有两种基本方式,即抽象思维(又称逻辑思维)和形象思维,形式逻辑研究的是抽象思维,其中主要是演绎推理。按照历史的发展,形式逻辑分为传统的和现代的,从传统形式逻辑到现代形式逻辑,是思维科学的一个重大变革。传统形式逻辑(以下简称传统逻辑)包括名词逻辑和命题逻辑。传统名词逻辑的奠基者是亚里士多德,他建立了第一个公理化的逻辑系统,即三段论系统,揭示了直言推理的逻辑