O que Leibniz pretendia era efetivar uma ideia já articulada por Ramon Lull (Raimundus Lullus, 1235-1315) de conduzir todo o conhecimento humano a um conceito unívoco, que se exprimiria por meio de uma espécie de alfabeto de símbolos capazes de ser trabalhados matematicamente. É a ideia de um cálculo universal, characteristica universalis, que fez de Leibniz o mais ilustre predecessor da lógica contemporânea. Cf. N. Rescher, Leibniz. An Introduction to his Philosophy, Oxford, 1979. [Manfredo Araújo de Oliveira]