Edit: I have changed my notation to make it consistent with
@entropy1
entropy1 said:
Suppose the system under examination is fully deterministic. Does that imply that effects follow causes and not precede them?
For instance, if in this system Alice would respond to event X with A, but, if instead of X event Y would have happened, with B, does that mean she has no choice between A and B in that case?
For any discussion of causality it is absolutely essential to be clear about what definition you are using for causality. Otherwise you have people arguing who think they are arguing about substance when they are actually just arguing because they are using different definitions. Here are some suggested definitions, for clarity:
https://en.wikipedia.org/wiki/Causality
Necessary causes: If
x is a necessary cause of
y, then the presence of
y necessarily implies the prior occurrence of
x. The presence of
x, however, does not imply that
y will occur.
Sufficient causes: If
x is a sufficient cause of
y, then the presence of
x necessarily implies the subsequent occurrence of
y. However, another cause
z may alternatively cause
y. Thus the presence of
y does not imply the prior occurrence of
x.
So, given the laws of classical physics, and in particular the time reversibility, if we have an initial condition ##\cancel{A} \ Y## then we can apply the laws of physics to calculate a final condition ##B## at any later time. However, we can also start from the final condition ##B## and use the laws of physics to calculate backwards to the initial condition ##\cancel{A} \ Y##. So ##\cancel{A} \ Y## implies ##B## and ##B## implies ##\cancel{A} \ Y##.
Thus we see that ##\cancel{A} \ Y## is both a necessary and a sufficient cause of ##B##. However, by the definitions above ##B## fails to be a necessary cause of ##\cancel{A} \ Y## because ##B## did not occur prior to ##\cancel{A} \ Y##. Similarly, ##B## fails to be a sufficient cause of ##\cancel{A} \ Y## because ##\cancel{A} \ Y## did not occur subsequent to ##B##.