逻辑学

---

是关于思维形式及其规律的科学。

逻辑学包括形式逻辑、数理逻辑、辩证逻辑。形式逻辑研究既成的思维形式结构及其规律和规则；数理逻辑是用数学方法研究有关形式逻辑问题及数学基础问题；辩证逻辑研究辩证思维的形式及其规律。作为研究理论思维工具的逻辑学，在不同的历史时期，有著不同的具体内容和形式。近代以来，科学技术的发展和进步，逻辑学也取得许多新成就，形成了许多种类的逻辑系统和新的分支，如建立了数理逻辑的证明论、集合论、递归论、模型论以及其他许多新的逻辑学说。

如逻辑语法学，逻辑语言学、规范逻辑、行为逻辑、科学认识的逻辑等等。逻辑科学，随著科学技术对社会发展的作用的日益增强，在诸科学学科中，愈益显示它的重要地位。