亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容有逻辑演算、模型论、公理集合论、递归论和证明论等。最早提出有关问题的是莱布尼茨，1847年布尔发表《逻辑的数学分析》后，才有所发展。19世纪末20世纪初，*弗雷格等人在深入研究数学概念和证明中创立了谓词演算，20世纪30年代*哥德尔证明了谓词演算的完全性和算术系统的不完全性等，使数理逻辑形成一门独立的学科。40年代，数理逻辑逐步在开关线路、自动化系统及计算机科学与技术等方面获得应用。随后，在解决连续统假设和选择公理的独立性时创造了著名的新方法——力迫法，同时在模型论、集合论、递归论等其他研究中也获得了许多重要的结果。