N88 said:
Now, in that (X) may not be a straw-man argument for others, I refer them to d'Espagnat's (1979) article (endorsed by Bell). There, in my opinion, they have defined "naive realism" in that (as I see it): they inferred the measured output was the same as the measurement input. A+ output leads to their inference "A+ is a particle property."
Well, to call it "naive realism" or "strawman realism" suggests that there is some "non-naive" notion realism under which QM might be a local realistic theory. But what is that?
The claim that the "measured output was the same as the measurement input"---I'm not exactly sure what you mean by that, but you mean the fact that claim that the measurement reveals a pre-existing hidden variable. If that's what you mean, that is not an assumption, that is a conclusion from the fact that QM predicts perfect correlations/anti-correlations in EPR-type experiments.
Local realism to me (I'm not sure if this is naive local realism, or not, but if it is, I would like to see what is non-naive realism) says that the result of a measurement depends on what the local situation is. To me (not everyone agrees with this), nondeterminism is compatible with local realism, so the outcome of a measurement in a local realistic theory could potentially be nondeterministic. But in a locally realistic theory, if the outcomes are probabilistic, then the probabilities of various outcomes can only depend on local facts.
So potentially, you could, for the anti-correlated EPR experiment have a locally realistic theory that would say:
- The probability that Alice measures spin-up for her particle is some function P_A(\alpha, \lambda, O_A, T_A), where \alpha is the setting of Alice's detector, \lambda is a variable describing the production of the twin pair, O_A is a variable describing other miscellaneous properties of Alice, her detector, the measurement process, etc., and T_A is a variable describing Alice's particle's travels from the point of creation to the point of detection.
- Similarly, the probability that Bob measures spin-up for his particle is some function P_B(\alpha, \lambda, O_B, T_B)
So you don't have to assume that the measurement results are set in stone from the beginning; they might potentially depend on all sorts of things. However, the perfect anti-correlation implies that if Alice measures spin-up at detector setting \alpha, then Bob certainly will not measure spin-up at that setting, and vice-versa. This implies that for a fixed \alpha and \lambda,
- P_A(\alpha, \lambda, O_A, T_A) P_B(\alpha, \lambda, O_B, T_B) = 0
One or the other probability must be zero, since they never both happen. Also, it never happens that they both measure spin-down at the same detector setting, either. Since empirically, you either get spin-up or spin-down, the probability of spin-down is 1 - the probability of spin-up. So we have:
- (1 - P_A(\alpha, \lambda, O_A, T_A))(1 - P_B(\alpha, \lambda, O_B, T_B)) = 0
Those two facts about probability tell us that for any \alpha and \lambda:
- Either P_A(\alpha, \lambda, O_A, T_A) = 0 or P_A(\alpha, \lambda, O_A, T_A) = 1
- Either P_B(\alpha, \lambda, O_B, T_B) = 0 or P_B(\alpha, \lambda, O_B, T_B) = 1
So even though we allowed the results to be probabilistic, the perfect anti-correlations imply that the result must be deterministic. For some values of \alpha and \lambda, it is certain that Alice will get spin-up and that Bob will get spin-down. For other values, it is certain that Bob will get spin-up and Alice will get spin-down.
So the conclusion that the result is deterministic follows from the assumption of perfect anti-correlation and the assumption that whatever probabilities are involved depend only on local variables.