数理逻辑，也称为符号逻辑，是一门研究有效推理原则的学科，它最早由古希腊学者 亚里士多德创建。亚里士多德是逻辑学的奠基人，他通过逻辑推理和归纳法，系统地研究了推理和证明的原则，为后来的数理逻辑奠定了基础。

然而，数理逻辑的符号化和形式化研究则是在17世纪和18世纪由其他科学家推动的。德国哲学家戈特弗里德·莱布尼茨（Gottfried Wilhelm Leibniz，1646-1716）提出了“通用科学语言”的概念，试图通过符号和公式来表示和计算逻辑推理过程。尽管他的想法在当时并未完全实现，但他的思想为数理逻辑的发展提供了重要的理论基础。

真正使数理逻辑成为一门独立学科的，则是19世纪的英国哲学家和数学家乔治·布尔（George Boole，1815-1864）。布尔在1847年发表了《逻辑的数学分析》，建立了布尔代数，并创造了一套符号系统来表示逻辑中的各种概念。布尔的代数方法和符号系统为数理逻辑的发展奠定了坚实的基础。

因此，尽管亚里士多德是逻辑学的创始人，但数理逻辑作为一门以符号语言为主要工具的科学，其真正的奠基人应归功于莱布尼茨和布尔。