形式逻辑

出处：按学科分类—社会科学总论 中国科学技术出版社《计划生育词典》第303页（386字）

亦称普通逻辑。

是关于思维形式、思维结构和思维规律的科学，是人们认识事物、表达思想的一种必不可少的工具。古希腊的思想家亚里士多德是逻辑科学的创始人，由他创立的逻辑的第一种类型，后来被康德称之为形式逻辑。

形式逻辑研究的对象是思维过程借以实现的各种思维形式。概念、判断和推理是形式逻辑这门科学的三大主要部分。

形式逻辑要求在运用概念、判断进行推理时，必须依据思维规律和规则，做到概念明确，判断恰当，推理合乎逻辑，使思想具有确定性、连贯性、排除自相矛盾性。形式逻辑有四条根本规律：同一律、矛盾律、排中律和理由充足律。形式逻辑还研究定义、划分、分析、综合、实验、假说等逻辑方法。形式逻辑的作用：一是人们认识事物、获得新知识的必要条件；二是人们交流思想不可缺少的工具；三是揭露错误、批判谬误和诡辩的武器；四是提高人们逻辑思维能力的手段。