参考答案：

亦称符号逻辑，它是数学和逻辑学之间的边缘学科，它是用数学的方法研究推理的规律，是研究正确思维规律的学科。