Leibniz endeavored to provide an account of inference and judgment involving the mechanical play of symbols and very little else. The checklists that result are the first of humanity's intellectual artifacts. They express, they explain, and so they ratify a power of the mind. And, of course, they are artifacts in the process of becoming algorithms.
Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 19..20
Contributed by: Chris