The Dream of Perfect Language
The dream is older than Wittgenstein. Leibniz, in the seventeenth century, imagined a universal symbolic language in which every concept would be represented by a unique character and every valid inference reduced to calculation. Let us calculate, he proposed, as though human disagreement were a technical problem awaiting the right notation. Frege's Begriffsschrift, Russell and Whitehead's Principia Mathematica, and the Tractatus each pursued the dream with increasing rigor. Each failed where the dream itself failed — in the gap between formal structure and the richness of ordinary meaning — and each failure produced the machinery of modern computing as its consolation prize.
In the AI Story
The dream's core commitment: meaning is form. If meaning can be captured in formal structure, then communication can be reduced to specification, ambiguity can be eliminated, disagreement can be resolved by calculation. The aspiration is not merely intellectual. It is civilizational. A world in which meaning is form is a world in which the messiness of human communication can be engineered away.
The dream's practical success is the Tractarian inheritance of modern computing. Every programming language is a notation in which meaning is exhausted by operation. x = x + 1 does not mean different things depending on the programmer's mood. The meaning is the effect. The effect is the meaning. Nothing remains. This is exactly what Leibniz wanted: a language in which saying and meaning collapse into a single act.
The dream's failure is the subject of the later Wittgenstein's entire project. The dream could not account for the door is open as request, as encouragement, as forensic observation, as comfort — for the ways a single proposition serves different purposes in different contexts. The dream could capture the skeleton of meaning. The living tissue — the context, the purpose, the form of life — was excluded by design.
The Orange Pill Cycle reframes the entire history of computing through this failure. For fifty years, humans reshaped thought to fit the formal language. The cost was structural: the cognitive tax of compressing rich intention into thin specification. The language interface moved the compression to the machine's side. The human stays in natural language; the machine translates. Whether the translation preserves what the old compression stripped away, or reproduces the old failure in a new form, is the question the Ludwig Wittgenstein — On AI volume makes precise.
Origin
Traceable to Llull's thirteenth-century combinatorial arts, formalized by Leibniz's characteristica universalis (c. 1679), systematized by Frege's Begriffsschrift (1879), and given its most austere expression in Wittgenstein's Tractatus (1921). Each attempt taught something important about the gap between formal systems and ordinary speech.
Key Ideas
Meaning as form. The dream's central commitment: that the full meaning of a proposition can be captured in its logical structure.
Calculation over conversation. Leibniz's aspiration to resolve disagreement by formal computation rather than dialectical exchange.
Progressive refinement. Each attempt (Leibniz, Frege, Russell, early Wittgenstein) was more rigorous than the last — and revealed new complexities the last overlooked.
Computing as consolation prize. The dream's failure for human thought was its success for machine instruction — formal languages work beautifully for telling machines what to do.
The blind spot inherited. When AI learned natural language, it inherited the dream's power and its blind spot — operating on a theory of meaning a philosopher proved incomplete in 1953.
Appears in the Orange Pill Cycle
Further reading
- Umberto Eco, The Search for the Perfect Language (1995)
- Gottfried Leibniz, writings on the characteristica universalis
- Gottlob Frege, Begriffsschrift (1879)
- Bertrand Russell and A.N. Whitehead, Principia Mathematica (1910–1913)
- Jaakko Hintikka, Lingua Universalis vs. Calculus Ratiocinator (1997)