逻辑史的变革是从逻辑数学化开始的。逻辑数学化的开端代表人物是17世纪的莱布尼茨,而弗雷格是数理逻辑的开创者。弗雷格与莱布尼茨一样都追求真理,不同的是莱布尼茨追求本体和推理的真,而弗雷格只追求推理的真。莱布尼茨在对逻辑本质和对数的理解上都试图综合传统本体论和方法论,他试图从本体论和方法论两个层面找到逻辑和数的关系。弗雷格继承了莱布尼茨方法论的一面,他对逻辑本质、数以及逻辑与数关系的理解都是方法论层面的,因此弗雷格在方法论层面建立逻辑与数的关系。弗雷格在继承莱布尼茨方法论的基础上,对其具体的方法进行了改进。第一,弗雷格认为莱布尼茨的逻辑数学化的范围太过宏大,弗雷格选择对范围进行限制,从一个或几个领域出发然后逐步扩大。第二,莱布尼茨的符号和实体是对应的,弗雷格将逻辑前提从对实体转为对关系的研究,并引入了新的表示“推出”的符号,此外还创建了表“同一”的符号。第三,莱布尼茨遵循概念、判断、推理传统逻辑结构,而弗雷格直接从判断分析,进入对判断和判断之间的关系,即对推理的研究。第四,莱布尼茨是主谓词逻辑,弗雷格通过引入函数和自变元,建立了谓词逻辑演算系统。弗雷格在莱布尼茨的影响下成为数理逻辑的奠基人,逻辑学家沿着弗雷格的路线进一步发展了现代逻辑。