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. Normalmente aparece asociado con la más frecuentemente citada characteristica universalis ("característica universal"), un lenguaje conceptual universal.