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