Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
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".