Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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".