"counterfactuality"
Back in
post #477, I wrote the following:
"Counterfactual definiteness" is a
weaker premise than "instruction sets".
"Counterfactual definiteness" is the assumption that there would have been
definite outcomes in the counterfactual cases (
without necessarily assigning specific values to those outcomes).
"Instruction sets" is the assumption in which the
definite outcomes in (at least some of) the counterfactual cases are assigned specific values.
DrChinese said:
3. Sorry, to me CD = realism and yes I know that it doesn't to some people. If you can give me a specific example of a relevant difference, that would be wonderful.
Below, I give an example in which counterfactual reasoning is used to reach a certain conclusion. If the argument is valid, then one of the following must be relinquished:
(i) 'free-choice' ,
(ii) QM is "local" ,
(iii) QM is "complete" ,
(iv) some other (implicit, currently unidentified) assumption .
The validity of the argument itself requires the acceptability of a certain type of 'counterfactual reasoning'. What I have in mind is a principle which asserts
merely that
there would have been definite outcomes in the counterfactual cases.
Taken on its own, the principle would
not permit an
a priori assignment of specific values to any of the outcomes in the counterfactual cases. [... And, as far as I can tell, nowhere in the argument is such an assignment required to be made.]
Perhaps such a principle is
not the same as "CFD", i.e. "counterfactual definiteness", and so I am
incorrect in my
post #477 characterization of "CFD" (repeated at the top of this post) [... at later time, I would like to look into this question of 'definition' in more detail]. Therefore, I will return to my earlier nomenclature of using the expression "CF" ("counterfactuality") to denote the notion of 'counterfactual reasoning' in general.
Finally, the question I wish to raise (at least, preliminarily) is the following:
What, if anything, is wrong with the type of CF employed in the argument of the example below?
_______________________________________
Example
Let us formulate an argument from the perspective of the mutual rest frame of Alice and Bob.
Suppose that at time t
1 Alice makes a 'free-choice' to measure the spin component of her incoming particle along some axis and that at a later time t
2 the outcome has been registered. Let Bob's laboratory be situated
farther from the source than Alice's laboratory such that he can invoke a 'free-choice' of his own at a time t
3 after t
2, with subsequent registration occurring at a time t
4.
So, we have
t
1 [Alice chooses] < t
2 [Alice gets result] < t
3 [Bob chooses] < t
4 [Bob gets result] .
Next, consider the spacetime region
A temporally bounded by t
1 and t
2, and spatially bounded by the walls of Alice's laboratory. Similarly, consider the spacetime region
B temporally bounded by t
3 and t
4, and spatially bounded by the walls of Bob's laboratory. Finally, assume that Bob's laboratory (although farther from the source than Alice's) is still close enough to the source so as to ensure a
spacelike separation of the two spacetime regions
A and
B.
Consider now the following counterfactuals (where
a and
a' are nonparallel unit vectors):
(1) Alice chooses to measure the spin component along the
a-axis;
(2) Alice chooses to measure the spin component along the
a'-axis.
Let us fix our attention to a time t, where t
2 < t < t
3. In case (1), Quantum Mechanics would inform Alice that she is justified in ascribing an eigenstate of S
a as a characterization of the 'information' relevant to region
B for
any measurement Bob may happen to choose, whereas, in case (2), Quantum Mechanics would inform Alice that she is justified in ascribing an eigenstate of S
a'.
Since Alice's measurement choice as well as the registration of the associated outcome are each comprised of events which are "local" to the spacetime region
A, it follows from "local causality" that the 'real factual situation' in spacetime region
B must be
independent of the cases (1) and (2). Yet, in case (1) an eigenstate of S
a would apply, whereas in case (2) an eigenstate of S
a' would apply.
Thus, two (actually ... infinitely many)
distinct quantum states can apply to the
same 'real factual situation' in region
B. Since these
distinct states have
distinct physical implications in connection with the various possible measurements Bob has at his disposal to perform, it follows that
at most one of these states (if
any, at all) can provide a "complete" characterization of the relevant 'information'.
From this, we see that – in relation to the various measurements from which Bob can choose – the "quantum-mechanical state" which Alice ascribes to region
B cannot in general provide a "complete" characterization of relevant 'information'.
Therefore, Quantum Mechanics is "incomplete".