数理逻辑是以符号语言为主要工具语言的逻辑,也被称为符号逻辑. 其提出可以追溯到17世纪后期到18世纪早期的著名科学家和哲学家“莱布尼茨（Leibniz, 1646-1716)”,他的代表作是《人类理智新论》.他区分了理性真理和事实真理,前者必然为真,后者则或然为真,一切必然真理都是分析的.他试图建立一种分析的真理体系.莱布尼茨曾设想过创造一种“通用的科学语言”,可以把推理过程象数学一样利用公式来进行计算,从而得出保真的结论.他的思想成为数理逻辑部分内容的萌芽,从这个意义上讲,莱布尼茨可以说是数理逻辑的先驱. 而数理逻辑的实际开创者应该说是英国哲学家和数学家布尔.1847年,布尔发表了《逻辑的数学分析》,建立了“布尔代数”,并创造一套符号系统,利用符号来表示逻辑中的各种概念.布尔建立了一系列的运算法则,利用代数的方法研究逻辑问题,初步奠定了数理逻辑的基础. 十九世纪末二十世纪初,数理逻辑有了比较大的发展,1884年,德国数学家弗雷格出版了《算术基础》一书,在书中引入量词的符号,使得数理逻辑的符号系统更加完备.对建立这门学科做出贡献的,还有美国人皮尔斯,他也在著作中引入了逻辑符号.从而使现代数理逻辑最基本的理论基础逐步形成,成为一门独立的学科.