Noting that a world is impossible because the agents will not make the decisions that lead to that world does not mean that you can just make stuff up about that world since “anything is true about a world that doesn’t exist”.
If event S is empty, then for any Q you make up, it’s true that [for all s in S, Q]. This statement also holds if S was defined to be empty if [Not Q], or if Q follows from S being non-empty.
Yes you can make logical deductions of that form, but my point was that you can’t feed those conlusions back into the decision making process without invalidating the assumptions that went into those conclusions.
If event S is empty, then for any Q you make up, it’s true that [for all s in S, Q]. This statement also holds if S was defined to be empty if [Not Q], or if Q follows from S being non-empty.
Yes you can make logical deductions of that form, but my point was that you can’t feed those conlusions back into the decision making process without invalidating the assumptions that went into those conclusions.