Calculus ratiocinator
El Calculus ratiocinator es un concepto ideado por el filósofo y matemático alemán Gottfried Leibniz con el fin de establecer un marco teórico universal para el cálculo lógico.
Frege ideó su "concepto-guion" como un Calculus ratiocinator, así como una lingua characteristica.
La visión sintética entiende que el Calculus ratiocinator hace referencia a una «máquina de calcular».
De esta manera, el término "ratiocinator" podría entenderse como un instrumento mecánico que opera con ratios o proporciones.
El matemático Hartley Rogers ve una conexión entre ambas perspectivas, analítica y sintética, definiendo el Calculus ratiocinator como "un algoritmo que, aplicado a los símbolos de cualquier fórmula del characteristica universalis, determinaría si dicha fórmula se verifica como una verdad científica" (Hartley Rogers, Jr.
