20.03.01 · philosophy / phil-of-physics

The measurement problem in quantum mechanics

draft3 tiersLean: nonepending prereqs

Anchor (Master): Wallace, *The Emergent Multiverse* (2012); Bell, *Speakable and Unspeakable in Quantum Mechanics* (2nd ed., 2004); Bub, *Interpreting the Quantum World* (1997); primary lit (*Studies in History and Philosophy of Modern Physics*, *Philosophy of Science*, Philsci-Archive 2010+)

Intuition [Beginner]

Quantum mechanics has, when you look at how it's actually used, two separate rules for how a physical system changes in time. The first rule is Schrödinger's equation. It says: between measurements, the state of a system evolves smoothly, deterministically, and reversibly — like a wave propagating, with no random jumps and no special moments. Given the state now, the state at any later time is fixed.

The second rule is the measurement rule, sometimes called wave-function collapse or the projection postulate. It says: when you measure a property, the smooth evolution is interrupted. The state jumps — discontinuously, probabilistically, and irreversibly — into one of a discrete set of options. Which option you get is random; you only get statistics over many runs.

These two rules contradict each other in tone, in structure, and in what they assume about the physical world. The first rule is the kind of thing physics is supposed to be: clean, deterministic, the same everywhere. The second is a special instruction triggered by a special event — measurement. But the smooth rule never tells you what counts as a measurement. Is it when the particle hits a photographic plate? When the plate's grain develops? When the photon reaches your eye? When your brain registers it? When you tell a friend?

This is the measurement problem, in one sentence: standard quantum mechanics requires a sharp distinction between "measurement" and "everything else", but nothing inside the theory tells you where the line is.

You can already see this is not just a technical question, like fixing a sign or filling in a calculation. It is a philosophical question, in the specific sense that to answer it you have to decide what the theory is about. Is the wave function a real physical thing, or a bookkeeping device for observers? Are there definite outcomes when no one is looking? What kind of object does measurement reveal? The disagreements among physicists about how to interpret quantum mechanics are disagreements about answers to these questions.

The cleanest illustration of the puzzle is the Stern-Gerlach experiment, treated in detail at 12.01.02 pending. A silver atom prepared in a definite state passes through a magnetic-field gradient, and emerges deflected either up or down — never half-up, never anywhere between. If you re-prepare the atom in a superposition of "up" and "down", the smooth rule says the combined system (atom plus apparatus plus detector) should end up in a superposition too. But you never see a screen that is in a superposition of "bright spot on the top" and "bright spot on the bottom". You always see one or the other. The smooth rule says superposition; the world says outcome.

Erwin Schrödinger dramatised this point with the famous cat thought-experiment (1935). A cat is placed in a sealed box with a radioactive atom and a vial of poison wired to break when the atom decays. The atom is governed by the smooth rule, so after some time it is in a superposition of "decayed" and "not decayed". By linearity, the cat-plus-vial-plus-box system is in a superposition of "alive cat" and "dead cat". Open the box and you find a definite cat, alive or dead, never both. Where in the chain — atom, vial, cat, your retina, your brain — did the superposition collapse into one outcome? The standard theory does not say.

The thought-experiment is corny by design. Its point is that the linearity of the smooth rule is contagious: if the atom is in a superposition and the atom couples to the vial, the vial is too; if the vial couples to the cat, the cat is too; if the cat couples to you, you are too. Linearity does not stop at any natural-looking boundary.

So one of three things must be the case. Either (i) the smooth rule is incomplete and something extra collapses the superposition somewhere; or (ii) the superposition really does propagate all the way out and we need to explain why your experience is of one outcome; or (iii) the wave function was never the kind of thing that has to collapse because it was never about the world in that sense to begin with. These three responses are roughly the three families of QM interpretations, and the rest of this unit unpacks them.

Why care? Three reasons that get sharper as you go deeper.

First, the measurement problem is the central conceptual obstacle in foundational physics. Anyone serious about understanding what quantum mechanics says about the world has to take a position, even by default.

Second, the positions are testable in some indirect ways and untestable in others. Bell's 1964 theorem ^{[Bell 1964]} showed that certain "obvious" classical assumptions about locality are incompatible with quantum predictions — and the QM predictions have since been confirmed. This rules out some interpretations and constrains others.

Third, the problem lives at the seam between physics and philosophy in a way few other open questions do. A complete answer would change what we think the world contains and how we know about it — that is a philosophical project that physics by itself cannot finish.

Visual [Beginner]

Picture the Stern-Gerlach setup as a two-stage filter. A silver atom enters a region where a magnetic-field gradient pushes "spin-up" atoms one way and "spin-down" atoms the other. The atoms emerge in two discrete beams. A detector at the end of each beam either fires or does not.

Now suppose you prepare an atom in a superposition: half-amplitude "up", half-amplitude "down". The smooth Schrödinger rule says the atom plus apparatus plus detector should evolve into a state where two macroscopic possibilities coexist — top detector fired, bottom detector did not; bottom detector fired, top detector did not — both at half-amplitude. A picture of this state on the wall would show both detector configurations simultaneously, with a coherent phase between them. We never see this picture. Every actual run produces one outcome. The measurement rule patches over the gap by saying: at measurement, jump to one of the two configurations with the prescribed probabilities. The picture below contrasts what the smooth rule produces with what we observe.

The puzzle is in the gap between the two pictures. Standard QM uses the smooth rule for the atom and the measurement rule for the detector, and never tells you why the dividing line falls between them rather than, say, between the photons reaching your eye and your retina firing.

Worked example [Beginner]

Consider a spin-1/2 particle prepared in the state "spin along $+ x$ ". In a basis of "spin along $+ z$ " and "spin along $- z$ ", this state is a 50/50 superposition. Send this particle through a Stern-Gerlach apparatus oriented along the $z$ -axis.

Step 1. Before the apparatus. The atom's state is a superposition of "up along $z$ " and "down along $z$ " with equal amplitudes. The apparatus and detector are in their ready configurations. The combined state, written as a list of factors with the symbol $+$ for "and the other branch is", is

(atom up; apparatus ready; detector ready) + (atom down; apparatus ready; detector ready),

with each branch carrying an amplitude of $1/ 2$ .

Step 2. Smooth evolution through the apparatus. The magnet's field couples the atom's spin to the apparatus, so the apparatus configuration becomes correlated with the spin. By linearity of the Schrödinger evolution, the combined system evolves into

(atom up; apparatus deflected top; detector ready) + (atom down; apparatus deflected bottom; detector ready),

still with each branch at amplitude $1/ 2$ .

Step 3. Smooth evolution through the detector. The detector couples to the apparatus position, so the detector state becomes correlated with the apparatus path. Linearity continues to apply, so

(atom up; apparatus top; top detector fired) + (atom down; apparatus bottom; bottom detector fired),

each branch at amplitude $1/ 2$ .

This is a superposition of two macroscopically distinct configurations — both the top detector fired and the bottom detector fired, in coherent superposition. The smooth rule predicts this state.

Step 4. What we observe. On any single run, exactly one detector has fired. Repeating the experiment many times, the top detector fires roughly half the time and the bottom detector roughly half the time. We never observe the superposition state $Ψ_{2}$ directly.

Step 5. Apply the measurement rule. The standard textbook recipe says: at measurement, $Ψ_{2}$ collapses into one of its two summands with probabilities given by the squared amplitudes — here, $1/2$ and $1/2$ . After the jump, the state is one of the two terms in step 3, and the result is recorded.

What this tells us: the smooth rule pushes the superposition out of the microscopic system and into a macroscopic one. The measurement rule reaches in and resolves it into a single outcome. The measurement problem is the question of what physical process — or what physical event — accomplishes step 5, since nothing in the smooth rule describes it.

Check your understanding [Beginner]

Exercise (easy, multiple choice).

A research note describes a quantum system in the following terms: "the wave function does not represent a physical entity but only the experimenter's information about the system; what we call collapse is just the update of that information upon measurement". This view is closest to which interpretation of quantum mechanics?

A. Many-worlds (Everett). B. Bohmian mechanics (hidden variables). C. Copenhagen / epistemic / QBist family. D. GRW spontaneous collapse.

Hint

Two of the four options posit a real physical process that collapses or branches the wave function. Two treat the wave function as describing information or knowledge rather than a physical entity.

Answer

Option C — Copenhagen / epistemic / QBist family.

The shared commitment in this family of views is that the wave function is an epistemic or informational object, not a physical thing in the world. Collapse on this view is an information-update, not a physical event. Many-worlds (A) and Bohmian mechanics (B) both treat the wave function as physically real; GRW (D) adds a physical collapse mechanism to standard QM. Distinguishing within the epistemic family — Copenhagen vs. QBism vs. Bub-Pitowsky information-theoretic — requires the Intermediate tier.

Exercise (easy, short answer).

In your own words (2–3 sentences), explain Schrödinger's cat thought-experiment and what conceptual point it makes about quantum measurement.

Hint

The point is not that cats can be alive and dead at once. The point is about where the smooth rule of QM evolution is supposed to stop.

Answer

A radioactive atom is placed in a box with a vial of poison wired to break when the atom decays; a cat is in the box with both. Because the atom evolves into a superposition of decayed and undecayed under the smooth rule of QM, and because the vial and cat are coupled to the atom, linearity propagates the superposition outward — the cat ends up in a formal superposition of alive and dead.

The point is that the smooth rule has no natural stopping place: if quantum mechanics applies to the atom and to systems coupled to it, it applies to the cat. Yet we never observe a cat in superposition. Either the smooth rule is incomplete, or the superposition is real but unobservable, or the wave function was never the kind of thing that collapses because it was never about a definite cat to begin with. Schrödinger's intent was to make the absurdity of the textbook picture vivid.

Exercise (easy, multiple choice).

Which of the following is a prediction of quantum mechanics that has no analogue in classical physics?

A. Conservation of energy along trajectories in phase space. B. Statistical correlations between distant entangled particles that violate the Bell inequalities. C. Deterministic equations of motion from a Hamiltonian. D. The existence of conserved quantities corresponding to symmetries.

Hint

A, C, and D are properties of classical mechanics as well as quantum mechanics. Only one of the options is genuinely quantum.

Answer

Option B — Bell-inequality-violating correlations.

Classical statistical mechanics, classical electrodynamics, and Hamiltonian mechanics all have A, C, and D in some form. The Bell correlations are the cleanest example of a quantum prediction with no classical counterpart: Bell (1964) showed that any classical theory respecting locality and certain forms of realism must satisfy an inequality on joint probabilities; QM predicts a violation; experiments since Aspect (1981) and dramatically Hensen et al. (2015) have confirmed the QM prediction with high statistical significance. This rules out a large class of "hidden-variable" interpretations that would have made QM compatible with a classical underlying picture.

Exercise (medium, short answer).

Imagine a counterfactual quantum mechanics with only the smooth Schrödinger rule and no separate measurement rule. Describe one thing about our experience of the physical world that would have to be re-explained, and one thing about the theory itself that would change.

Hint

Without a measurement rule, every system stays in superposition and the theory is fully linear and unitary. What would observation look like? What would probability even mean?

Answer

About experience: the fact that we observe definite outcomes — one detector fires, one cat is alive — has no built-in explanation. The theory would predict that the joint atom-plus-detector-plus-observer system is in a superposition; some additional story is needed to explain why our experience presents as a single outcome. (This is the explanatory burden that Everettian QM accepts and tries to discharge through decoherence and branching.)

About the theory: probability, in the textbook recipe, enters only through the measurement rule. Without that rule, the theory is deterministic — the Schrödinger equation has unique solutions given initial data. The "probability" of an outcome has to be reconstructed from inside the deterministic theory rather than added as a separate axiom. This is the probability problem in Everettian QM, which the master section returns to.

Formal definition [Intermediate+]

The measurement problem is best stated as a contradiction among three commitments that standard textbook quantum mechanics jointly endorses. Let $H$ be the Hilbert space of a quantum system, $∣ ψ (t)⟩ \in H$ its state at time $t$ , and $H$ the Hamiltonian.

Commitment U (unitary linear evolution). Between measurements, $∣ ψ (t)⟩$ evolves by the Schrödinger equation

i ℏ \frac{d}{d t} ∣ ψ (t)⟩ = H ∣ ψ (t)⟩,

which is linear in $∣ ψ ⟩$ , continuous in $t$ , deterministic, and reversible (the time-evolution operator $U (t) = e^{- i H t /ℏ}$ is unitary). In particular, superpositions are preserved: if $∣ ψ (0)⟩ = c_{1} ∣ ϕ_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩$ , then $∣ ψ (t)⟩ = c_{1} U (t) ∣ ϕ_{1} ⟩ + c_{2} U (t) ∣ ϕ_{2} ⟩$ .

Commitment M (measurement / projection postulate). When a measurement is performed of an observable $\hat{A}$ with spectral decomposition $\hat{A} = \sum_{i} a_{i} P_{i}$ , the state $∣ ψ ⟩$ jumps to $∣ ψ_{i} ⟩ = P_{i} ∣ ψ ⟩ /∥ P_{i} ∣ ψ ⟩ ∥$ with probability $∥ P_{i} ∣ ψ ⟩ ∥^{2}$ (the Born rule). The jump is discontinuous, stochastic, and irreversible. The "measurement" is not specified internally to the theory.

Commitment D (definite outcomes for measurements of macroscopic objects). When a measurement is performed, exactly one outcome is observed. Measurement apparatuses and recorded outcomes are macroscopic — they are not themselves in superposition of distinguishable states.

These three commitments cannot all be true of the same physical process if one further premise is added — namely that the measurement apparatus is itself a quantum system obeying the same physics as the measured system. Suppose the system starts in a superposition $∣ ψ ⟩ = c_{1} ∣ ϕ_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩$ and is coupled to an apparatus in a ready state $∣ A_{0} ⟩$ via an interaction whose unitary action is defined on basis states by $U_{meas} ∣ ϕ_{i} ⟩ ∣ A_{0} ⟩ = ∣ ϕ_{i} ⟩ ∣ A_{i} ⟩$ . By linearity (Commitment U), the joint state evolves to

∣Ψ ⟩ = c_{1} ∣ ϕ_{1} ⟩ ∣ A_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩ ∣ A_{2} ⟩ .

The apparatus is now in a superposition of macroscopically distinguishable states $∣ A_{1} ⟩, ∣ A_{2} ⟩$ — pointer-up and pointer-down. This contradicts Commitment D. The textbook recipe escapes the contradiction by invoking Commitment M to collapse $∣Ψ ⟩$ into one branch — but the recipe does not say at what point in the chain (system, apparatus, environment, observer) Commitment U gives way to Commitment M, nor does it specify what physical event triggers the collapse. The conjunction $U + M + D$ is therefore not internally consistent without an external account of when one rule applies and when the other does.

Following Maudlin's diagnosis in Philosophy of Physics: Quantum Theory, this is sometimes called the trilemma form of the measurement problem. Each of the three commitments is independently well-motivated; any consistent interpretation must reject or modify at least one. Different families of interpretations are individuated by which commitment they sacrifice.

Family	Sacrifices	What is given up
Spontaneous collapse (GRW, CSL)	U	Schrödinger evolution is incomplete; add a nonlinear or stochastic term that produces collapse spontaneously when sufficient mass is in superposition.
Hidden variables (Bohmian, modal)	M	The wave function never collapses; a separate variable (particle position in Bohm; selected property in modal) carries the definite outcome at all times.
Many-worlds (Everett)	D	The superposition is real; the apparatus is in superposition; the "definite outcome" you observe corresponds to one branch, with other branches realised in parallel.
Epistemic / informational (Copenhagen, QBism, Bub-Pitowsky)	Status of $ψ$	The wave function is not a physical state; it is information / belief / record. Collapse is an update, not a physical event. The trilemma dissolves because $ψ$ was never required to track a definite physical state.

The epistemic family is sometimes characterised as rejecting Commitment U (the wave function does not evolve, only beliefs do); sometimes as rejecting D (no definite outcomes without an agent); the placement varies. What is shared is that the wave function is not the kind of thing the trilemma is about.

Counterexamples to common slips

"Measurement always means a conscious observer." This is an extra premise, not part of standard QM, and is associated specifically with the Wigner / von Neumann strand of the Copenhagen family. Most interpretations of QM — including most variants of Copenhagen and all of Bohm, GRW, and Everett — do not require consciousness for collapse / branching / outcome production. The role of consciousness in the measurement problem is a disputed extra commitment, not part of the problem's statement.
"Decoherence solves the measurement problem." Decoherence (Zurek, Joos, Schlosshauer) explains why we don't observe coherence between macroscopically distinct configurations: environmental coupling rapidly destroys the relative phase between $∣ A_{1} ⟩$ and $∣ A_{2} ⟩$ . But decoherence happens inside unitary evolution — the joint system-plus-apparatus-plus-environment is still in a superposition after decoherence, just one that locally looks like a mixed state. Decoherence makes the measurement-record problem soluble inside Commitment U, but it does not by itself produce a single outcome. The remaining gap is the preferred basis problem (decoherence picks out a basis) and the probability problem (Born-rule probabilities have to come from somewhere).
"Bell's theorem proves QM is nonlocal." Bell's theorem proves an inconsistency between three commitments: outcome-locality, hidden-variable realism in a specific sense, and the QM correlations. Any two of the three can be saved by giving up the third. The standard reading sacrifices outcome-locality (so reality is "nonlocal" in some sense), but a determined hidden-variable theorist (Bohm) accepts nonlocality explicitly, while an Everettian rejects the hidden-variable framing entirely. Bell's theorem constrains the interpretive options; it does not by itself uniquely pick one.
"The Copenhagen interpretation is the standard interpretation." Copenhagen is a family — Bohr's view, Heisenberg's view, and Pauli's view differ from one another, and contemporary "Copenhagen" usage often elides this. The textbook recipe of unitary-then-collapse is operationally what most physicists use, but its interpretive backing varies. Treating "Copenhagen" as monolithic is one of the most common errors in introductory presentations.

Key theorem with proof — Bell's inequality [Intermediate+]

Bell's theorem is the cleanest formal result in the foundations of QM and the easiest to reconstruct as a philosophical argument. The 1964 paper ^{[Bell 1964]} shows that no local hidden-variable theory can reproduce the quantum-mechanical predictions for entangled-pair correlations. We reconstruct it with explicit premises.

Setup. Two spin-1/2 particles are prepared in the singlet state and separated. Alice measures the spin of her particle along an axis $a$ ; Bob measures along an axis $b$ . Each gets an outcome $\pm 1$ . The QM prediction for the correlation $E (a, b) = ⟨ A B ⟩$ is

E_{QM} (a, b) = - a \cdot b .

The premises of a local hidden-variable theory.

(P1) Realism. Each particle has a complete set of definite properties, encoded in a hidden variable $λ$ , prior to measurement. The outcomes of any possible measurement on each particle are determined by $λ$ together with the measurement settings.
(P2) Locality. Alice's outcome depends only on her local setting $a$ and the hidden variable $λ$ — not on Bob's setting $b$ . Symmetrically for Bob. Formally, the outcome functions are $A (a, λ) \in {+ 1, - 1}$ and $B (b, λ) \in {+ 1, - 1}$ , with no $b$ in $A$ and no $a$ in $B$ .
(P3) Measurement independence (no-conspiracy / free choice). The hidden variable $λ$ is statistically independent of the measurement settings $a, b$ . The probability distribution $ρ (λ)$ does not depend on what Alice and Bob decide to measure.

Argument. Under (P1)–(P3), the joint correlation is

E_{LHV} (a, b) = \int A (a, λ) B (b, λ) ρ (λ) d λ .

A short combinatorial argument (using $A, B \in {+ 1, - 1}$ and symmetry) yields the CHSH inequality

∣ E (a, b) - E (a, b^{'}) + E (a^{'}, b) + E (a^{'}, b^{'}) ∣ \leq 2

for any four measurement axes. Choosing $a, a^{'}, b, b^{'}$ to maximise the QM value (axes at angles of $π /4$ apart) gives $∣ E_{QM} ∣ = 22$ , violating the inequality.

Conclusion. No theory satisfying (P1)–(P3) can match the QM predictions. At least one premise must fail. Experiments since Aspect (1982) and the loophole-free experiments of Hensen et al. (2015) and others confirm the QM violation with overwhelming statistical significance. Bell's theorem is thus a constraint on interpretations: any consistent interpretation of QM must reject at least one of realism, locality, or measurement independence.

Hidden premises and where they bite. The argument is more subtle than it looks.

(P1) is sometimes parsed as "realism" in the loose sense ("there is a mind-independent world"), but the relevant premise is the stronger counterfactual definiteness — the claim that measurement outcomes for unmeasured settings are well-defined. Everettians reject this stronger reading while accepting realism in the loose sense.
(P2) is sometimes parsed as "nothing travels faster than light", but the relevant premise is outcome-locality — a fact about joint probability distributions, not about signals. Bohmian mechanics violates outcome-locality without violating no-signalling.
(P3) is rarely articulated and is the premise most commonly attacked by superdeterminist and retrocausal programs (Hossenfelder, Wharton-Price). If $λ$ correlates with $a, b$ — because the experimenter's choice is itself a function of past hidden variables — Bell's inequality can be satisfied without violating (P1) or (P2). The price is giving up something that looks like free choice of measurement settings, which most working physicists find intolerable. Whether the price is too high is a live dispute.

The argument, as reconstructed, shows that the combination of three philosophically loaded premises is empirically refuted. It is a model of how a philosophical argument can produce a sharp empirical constraint — which is part of why phil-of-physics has matured rapidly since Bell's work.

Exercises [Intermediate+]

Exercise 1 (easy, argument reconstruction).

Reconstruct in formal premise-conclusion form the argument that standard textbook QM, as the conjunction U + M + D + "the apparatus is a quantum system", is inconsistent. Be explicit about which premise produces the macroscopic superposition.

Hint

Start with "Suppose the system is in superposition $∣ ψ ⟩ = c_{1} ∣ ϕ_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩$ " and apply U to the joint system-plus-apparatus state.

Answer

Premise 1 (U). The Schrödinger evolution $U$ is linear: $U (c_{1} ∣ ϕ_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩) = c_{1} U ∣ ϕ_{1} ⟩ + c_{2} U ∣ ϕ_{2} ⟩$ .

Premise 2. The apparatus is a quantum system in some state $∣ A_{0} ⟩$ , and a "measurement" interaction is a unitary coupling whose action on basis states is $U_{meas} ∣ ϕ_{i} ⟩ ∣ A_{0} ⟩ = ∣ ϕ_{i} ⟩ ∣ A_{i} ⟩$ for orthogonal apparatus states $∣ A_{i} ⟩$ .

Premise 3. The system starts in a genuine superposition $∣ ψ ⟩ = c_{1} ∣ ϕ_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩$ with $c_{1}, c_{2} \neq = 0$ .

Conclusion 1. By Premises 1 and 2 applied to the joint state, after the interaction the joint state is $c_{1} ∣ ϕ_{1} ⟩ ∣ A_{1} ⟩ + c_{2} ∣ ϕ_{2} ⟩ ∣ A_{2} ⟩$ — a superposition of macroscopically distinguishable apparatus states.

Premise 4 (D). On any single measurement, exactly one outcome is observed; the apparatus is found in one of $∣ A_{1} ⟩$ or $∣ A_{2} ⟩$ , not in their superposition.

Conclusion 2. Conclusion 1 contradicts Premise 4. So the conjunction of Premises 1–4 is inconsistent; at least one must fail.

The premise that "produces" the macroscopic superposition is Premise 1 — linearity. It is what makes the smooth rule contagious: the apparatus inherits a superposition from the system simply because the joint dynamics is linear. Without linearity, the inconsistency disappears (and the theory becomes nonlinear in a way that breaks much else).

Exercise 2 (medium, hidden premise).

Consider the Copenhagen position "measurement is a special kind of physical interaction that triggers collapse, distinct from the interactions governed by the Schrödinger equation." Identify the hidden premise that makes this position circular or non-explanatory.

Hint

If "measurement" is defined as "the interaction that triggers collapse", then "collapse happens when there is a measurement" is true by definition, not by explanation.

Answer

The hidden premise is that there is a theory-internal characterisation of which interactions count as measurements — and that the characterisation does not appeal to collapse itself. Without this premise, the position reduces to: "collapse happens when collapse happens", which is empty.

What standard Copenhagen offers, in different variants, is some attempt to discharge this hidden premise. Bohr's version appeals to a classical-quantum cut: the apparatus is described classically, the system quantum-mechanically, and the cut is what produces measurement. Critique: the cut is movable and Bohr never gave a principled location for it; the apparatus is made of atoms, which are quantum, so where does the cut go? Heisenberg's version is closer to "the cut is wherever the experimenter chooses to make a record", which makes the experimenter primitive and inherits the question of what counts as an experimenter. Von Neumann's version pushes the cut all the way to the observer's consciousness, which exports the problem to phil-of-mind without solving it.

In each variant, the hidden premise — that measurement has a theory-internal characterisation — fails to be satisfied. This is why Bell's "Against 'measurement'" (1990) is the canonical critique: the textbook recipe uses "measurement" as a primitive, but a fundamental theory should not have observation as a primitive.

Exercise 3 (medium, counterexample).

Construct a counterexample to the claim "Consciousness is what causes wave-function collapse." Your counterexample should consist of a physical scenario that is a measurement in the operational sense (a record is made, an outcome is observed in repeated runs) but for which the role of consciousness is implausible.

Hint

Consider a measurement whose outcome is recorded on photographic film and stored in a sealed box for a year before anyone looks at it. Or a measurement performed in deep space by an automated probe.

Answer

Take an automated cosmic-ray detector on a Mars rover. Cosmic-ray hits are recorded on solid-state memory continuously, with timestamps. The data is transmitted to Earth months later and analysed. Operationally, this is a measurement: a property of an incoming particle (its track) is recorded as a definite outcome on a stable physical medium. The detector functions in vacuum, with no biological observer anywhere nearby; no conscious entity interacts with the apparatus during the measurement event. If consciousness were required to cause collapse, then either (a) the data recorded before any human looks at it is not a definite record but a superposition of records — which contradicts the operational test of replaying the recording — or (b) collapse retroactively occurs when a human eventually looks at the data, which requires retrocausal physics with no independent motivation. Neither option is plausible.

More carefully: the counterexample challenges the necessity of consciousness for collapse, not the question of when collapse occurs given some other criterion. A defender of the consciousness-causes-collapse view might respond that the cosmic-ray data remains in a superposition until a conscious observer reads it. The decisive question is whether this is empirically distinguishable from the alternative (collapse occurs at the detector). Wigner himself (1961) admitted no such distinction is currently available — which is precisely why most physicists treat the consciousness view as unmotivated.

The counterexample, then, is not knock-down — it shifts the burden of proof. To maintain "consciousness causes collapse" the defender must accept retrocausality or unobservable superpositions of macroscopic records, both of which are independently uncomfortable.

Exercise 4 (medium, defence).

Write a paragraph (4–6 sentences) defending Everettian (many-worlds) quantum mechanics against the standard objection that "if all outcomes occur, the notion of probability makes no sense."

Hint

The Everettian responses fall into three camps: branch-counting (rejected by most modern Everettians); decision-theoretic / rationality-based (Deutsch 1999, Wallace 2007–2012); and self-locating uncertainty (Saunders 1998, Sebens-Carroll 2018).

Answer

A representative defence (decision-theoretic / Deutsch-Wallace style):

The objection assumes that probability requires uncertainty about which outcome will occur, and that uncertainty is absent in Everett because all outcomes do occur. But probability in Everett need not be uncertainty about which outcome; it can be the rational degree of credence an agent should assign to being in a particular branch after measurement. Deutsch (1999) and Wallace (2007, 2012) argue that a rational agent embedded in the Everettian multiverse and facing a quantum-mechanical decision should weight their preferences over branches by the squared modulus of the amplitude — that is, by the Born rule — on pain of being subject to a "money pump". The argument proceeds from minimal rationality axioms (transitivity, indifference between physically indistinguishable outcomes, etc.) together with quantum-mechanical structural facts (branch identity, decoherence-induced indistinguishability). The Born rule, on this view, is not a separate postulate added by hand; it is a theorem about how rational agents must assign credences in a branching universe. The defence is contested — critics including Albert and Loewer charge that the rationality axioms smuggle in what they are meant to derive — but the contemporary Everettian programme has at least transformed the probability problem from "obvious incoherence" to "live technical dispute".

Exercise 5 (medium, critique).

Now write a paragraph (4–6 sentences) critiquing Everettian QM. Pick a single line of objection and develop it; do not aggregate several.

Hint

Possible lines: the preferred-basis problem; the probability problem in its sharper form (Greaves 2004); the empirical adequacy problem; the ontological extravagance objection; the identity-over-branches problem.

Answer

A representative critique (preferred-basis / decoherence-as-foundation):

The Everettian programme leans on decoherence to pick out a "preferred basis" — the basis in which the universe's branches are identified. But decoherence is a quantitative phenomenon: environmental interactions suppress off-diagonal terms in the density matrix to within some small parameter, not exactly to zero. There is no sharp boundary at which one branch becomes two; the splitting is approximate, basis-dependent within tolerance, and continuous in time. If branches are the locus of definite outcomes — and they must be, for the Everettian account of experience to get off the ground — then the number and identity of branches is an essentially fuzzy matter. Wallace (2012) acknowledges this and embraces approximate-branch ontology, but the price is that the quantitative fact about how much suppression counts as a branch is left unfixed by the theory. Critics (Maudlin, Kent) argue this is not an acceptable feature of a fundamental theory: the question "how many branches are there?" should not be answered "as many as it is useful to count, given a coarse-graining scale". On this view, Everettianism trades one explanatory deficit (no account of collapse) for another (no sharp account of branching).

Exercise 6 (hard, argument reconstruction).

The "consciousness causes collapse" position is sometimes argued for by appeal to von Neumann's 1932 Mathematical Foundations of Quantum Mechanics, where he showed that the measurement rule can be applied at any point along the chain "system → apparatus → human observer" without changing predictions. Reconstruct the inference from von Neumann's mathematical result to the conclusion that consciousness causes collapse, and identify why the inference fails.

Hint

The mathematical fact is about consistency: the predictions agree no matter where you place the cut. Going from "the cut can be placed anywhere" to "consciousness is where the cut should be placed" requires an extra premise.

Answer

Premise 1 (von Neumann's theorem). For any choice of "cut" along the chain system → apparatus → environment → observer's eye → observer's brain, applying the measurement rule at that cut and unitary evolution everywhere else produces the same empirical predictions.

Premise 2 (Wigner-style supplement). Among the candidate locations for the cut, only one is qualitatively distinguished from all the others: the transition from physical-brain-process to conscious-experience-of-outcome. Every other location is a continuous chain of quantum-mechanical interactions; the brain-to-experience transition is qualitatively different.

Conclusion. Therefore, the cut should be placed at the brain-to-experience transition; consciousness causes collapse.

Why the inference fails. Premise 1 is mathematically correct. Premise 2 is the disputed step: it assumes (a) that there is a genuinely qualitative difference at the brain-to-experience junction and (b) that this difference licenses placing the cut there. Both assumptions are external to QM. The "qualitative difference" appeal is essentially the hard problem of consciousness in disguise — and that is a problem in phil-of-mind, not a result in physics. Without an independent argument for (a) and (b), the inference is invalid: from "the cut can be placed anywhere consistent with the predictions", nothing follows about where it should be placed unless one adds a substantive metaphysical premise.

A defender of consciousness-causes-collapse might respond that the qualitative-difference premise is independently motivated. But this is to concede that the inference doesn't go through as a consequence of the QM formalism; it requires an external phil-of-mind premise. The argument is therefore not a physical argument but a hybrid argument whose strength depends on a separate, contested philosophical claim.

Exercise 7 (hard, counterexample to a popular framing).

A common slogan reports Bell's theorem as: "Bell proved that hidden variables don't exist." Produce a counterexample to this slogan — that is, name an existing interpretation of QM that incorporates hidden variables and is consistent with Bell's theorem.

Hint

Bell's theorem rules out local hidden-variable theories satisfying counterfactual definiteness, locality, and measurement independence. A hidden-variable theory that gives up locality is not refuted by Bell.

Answer

Bohmian mechanics (de Broglie 1927, Bohm 1952) is the standard counterexample. In Bohmian mechanics, every particle has a definite position at all times — the hidden variable. The dynamics is governed by a "guiding wave" — the wave function — whose evolution is the usual Schrödinger evolution, and the particle positions evolve according to a velocity field determined by the guiding wave. The theory reproduces all QM predictions exactly.

Bohmian mechanics is explicitly nonlocal: the velocity of a particle depends instantaneously on the configuration of every other entangled particle, no matter how far away. This violates outcome-locality (premise P2 of Bell's argument). Bohmian mechanics is therefore consistent with Bell's theorem — it pays the price Bell's theorem demands (nonlocality) and keeps the hidden variable (particle positions).

The slogan "Bell proved hidden variables don't exist" is thus false. The correct statement is: "Bell proved that local hidden-variable theories satisfying measurement independence cannot reproduce QM predictions for entangled-pair correlations." This is a constraint on the structure of hidden-variable theories, not a non-existence theorem.

The Bohmian counterexample is the clearest demonstration of why "hidden variables" is not a unified target: hidden-variable theories can differ on what is hidden and on what locality structure they assume.

Decoherence and the contemporary landscape [Master]

The most important development in the foundations of QM since Bell's theorem is the decoherence program, initiated in the late 1970s by Zeh, formalised in the 1980s by Zurek, and consolidated in the 2000s by Joos, Kiefer, Schlosshauer, and Wallace ^{[Zurek 2003]}. Decoherence is an intra-theoretic phenomenon — it lives entirely inside unitary Schrödinger evolution and requires no extra postulates — but it transforms the measurement-problem landscape in two specific ways.

The first transformation: the preferred-basis problem. In standard QM, any basis of the Hilbert space is mathematically as good as any other. The measurement rule presupposes a particular basis (the eigenbasis of the measured observable), but the theory does not tell you which basis is privileged by the measurement context. Zurek's einselection argument shows that environmental interaction picks out a preferred basis dynamically: the basis in which the system-environment interaction Hamiltonian is diagonal is the one in which coherence decays fastest. For a macroscopic measurement apparatus interacting with air molecules and thermal photons, this preferred basis is the pointer basis — the basis of definite macroscopic configurations. Decoherence does not solve the measurement problem in the sense of producing a single outcome from a superposition, but it does explain which superpositions we should expect to be invisibly suppressed by the environment. The preferred-basis problem is, in this sense, dissolved (or relocated).

The second transformation: the relation to interpretations. Decoherence is interpretation-neutral as a piece of physics, but it interacts differently with each interpretation.

For Everett, decoherence is the engine of branching. The Everettian universe contains all the branches of the unitary superposition; decoherence explains why the branches are autonomous (no recoherence on observable timescales) and why each branch picks out a definite-outcome basis. Wallace's Emergent Multiverse (2012) ^{[Wallace 2012]} develops this into a complete interpretive package: decoherence + the decision-theoretic Born rule + a coarse-grained ontology of branches.
For collapse theories (GRW, CSL), decoherence is a prelude to collapse but not a replacement for it. The dynamics is non-unitary in addition to having decoherence; the collapse is still a real physical process. Ghirardi-Rimini-Weber (1986) and the continuous-spontaneous-localisation refinements (Pearle, Diósi) make this precise.
For Bohmian mechanics, decoherence explains why the effective wave function of a subsystem can be treated as collapsed for practical purposes, even though the underlying wave function never collapses. The hidden particle configuration is unchanged by decoherence; what decoherence does is align the effective evolution with what the measurement rule of standard QM would prescribe.
For epistemic interpretations (Copenhagen, QBism), decoherence shifts the explanatory burden: the question becomes not "what triggers collapse" but "what makes the agent's information-update warranted". Decoherence delivers the warrant in classical-statistical-mechanical terms.

Reading the landscape as of 2026, decoherence is part of every credible interpretation; it is no longer a distinguishing feature. The remaining differences among interpretations are about (i) what the wave function is ontologically, (ii) what produces single outcomes (or whether they need producing), and (iii) where probability comes from.

Maudlin's "three measurement problems"

Maudlin (1995, expanded in 2019) ^{[Maudlin 2019]} distinguishes three distinct sub-problems often run together under "the measurement problem":

The problem of outcomes. Why do we see definite outcomes given that the smooth rule predicts superpositions? This is the most familiar form and is what most popular treatments mean.
The problem of statistics. Given that we see definite outcomes, why are the relative frequencies what they are? In standard QM the Born rule answers this by stipulation; an interpretation that derives the Born rule from more fundamental principles is taken to have made progress.
The problem of effect. When a measurement is performed, the post-measurement state is correlated with the outcome (this is what makes subsequent measurements predictable). What physical process produces this correlation, and how does it connect to the macroscopic record?

The taxonomy clarifies which problem each interpretation solves and which it leaves open. Everett solves (3) automatically — the correlations follow from unitary evolution — and tries to solve (1) and (2) with decoherence and decision theory. GRW solves (1) and (3) by explicit collapse and is built to recover (2) approximately. Bohmian mechanics solves (1) and (3) by the hidden variable and recovers (2) from the equivariance property of the quantum-equilibrium distribution. Epistemic interpretations dissolve (1) by reframing what the wave function is and recover (2) by treating Born-rule probabilities as constraints on consistent betting. The taxonomy is not just bookkeeping; it shows that "the measurement problem" is plural, and assessments of progress depend on which sub-problem is in view.

QBism and the information-theoretic family

The most distinctive contemporary epistemic interpretation is QBism (Quantum Bayesianism), developed by Fuchs, Schack, and Mermin ^{[Fuchs Mermin Schack 2014]}. The QBist reads the quantum state as a personal degree of belief held by an agent — not as an objective feature of the world. Measurement is the agent's interaction with the world; the outcome is the agent's experience. The Born rule is a normative constraint on rational belief (akin to a Dutch-book argument), not a law of nature.

QBism dissolves the measurement problem in its standard form: there is no contradiction between U and M because the wave function never described a definite physical state to begin with. The cost is steep: the wave function is no longer about the world but about the agent, and "facts" become agent-relative in a way that strains intuitions about objectivity. QBism's defenders argue this is a feature, not a bug, and align with broader pragmatist programmes in philosophy of science.

The Bub-Pitowsky information-theoretic interpretation ^{[Bub 1997]} runs in the same family but locates the reality of measurement outcomes in information-theoretic structure rather than agent belief. The 2007 Bub-Pitowsky paper argues that QM is best understood as a generalised probability theory in which the algebra of possible measurements is non-commutative; the measurement problem is then not a puzzle about a physical process but a feature of the theory's status as a principle theory (in Einstein's sense) rather than a constructive theory.

Retrocausality and superdeterminism

A smaller but vigorous program rejects measurement independence (P3 of Bell's argument). Retrocausal interpretations (Wharton, Price, Sutherland, Aharonov-Vaidman two-state-vector formalism) allow future measurement settings to influence past hidden-variable distributions. Superdeterminist views (Hossenfelder, 't Hooft) hold that the experimenter's measurement choice is itself a deterministic function of past hidden variables that also fix the particle's properties — so the correlation between $λ$ and $(a, b)$ is not a conspiracy but a consequence of common history.

These views save locality and counterfactual definiteness at the cost of a notion of free choice in the experimental setup. The standard objection is that they are ad hoc: they require a fine-tuned correlation between hidden variables and experimenter choices that has no independent motivation. The defenders reply that "free choice" was never an empirical fact and that QM's strangeness is more naturally located in the choice-correlation than in nonlocality. The dispute is live; the experimental loopholes around measurement independence (most famously closed for outcome-locality by Hensen et al. 2015 but only partially closed for measurement independence) keep it open.

Position-mapping the interpretations

A useful exercise at master tier is to map each interpretation onto a commitment vector across the disputed dimensions. Following a now-standard layout (Cabello 2017 catalog; Schlosshauer-Kofler-Zeilinger 2013 survey):

Interpretation	$ψ$ ontic?	Local?	Deterministic?	Observer-dependent?	Probability fundamental?
Copenhagen (textbook)	partial / ambiguous	yes (no-signalling)	no	yes (cut)	yes
Many-worlds (Everett)	yes	yes	yes	no	no (derived)
Bohmian	yes (wave); + particles	no	yes	no	no (equilibrium)
GRW / CSL	yes	yes (under construction)	no (stochastic)	no	yes (modified)
QBism	no (epistemic)	yes	n/a	yes (radical)	yes (subjective)
Bub-Pitowsky info-theoretic	no	yes	n/a	yes (mild)	yes
Retrocausal	yes (hidden)	yes	yes	no	derived

The vector form makes interpretive trade-offs explicit. Every credible interpretation pays a price on at least one dimension; the disagreement is about which prices are tolerable. No interpretation is currently empirically distinguishable from QM-as-standardly-used, so the choice is partly a metaphysical one and partly aesthetic — what kind of world the interpreter is willing to live with.

Argument-reconstruction exercises [Master]

The mastery endpoint at this tier is to engage with contemporary primary literature. The three exercises below model the kind of work the analytic phil-of-physics rubric requires: read a primary paper, reconstruct the argument with explicit premises, assess each step, locate the argument in the literature, and write a paragraph-length response that engages with at least one alternative position.

Exercise M1 (master, argument reconstruction).

Read Wallace's "Decoherence and Ontology" (in Many Worlds? Everett, Quantum Theory, and Reality, ed. Saunders, Barrett, Kent, Wallace, OUP 2010, ch. 1), or its expanded form in The Emergent Multiverse (2012) ch. 2–3. Reconstruct, as explicit numbered premises, the inference from (a) the unitary evolution of an isolated system, through (b) decoherent structure of the resulting state, to (c) the claim that branches are real and the Everettian multiverse ontology is the correct reading of the quantum formalism. Identify each step at which an explicit philosophical commitment is being added to the physics — in particular, the role of Dennett-style "real patterns" functionalism in step (b) and the role of a specific reading of emergence in step (c). Write a paragraph-length response positioning Wallace's argument against Maudlin's 2010 reply, which contends that decoherence does not produce sharp branches and the Everettian must accept fuzziness in the ontology.

Hint

The most contested step is the move from "the density matrix has a quasi-classical structure to within decoherence-suppressed error" to "branches exist as autonomous parts of reality". Wallace defends the move via functionalism about ontology (a pattern that plays the role of an outcome is an outcome); Maudlin denies the inference because the pattern is not sharp and ontology should not be approximate.

Answer

This is an open-ended exercise requiring access to the primary paper. A credible response will (a) lay out 4–7 explicit premises with each philosophical commitment named; (b) identify the functionalism premise as load-bearing for the branch-reality claim; (c) note Wallace's reliance on emergent-pattern realism (cf. Dennett's "Real Patterns", 1991) and Maudlin's counter that emergence-without-sharpness is incoherent for fundamental ontology; (d) write a positioning paragraph that argues for one side without straw-manning the other.

A strong response will additionally note the Bohmian alternative: the same decoherent structure is consistent with a single-world picture in which particle positions carry the outcomes and the wave function plays only a guiding role. The Bohmian's complaint with Wallace is structurally parallel to Maudlin's — both insist that approximate branching is not real branching — though they propose different alternatives. Engaging with both alternatives, or comparing them, is a higher-quality response than engaging with only one.

Reviewer note: this exercise's "answer" is necessarily open. The assessment criterion is the quality of the reconstruction and the response, judged by a phil-of-physics reviewer per PHILOSOPHY_PLAN §9.

Exercise M2 (master, contemporary primary lit).

Locate a contemporary paper (post-2015) from Studies in History and Philosophy of Modern Physics, Philosophy of Science, British Journal for the Philosophy of Science, or the Philsci-Archive that takes a position on one of: (i) the status of the Born rule in Everettian QM; (ii) the spontaneous-localisation programme; (iii) the prospects for retrocausality. Assess the paper's argument: identify its target position in the existing literature (whom is it arguing against, and what is the dialectical context); reconstruct the paper's central argument; produce a counterexample or critical observation; write a paragraph-length original response.

Hint

Candidate post-2015 papers: Sebens & Carroll, "Self-locating uncertainty and the origin of probability in Everettian quantum mechanics", BJPS 2018; Allori, "Primitive ontology in a nutshell", 2015; Wharton & Argaman 2020 (already cited in the bibliography). Pick one that engages with a position you find resistible — this makes the assessment exercise sharper.

Answer

Open-ended. Quality criteria: the assessment must (a) accurately characterise the target position the paper is arguing against (not a straw target the reader has invented); (b) reconstruct the central argument with explicit premises; (c) produce a critical observation that engages with the argument as stated, not with a weaker version; (d) write a paragraph-length response that takes a stance and defends it.

A common failure mode at this tier is to summarise the paper without taking a position. The mastery endpoint requires the reader to produce their own assessment — agreement counts as a position only if it is defended against the most plausible alternative.

Exercise M3 (master, position mapping).

Take the seven-row interpretive table from the master section (Copenhagen / Everett / Bohm / GRW / QBism / Bub-Pitowsky / Retrocausal). Pick two interpretations that disagree on at least three of the five commitment columns. Write a short essay (4–6 paragraphs) in which you (a) lay out the two interpretations' commitments precisely; (b) identify one experimental scenario where the two would seem to give different verdicts and one where they would agree empirically while diverging metaphysically; (c) assess whether the metaphysical divergence is substantive or terminological; (d) take a position on whether the divergence licenses theory choice or whether it is genuinely underdetermined by available evidence.

Hint

A particularly sharp pairing is Everett vs. Bohm: both keep deterministic dynamics, both reject collapse, but they disagree about $ψ$ -ontology (Everett is monist; Bohm is dualist), locality (Everett is local; Bohm is not), and observer-dependence (neither). Their predictions agree empirically; their pictures of the world diverge sharply.

Answer

Open-ended. Quality criteria: the essay must (a) get the commitment vectors right for the two interpretations chosen; (b) distinguish empirical equivalence from metaphysical equivalence; (c) assess substantive vs. terminological disagreement using a criterion the reader articulates (not just by intuition); (d) take a defensible position on the underdetermination question.

A strong response will also engage with the structural-realism literature (Worrall, Ladyman, Ross) on whether empirically-equivalent theories share structural content even when their object-level ontologies differ.

Lean formalization [Intermediate+]

There is no Lean formalisation of the measurement problem. The argument structure is partly mathematical (the linearity/contagion argument is a theorem about tensor products of Hilbert spaces) and partly philosophical (what counts as a "definite outcome", what kind of physical event measurement is). The mathematical core could in principle be formalised — and would be a useful exercise for §20.01 logic and formal methods, where Bell-inequality results are a natural Lean target — but the broader interpretive content is not theorem-shaped and is human-review-only at I/M tier.

See lean_mathlib_gap in the frontmatter for the specific Mathlib coverage gap. The unit ships with lean_status: none.

Connections [Master]

Stern-Gerlach and spin-1/2 12.01.02 pending is the canonical experimental setup for the measurement problem. The phil-of-physics reading takes the discrete-outcome phenomenon of the Stern-Gerlach experiment as its primary case study; the physics-side treatment at 12.01.02 pending provides the formalism (Pauli matrices, projection, Born rule) that the phil unit reads philosophically.
Phil-of-mind on consciousness and the observer 20.06.01 pending (pending) connects via the Wigner / von Neumann strand of the measurement problem. The role of consciousness in collapse, if there is one, is a phil-of-mind question imported into phil-of-physics; the pending §20.06 unit is the natural home for the consciousness-side analysis.
General phil-of-science: scientific realism 20.07.01 pending (pending) connects via the underdetermination of interpretation by evidence. The measurement problem is the cleanest contemporary case of empirically equivalent rivals (multiple QM interpretations producing identical predictions) and is the standard test case in current realism debates.
Logic and formal methods [20.01.NN] (pending) is where a Lean-formalised Bell inequality could live, if the §20.01 chapter develops that direction. Argument-reconstruction tooling — eventually — would also live there.
Phil-of-math on Platonism [20.02.NN] (pending) connects to the foundational status of the wave function: if $ψ$ is mathematical structure that the world realises, the realism debate in phil-of-math constrains what kind of realism about $ψ$ is available.

Cross-domain to philosophy of biology [20.05.NN] and phil-of-chemistry [20.04.NN]: the measurement-problem case is invoked in debates about whether the same kind of underdetermination afflicts theory choice in bio (units of selection) and chem (reduction of bond theory). These are weaker analogues, not direct dependencies.

Historical & philosophical context [Master]

The measurement problem in its modern form crystallised in the late 1920s in the exchanges between Einstein and Bohr at the Solvay Conferences (1927, 1930). Einstein's famous objections were not, in his own framing, attacks on the empirical content of QM but on its claim to completeness: the EPR paper (Einstein, Podolsky, Rosen, Phys. Rev. 47, 777, 1935) ^{[EPR 1935]} argued that quantum mechanics, if its description is complete, must accept either nonlocality or the failure of "elements of reality" to have definite values. Bohr's reply (Phys. Rev. 48, 696, 1935) defended a complementarity reading in which the question itself was misposed. The exchange did not settle anything; it established the form of the dispute that has continued.

Schrödinger's cat paper (Naturwissenschaften 23, 1935) made the trilemma vivid for working physicists. Schrödinger himself was on Einstein's side: the paper is satirical, intended to show that the "Copenhagen" picture commits one to absurdities. Von Neumann's Mathematical Foundations of Quantum Mechanics (1932; English trans. Princeton, 1955) ^{[von Neumann 1932]} formalised the measurement rule and proved the consistency theorem that the cut can be placed anywhere along the chain; Wigner (Symmetries and Reflections, 1967) drew the conclusion that consciousness is the privileged location.

The next major development was Everett's 1957 thesis (Rev. Mod. Phys. 29, 454) ^{[Everett 1957]}, proposing what came to be called the many-worlds interpretation. Everett's original framing was less metaphysically extravagant than the popular "DeWitt" reading that established the multiverse picture in the 1970s; the contemporary Everettian programme (Saunders, Wallace, Greaves, Carroll) is closer in spirit to Everett's original "relative state" formulation than to DeWitt's many-worlds gloss.

Bell's 1964 paper On the Einstein-Podolsky-Rosen Paradox (Physics 1, 195) ^{[Bell 1964]} is the watershed. Bell showed that the EPR-vs-Bohr dispute could be made empirically tractable: a particular kind of correlation predicted by QM (and unavailable to local hidden-variable theories) could be measured. Aspect's experiments (1981, 1982) confirmed the QM prediction; the loophole-free experiments of the 2010s (Hensen et al. 2015 in Nature 526, 682) settled the empirical question. Bell's 1990 "Against 'measurement'" ^{[Bell 1990]} is the canonical critique of treating measurement as primitive in fundamental theory.

The decoherence program began with Zeh (Found. Phys. 1, 69, 1970) and was developed by Zurek through the 1980s and 1990s ^{[Zurek 2003]}. Joos-Zeh and later Schlosshauer's textbook Decoherence and the Quantum-to-Classical Transition (2007) consolidated the framework. The contemporary Everettian programme (Wallace 2012) integrates decoherence as foundational; the contemporary GRW programme (Ghirardi-Rimini-Weber 1986 ^{[GRW 1986]}; Pearle CSL; Tumulka relativistic versions) treats decoherence as supplementary.

The phil-of-physics literature on the measurement problem has matured into a recognised subfield since roughly 1990. Major reference works include Albert's Quantum Mechanics and Experience (1992) ^{[Albert 1992]}, Bub's Interpreting the Quantum World (1997) ^{[Bub 1997]}, Saunders et al. (eds.) Many Worlds? (2010), and Maudlin's Philosophy of Physics: Quantum Theory (2019) ^{[Maudlin 2019]}. The journal Studies in History and Philosophy of Modern Physics is the central venue; Foundations of Physics and British Journal for the Philosophy of Science publish heavily in this area. The Philsci-Archive at the University of Pittsburgh hosts a large open-access preprint collection.

Bibliography [Master]

Foundational and historical:

Einstein, A., Podolsky, B. & Rosen, N. — "Can quantum-mechanical description of physical reality be considered complete?", Phys. Rev. 47, 777–780 (1935). [Need to source.]
Schrödinger, E. — "Die gegenwärtige Situation in der Quantenmechanik", Naturwissenschaften 23, 807–812, 823–828, 844–849 (1935). [Need to source.]
von Neumann, J. — Mathematische Grundlagen der Quantenmechanik (Springer, 1932); English trans. Mathematical Foundations of Quantum Mechanics (Princeton University Press, 1955). [Need to source.]
Everett, H. — "'Relative state' formulation of quantum mechanics", Rev. Mod. Phys. 29, 454–462 (1957). [Need to source.]
Bell, J. S. — "On the Einstein-Podolsky-Rosen paradox", Physics 1, 195–200 (1964). [Need to source.]
Bell, J. S. — "Against 'measurement'", Physics World 3 (8), 33–40 (1990). [Need to source.]
Wheeler, J. A. & Zurek, W. H. (eds.) — Quantum Theory and Measurement (Princeton University Press, 1983). Anthology with reprints of Bohr, Einstein-Podolsky-Rosen, Schrödinger, Wigner, Everett, Bell, and others. [Need to source.]

Contemporary canonical:

Albert, D. Z. — Quantum Mechanics and Experience (Harvard University Press, 1992).
Bub, J. — Interpreting the Quantum World (Cambridge University Press, 1997).
Maudlin, T. — Philosophy of Physics: Quantum Theory (Princeton University Press, 2019).
Wallace, D. — The Emergent Multiverse: Quantum Theory according to the Everett Interpretation (Oxford University Press, 2012).
Saunders, S., Barrett, J., Kent, A. & Wallace, D. (eds.) — Many Worlds? Everett, Quantum Theory, and Reality (Oxford University Press, 2010).
Schlosshauer, M. — Decoherence and the Quantum-to-Classical Transition (Springer, 2007).

Collapse and hidden-variable programs:

Ghirardi, G. C., Rimini, A. & Weber, T. — "Unified dynamics for microscopic and macroscopic systems", Phys. Rev. D 34, 470–491 (1986).
Bohm, D. — "A suggested interpretation of the quantum theory in terms of 'hidden' variables", Phys. Rev. 85, 166–179, 180–193 (1952). [Need to source.]
Dürr, D., Goldstein, S. & Zanghì, N. — Quantum Physics Without Quantum Philosophy (Springer, 2013). [Need to source.]

Decoherence:

Zurek, W. H. — "Decoherence, einselection, and the quantum origins of the classical", Rev. Mod. Phys. 75, 715–775 (2003).
Joos, E., Zeh, H. D., Kiefer, C., Giulini, D., Kupsch, J. & Stamatescu, I.-O. — Decoherence and the Appearance of a Classical World in Quantum Theory, 2nd ed. (Springer, 2003). [Need to source.]

Information-theoretic and QBism:

Fuchs, C. A., Mermin, N. D. & Schack, R. — "An introduction to QBism with an application to the locality of quantum mechanics", Am. J. Phys. 82, 749–754 (2014).
Bub, J. & Pitowsky, I. — "Two dogmas about quantum mechanics", in Many Worlds? (Saunders et al. eds., 2010), pp. 433–459. [Need to source.]

Retrocausal and superdeterminist:

Wharton, K. B. & Argaman, N. — "Bell's theorem and locally mediated reformulations of quantum mechanics", Rev. Mod. Phys. 92, 021002 (2020). [Need to source.]
Hossenfelder, S. & Palmer, T. — "Rethinking superdeterminism", Front. Phys. 8, 139 (2020). [Need to source.]

Experimental loophole-free Bell tests:

Hensen, B. et al. — "Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres", Nature 526, 682–686 (2015). [Need to source.]

Wave 1 phil seed unit, produced manually 2026-05-18 — first analytic phil unit in the Codex per docs/plans/PHILOSOPHY_PLAN.md §8. All three cross-domain hooks_out targets are proposed. The hook back to physics 12.01.02 pending is bidirectional with the physics-side hook already declared at 12.01.02; per umbrella §3.2 promotion to confirmed requires receiving-domain reviewer attestation and is not part of Wave 1. Status remains draft pending external phil-of-physics reviewer per PHILOSOPHY_PLAN §9.

Prerequisites

12.01.02 pending

Tier anchors

beginner: Albert, *Quantum Mechanics and Experience* (1992), early chapters; Maudlin, *Philosophy of Physics: Quantum Theory* (2019), introduction
intermediate: Albert, *Quantum Mechanics and Experience* (1992), full text; Maudlin, *Philosophy of Physics: Quantum Theory* (2019); Sklar, *Philosophy of Physics* (1992), QM chapters
master: Wallace, *The Emergent Multiverse* (2012); Bell, *Speakable and Unspeakable in Quantum Mechanics* (2nd ed., 2004); Bub, *Interpreting the Quantum World* (1997); primary lit (*Studies in History and Philosophy of Modern Physics*, *Philosophy of Science*, Philsci-Archive 2010+)

References

TODO_REF pending
Albert, D. — Quantum Mechanics and Experience (Harvard University Press, 1992) · Ch. 4–6 (the measurement problem); Ch. 7 (collapse theories); Ch. 8 (Bohm); Ch. 11 (Everett) · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Maudlin, T. — Philosophy of Physics: Quantum Theory (Princeton University Press, 2019) · Ch. 1–3 (the three measurement problems); Ch. 4–6 (interpretations) · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Bell, J. S. — Speakable and Unspeakable in Quantum Mechanics, 2nd ed. (Cambridge University Press, 2004) · Ch. 2 (on the EPR paradox; 1964); Ch. 23 (Against 'Measurement'; 1990); Ch. 7 (the theory of local beables) · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Wallace, D. — The Emergent Multiverse: Quantum Theory according to the Everett Interpretation (Oxford University Press, 2012) · Ch. 1–3 (decoherence and branching); Ch. 4–6 (the probability problem and decision-theoretic Born rule); Ch. 7–9 (ontology, identity, indistinguishability) · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Bub, J. — Interpreting the Quantum World (Cambridge University Press, 1997) · Ch. 1–2 (no-go theorems and the interpretive landscape); Ch. 4–5 (modal interpretations) · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Bell, J. S. — On the Einstein-Podolsky-Rosen paradox, *Physics* 1, 195–200 (1964) · Bell inequality derivation; locality vs. QM predictions · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Bell, J. S. — Against 'measurement', *Physics World* 3, 33–40 (1990) · Critique of measurement-as-primitive in standard QM textbook treatment · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Ghirardi, G. C., Rimini, A. & Weber, T. — Unified dynamics for microscopic and macroscopic systems, *Phys. Rev. D* 34, 470 (1986) · GRW dynamical-collapse model · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Zurek, W. H. — Decoherence, einselection, and the quantum origins of the classical, *Rev. Mod. Phys.* 75, 715–775 (2003) · Decoherence program — environmental selection of preferred basis · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Fuchs, C. A., Mermin, N. D. & Schack, R. — An introduction to QBism with an application to the locality of quantum mechanics, *Am. J. Phys.* 82, 749–754 (2014) · QBist interpretation — quantum states as personal degrees of belief · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
TODO_REF pending
Wheeler, J. A. & Zurek, W. H. (eds.) — Quantum Theory and Measurement (Princeton University Press, 1983) · Anthology of foundational papers (von Neumann, Wigner, Everett, Bell, etc.) · see docs/catalogs/NEED_TO_SOURCE.md#phil-of-physics
quantum-well
md/Quantum Mechanics/Experiments in Quantum Mechanics/Measuring spin.md · Stern-Gerlach measurement, sequential analyzers — physics-side anchor for the measurement-problem case study

Reviewer

Tyler (pending external phil-of-physics reviewer per PHILOSOPHY_PLAN §9 — top recruitment priority; Yellow at intermediate where canonical-interpretation reconstruction is standard, Red at master where contemporary primary-lit assessment requires credentialed phil-of-physics judgement)

Estimated time

beginner: 18m
intermediate: 35m
master: 60m