awesome-thought-experiments

Connections

Read related entries as tests of a shared assumption, not as interchangeable stories. The links below name what travels between cases and what does not.

Persistence and replacement

Ship of Theseus ↔ Teletransporter

The ship asks whether replacement preserves an object; the transporter adds psychological continuity and the possibility of a second claimant. A criterion that handles gradual replacement may fail when duplication is possible.

Continuity without unique identity

Teletransporter ↔ Fission and Personal Identity

Both distinguish survival-like continuity from numerical identity. Fission makes branching explicit: a relation can hold to two successors even though one person cannot be numerically identical to two distinct people.

The limits of physical description

Mary’s Room: The Knowledge Argument ↔ Philosophical Zombies

Mary asks whether physical knowledge captures phenomenal knowledge; zombies ask whether physical duplication entails experience. One is primarily epistemic, the other modal. Accepting an epistemic gap does not by itself establish a metaphysical gap.

Behavior and understanding

Chinese Room ↔ The Turing Test

Turing offers a behavioral comparison while Searle challenges an inference from formal symbol processing to understanding. They need not be contradictory if the test supplies evidence rather than a definition of mentality.

Skeptical environments

Brain in a Vat ↔ Descartes’s Evil Demon

Both remove the usual connection between seeming and reality. A brain-in-a-vat argument may also raise semantic questions about what its words refer to; the demon scenario does not automatically settle those questions.

Truth with epistemic luck

Gettier Cases ↔ Fake-Barn Country

A Gettier case challenges justified true belief through luck in the route to truth. Fake barns place an accurate perception in an unreliable environment. Different anti-luck theories may treat these forms of luck differently.

Numbers and constraints

Trolley Problem ↔ Transplant Problem

Both pit several lives against one, but redirecting an existing threat and using a person as a resource may differ morally. Footbridge variations, discussed with the trolley case, test which distinctions do the work.

What gets maximized?

Experience Machine ↔ Utility Monster

The machine questions whether pleasure is all that matters; the monster tests what follows when benefits can be aggregated across unequal recipients. Rejecting hedonism does not automatically reject every form of consequentialism.

Procedure and distribution

The Veil of Ignorance and Original Position ↔ Wilt Chamberlain’s Earnings

The original position asks what principles a fair choice procedure would support. The Chamberlain argument asks whether voluntary transfers upset patterned distributions. Their disagreement concerns institutions, entitlement, and what counts as a fair starting point.

Prediction and agency

Newcomb’s Problem ↔ Laplace’s Demon

A predictor makes the relationship between present action and an earlier prediction central. Deterministic predictability raises related questions about agency, but Newcomb’s recommendations cannot be read straight off a verdict about free will.

Inconsistency and explanatory loops

The Grandfather Paradox ↔ The Bootstrap / Causal-Loop Paradox

A grandfather case threatens a contradiction in a single history. A bootstrap loop can be self-consistent while lacking an ordinary external origin for information or an object. A causal loop is therefore not automatically a logical contradiction.

Quantum descriptions and observers

Schrödinger’s Cat ↔ Wigner’s Friend

The cat magnifies the measurement problem; Wigner adds an observer who can be included in another observer’s quantum description. Neither establishes that human awareness causes collapse.

Different questions about quantum reality

The Einstein–Podolsky–Rosen Argument ↔ Wigner’s Friend

EPR links completeness to locality and prediction. Wigner asks about descriptions of observers and measurements. Later experiments constrain particular assumptions; they do not make the two original arguments identical.

Probability requires a procedure

The Monty Hall Problem ↔ Bertrand’s Random Chord Paradox

Monty Hall depends on the host’s selection rule. Bertrand’s puzzle depends on how a random chord is generated. In both, a numerical answer without a sampling protocol conceals the issue.

Individual incentives and collective loss

The Prisoner’s Dilemma ↔ The Tragedy of the Commons

The dilemma is a specified game; a commons is an institutional problem with many possible rules. Shared incentives do not prove that every common resource must fail or that one ownership arrangement is universally best.

Goals and containment

The Paperclip Maximizer ↔ The AI Box Scenario

A maximizer scenario explores consequences of an objective under strong capability assumptions. A box scenario explores limits on interaction and persuasion. Neither alone supplies a measured probability of future harm.

How imagined cases discipline theory

Galileo’s Tied Falling Bodies ↔ Darwin’s Imagined Gradations of the Eye

Galileo’s argument pressures a claim about weight and falling speed; Darwin’s imagined examples test the intelligibility of gradual change. Physical contradiction, biological plausibility, and historical evidence are different forms of support.

Sense, reference, and the environment

Hesperus and Phosphorus ↔ Twin Earth

Frege’s puzzle shows that a name carries more than its referent; Twin Earth shows that the referent may depend on facts outside the speaker’s head. A theory of meaning has to respect both, and the two puzzles can pull in different directions.

Meaning underdetermined by use

Quine’s Gavagai ↔ Kripke’s Quus ↔ Beetle in a Box

All three ask what fixes the meaning of a word when behaviour is finite. Quine concerns translation between speakers, Kripke the meaning that one speaker attaches to a rule, and Wittgenstein’s beetle a private object. Their conclusions differ, and treating them as one argument hides the differences.

Projecting a pattern

Goodman’s Grue ↔ Kripke’s Quus

Both use a gerrymandered predicate that fits all past data and diverges later. Goodman asks which generalizations evidence supports; Kripke asks which rule a speaker has been following. The structure is shared, but the targets are induction in one case and meaning in the other.

What counts as evidence

Hempel’s Ravens ↔ Goodman’s Grue

Hempel’s case challenges the idea that confirmation depends on logical form alone; Goodman’s shows that the choice of predicates matters. Together they suggest that evidence is always relative to background knowledge and a choice of vocabulary.

Self-reference and unknowability

The Grelling–Nelson Paradox ↔ Russell’s Paradox ↔ Fitch’s Paradox of Knowability

Grelling–Nelson is a predicate version of Russell’s set paradox. Fitch’s argument uses a different kind of self-application: a truth that no one knows. The first two call for restricting definitions; the third calls for rethinking a thesis about truth and knowledge.

Skeptical scenarios and the reply of common sense

The Simulation Argument ↔ Brain in a Vat ↔ Moore’s “Here Is One Hand”

The vat is a stipulated deception; the simulation argument adds probabilistic reasoning about the future. Moore replies to such scenarios by insisting that his everyday knowledge is more certain than the premises used against it. Whether that reply is satisfying is what separates the positions.

Closure and skepticism

The Cleverly Disguised Mule ↔ Fake-Barn Country

Both place a true perceptual belief in an environment where an alternative cannot be excluded. Dretske’s mule is about whether knowledge is closed under known entailment; the fake barn is about whether safety against nearby error is required. The cases test different principles.

Infinity and completed tasks

Zeno’s Dichotomy ↔ Thomson’s Lamp ↔ Galileo’s Paradox of the Infinite

Zeno asks whether an infinite series of steps can be completed; Thomson asks what state results; Galileo asks whether an infinite collection can match a part of itself. The mathematics of limits and cardinality answers some versions and leaves the physical and philosophical questions open.

Motion and the frame of reference

Galileo’s Ship ↔ Newton’s Bucket ↔ Einstein’s Train

Galileo shows that uniform motion is undetectable by local experiments. Newton argues that rotation, by contrast, is detectable and so requires something more than relative motion. Einstein shows that even simultaneity depends on the observer’s motion. Each rejects a different assumption about what is absolute.

Symmetry and determinism in physics

The Hole Argument ↔ Loschmidt’s Reversibility Objection

The hole argument asks whether the symmetries of a theory leave the future undetermined. Loschmidt asks how time-symmetric laws can yield an arrow of time. In both, a formal property of the laws has consequences that are not obvious at first sight.

Fate and the open future

The Idle Argument ↔ Aristotle’s Sea Battle

The idle argument reasons from what will happen to what we should do; the sea battle reasons from what is true now to what must happen. Both resist fatalism by identifying a step that confuses truth with necessity or fate with independence from our actions.

Manipulation and responsibility

Pereboom’s Four-Case Argument ↔ Frankfurt Cases

Frankfurt’s cases test whether alternatives are needed for responsibility; Pereboom’s ask whether the history of an agent’s motives matters. A view can accept the first without accepting the conclusion of the second, so the two should be considered separately.

Luck, outcomes, and responsibility

Williams’s Lorry Driver ↔ Frankfurt Cases

The driver’s case shows outcomes affecting how we assess a person; Frankfurt’s cases show the possibility of responsibility without alternatives. Both put pressure on the idea that responsibility tracks only what is in the agent’s control.

Integrity, doing, and allowing

Jim and the Captain ↔ Smith and Jones ↔ The Terror Bomber and the Tactical Bomber

Jim asks whether an agent’s own agency matters; Smith and Jones whether acting differs from allowing; the bombers whether intending differs from foreseeing. Each isolates a distinction that deontological views use and consequentialists question.

Coincidence and counting

Lumpl and Goliath ↔ Dion and Theon ↔ The Problem of the Many

These puzzles all concern when we have one object and when more. Lumpl and Goliath concern matter shared by two apparent things, Dion and Theon the removal of a part, and the problem of the many the fuzzy edge of a single thing. Solutions that work for one can fail for another.

Trust versus temptation

The Stag Hunt ↔ The Prisoner’s Dilemma

In the dilemma, defection is tempting whatever the other does; in the stag hunt, cooperation is best if the other cooperates. The first calls for changing incentives, the second for building assurance, so the same word “cooperation” hides different problems.

Combining preferences

The Condorcet Paradox ↔ Arrow’s Impossibility Theorem ↔ Sen’s Paradox of the Paretian Liberal

Condorcet gives an example of a cycle, Arrow generalizes it to a theorem, and Sen shows a conflict between liberty and efficiency. They are three stages of the same theme: no procedure for aggregating preferences is free of cost.

Tiny probabilities and large stakes

Pascal’s Wager ↔ Pascal’s Mugging ↔ The St. Petersburg Paradox

Each uses an unbounded or very large payoff to strain expected-value maximization. The wager invokes an infinite reward, the mugging an exploitable promise, and the St. Petersburg game an infinite expected value from a finite game. Responses such as bounded utility apply differently to each.

Behaviour, structure, and meaning in machines

Blockhead ↔ The Chinese Room ↔ The Symbol Grounding Problem

Blockhead says that behaviour alone does not show intelligence; Searle says that symbol manipulation alone does not show understanding; Harnad asks what could connect symbols to the world. Each identifies a different missing ingredient.

Design and explanation

Paley’s Watch ↔ Darwin’s Imagined Gradations of the Eye ↔ Leslie’s Firing Squad

Paley infers design from adaptation, Darwin proposes a natural route to adaptation, and Leslie asks whether our existence removes the need to explain a rare cosmic condition. The second answers the first for biology and does not automatically answer the third.

A compact conceptual map

flowchart TD
  I["Identity and continuity"] --> F["Branching successors"]
  I --> M["Mental criteria"]
  M --> K["Knowledge and experience"]
  M --> U["Understanding and behavior"]
  K --> S["Skeptical limits"]
  U --> A["AI goals and control"]

The diagram maps questions, not conclusions or historical influence. Follow the article links above for concrete cases.

Return to the collection