Gottfried Leibniz
En el campo de  lógica, Gottfried Wilhelm Leibniz desarrolló la doctrina de análisis y síntesis . Entendía la lógica como la ciencia de todos los mundos posibles. Leibniz pertenece a la primera en la historia de la formulación de la ley de la razón suficiente; también es el autor de la expresión ley de identidad adoptada en la lógica moderna . Consideraba que la ley de identidad era el principio supremo de la lógica . "La naturaleza de la verdad en general consiste en el hecho de que es algo idéntico".
Lógica empírica
Y esto ocurre de manera eficaz cuando esta materia es aceptada como conocimiento verdadero que permite una explicación teórica mediante un lenguaje formalizado, cuyo ideal es la lógica deductiva; por ello desde el principio la lógica y las matemáticas se han considerado como la manifestación perfecta de la ciencia junto con la especulación metafísica.