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".
Calculus ratiocinator
La lógica matemática surge como disciplina en 1879 con la publicación de "Begriffsschrift" (intitulada "Conceptografía" en castellano), obra fundacional de Gottlob Frege que sentaría las bases de la nueva lógica. Frege ideó su "concepto-guion" como un "Calculus ratiocinator", así como una "lingua characteristica". Esa parte de la lógica formal, relevante para el cálculo, entra dentro del ámbito de la teoría de la demostración. Desde esta perspectiva, el "Calculus ratiocinator" es solo una parte (o un subconjunto) de la "característica universal", y una característica universal completa incluiría un "cálculo lógico".