The Calculus ratiocinator is a theoretical global logic calculation, a concept described in the writings of Gottfried Leibniz, usually associated with his characteristica commonis commonly spoken, a common conceptual language [Characteristica universalis]