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
El "Organon" fue el conjunto de trabajos de Aristóteles sobre lógica, constituyendo los "Primeros analíticos" el primer trabajo explícito de lógica formal, introduciendo la silogística. Las partes de la lógica silogística, también conocida con el nombre de lógica de términos, son el análisis de los juicios en proposiciones que consisten en dos términos que están relacionados por una de un número fijo de relaciones, y la expresión de inferencias mediante silogismos que consisten en dos proposiciones que comparten un término común como premisa, y una conclusión que es una proposición que involucra los dos términos no relacionados de las premisas.