chapter  XVIII
Symbolic Logic and the Fundamentals of Arithmetic
Pages 26

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.