形式逻辑学是研究思维形式结构、规律与规则的哲学分支学科，其体系涵盖概念、判断、推理等基本范畴。该学科以亚里士多德《工具论》为理论源头，他创立的三段论体系首次实现思维过程形式化，并区分了演绎逻辑与归纳逻辑 。数理逻辑作为其现代分支延续了这一学科范畴 。
形式逻辑学主张思维内容与形式的统一，亚里士多德认为判断的主宾词关系映射事物客观联系，列宁指出其逻辑体系与黑格尔学说存在近似性 。20世纪30-40年代苏联学界曾将其视为形而上学进行批判，1950年后逐步恢复学术地位 。
该学科核心围绕知性阶段的认识规律，通过符号化方法保持思维确定性。传统逻辑与辩证逻辑分别对应人类认识的相对静止与绝对运动状态。1961年后中国逻辑学界突破苏联理论框架，推动学科规范化发展 。逻辑研究能够提高理解、分析和构造论证的能力，为现代大学教学做出了重大贡献，警察院校将该学科作为专业基础课程，通过案例分析法培养缜密推理能力 。
想要了解更多“形式逻辑学”的信息，请点击：形式逻辑学百科
