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
Las lógicas discutidas anteriormente son todas "bivalentes" o "de dos valores"; es decir, se entienden de forma más natural como la división de las proposiciones en verdaderas y falsas. Los sistemas de lógica no clásica son aquellos que rechazan varias reglas de la lógica clásica.