Abstract

This is a very rewarding topic when we consider the history of dialectical logic, although it may seem to be unrewarding if it is formal logic that is under discussion. We are familiar with Hegel's hypercritical writings on this subject, with his evaluation of the use of symbols in cognition as "empty play," and with his — to say the least — skeptical reaction to early attempts at the mathematization of logic. He characterized the construction of calculi as "reduction" of logic to a mechanical level lower than that it had already attained. Leibniz's feat in the realm of "logic" was condemned by the great dialectician, and a subsequent experiment in the improvement of logic through mathematics, undertaken by a follower of Leibniz, Ploucquet, was described by Hegel as a transformation of the process of inference into an "utterly contentless" manipulation of sentences . The fact is, however, that Ploucquet anticipated Lambert and Hamilton in constructing a table of propositions in which not only subjects but predicates were quantified, thus opening the road to the future algebraization of logic