研究思维形式及其规律的学科，包括概念、判断、推理等基本形式，以及同一律、矛盾律、排中律等基本规律。