zonde said:
Counterfactual thinking is
post factum "what if?" type of analysis. But Bell theorem is not talking about reality, but about hypothetical
models (of reality) instead that could explain entanglement and satisfy locality assumption. And obviously any scientific model represents
ante factum "what if?" type of analysis (as it has to make predictions). So claiming that Bell theorem assumes 'counterfactual definiteness' is just red herring.
I disagree : Bell's theorem states that the predictions of QM cannot wholly be replicated by any locally realistic theory.
The term 'local' means that results 'here' do not depend on configuration settings 'there'.
The term 'realism' is a bit harder to pin down but conceptually the crucial ingredient is the assumption that things have properties independent of measurement - which is more or less equivalent to counterfactual definiteness. This assumption is absolutely necessary for the derivation of the Bell inequality; so a long way from being some kind of 'red herring'.
I can't match Paladin's beautifully concise elegant and clear description above - so I'll just re-post one of the key statements there :
Nameless_Paladin said:
In other words, you cannot think of the intrinsic probabilities that arise in Quantum Mechanics as arising from ignorance of local pre-existing properties in a classical sense
If the 'realism', or more correctly 'counterfactual definiteness', is just a red herring, as you suggest, then we wouldn't be able make these kinds of strong statements.
Obviously Bell undertook his original analysis to try to pin down something about entanglement, but I feel it's important to underline that the Bell inequality itself is a constraint on theories that have very natural and reasonable properties we expect from classical thinking - it's saying that any theory we construct that looks like the kind of theory we expect from classical thinking is going to have to satisfy some constraints.
Of course, Bell had his eye on the prize, so to speak, because it was clear that it was possible to violate these constraints with the predictions of QM. Trying to replace QM with a theory that says "it's all classical really, it's just that we don't know the proper underlying bits and pieces" is doomed to failure. And Bell's great achievement was to pin this down in a way that could be experimentally tested.
In a way this was already well-known. In the introductory chapter of his classic textbook Dirac mentions the problems of specific heat capacity where he points out that whatever the (assumed) underlying variables are they cannot behave like traditional classical variables because they don't contribute in the correct thermodynamic way. In other words - adopt a model with some unknown (but classical) hidden degrees of freedom and you predict the wrong specific heat capacities. It's probably the first general argument against classical 'hidden variables'. As I said, Bell eventually pinned this down in a rather breath-taking way, and more importantly in a way that could be tested.
DrChinese said:
I believe that no realistic theory - local or not - can replicate the predictions of QM
I'm with Dr Chinese on this one. The 'local' bit means that we don't theoretically allow some configuration change in Bob's lab to affect results observed in Alice's lab. If we dispense with this condition and opt for 'realism' we're still in big trouble. If we make the measurements in the 2 labs spacelike separated we get backed into a very tight box - if we want realism we have to accept some kind of FTL effects. However, classical theories are already struggling without this. Even if the measurements are not spacelike separated, so we have the possibility that some information about configuration changes in one lab is accessible in the other without having to assume some FTL signal we're still in a position of having to develop some theory that looks nothing like any classical theory we've ever seen before! So we can have 'realism' - but we're still needing to completely re-wire our understanding of physics to make it work.