harrylin said:
Different people give different meaning to those concepts, which is perhaps why they are often held to be philosophical concepts. That's what I meant, I disagree with the suggestion that the underlying topic is not philosophical.
Well, let me tell you exactly what I mean by these concepts:
1. Locality: An event can only influence things in its future light cone.
2. Counterfactual definiteness: If you make a given measurement, it is always meaningful to ask "What result would you have gotten if you had made this measurement instead?", and there exist a definite (although possibly unknowable) answer to this question.
3. No-Conspiracy Condition: The answer to the question "What result would you get if you make this measurement" is independent of what measurement you actually choose to make.
According to Bell's theorem, if Quantum Mechanics is always right in its experimental predictions, then physical reality cannot possibly obey all 3 conditions. Do you agree or disagree with this statement? And do you agree that it makes a firm claim about physical reality, and not just empirical observations?
Neither. Bell made a claim about all possible hypothetical solutions. I don't think that such a sweeping claim is warranted, as it includes anything that he could not imagine.
By "hypothetical solutions" do you mean hypothetical explanations of observed quantum mechanical phenomena? In that case, yes, Bell did indeed make a claim about all possible explanations, including ones that he presumably could not conceive of; see my statement above.
But there is nothing wrong with such a sweeping claim. Are you familiar with Cantor's proof that there are more real numbers than natural numbers? It starts with the assumption, suppose you had some method, however complicated or unimaginable, to make a one-to-one correspondence between the real numbers and the natural numbers. Then Cantor showed that there would exist a real number which did not map to any natural number, so that method would be unable to make to make such a 1-to-1 correspondence. How was Cantor able to reason about really clever potential methods of counting the real numbers, methods that he never even thought of or imagined? That's the power of proof by contradiction.
Bell's proof works in the same way. It says, assume that reality obeys certain properties. Then you can show that reality must also obey this other property, and this other property implies that quantum mechanics is not always experimentally correct.