研究人的思维形式和规律的科学称为逻辑学。由于研究方法和对象的各有侧重、又分为形式逻辑学、辨证逻辑学、和数理逻辑学。

数理逻辑学又称为符号逻辑学。