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".
Predicado (lógica)
La lógica en que se cuantifican los argumentos es la lógica de predicados o lógica de primer orden, pues trata de individuos. La lógica que cuantifica los predicados es lógica de orden superior o lógica de segundo orden.