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
El libro VI, con 12 capítulos, argumenta que las "ciencias morales", es decir, el estudio de la ética y la naturaleza humana, requieren de las mismas estructura lógica que las ciencias físicas. Según los conceptos de libertad, causalidad y necesidad aplicados a asuntos humanos lleva a Mill a concluir que la naturaleza humana se rige por principios científicos que la lógica puede poner al descubierto y que pueden usarse para promover la felicidad.