Leibniz's impact on the emergence of mathematical (algebraic, algorithmic or symbolic) logic is an important topic for understanding the emergence and development of the current views on logic.1 However, the question whether Leibniz had any influence at all, or whether his ideas were not more than ingenious anticipations of later developments, is still disputed. The significance of this problem can be shown by referring to Louis Couturat who claimed that in respect to the logical calculus Leibniz had all the principles of much later logical systems of the algebra of logic (George Boole, Ernst Schroder) and in some points he was even more advanced than they (Couturat 1901, 386).