研究思維形式及其規律的學科，包括概念、判斷、推理等基本形式，以及同一律、矛盾律、排中律等基本規律。