 Judging from Leibniz’s plans for a universal language, it is clear that Leibniz had a specific view about the nature of human cognitive processes, particularly about the nature of human reasoning. According to this view, cognition is essentially symbolic: it takes place in a system of representations which possesses language-like structure. Indeed, it was Leibniz’s view that “all human reasoning uses certain signs or characters,” (On the Universal Science: Characteristic; G VII, 204/S 17) and “if there were no characters, we could neither think of anything distinctly nor reason about it” (Dialogue (1677); G VII, 191/A&amp;G 271)). Add to this conception Leibniz’s view that human cognitive processes follow determinable axioms of logic, and the picture that emerges is one according to which the mind operates, at least when it comes to intelligible reasoning, by following implicit algorithmic procedures. Regardless of whether or not Leibniz should be seen as the grandfather of artificial intelligence, he did conceive of human cognition in essentially computational terms. In fact, as early as 1666, remarking favorably on Hobbes’ writings, Leibniz wrote: “Thomas Hobbes, everywhere a profound examiner of principles, rightly stated that everything done by our mind is a computation” (On the Art of Combinations (1666); G IV, 64/P 3).