DrChinese said:
This is not a fair statement. CFD is derived by EPR ONLY by in turn making assumptions. Specifically, they assume that all elements of reality (per their definition) are simultaneously real. That rules out CFD per se.
I'm not sure what you mean by that. The way that I see it is that E, P, and R were assuming a particular sort of theory, whereby the results of an experiment depend only on local facts. So, as Bell formulated this, that means that Alice's result depends only on facts about her device and facts about her particle, and similarly for Bob. This implies Bell's assumed form for the joint probability distribution:
P(A, B | \alpha, \beta, \lambda) = P(A|\alpha, \lambda) P(B|\beta, \lambda)
where A represent's Alice's result (assumed to be a boolean), B represents Bob's result, \alpha represents facts about Alice's detector, \beta represents facts about Bob's detector, and \lambda represents facts about the twin pair creation event.
This form seems at first to allow for the possibility that the results are nondeterministic. But if you impose perfect anti-correlations, then that implies:
P(A|\alpha, \lambda) P(B|\alpha, \lambda) = 0 (It is impossible for them to both get spin-up with the same detector settings.)
(1-P(A|\alpha, \lambda))(1 - P(B|\alpha, \lambda)) = 0 (It is also impossible for them to both get spin-down)
These two facts imply that P(A|\alpha, \lambda) = 0 or 1 and P(B|\beta, \lambda) = 0 or 1.
So Bell's factorizability assumption implies that the outcomes are deterministic functions of \lambda and the detector settings, which implies contrafactual definiteness (in the sense that the assumed model implies that there is a definite answer to the question: What would Bob's result have been if he chose a different detector setting?)