Science & Logic Thought Experiments
Science thought experiments occupy a strange position: they use imagination to do empirical work. Einstein worked through many of his greatest insights via Gedankenexperiment, riding a light beam, falling in an elevator. Physicists, mathematicians, and logicians have long used carefully constructed hypotheticals to expose contradictions, test theories, and push reason past where observation can follow. Some of the most important results in 20th-century science came from asking 'what if' questions that couldn't be answered in a lab.
Thought experiments in the history of physics
Long before Einstein, Galileo used thought experiments to overturn Aristotelian physics. Aristotle held that heavier objects fall faster. Galileo imagined tying a heavy and a light stone together: if Aristotle is right, the combined object should fall at an intermediate speed (the light stone slows the heavy one), but it's also heavier than either stone alone, so it should fall faster. The contradiction disproves the theory without dropping a single stone.
Schrödinger's Cat was designed not to celebrate quantum weirdness but to mock it. Erwin Schrödinger devised the scenario, a cat in a box with a radioactive atom, a detector, and a poison dispenser, as a reductio ad absurdum. If quantum superposition (an unobserved particle existing in multiple states simultaneously) held at macroscopic scales, then the cat would be simultaneously alive and dead until observed. Schrödinger intended this as a critique of the Copenhagen interpretation, not an endorsement of it.
Maxwell's Demon imagines a tiny creature that sorts fast and slow molecules in a gas to create a temperature difference, effectively reversing entropy without doing work. The resolution, worked out over decades, involves the thermodynamic cost of information erasure. The demon can sort molecules, but erasing its memory, which it must do to keep sorting, generates entropy. The thought experiment connected thermodynamics to information theory, a connection that underpins modern computing.
Paradoxes of infinity and self-reference
Hilbert's Hotel is an infinitely large hotel with infinitely many rooms, all occupied. Can it accommodate a new guest? Yes: move the guest in room 1 to room 2, room 2 to room 3, and so on. Room 1 is now free. Can it accommodate infinitely many new guests? Yes again: move each existing guest from room n to room 2n, freeing all odd-numbered rooms. Hilbert's Hotel makes vivid what it means for one infinity to be larger than another, and why everyday intuitions about 'full' and 'more' break down at infinite scales.
Russell's set paradox nearly destroyed the foundations of mathematics. Consider the set of all sets that don't contain themselves. Does this set contain itself? If yes, it shouldn't be in the set. If no, it should. Either answer leads to contradiction. The paradox forced mathematicians to fundamentally rebuild set theory. The liar paradox, 'this sentence is false,' raises the same self-referential structure in natural language, and both connect to Gödel's incompleteness theorems, which prove that any sufficiently powerful formal system contains true statements that cannot be proved within that system.
Zeno's paradoxes argued that motion itself is impossible. If you must cross half the distance to your destination before you cross the whole, and half of that before you cross the half, you face an infinite series of tasks. How can an infinite number of tasks be completed in finite time? The modern resolution involves convergent infinite series, where an infinite number of steps can sum to a finite total. But Zeno's paradoxes forced mathematicians to be precise about what it means for something to be infinitely divisible.
What counts as knowledge?
Edmund Gettier's 1963 paper, just three pages long, destroyed a definition of knowledge that had held for two thousand years. Philosophers had generally accepted that knowledge is justified true belief: you know something if you believe it, it's true, and you have good reason to believe it. Gettier constructed simple counterexamples. Smith believes Jones will get the job because Jones has ten coins in his pocket. In fact, Smith gets the job, and Smith unknowingly has ten coins in his own pocket. Smith has a justified true belief that 'the person who will get the job has ten coins in their pocket.' But does he know it?
The raven paradox, from Carl Hempel, reveals a strange consequence of the logic of scientific confirmation. Observing a black raven confirms 'all ravens are black.' But logically, 'all ravens are black' is equivalent to 'all non-black things are non-ravens.' So observing a green apple, a non-black non-raven, should also confirm that all ravens are black. This seems absurd, but the logic is valid. The paradox shows where formal and intuitive notions of evidence come apart.
The invisible gardener thought experiment, introduced by Antony Flew, probes the difference between a scientific claim and a metaphysical one. Two explorers find a garden in the jungle. One believes a gardener tends it. Every test fails to find one. The believer always modifies the hypothesis: the gardener is invisible, leaves no footprints, makes no sound. At what point, Flew asks, does the claim die 'the death of a thousand qualifications'? The experiment targets unfalsifiable claims, but it also shows what science requires of a good hypothesis.
The simulation argument and the nature of reality
Nick Bostrom's simulation argument proceeds from three possibilities. Either civilizations tend to go extinct before reaching the computational capacity to run detailed simulations; or advanced civilizations choose not to run such simulations; or most minds that have ever existed are inside a simulation. The argument doesn't tell us which is true. But if the third possibility holds, the probability that any given mind is in base reality is vanishingly small.
If our universe is a simulation, what are we to make of its mathematical regularities? Are they features of reality or parameters of a program? The simulation hypothesis is often dismissed as science fiction, but it raises genuine questions about what we can know about the substrate of our experience.
Turtles All the Way Down captures a related regress problem. If every explanation requires a prior explanation, and every cause requires a prior cause, how does explanation ever terminate? Either there is a foundational reality that requires no further explanation, or we face an infinite regress, or we accept circularity somewhere. This applies to cosmology, to mathematics, and to arguments for the existence of God. It is one of the oldest problems in philosophy, and nobody has fully answered it.
18 science thought experiments
- Achilles and the TortoiseIf Achilles must reach every point the tortoise has been, and the tortoise keeps moving, can Achilles ever catch up?
- Black Ravens and Green ApplesDoes observing a green apple give you evidence that all ravens are black?
- Hilbert's HotelIf a hotel with infinitely many occupied rooms can always fit more guests, does that mean infinity is not really a number at all?
- Hume's Billiard BallsWhen one billiard ball strikes another and the second moves, have you actually seen causation, or only a sequence of events?
- Maxwell's DemonA tiny demon sits at a trapdoor between two chambers of gas, letting fast molecules through one way and slow ones the other. The demon sorts hot from cold without doing work, apparently violating the second law of thermodynamics. What's wrong with this picture?
- Possible WorldsWhen we say something could have been different, are we describing an abstract possibility or a concrete reality that exists somewhere?
- Russell's Set ParadoxThe set of all sets that don't contain themselves: does it contain itself?
- Schrödinger's CatA cat is sealed in a box with a device that may or may not release poison based on a quantum event. Before you open the box, is the cat alive, dead, or somehow both?
- The Arrow ParadoxIf a moving arrow is at a fixed position at every instant, when is it actually moving?
- The Barber ParadoxIn a town where the barber shaves exactly those who don't shave themselves, who shaves the barber?
- The Dichotomy ParadoxIf you must always cross half the remaining distance before crossing the whole, how does movement ever begin?
- The Heap of SandIf removing one grain never turns a heap into a non-heap, how does a heap ever disappear?
- The Invisible GardenerTwo explorers find a clearing with cultivated flowers. One says a gardener tends it; the other is skeptical. Every test for the gardener comes back negative: no footprints, no scent, no heat signature. How many failed tests does it take before the gardener hypothesis should be abandoned?
- The Liar ParadoxIf a sentence says of itself that it is false, is it true or false?
- The Simulation ArgumentIf sufficiently advanced civilizations can run ancestor simulations, and if many do, then the number of simulated minds vastly outnumbers real ones. Given those odds, aren't we almost certainly simulated?
- The Unexpected HangingIf a judge promises a surprise execution, and a prisoner proves by logic that it cannot happen, is the prisoner's reasoning sound?
- Turtles All the Way DownIf everything has a cause, what caused the first thing? And if something can exist without a cause, why can't that something be the universe itself?
- What Can You Actually Know?You believe the sun will rise tomorrow because it always has. But is that a good reason? Is there any rational basis for thinking the future will resemble the past?
Take one to the dinner table.
Get 3 thought experiments for memorable conversations, designed for dinner, with friends, at events, or anywhere small talk has gone on too long.