Really enjoyed this post, my question is how does this intersect with issues stemming from other VNM axioms e.g. Independence as referenced by Scott Garrabrant?
It seems to me that you don’t get expected utility maximizers solely from not-strong-Incompleteness, as there are other conditions that are necessary to support that conclusion.
I haven’t dug into independence violations much, and don’t know what their analogues would be in the context of non-VNM coherence arguments, so I don’t know.
Something I have a vague inkling about based on what you and Scott have written is that the same method by which we can rescue the Completeness axiom i.e. via contracts/commitments may also doom the Independence axiom. As in, you can have one of them (under certain premises) but not both?
This may follow rather trivially from the post I linked above so it may just come back to whether that post is ‘correct’, but it might also be a question of trying to marry/reconcile these two frameworks by some means. I’m hoping to do some research on this area in the next few weeks, let me know if you think it’s a dead end I guess!
Really enjoyed this post, my question is how does this intersect with issues stemming from other VNM axioms e.g. Independence as referenced by Scott Garrabrant?
https://www.lesswrong.com/s/4hmf7rdfuXDJkxhfg/p/Xht9swezkGZLAxBrd
It seems to me that you don’t get expected utility maximizers solely from not-strong-Incompleteness, as there are other conditions that are necessary to support that conclusion.
I haven’t dug into independence violations much, and don’t know what their analogues would be in the context of non-VNM coherence arguments, so I don’t know.
Something I have a vague inkling about based on what you and Scott have written is that the same method by which we can rescue the Completeness axiom i.e. via contracts/commitments may also doom the Independence axiom. As in, you can have one of them (under certain premises) but not both?
This may follow rather trivially from the post I linked above so it may just come back to whether that post is ‘correct’, but it might also be a question of trying to marry/reconcile these two frameworks by some means. I’m hoping to do some research on this area in the next few weeks, let me know if you think it’s a dead end I guess!
Huh, sounds cool. Definitely worth investigating.