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".
Evolución histórica de la lógica
La lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos, con fin de obtener criterios de verdad. Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica también una consecuencia esperable natural o normal. Se utiliza también para referirse al llamado 'sentido común'. Procede del latín logĭca, y a su vez del griego λογική (logike, 'que posee razón, 'intelectual', 'dialéctico', 'argumentativo'), que a su vez deriva de la palabra λόγος (logos, 'palabra', 'pensamiento', 'razón', 'idea','argumento'). Una vez hecha esta definición formal, que a primera vista puede parecer algo larga y tediosa, podemos 'traducirla' a la informalidad, a nuestra lengua cotidiana. Podríamos decir que la lógica, desde sus orígenes, ha sido esa parte abstracta de la ciencia, de la que mucha gente rehúye, debido a su aparente complejidad, que trata de establecer una especie de ley causa-efecto, una reacción establecida ante cualquier suceso que ocurra,~una relación entre elementos de la realidad, que sigue unas reglas aparentemente universales y objetivas. Es decir si, por ejemplo, bebemos, 'lógicamente' nos hidratamos. Si pones la mano en el fuego, 'lógicamente' te quemas.  Cierto es que es una definición bastante informal, pero que nos permite realizar un pequeño acercamiento a lo que la lógica supone.