数理逻辑，又称符号逻辑。一般认为是数学的一个分支，又是逻辑学发展的高级形态，数理逻辑的创始者是德国的数学家兼哲学家莱布尼茨。数理逻辑方法，指借助数学中常用的形式化语言方法，来研究推理中前提和结论之间的形式关系的符号逻辑方法。
数理逻辑的产生和发展，有其历史的必然性。从传统逻辑自身发展看，虽总结了思维的一些规律，但人们感到了传统逻辑的不足，需要加以改造和发展，尤其是借助数学方法 (如使用符号、注重推理等) 而加以改造和发展。从数学本身的研究看，数学的基础研究产生了大量与逻辑有关的问题。于是自莱布尼茨之后，有一大批科学家、逻辑学家、哲学家参与了数理逻辑的开拓工作，至使成为一门新兴的边缘性学科。
数理逻辑主要包括模型论、递归论、集合论和证明论四大分支。而数理逻辑的基础是由命题逻辑和谓词逻辑构成的。
数理逻辑方法可以使我们从定性研究走向定性和定量研究相结合的方向，数理逻辑所揭示的数学中的思维规律、思维技术与思维方法以及运用数学符号描述、表达特定思维过程及使用电子元件物资手段实现其思维过程等，都为开拓我们的思维视野、探求思维规律奠定了方法论基础。
使用数理逻辑方法，最根本的在于学懂会用“数理逻辑”基础理论、原则和方法。同时，还必须付诸于智能机的开关线路、自动化系统和电子计算机设计的实际应用之中。