 Algebraic logic can be already found in the work of Leibniz, Jacob Bernoulli and other modern thinkers, and it undoubtedly constitutes an important antecedent of Boole’s approach. In a broader perspective, both are part of the tradition of symbolic knowledge in the formal sciences, as first conceived by Leibniz (see Esquisabel 2012). This idea of algebraic logic was continued to some extent in the French Enlightenment in the work of Condillac and Condorcet (see Grattan-Guinness 2000: 14 ff.)