ABSTRACT
Symbolic logic, although some, Raymond Lully among them, foreshadowed it (1), substantially began with Leibniz.
The use of an adequate symbolism, characteristica universalis, suitable for expressing logical relations, should, according to Leibniz, constitute the basis of a logical algebra, calculus ratiocinator, which could be applied to all rational knowledge.
