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
La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la Antigua Grecia, siendo su máximo exponente el propio Aristóteles. El término "empírico" deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ, en, y πεἳρα, prueba, experimento. Su origen se inicia con la observación de las relaciones entre los objetos, lo que la convierte en la base ideal para las leyes del conocimiento. Su aparición en la Antigua Grecia y el mundo árabe provoca la definitiva separación entre las ciencias formales (geometría, álgebra) de las ciencias empíricas (zoología, botánica) y las ciencias aplicadas (ingeniería, medicina). Su paso a través de la historia provoca el descubrimiento de la lógica experimental y se mantiene hasta nuestros días. Observación.