  Heinrich Scholz, a great admirer of Leibniz and author of the first history of modern logic (Scholz 1931), argues along the same lines. For him, Leibniz is the creator of logistic, i.e., modern formal logic using logical calculi (Scholz 1931, 54, n. 9). Scholz reports that Leibniz inspired 18th-century logicians in Germany, above all Johann Heinrich Lambert (1728–1777) and Gottfried Ploucquet (1716–1790). But then he stresses (ibid., 56) that the logical calculi created in the middle of the 19th century by the English logician Augustus De Morgan and George Boole living in Ireland were completely independent of Leibniz and German 18th-century research on logic. These calculi were amplified by the German mathematician Ernst Schröder in his monumental Vorlesungen über die Algebra der Logik (Schröder 1890–1905).