What I meant by that statement was the idea that CDT works by basing counterfactuals on your action, which seems a reasonable basis for counterfactuals since prior to making your decision you obviously don’t know what your action will be. TDT similarly works by basing counterfactuals on your decision, which you also don’t know prior to making it.
Kant, on the other hand, bases his counter-factuals on what would happen if everyone did that, and it is possible that his will involve assuming things I know to be false in a sense that CDT and TDT don’t (e.g. when deciding whether to lie I evaluate possible worlds in which everyone lies and in which everyone tells the truth, both of which I know not to be the case).
Let’s say I have to decide what to do at 2′o’clock tomorrow. If I light a stick of dynamite, I will be exploded. If I don’t, then I won’t. I can predict that I will, in fact, not light a stick of dynamite tomorrow. I will then know that one of my counterfactuals is true and one is false.
I’m not sure I agree with myself. I think my analysis makes sense for the way TDT handles Newcomb’s problem or Prisoner’s dilemma, but it breaks down for Transparent Newcomb or Parfit’s Hitch-hiker. In those cases, owing to the assistance of a predictor, it seems like it is actually possible to know your decision in advance of making it.
Well you always know that one of your counterfactuals is true.
There is no need to make that assumption. The whole collection of possible decisions could be located on an impossible counterfactual. Incidentally, this is one way of making sense of Transparent Newcomb.
Would you ever actually be in a situation where you chose an action tied to an impossible counterfactual? Wouldn’t that represent a failure of Omega’s prediction?
It matters what you do when you are in an actually impossible counterfactual, because when earlier you decide what decision theory you’d be using in that counterfactual, you might yet not know that it is impossible, and so you need to precommit to act sensibly even in the situation that doesn’t actually exist (not that you would know that if you get in that situation). Seriously. And sometimes you take an action that determines the fact that you don’t exist, which you can easily obtain in a variation on Transparent Newcomb.
When you make the precommitment-to-business-as-usual conversion, you get a principle that decision theory shouldn’t care about whether the agent “actually exists”, and focus on what it knows instead.
All I’m saying is that when you actually make choices in reality, the counterfactual you end up using will happen. When a real Kant-Decision-Theory user makes choices, his favorite counterfactual will fail to actually occur.
You could possibly fix that by saying Omega isn’t perfect, but his predictions are correlated enough with your decision to make precomittment possible.
You need a proof-system to ensure that you never assume anything which you know to be false.
ADT and some related theories have achieved this. I don’t think TDT has.
What I meant by that statement was the idea that CDT works by basing counterfactuals on your action, which seems a reasonable basis for counterfactuals since prior to making your decision you obviously don’t know what your action will be. TDT similarly works by basing counterfactuals on your decision, which you also don’t know prior to making it.
Kant, on the other hand, bases his counter-factuals on what would happen if everyone did that, and it is possible that his will involve assuming things I know to be false in a sense that CDT and TDT don’t (e.g. when deciding whether to lie I evaluate possible worlds in which everyone lies and in which everyone tells the truth, both of which I know not to be the case).
Well here is the issue.
Let’s say I have to decide what to do at 2′o’clock tomorrow. If I light a stick of dynamite, I will be exploded. If I don’t, then I won’t. I can predict that I will, in fact, not light a stick of dynamite tomorrow. I will then know that one of my counterfactuals is true and one is false.
This can mess up the logic of decision-making. There are http://lesswrong.com/lw/2l2/what_a_reduction_of_could_could_look_like/. This ensures that you can never figure out a decision before making it, which makes things simpler.
I’m not sure if this contradicts what you’ve said.
And I would agree exactly with your analysis about what’s wrong with Kant, and how that’s different from CDT and TDT.
I’m not sure I agree with myself. I think my analysis makes sense for the way TDT handles Newcomb’s problem or Prisoner’s dilemma, but it breaks down for Transparent Newcomb or Parfit’s Hitch-hiker. In those cases, owing to the assistance of a predictor, it seems like it is actually possible to know your decision in advance of making it.
Well you always know that one of your counterfactuals is true.
and Transparent Newcomb is a bit weird because one of the four possible strategies just explodes it.
There is no need to make that assumption. The whole collection of possible decisions could be located on an impossible counterfactual. Incidentally, this is one way of making sense of Transparent Newcomb.
Would you ever actually be in a situation where you chose an action tied to an impossible counterfactual? Wouldn’t that represent a failure of Omega’s prediction?
And since you always choose an action...
It matters what you do when you are in an actually impossible counterfactual, because when earlier you decide what decision theory you’d be using in that counterfactual, you might yet not know that it is impossible, and so you need to precommit to act sensibly even in the situation that doesn’t actually exist (not that you would know that if you get in that situation). Seriously. And sometimes you take an action that determines the fact that you don’t exist, which you can easily obtain in a variation on Transparent Newcomb.
When you make the precommitment-to-business-as-usual conversion, you get a principle that decision theory shouldn’t care about whether the agent “actually exists”, and focus on what it knows instead.
Yes. The actually impossible counterfactuals matter. All I’m saying is that the possible counterfactuals exist.
If you took such an action, wouldn’t you not exist? I request elaboration.
(You’ve probably misunderstood, I edited for clarity; will probably reply later, if that is not an actually impossible event.)
New reply: Yes, I agree.
All I’m saying is that when you actually make choices in reality, the counterfactual you end up using will happen. When a real Kant-Decision-Theory user makes choices, his favorite counterfactual will fail to actually occur.
You could possibly fix that by saying Omega isn’t perfect, but his predictions are correlated enough with your decision to make precomittment possible.