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.
Existen dos perspectivas contrapuestas sobre lo que Leibniz entiende por Calculus ratiocinator.
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.
