形式逻辑
也称普通逻辑。 是从既成思维的外在关系方面来研究思维形式结构及其规律的科学。形式逻辑研究思维是把思维中的各个具体的概念，具体的判断和具体的推理，当作既成的思想，暂时抛开它们所涉及的具体的内容，专门抽出它们的形式结构(逻辑形式)来进行研究。思维形式结构即思想的各个组成部分的联系方式。概念是思维的细胞，是各种具体思想构成中的最基本的单位。因此，思维形式结构也就是概念在判断中的联系方式，判断在复合判断和推理中的联系方式，以及概念、判断、推理在复杂的思想中的联系方式等。思维形式结构相对于它所涉及的具体内容，是属于思维的形式方面。思维形式结构正确与否是关系到思维正确性的极重要因素。形式逻辑为把思维加以形式化，导入了表达形式结构的公式语言，得出了如“所有S都是P”等逻辑形式，并从真假值的角度加以研究，以揭示它们的规律和规则。 其中最基本的规律是同一律、矛盾律、排中律、充足理由律。 遵守这些规律和由它们导出的逻辑规则，就能保证人们的思维清楚、明确，无逻辑矛盾，前后一贯和有论证性。 形式逻辑还研究一些简单的逻辑方法，如定义、划分、分析、综合、实验、假说等，它们和思维形式结构及其规律有密切联系，形式逻辑也相应地加以研究。形式逻辑的内容一直在不断变化和发展之中。 |