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".
Proposición
Como proposición, (independiente de las creencias y los pensamientos de cualquiera; con independencia del lenguaje o forma de expresión lingüística en el que se exprese el pensamiento, incluso de la realidad de que llueva o no llueva), a la lógica lo que le interesa es únicamente la función: «poder ser verdadero o falso». Algunos filósofos, por eso, llegaron a pensar que la lógica habla de lo posible, lo que puede ser o no ser, o de “mundos composibles”, pero no de lo real. (Mundo = conjunto determinado de posibles compatibles en una unidad posible).