calculus ratiocinator
calculus ratiocinator [kalku- -cijo-ná-, lat.], jeden z požadavků kladených G. W. Leibnizem na logiku; logický kalkul, který by umožňoval početní úkony s výrazy formulovanými v univerzálním jazyku, tzv. characteristica universalis.
