逻辑的形式化与形式的系统化  

作　　者：徐东海 

出　　处：《淮阴师范学院学报（哲学社会科学版）》1991年第2期82-84,共3页Journal of Huaiyin Teachers College(Social Sciences Edition)

摘　　要：逻辑学从亚里士多德开始就已经朝着这个方向发展了。这个方向我们今天把它称为逻辑的“形式化”。形式化是一种较为经济的抽象方法。它的特点是用字母或其它一些技术手段,例如表意的符号,去代表那些有相同特性的被研究的具体对象,从而把我们由原来的对具体对象的研究转换、上升为对字母或符号所代表对象的组合规律的研究。在逻辑中引进符号,对逻辑内容进行形式化处理,这是从亚里士多德《前分析篇》开始的。正如数学中发生的情形那样,逻辑成为形式逻辑,成为一门学科,符号的引入是关键的一步。

关 键 词：形式化方法 前分析篇 逻辑规律 逻辑学家 公理系统 类演算 现代逻辑 斯多葛逻辑 逻辑研究 弗雷格 

分 类 号：G658.3[文化科学—教育学] C55[社会学]