When 'And' and 'Or' Stop Making Sense: The Puzzle of Quantum Logic

A Secret Rule of Tiny Things

In the early 1900s, physicists peering into atoms found something strange. They could predict where an electron might be, but never exactly where it was. Worse, if they measured how fast it moved, they lost all information about its location. It was as if the particle refused to have both a speed and a place at the same time.

Mathematician John von Neumann (1903–1957) looked at these experiments and proposed a radical idea. He said the mathematics that describes these tiny particles is not like the usual math of dice or coin flips. Instead, it follows a quantum logic — a new set of rules for combining possible facts. In this logic, the words “and” and “or” behave differently than they do in ordinary life. And that difference became one of the biggest puzzles in the philosophy of science.

Von Neumann’s Strange New Logic

To see what von Neumann meant, imagine a set of doors. In everyday logic, if a door is red and wooden, you can check for redness and woodiness one after the other, in any order, and you will get the same result. The mathematical rule called the distributive law captures this: “red AND (wood OR metal)” is the same as “(red AND wood) OR (red AND metal)”.

Von Neumann, with his colleague Garrett Birkhoff (1911–1996), showed that the properties of quantum particles do not obey that tidy rule. They represented a particle’s properties not as simple labels but as special mathematical objects called projections. These projections can be combined, but the order matters. If you ask “is the particle here AND moving slowly?” you might get a different pattern of answers than if you ask “moving slowly AND here?”. The lattice of these projections—a kind of map of all possible properties—is non‑distributive. It has cracks where the usual “and” and “or” fall apart.

Does This Mean “And” and “Or” Are Broken Everywhere?

If quantum properties refuse to obey classical logic, what should we think? One answer came from the philosopher Hilary Putnam (1926–2016). He said that logic is not fixed like a law of geometry; it is something we discover by studying the world. Just as we once revised our ideas about space when we learned about curved spacetime, we must revise our logic now. Putnam claimed that the distributive law is not universally true — that we live in a world with a non‑classical logic.

This view is bold. It says that the way properties actually hang together in nature is not Boolean (the kind we learn in school). Instead, the true logic of the physical world is the quantum logic of projections. Putnam even believed this solved the famous measurement problem — the puzzle of why a fuzzy quantum particle suddenly snaps into a definite state when we look at it. He argued the puzzles vanish once we stop forcing the old “either/or” logic onto the quantum world.

However, most philosophers today think Putnam’s solution does not work. The measurement problem relies on a deeper issue: even if we use quantum logic, we still need to explain how a definite outcome emerges from a fuzzy cloud of possibilities. Quantum logic alone, while fascinating, does not make that difficulty disappear.

Why Can’t We Just Find Hidden Switches?

A natural reaction is to think the particle has real properties all along — hidden “switches” that we simply cannot see. This is the search for hidden variables. If such hidden facts existed, they would restore classical logic: the particle would have a definite speed and location, even if we never measure both.

In 1957, mathematician Andrew Gleason (1921–2008) proved a theorem that changed the debate. Gleason showed that in a quantum world described by projections on a space with at least three dimensions, there is no way to assign a simple yes‑or‑no answer to every property without breaking the rules of probability. In technical terms, there are no dispersion‑free states — no possible arrangement of hidden switches that gives every property a fixed value while matching the observed chances.

Gleason’s theorem does not kill all hidden‑variable hopes, but it forces a strange choice. If hidden variables exist, they must depend on the whole measurement setup, not just on the particle alone. That means the switches would be contextual — their positions change depending on what other measurement you might perform. It feels less like a secret inner truth and more like a shadow that shifts with the light you hold.

What Happens When We Combine Two Quantum Systems?

You might think that if we understand a single particle, we can just add a second one and understand the pair. But quantum logic stumbles when systems join up. In the 1980s, mathematicians David Foulis and Charles Randall built a simple model of a quantum‑like test—a set of outcomes arranged in a loop of five triples. That model was perfectly well‑behaved on its own. Yet when they tried to combine two copies of the same model into a single system, the logic cracked.

They showed that no sensible way of pairing the two allows the combined system to keep a key logical property called orthocoherence — roughly, the rule that if you can measure two things side‑by‑side, you can measure them together without contradiction. A similar result, proved by philosopher Diederik Aerts, showed that if you want two independent quantum systems to combine into one well‑behaved logic, at least one of them must be classical. Quantum logics resist being joined up neatly.

These results tell us that quantum logic is not a simple universal framework. It works for individual systems in the lab, but the moment you try to treat the whole universe as one big quantum logic, the mathematical floor buckles. It suggests that any future theory of everything will need a richer, more dynamic picture — perhaps one where the logic itself emerges from interactions between systems, rather than sitting underneath them.

Why It Still Puzzles Us Today

All this matters far beyond dusty equations. The puzzle of quantum logic forces us to ask: is logic a tool we invented, or is it carved into the universe? When we say something is “true or false”, are we describing the world, or just the way our minds sort experience? Quantum mechanics shows that the answer is not obvious.

Even now, physicists and philosophers are exploring new kinds of logic that might handle both tiny particles and whole galaxies. Some propose that the real building blocks are not static properties at all, but processes — interactions that come first, with logic emerging later. This shift is like realizing that the grammar of a language changes depending on who is speaking to whom.

In your own life, you use “and” and “or” without thinking. But the next time you play a game where a move forces two outcomes at once, or when you puzzle over a “both/and” situation that feels impossible, you are brushing against the deep questions that von Neumann, Putnam, and Gleason faced. The riddle of quantum logic is still open, and every new experiment with a single particle writes another line in a story that started nearly a century ago.

Think about it

1. If you found a video game where pressing “A AND B” gave a different result from pressing “B AND A”, would you say the game is broken, or would you say the rules of logic can be different inside the game? Why?
2. Imagine a box that sometimes appears red and sometimes blue, but never both at the same moment. Could you ever prove that it doesn’t have a hidden color‑wheel inside, secretly deciding which color to show? What would count as evidence?
3. If the universe turned out to have a non‑classical logic, would that change how you argue with a friend about what is fair? Or are arguments about fairness free to use everyday “and” and “or” no matter what?