Aristotle's theory of science Leibniz's logic The formation of modern logic: I. Leibniz II. Bolzano III. Frege IV. Russell