数理逻辑

数理逻辑和形式逻辑、辩证逻辑一样都是概念逻辑的组成部分。数理逻辑是研究数学的一般方式的。

数学起源于经验生活中的计量关系，是计量关系的概念抽象和概念运作的成果。阿拉伯数字符号，面积计量方式，勾股定律等等的出现和创立，都源于计量关系的概念抽象和概念运作。

数理逻辑的核心是勘察和揭示数学的一般方式。怎样理解数学的一般方式呢？

通观数学和数学发展史：

第一，数学的背后是概念，数学是一种计量方式的概念抽象和概念运作。也就是说，一切数学符号、运算符号和运算规则，都源自于计量关系为对象的概念构造，在此基础上展开计量的概念抽象运作。这是数学的本质所在，数学不是自我绝对的和纯粹先验的。

第二，一切数学门类的创立，都是数字符号、运算符号和运算规则的组成，这是数学的核心方式和根本方式。也就是说数学和数学史的发展，重在从计量关系的概念抽象和概念运作中，深入地别出心栽地细心体察，获得新的发现，进行新的数字符号、运算符号和运算规则的制作，由此获得新的数学门类的创立。如，笛卡尔通过坐标系这个新的运算符号制作，创立了解析几何，实现了数和形的统一，并为微积分的创立开辟了道路。