形式逻辑
形式逻辑研究思维形式结构及其规律的科学。又称“普通逻辑”。十八世纪德国哲学家康德在他的著作中最早使用“形式逻辑”一词，原意主要指古希腊哲学家亚里士多德创立的演绎逻辑。此后，人们把英国哲学家弗兰西斯·培根提出的归纳方法也纳入形式逻辑的内容。这样，演绎逻辑和归纳逻辑两个部分构成了形式逻辑的基本内容。
形式逻辑最初和哲学溶为 一体，不是 一门独立科学，直到近代，随着内容的逐渐完善，才从哲学中分化出来。形式逻辑的主要研究内容有： ( 一) 从真假值角度研究思维形式结构之间的联系规律，亦即当某种形式结构的思维是真的（符合思维对象实际） 或假的 （不符合客观对象实际） 时，内容全部相同或部分相同的另一些不同形式结构的思想也相应反映为真的或者假的。形式逻辑揭示出判断形式结构之间各种必然性的真假联系规律，概括出了正确进行推理和证明的规则，并总结了各种符合规则的正确推理形式结构和证明形式结构。（二） 研究思维形式结构的基本规律。形式逻辑的基本规律不同于推理、证明的特殊规律，它对形成不同形式结构的思想普遍有效。这样的规律有四条，即同一律、矛盾律、排中律和充足理由律。（三） 研究一些简单的思维方法，如分析、综合、抽象、概括等。
形式逻辑的研究对象规定了它的性质。形式逻辑是一门客观性的科学。思维形式结构是从大量具体的思维材料中抽象、概括出来的，它不依人的意志为转移，人们只能认识和遵守它，而不能否认和违背它。形式逻辑又是 一门全人类的科学。思维形式结构及其规律是全人类共同的精神财富，古今中外的人都使用共同的思维形式结构，遵守共同的形式逻辑规律。形式逻辑也是一门不具有阶级性的科学。同一思维形式结构可以表述不同的思想内容，也可以表述不同阶级的思想。形式逻辑对 一切阶级一视同仁，为一切阶级服务。
在科学分类中，形式逻辑属于基础科学。具体作用有： （一） 它是科学认识和科学研究的工具。恩格斯《反杜林论》： 形式逻辑“首先是探寻新结果的方法，由已知进到未知的方法”。（二） 组织和表达思想的工具。熟练掌握各种思维形式结构的一般特征，有利于选择适当的思维形式结构，准确地表述思想，正确地反映客观对象，并且自觉遵守形式逻辑的规律，就能保证思维具有确定性、一贯性、明确性和论证性。（三） 识别、驳斥谬误与诡辩的有力武器。谬误与诡辩往往是违背形式逻辑的规律产生的错误论证。掌握形式逻辑的知识，可以提高识别谬误和诡辩的能力，可以直接借助形式逻辑的规律剖析谬误和诡辩的逻辑错误，使论辩鞭辟入里。
【形式逻辑】逻辑学分支学科。撇开思维的具体内容，研究思维的形式结构及其规律的学科。狭义指演绎逻辑，广义还包括某些归纳逻辑的内容。从形式结构方面研究词项（概念）、命题（判断）和推理及其正确联系的规律。基本规律有同一律、矛盾律和排中律。古希腊亚里士多德奠定了其研究基础，康德首先使用“形式逻辑”这个名称。数理逻辑产生后，一般认为现代形式逻辑就是数理逻辑。
形式逻辑xíng shì luó ji关于思维的形式及其规律的科学。1934年《新知识辞典》：“形式逻辑，Formal Logic。”
|