也叫符号逻辑。运用数学方法，借助符号，系统地研究思维的形式结构及其规律的一门数学分支。主要包括逻辑演算、模型论、集合论、递归论、证明论等部分。广泛用于计算机科学、人工智能、控制论、自动化、心理学、量子力学等方面。