This second position, while certainly not inconsistent with realism per se, turns upon a distinction involving a notion of âobservationâ, âmeasurementâ, âtestâ, or something of this sortâa notion that realists are often at pains to avoid in connection with fundamental physical theory. Of course, any realist account of a statistical physical theory such as quantum mechanics will ultimately have to render up some explanation of how measurements are supposed to take place. That is, it will have to give an account of which physical interactions between âobjectâ and âprobeâ systems count as measurements, and of how these interactions cause the probe system to evolve into final âoutcome-statesâ that correspond toâand have the same probabilities asâthe outcomes predicted by the theory. This is the notorious measurement problem.
In fact, Putnam advanced his version of quantum-logical realism as offering a (radical) dissolution of the measurement problem: According to Putnam, the measurement problem (and indeed every other quantum-mechanical âparadoxâ) arises through an improper application of the distributive law, and hence disappears once this is recognized. This proposal, however, is widely regarded as mistaken.[4]
As mentioned above, realist interpretations of quantum mechanics must be careful in how they construe the phrase âthe observable Aâ A A has a value in the set Bâ B Bâ. The simplest and most traditional proposalâoften dubbed the âeigenstate-eigenvalue linkâ (Fine [1973])âis that (âą holds if and only if a measurement of Aâ A A yields a value in the set Bâ B B with certainty, i.e., with (quantum-mechanical!) probability 1. While this certainly gives a realist interpretation of (âą,[5] it does not provide a solution to the measurement problem. Indeed, we can use it to give a sharp formulation of that problem: even though Aâ A A is certain to yield a value in Bâ B B when measured, unless the quantum state is an eigenstate of the measured observable Aâ A A, the system does not possess any categorical property corresponding to Aâ A A âs having a specific value in the set Bâ B B.