这个问题太高深了,我只能凭我的一点水平回答了.
相对的是数理逻辑吧!老师好像讲过.
数理逻辑又称符号逻辑、理论逻辑.它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科.
所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法.
用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算.后人基本是沿着莱布尼茨的思想进行工作的.
简而言之,数理逻辑就是精确化、数学化的形式逻辑.它是现代计算机技术的基础.新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用.