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.

Stepped Reckoner o «Máquina de Leibniz»