bahamagreen said:
I think the OP is using a logical extension of some form of proof by induction (like mathematical induction)... something like this:
Assume there is a detectable absolute frame.
If two objects are in relative motion, then one must measure at least one of the two objects to be in relative motion with respect to the detectable absolute frame.
This relative distinct motion to the detectable frame would be "actual" motion.
The inference of "actual" motion holds when the absolute frame is detectable.
Now alter the assumption of the absolute frame and make it undetectable.
If two objects are in relative motion, then one must conclude at least one of the two objects to be in relative motion with respect to the undetectable absolute frame.
This relative indistinct motion to the undetectable frame would be "actual" motion.
The inference of "actual" motion holds when the absolute frame is undetectable.
Now alter the assumption of the absolute frame and make it nonexistent.
Notice that the nonexistent absolute frame and the undetectable absolute frame are indistinguishable from each other.
Therefore the inference of "actual" motion still holds when there is no absolute frame.
Maybe the OP can verify that this is the form of his thought line?
Thanks bahamagreen. I think I allowed my frustration to get the better of me and it affected my formulation of the OP, and a number of my other posts on here recently, so I don't think that has been helpful.
Context
The question stems from a philosophical discussion, on another forum, about the nature of time and the validity of presentism; the case against presentism was made solely on the basis of Einsteinian relativity, and particularly RoS; that may be part of the issue, because I am taking points that were made in that discussion to be representative of ER, and trying to develop my understanding on that basis. I'll try to distill the point, from that discussion, which lead to the question of the OP.
Basic point
The test of the PoR quoted above is that an observer cannot determine the absolute nature of their motion, by a co-moving experimental set-up. This was explained to me as, an observer cannot determine if they are "in motion" or "at rest", in an absolute sense.
The example that was used to explain this, was the everyday example of an observer on a train. It seems intuitive to say that an observer, on board a moving train, is "in motion"; but it was explained that this cannot actually be determined; the relative motion between the two could equally be attributed to the motion of the earth. The equivalence principle was used to explain how this can be extended to accelerating reference frames.
So, here we have the case where an observer cannot determine if they are "in motion" or "at rest"; but an observer can easily determine their motion relative to another object or even themselves, using a co-moving experimental set up.
While I understand the idea of being "at rest relative to something", the issue lies in the potential that, while an observer labels themselves as being "at rest" they might actually be "in motion". Again, using the example of the observer on the train; they will label themselves as being "at rest", because they are always at rest relative to themselves, but if the train is actually "in motion" then they too are "in motion" by virtue of being on board the train; this despite labeling themselves and the train, relative to which they are at rest, as "at rest". This, I think, has implications for the deductions we can draw from from the information we have about reference frames.
At this juncture, the point of "actual motion" is usually raised, to state that it doesn't make sense.
Deduction
The understanding I have arrived at, by virtue of the reasoning I have applied, is that "actual motion" does make sense, and that it also has implications for the conclusions we draw.
I hadn't really formulated the logic as you have outlined above, but it seems to be along similar lines to the understanding that my reasoning has lead me to; I'm not sure if it is precisely the same.
Without reference to an absolute reference frame, we can consider only relative motion; again, taking two observers at rest relative to each other, in order for relative motion to occur, at least one of them has to actually move, otherwise they would remain at rest relative to each other.
Again, they can determine their motion relative to the other observer, but cannot determine if it was they that actually moved i.e. they cannot determine if they are "in motion" or "at rest". This is despite the fact that they label themselves as "at rest". So is it possible that their labeling of themselves, as being "at rest", is potentially incorrect, or is it possibly obscuring other relevant information, which might affect the conclusions that are drawn?