I’m having difficulty following this comment. I don’t know what you mean by a “symbol pushing game”. Also, does box modality simply refer to modal logic?
Anyway, re: problems like Perfect Parfit’s Hitchhiker, proving you win by paying still requires you to define what the predictor actually predicts. Otherwise we can’t say that a never paying agent doesn’t end up in town and hence win. So I don’t understand how this avoids the “problematic consequences of non-actual decisions”.
I’m having difficulty following this comment. I don’t know what you mean by a “symbol pushing game”. Also, does box modality simply refer to modal logic?
Anyway, re: problems like Perfect Parfit’s Hitchhiker, proving you win by paying still requires you to define what the predictor actually predicts. Otherwise we can’t say that a never paying agent doesn’t end up in town and hence win. So I don’t understand how this avoids the “problematic consequences of non-actual decisions”.