https://wiki.mbalib.com/wiki/思维科学
逻辑学主要分辩证逻辑、形式逻辑和数理逻辑
研究人的思维形式和规律的科学,称为逻辑学。根据所研究的对象和方法的不同,逻辑学主要分辩证逻辑、形式逻辑和数理逻辑。 数理逻辑是研究演绎推理的一门科学,是传统演绎法研究的继续和发展。