逻辑学，是思维的形式和规律的科学，也叫形式逻辑。

形式逻辑是科学，是一门历史悠久、内容不断充实和发展，至今仍有理论意义和实践意义的基础学科。形式逻辑是研究思维的。恩格斯曾指出:“在以往的全部哲学中还仍旧独立存在的，就只有关于思维及其规律的学说一一形式逻辑和辨证法。形式逻辑、数理逻辑和辨证逻辑都是逻辑，都是关于思维的科学。这是它们的共同点，但是，它们却是各自从不同侧面来研究思维的，因此，又被认为是三门不同的学科。