There are pragmatic models of counterfactuals sufficient for scientific experiments, but there is no clear notion of what these models approximate, or what makes a good model. It’s different for actuality, where notions of both computation and physical world go into much more detail than practice can handle.
The extreme examples of how the pragmatic models of counterfactuals break down illustrate the much more general problem: instead of an Oracle that thinks about existing only in a simulation you have things like bargaining, basically most multi-player games where the players are allowed to think informally. It’s just easier to characterize what’s going on in the extreme examples.
There are pragmatic models of counterfactuals sufficient for scientific experiments, but there is no clear notion of what these models approximate, or what makes a good model.
Well, not in the sense that we do know what the fundamental ontology of counterfactuals is. But then we don’t know if the universe is fundamentally deterministic or not, which is more or less the same thing. It’s not like theres a special problem about counterfactuals thats much worse than all the other problems.
There are pragmatic models of counterfactuals sufficient for scientific experiments, but there is no clear notion of what these models approximate, or what makes a good model. It’s different for actuality, where notions of both computation and physical world go into much more detail than practice can handle.
The extreme examples of how the pragmatic models of counterfactuals break down illustrate the much more general problem: instead of an Oracle that thinks about existing only in a simulation you have things like bargaining, basically most multi-player games where the players are allowed to think informally. It’s just easier to characterize what’s going on in the extreme examples.
Well, not in the sense that we do know what the fundamental ontology of counterfactuals is. But then we don’t know if the universe is fundamentally deterministic or not, which is more or less the same thing. It’s not like theres a special problem about counterfactuals thats much worse than all the other problems.