Thanks, this explains the “would not have been your strategy” thing.
So, when you talk about “X is not my strategy”, you refer to particular time: X is not the algorithm you implement at 10AM, but X is the algorithm you implement at 11AM. When you said “before I decided at 10:30AM, X wasn’t my strategy”, I heard “before I decided at 10:30AM, at 11AM there was no fact about which strategy I implement, but after that, there appeared a fact that at 11AM I implement X”, while it now seems that you meant “at 10AM I wasn’t implementing X; I decided to implement X at 10:30AM; at 11AM I implemented X”. Is the disagreement resolved? (Not the original one though, of the top-level comment—that was about facts.)
Yes.
I can’t see why you would interpret my position in a way that is both needlessly complicated (taking “before” to be a statement about some sort of meta-time rather than just plain normal time?) and doesn’t make any sense whatsoever, though.
Well, it’s a common failure mode, you should figure out some way of signalling that you don’t fall in it (and I should learn to ask the right questions). Since you can change your mind about what to do at 11AM, it’s appealing to think that you can also change the fact of the matter of what happens at 11AM. To avoid such confusion, it’s natural enough to think about “the algorithm you implement at 10AM” and “the algorithm you implement at 11AM” as unrelated facts that don’t change (but depend and are controlled by particular systems, such as your source code at given time, or even “acausally”, or “logically” controlled by the algorithms in terms of which they are defined).
Thanks, this explains the “would not have been your strategy” thing.
So, when you talk about “X is not my strategy”, you refer to particular time: X is not the algorithm you implement at 10AM, but X is the algorithm you implement at 11AM. When you said “before I decided at 10:30AM, X wasn’t my strategy”, I heard “before I decided at 10:30AM, at 11AM there was no fact about which strategy I implement, but after that, there appeared a fact that at 11AM I implement X”, while it now seems that you meant “at 10AM I wasn’t implementing X; I decided to implement X at 10:30AM; at 11AM I implemented X”. Is the disagreement resolved? (Not the original one though, of the top-level comment—that was about facts.)
Yes. I can’t see why you would interpret my position in a way that is both needlessly complicated (taking “before” to be a statement about some sort of meta-time rather than just plain normal time?) and doesn’t make any sense whatsoever, though.
Well, it’s a common failure mode, you should figure out some way of signalling that you don’t fall in it (and I should learn to ask the right questions). Since you can change your mind about what to do at 11AM, it’s appealing to think that you can also change the fact of the matter of what happens at 11AM. To avoid such confusion, it’s natural enough to think about “the algorithm you implement at 10AM” and “the algorithm you implement at 11AM” as unrelated facts that don’t change (but depend and are controlled by particular systems, such as your source code at given time, or even “acausally”, or “logically” controlled by the algorithms in terms of which they are defined).