Gottfried Leibniz · Mathematics
Leibniz’s most audacious dream: a universal symbolic language (the <em>characteristica universalis</em>) and a calculus of reasoning (the <em>calculus ratiocinator</em>) that would let all thought be carried out, and all disputes settled, by computation.
Of all Leibniz’s projects, the grandest - and the one he pursued from his youth to his death - was the dream of a universal characteristic: a symbolic language in which every concept would be represented by a sign, every complex idea built transparently from the signs of its simple parts, and every act of reasoning carried out by manipulating these signs according to fixed rules. He imagined an ‘alphabet of human thoughts’, a small set of primitive concepts from which all other concepts could be composed, just as all words are composed from letters and all numbers from digits. With such a language, Leibniz believed, the confusions and ambiguities that plague ordinary speech would vanish, because the very form of a symbol would display the structure of the thought it expressed.
Paired with this language was a second project: a calculus ratiocinator, a calculus of reasoning. If concepts could be reduced to symbols, then valid inference - drawing correct conclusions from premises - could be reduced to calculation, the rule-governed transformation of those symbols, exactly as the differential calculus reduced the finding of slopes to a procedure. Together the two projects would make reasoning a branch of computation. Disputes would no longer be won by the loudest voice or the cleverest rhetoric; they would be settled, the way an arithmetical disagreement is settled, by working out the answer. Leibniz returned to this vision again and again across his life, sketching fragments of it, never completing it. It was, perhaps, the most ambitious intellectual project ever conceived - nothing less than the mechanisation of human reason.
Leibniz did not merely gesture at this dream; he made concrete attempts to build it, and his most striking idea was to encode concepts as numbers. Suppose each primitive, indivisible concept is assigned a prime number - ‘animal’ might be 2, ‘rational’ might be 3. Then a composite concept is represented by the product of the primes of its components: ‘man’, being ‘rational animal’, would be 2 × 3 = 6. The logical relations among concepts would then become arithmetical relations among their numbers. To say ‘every man is an animal’ - that the concept ‘animal’ is contained in the concept ‘man’ - would be to say that the number for ‘animal’ (2) divides the number for ‘man’ (6) exactly. Checking whether one concept contains another would reduce to checking whether one number divides another - a purely mechanical arithmetical test.
This is a genuinely brilliant idea, and a startling anticipation. The scheme of encoding structured information as products of primes - so that decomposition is recovered by factoring - is essentially the technique that Kurt Gödel would use, two and a half centuries later, in his epochal incompleteness theorems of 1931, where statements and proofs are encoded as numbers (‘Gödel numbering’) so that statements about proofs become statements about numbers. Leibniz’s particular implementation did not work - logical relations are subtler than he hoped, and his early attempts ran into difficulties he could not resolve - but the underlying conviction was sound and prophetic: that reasoning has a structure precise enough to be arithmetised, captured in the relations of numbers and computed upon. He was reaching, three hundred years early, toward the idea that logic and computation are at bottom the same thing.
The motto of the whole project, and Leibniz’s most quoted sentence, is a single Latin word: Calculemus - ‘Let us calculate.’ He imagined a future in which two philosophers who disagreed would not argue but instead take up their pens, translate their dispute into the universal characteristic, and compute the answer together, as two accountants settle a disputed sum. The fierce, interminable, often bloody controversies of his age - the religious wars that had devastated Europe, the metaphysical quarrels that divided the learned - would dissolve into calculation, because error would become as visible and correctable as a mistake in arithmetic. There is something deeply moving in this vision, born in a century of slaughter over doctrine: a faith that reason, given the right tools, could replace force and rhetoric with the quiet, impartial authority of calculation.
Behind the optimism lay a profound and substantially correct philosophical thesis: that valid reasoning is formal - that whether a conclusion follows from premises depends only on the structure of the argument, not on its content or on who is arguing - and that this structure can therefore be captured in symbols and checked by rule. This thesis is the foundation of modern logic, and it is true. Where Leibniz was over-optimistic was in thinking that the hard part was merely building the language, and that once built it would resolve substantive disagreement. The twentieth century revealed both the triumph and the limits of his vision: reasoning genuinely can be formalised and mechanised, to a degree that would have astonished even Leibniz - we now have machines that do it - but there are truths no calculus can reach, and the deepest human disagreements turn on premises and values that no symbolism can adjudicate. Still, the core of the dream came true. When you use a computer, you are using a calculus ratiocinator; when a proof is checked by software, philosophers really are, in a narrow domain, saying Calculemus. Leibniz saw the destination across three centuries of fog.
This is the opening of the lesson. The rest — the dialogue, the primary source, and the recall — is in the app.
You learned Leibniz’s twin projects: the characteristica universalis (a universal symbolic language of concepts) and the calculus ratiocinator (a mechanical calculus of inference). Explain the dream and how far it was eventually realised.
Leads to Gottlob Frege.
Begin this lesson →epoché — a humanities education that remembers you.