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 filosófica
La lógica filosófica se refiere a aquellas áreas de la filosofía en la que reconocidos métodos de la lógica tradicionalmente, han sido utilizadas para resolver o avanzar en la discusión de los problemas filosóficos. Entre estos, Sybil Wolfram destaca el estudio del argumento, el significado y verdad, mientras Colin McGinn presenta las nociones de identidad, existencia, predicado, estado de necesidad y verdad como ideas principales en su libro sobre este tema. La lógica se usa únicamente para pensamientos sobre existencias relacionadas con nosotros, en el caso de la filosofía esto es en relación a todo lo posiblemente imaginativo.