 Calculus ratiocinator

"Calculus ratiocinator" is a term coined by the 17th-century philosopher and mathematician Gottfried Wilhelm Leibniz. It refers to a formal system of reasoning that combines elements of logic and mathematics to enable the computation of truths. The concept is part of Leibniz's broader vision of a universal language or a "characteristic language" (lingua characteristica) that could express all human knowledge and facilitate clear reasoning.