vanesch said:
There has been no indication yet that we have to take on that stance. In fact, taking on that stance would immediately mean that we cannot reason about anything. So such a radical position is not needed.
That is not what has been said. It's not about the
invality if logic but much more the
limitations recognized of formal logic to deal with the real world.
Dialectics, as has been said,
maintains formal logic but also
overcomes its limitations.
There is absolutely nothing "logical" about requiring the observations to be independent ! This simply follows from two ASSUMPTIONS (which turn out not to hold, given the results). The two assumptions are the following:
1) There IS only one outcome at Bob's, for each of the measurements that he does (and same for Alice).
2) The principle of locality holds, meaning that everything that happens at one event is only determined by its immediate neighbourhood, and not by anything remote.
The first point can seem self-evident, but actually isn't: we know that quantum-mechanical descriptions are based upon the superposition principle, where two "classical" states are present at once.
The second point is only suggested by relativity.
It is only when we take on these two assumptions, that the EPR-Bell situation leads to difficulties. We are far from having to reject any logic !
And again, it is not about
rejecting formal logic.
I have only seen you explain experiments that had nothing to do with the EPR situation...
Except one.
Yes, that is true, but that was only to explain some things. I recall that I never mentioned this to be real artefacts of experimens in which quantum behaviour shows up.
The table is a list of all POTENTIAL outcomes of the 3 measurements, of which only 1 can be actually done. Its very construction makes hence the assumption that the "potential outcome to a measurement that cannot be done" has a meaning - which it has, if there is a pre-determined value into each of the INDEPENDENT objects for each of the POTENTIAL outcomes. But that is an assumption, and one which is visibly erroneous when doing quantum mechanics. In the same way as you get erroneous results if you would set up a table for momentum + position of a particle, you also get erroneous results if you assume that the entries in the table exist. As such, it is not a logical construction, it is based upon a physical assumption, namely that there are pre-determined outcomes "present" in the object.
The *suggestion* that such pre-determined outcomes might exist within the object - despite the fact that this is quantum-mechanically forbidden - simply follows from the fact that this would be the evident explanation for the perfect anti-correlations.
The concept of "object" follows from the locality requirement, that requires you to treat spatially separate things as independent objects. Drop this hypothesis (as do the Bohmians) and the problem goes away (as relativity does go away). The "values" are simply assigned to the different objects, because they are the only trivial way to explain the perfect anti-correlations.
Yes, but the point that you miss then that any detectable object is spatially spread, this would then mean also that it contains "independent objects" - by your same reasoning! - rather as one object! So, if on that account the world is treated, independent objects wouldn't exist!
So when can we know wether an object - any object at all! - can be treated as one object, or as a constellation of independent objects?

What do you mean ? I think this must be one of these misunderstandings of MWI again...
The Alices and Bobs in the MWI scheme observe exactly the same outcomes as the single Alice and Bob would in standard QM.
Read the longer post which refutes MWI on logic grounds.
Absolutely not. Both Bohmian mechanics and MWI treat the problem correctly, without introducing any mechanism beyond their basic postulates. MWI treats quantum mechanics entirely correctly, by applying the axioms of quantum theory as well to the "observations" as to the microphysics (that is, by allowing them to be in superposition) ; Bohmian mechanics treats the particles + wave dynamics in an entirely deterministic way.
My preference goes however, to MWI, for one single reason: Bohmian mechanics cannot be defined as a geometrical object on relativistic spacetime, while MWI can (or in other words, MWI can be written out in an entirely lorentz-invariant way, while Bohmian mechanics can't).
See my post on MWI.
You have no idea of the disaster you obtain when you give up logic. The statement A = A means, that if you say something about the world, that you say something about the world. It means that if you have had the observation that the light went on, that you had the observation that the light went on.
Such "disaster" does not arise, since we ain't given up formal logic!
Dialectics is not a replacement of formal logic, but instead a logic tool that builds on formal logic, but recognizes and overcomes it's limitations.
No, it means that a statement about some physical observation has the same truth value as itself.
What you state there is that formal logic deals about logical statements, and not about the real world. Even if "things" in reality, might be referenced, this reference is strictly within the formal world of logic.
There is nothing there in logic, which contemplates real world objects, etc.
That is absolutely not what a logic statement is about. Logic doesn't say anything about any time evolution of the truth values of a statement or
whatever. In fact there's no such thing as the "change of the truth value of a statement", because a statement is a-temporal. The statement that 1+3 = 4 has no temporal dependence or whatever.
In logic that is correct, since we don't deal with real objects, but only with abstract figures.
However in the world itself, this logic can not always be applied.
1 cloud + 1 cloud might equal 1 cloud, that is the clouds themselves may merge, and what we previously saw as two separate cloud, becomes one new cloud.
Still in numbers/abstract form, 1+1=2 still applies, only the underlying reality we speak about, does not hold on to this formality.
This is of course because what for logic is a requirement, that we can speak of independend and seperable "objects", is not a requirement for the world itself.
And likewise, as it is for the mathematician a requirement for dealing with infinities to start out from the finite, yet this is not a requirement for the world itself.
You seem to confuse a series of statements which can be parametrised with a single statement. If you have several statements, parametrised in time, say, then some of these statements can take on the truth value T and others, F. The logical tautology A = A doesn't mean, at all, that all these statements have to have the same truth value!
The "true" problem then is of course if such logically valid statements exist, that exactly reflect what goes on in the real world. That is of course the domain physics deals with.
For example you could make a logical valid statement about an object and from the dynamics of the situation you could describe it's motion, which would incorporate making statements about where in the world the object would need to be found at any given time.
So this formaly would then state that an object at some given time would either be at location x, or not be a location x, but not both or something else.
So, there you already see the limitations of such formalism.
The question then is: is there a complete and consistent description of the world possible at all, in which what we recognize on abstract/formal and mathematical grounds as true, also is true in the real world?
Goedel's theorem is often misquoted. It simply says that any formal system that contains the natural numbers, contains syntactically correct statements for which no proof is available, and for which no proof is available for the negation of the statement either.
The result can be more generalized to formalized systems.
But I'm not exactly sure about what constraints the formalized or formalizable system must have.
This is an over-reaction to a much more down-to-earth problem. The EPR-Bell paradox is based upon assumptions. Now, when we derive a contradiction from a set of assumptions, the usual reaction is not to doubt the workings of logic, but to doubt the validity of the assumptions.
This is in no way different.
No, this is completely wrong, in the sense that the limitations of formal logic were discovered long time before quantum mechanics showed us these paradoxes.
Dialectics is not a reaction to any such physical discoveries, yet is applicable to these and other fields of knowledge.
The notions of dialectics for instance about motion would recognize that an object in motion must at the same time be at some place, and not be at some place, for otherwise in the formal/abstract logic, as for example was laid about by Zeno, paradoxes occur which make motion impossible.
This recognition however was made independent of and long before quantum mechanics ran into this, but it can be said that the way quantum mechanics treats this issue, for sure gives rise to recognizing the valid perspective of dialectics on such matters.
For logic, motion is problematic, since it can not deal with a fact of reality that an object is in some place and not in that place at the same time.
Logically seen an object that moves would be at any instance at an exact place. Quantum mechanics shows us that this does not reflect the real situation. So, in all these cases it can be show that dialectics deals with these matters more delicately.
We made two assumptions, which can both be wrong. The first one is that there are unique outcomes. Quantum theory itself already tells us that this is not true: if you apply the axioms of quantum theory to the observers themselves, (Alice and Bob), then you find that quantum theory tells you that they are not in a unique state of observation, but rather that the two observations occur in the overall state description (that's MWI btw, but it simply follows from the coherent application of the axioms of quantum theory).
The theory which gives us the predictions (quantum theory) also contains the solution: superposition of outcomes.
The second one is locality. Although relativity is highly suggestive of locality, it needn't be so. Maybe the "past lightcone business" is not correct. This is suggested by any "collapse" model, and by Bohmian mechanics.
So we are far, far away from having to say that logic is not valid.
Logic in it's own domain is of course still valid, and I have said nothing that would contradict that point of view. Dialectics incorporates formal logic (which is in other words, not the same as rejecting it, but the opposite of it), but also surpasses it.
In your above paragraph you already recognize the very limitations of formal logic and formal statements that can be made about the world.
Instead of inventing more and more complex formal constructions to overcome these limitations, dialectics deals with that in a more delicate way, by overcoming the limitations of logic itself.