What was Leibniz's theoretical ambition related to the *Calculus Ratiocinator*?

Answer

To create a method allowing logical manipulation using a universal symbolic language.

The Calculus Ratiocinator was the method linked to the Characteristica Universalis, intended to allow this universal symbolic language to be manipulated logically and algorithmically, automating reasoning itself.

What was Leibniz's theoretical ambition related to the *Calculus Ratiocinator*?

#Videos

Gottfried Wilhelm Leibniz, 1672, demonstration video - YouTube

inventionmachinecalculatorGottfried Leibniz