Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
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".