逻辑学的分支学科。研究思维的形式结构及其规律。撇开具体的思维内容，研究概念、判断和推理（尤其是演绎推理）及其正确联系的规律和规则；反映事物最简单、最普遍、最常见的联系，表达最初步的但很重要的思维规律。基本规律有：同一律、矛盾律和排中律。

1. 关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。