calculus ratiocinator – filosofi

systematisk formulering av argumentsformene og reglene for å angi gyldige argumenter. Ideen om en calculus ratiocinator oppstod i og med utviklingen av algebraiske teknikker på 1500- og 1600-tallet. For Leibniz inngår idealet som et element i en ars combinatoria og en characteristica universalis.