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 cuántica
La expresión "lógica cuántica" también se refiere a la rama interdisciplinária de física, matemática, lógica y filosofía que estudia el formalismo y las bases empíricas de estas reglas algebraicas. Cabe destacar que la lógica cuántica es una disciplina científica independiente y con objetivos diferentes a los de la informática cuántica, aunque ambas dependen, por supuesto, de la física cuántica.