Portfolio · Computing Lineage
Floor 1 — Boole & Frege: When Truth Became Binary
The 19th century mathematicians who decided that reasoning was a matter of 1s and 0s — and the continuous logic they walked right past.
The floor
In 1854, George Boole published An Investigation of the Laws of Thought. The book proposed that logic — real reasoning, the kind that gets you through a morning — could be written down as algebra on the set {0, 1}. True or false. AND, OR, NOT. Nothing in between.
A few decades later, Gottlob Frege built the scaffolding higher: predicate logic, quantifiers, the Begriffsschrift. The machinery that would become first-order logic, then the foundation of every compiler, every type system, every database query ever written.
It was beautiful work. It is also the first floor of the tower, and this is where the first fork was taken.
What was picked
Two-valued logic. A proposition is either true or false. Intermediate states are a failure of precision, not a feature of the world. Reasoning proceeds by symbol manipulation on a strictly discrete alphabet.
This choice gave us, eventually, the circuit, the chip, the program, the proof assistant. It is one of the most productive ideas in human history. Nobody doubts this.
What could have been picked
There were, already in Boole's own century, people thinking about graded truth. Charles Peirce, working in the United States, wrote openly about propositions as matters of degree. A probability interpretation of logic was right there on the workbench. In 1920, Jan Łukasiewicz gave a formal three-valued logic. In 1965, Lotfi Zadeh published fuzzy set theory — membership as a number between 0 and 1.
All of it treated as marginal. Nice, but not rigorous. Not what a computer does.
Nobody ever asked why a computer had to do that, and not the other thing.
What we missed
We built an entire civilisation of software on two-valued logic, and then spent seventy years trying to patch it back into the continuous world. Confidence scores bolted onto classifiers. Softmax temperatures scraped across logits. "Probabilistic" databases. "Approximate" search.
Every one of these is a confession: we picked the wrong floor plan, and we've been papering over it ever since.
The alternate timeline isn't a world without logic. It's a world where logic was always a projection of a continuous field, and the discrete version was the compression for when you needed a quick answer. Boolean algebra as a lossy photograph of something richer.
What the next floor will ask
If truth is a point, how can a system hold almost true? If truth is a position, where on the axis does almost live?
That's Floor 2.