Abstract
In Descartes, the concept of a ‘universal science’ differs from that of a ‘mathesis universalis’, in that the latter is simply a general theory of quantities and proportions. Mathesis universalis is closely linked with mathematical analysis; the theorem to be proved is taken as given, and the analyst seeks to discover that from which the theorem follows. Though the analytic method is followed in the Meditations, Descartes is not concerned with a mathematisation of method; mathematics merely provides him with examples. Leibniz, on the other hand, stressed the importance of a calculus as a way of representing and adding to what is known, and tried to construct a ‘universal calculus’ as part of his proposed universal symbolism, his ‘characteristica universalis’. The characteristica universalis was never completed—it proved impossible, for example, to list its basic terms, the ‘alphabet of human thoughts’—but parts of it did come to fruition, in the shape of Leibniz's infinitesimal calculus and his various logical calculi. By his construction of these calculi, Leibniz proved that it is possible to operate with concepts in a purely formal way