【名词解释】[学科]形式逻辑

又称“普通逻辑”。

通常指传统逻辑。研究思维的形式结构及其规律和一些简单的逻辑方法的学科。

思维的形式结构，也叫思维的逻辑形式，是由逻辑常项(在逻辑形式中，表示某种逻辑关系的词或符号)和逻辑变项(在逻辑形式中，表示某种具体思想的符号)组成的反映思维内容之间联系方式的抽象结构。

思维形式结构的规律是在一般思维过程中保证思维具有一贯性、无矛盾性、确定性和论证性的最基本的规律。形式逻辑是一门工具性质的科学，它给人们提供认识事物和表达思想时必须应用的逻辑工具。它研究思维问题，是撇开具体的个别的思维内容进行研究的，即把具体的概念、判断、推理当成既成的思想，撇开它们的内容，仅仅抽象出它们的形式结构，研究思维形式结构如何正确地表达思维内容。

它研究概念问题，是研究作为概念的最基本的逻辑特征，研究概念的种类和概念之间的关系。它研究判断，是抽出判断的具体内容，用“所有S都是P”(SAP)、“有S不是P”(SOP)、“如果P，那么q”等来表示判断的一般，即判断的结构。在此基础上，从真假值的角度研究判断的逻辑性质和判断之间的关系。

它研究推理，是从形式结构方面来探讨正确推理的模式，研究什么样的推理模式可以得到正确的结论，而在什么情况下，它的结论是不必然的。在研究思维形式结构的过程中，形式逻辑概括出它的许多规则和规律，其中同一律、矛盾律(或称不矛盾律)、排中律以及充足理由律是形式逻辑的基本规律，它是任何思维的形式结构都必须普遍遵守，从而为思维正确提供必要条件的规律。此外，人们在思维和认识过程中经常使用的一些简单的，一般的方法，也被概括到形式逻辑的内容之中。

如定义的方法、假说的方法等。

形式逻辑是一门古老的科学。中国的古典逻辑如墨辩逻辑，就曾研究概念、判断、推理、论证，并讨论了关于逻辑规律的一系列问题。

公孙龙则以貌似诡辩的形式分析了类的关系，韩非子创造了“矛盾之说”，给逻辑的基本规律以恰当的命名。

印度的因明学所讨论的推理论式及关于谬误(过)的论述，是形式逻辑的重要成果。形式逻辑较充分的发展源于古希腊。

古希腊的德谟克利特、苏格拉底、柏拉图都研究过逻辑问题。作为“逻辑之父”的亚里士多德则对形式逻辑的体系作出了划时代的贡献。

他在《工具论》中系统地讨论了逻辑学对象的各个方面的内容，特别是提出了完整的三段论理论。他还详尽地讨论了矛盾律和排中律的问题。

亚氏之后，逍遥学派(亚氏所创)的德奥弗拉斯特和欧德漠斯给亚里士多德的推理形式增补了一些新的内容，提出了命题逻辑问题。斯多噶学派则提出了假言推理和选言推理的形式，使古典演绎逻辑体系基本完成。

古罗马时期以至中世纪，一些逻辑学家在翻译、注释和介绍亚里士多德逻辑学说方面也做了不少有益的工作，有的还作了精深的研究。16一17世纪，由于自然科学的发展，归纳逻辑问题也被提出来了。

弗兰西斯·培根概括了近代自然科学发展的成果，写出了《新工具》，初步奠定了归纳逻辑的基础。嗣后不久的笛卡儿又将科学方法论问题纳入逻辑范畴。后来的约翰·弥尔则在培根等的基础上进一步完善了归纳理论，并使演绎和归纳有了某种结合。在近代，演绎逻辑在莱布尼兹的倡导下同形式化方向发展。

布尔的布尔代数、弗雷格和罗素的两个演算系统，是这方面的重要成果。这一方向的飞速发展对于改进、充实并丰富形式逻辑的内容具有重要的意义。形式逻辑作为人们思维的工具，它的生命力是无限的。任何民族的任何个人，只要思维还存在，就不能稍稍离开形式逻辑的基本规则和规律。当然，作为一门古老的科学，它还要随着人类思维的发展而得到发展。因此，必须概括现代思维的新的形式结构，研究人们正确思维的规律，使形式逻辑能够适应我们时代的要求。

我国近年来，特别是1981年9月形式逻辑研究会成立以来，学术界对形式逻辑现代化问题展开了热烈的讨论。

。【阅读书目】：

《形式逻辑》，中国人民大学哲学系逻辑教研室编，中国人民大学出版社1984年版；《普通逻辑》，该书编写组编，上海人民出版社1986年版；《新编逻辑学概论》，赖传祥主编，上海社会科学院出版社1989年版。