It looks like my opportunity to post at the forum is about to end. I feel hard-pressed, though, to (at least attempt to) close off as much as possible of what I have opened up.
Many posts ago, the first part of Bell's argument (in Bell's original paper) was summarized as follows:
Proposition 1: locality Λ PC Λ CF → local determinism ,
where
CF ≡ counterfactuality
and
PC ≡ perfect anti-correlation for equal settings .
The idea is that the above proposition can be joined to the second part of Bell's argument (in Bell's original paper) which can be summarized as:
Proposition 2: local determinism → D ,
where "D" is a certain condition (which turns out to be inconsistent with Quantum Mechanics).
So, there are two 'theorems', a
weak one and a
strong one:
Weak Theorem: local determinism → D ;
Strong Theorem: locality Λ PC Λ CF → D .
___________________
zonde said:
Let's say I too see this proposition as valid but not exhaustive ...
Zonde, it has been quite a while. ... But I see you are still around.
zonde said:
... (I would feel more comfortable if I somehow could make sure that all the abstract terms in this proposition have unambiguous meaning).
I see two distinct 'levels' at which one can work in order to establish the validity of "Proposition 1".
One of these levels, I call the "object-level". At the object-level, one analyzes the scenario in terms of
outcomes and
potential outcomes as they may (or may not) occur in the given physical
situation.
However, at this level, the argument suffers from ambiguity due to a lack of clarity in the definition of its essential terms. Just look at the definitions of "locality" and "CF" which one has to work with. These definitions are expressed in terms of words of
informal,
ordinary language.
For "locality", we have Einstein's words:
The real factual situation of the system S2 is independent of what is done with the system S1, which is spatially separated from the former.
And what about "CF"? At the object-level, "CF" becomes none other than "CFD", that is, "counterfactual definiteness", which as Stapp (the conceiver of the notion) explains is:
For each particle on which a measurement is performed, a definite value would have been found if a different spin component had been measured on it instead (although we cannot know what the specific value would have been) and, furthermore, the complete set of such values (measured and unmeasured together) can be meaningfully discussed.
But there is another level at which one can work to establish the validity of "Proposition 1". I call it the "meta-level". Here, one analyzes the scenario in terms of the
joint-probability-function as it would be calculated at the level of a physical
theory. At this level, "locality" can be defined in
unambiguous,
mathematical terms (i.e. in terms of "Bell Locality", which I took a step towards defining back in
post #239 (but I have not yet followed up on it)), while "CF" turns out to correspond to "the
permissibility of exploring the causal structure of a physical theory".
___________________
zonde said:
I would say that PC is not a requirement for local determinism. So we can say: locality Λ CF → local determinism.
"Locality Λ CF" alone is not enough. As far as I can tell, "PC" is essential to the argument, in which case there is not even a
substitute for it.
zonde said:
That's because PC is certain arrangement of things that applies to one situation but doesn't apply to other.
I can't tell what you're getting at here.
___________________
zonde said:
What I don't like about this theorem of QM is that it is placed as restriction on all possible LR theories even when this theorem is not experimentally verified.
Zonde ... you are starting to lose me. I would think that "PC" ought to be a feature of
any theory. Is "PC" not just the expression of
conservation of angular momentum for a system whose angular momentum was initially
zero?
zonde said:
Let's say we can formulate LR theory that says:
a) If measurement of the component σ1∙a, where a is some unit vector, yields the value +1, then measurement of σ2∙a must yield the value -1 or no value at all at least half the time.
b) If measurement of the component σ1∙a, where a is some unit vector, yields the value +1, then low efficiency measurement of σ2∙a must yield the value -1 with very high probability and value +1 with very low probability or no value at all. But as measurement efficiency increases relative probability of +1 value increases rapidly.
Okay. ... Now I'm lost.