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".
Un sistema de lógica
Este libro consta de 8 capítulos. En este, Mill define la lógica como un método de prueba. La prueba siempre implica proposición que debe ser probada. Una proposición en filosofía es una expresión de un juicio entre dos términos, sujeto y predicado, que afirma o niega este de aquel, o incluye o excluye el primero respecto del segundo. Luego, las proposición son creencias dependientes de la capacidad de asociar un nombre a algo.