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ál es el estatus epistemológico de la leyes de la lógica? ¿Qué tipo de argumento es apropiado para criticar los supuestos principios de la lógica? En un influyente artículo titulado "¿Es empírica la lógica?" Hilary Putnam, basándose en una sugerencia de W. V. Quine, argumentó que en general los hechos de la lógica proposicional tienen un estatus epistemológico similar al de los hechos sobre el universo físico, por ejemplo como las leyes de la mecánica o de la relatividad general, y en particular que lo que los físicos han aprendido sobre la mecánica cuántica proporciona un caso convincente para abandonar ciertos principios familiares de la lógica clásica: si queremos ser realistas sobre los fenómenos físicos descritos por la teoría cuántica, entonces debemos abandonar el principio de distributividad, sustituyendo la lógica clásica por la lógica cuántica propuesta por Garrett Birkhoff y John von Neumann.