形式逻辑定义刍议

任何一门理论科学都有一个揭示该学科本质特征的定义,以便把该学科与其他学科区别开来。形式逻辑作为一门思维理论科学,无疑也应该有这样一个定义。 什么是形式逻辑的定义?从亚里士多德到马克思主义经典作家都未曾明确下过。但是,从亚里士多德以来到马克思主义经典作家,形式逻辑研究对象的基本特征,确实不断被揭示出来。