I think some might be slightly troubled by hearing that logic is not causal. But I agree.
One can _test_ a set of statements to see if they are valid logical deductions from another set of statements. Even if true, this does not mean that the deducible statements are _caused_.
In some cases, that statement from above (the deduced one) might be 'realized' (noticed by people) before its premises are!
We might even be able to logically prove it is true without the other set of statements! Why? There are multiple logical paths (not always mapping to reality) that _could_ prove a particular statement.
One can _test_ a set of statements to see if they are valid logical deductions from another set of statements. Even if true, this does not mean that the deducible statements are _caused_.
In some cases, that statement from above (the deduced one) might be 'realized' (noticed by people) before its premises are!
We might even be able to logically prove it is true without the other set of statements! Why? There are multiple logical paths (not always mapping to reality) that _could_ prove a particular statement.