(I’m probably rehashing what is already obvious to all readers, or missing something, but:)
That seems like a much less elegant and practical solution to me.
’Course, which Nesov acknowledged with his closing sentence, but even so it’s conceivable, which indicates that the focus on logical facts isn’t a necessary distinction between old and new decision theories. And Nesov’s claim was only there there is no need to focus on logical-ness as such to explain the distinction.
And you’re still using it as a logical fact, i.e., deducing logical consequences from it, right?
Does comprehensive physical knowledge look any different from decompressed logical knowledge? Logical facts seem to be facts about what remains true no matter where you are, but if you know everything about where you are already then the logical aspect of your knowledge doesn’t need to be acknowledged or represented. More concretely, if you have a detailed physical model of your selves, i.e. all instantiations of the program that is you, across all possible quantum branches, and you know that all of them like to eat cake, then there’s no additional information hidden in the logical fact “program X, i.e. me, likes to eat cake”. You can represent the knowledge either way, at least theoretically, which I think is Nesov’s point, maybe?
But this only seems true about physically instantiated agents reasoning about decisions from a first person perspective so to speak, so I’m confused; there doesn’t seem to be a corresponding “physical” way to model how purely mathematical objects can ambiently control other purely mathematical objects. Is it assumed that such mathematical objects can only have causal influence by way of their showing up in a physically instantiated decision calculus somewhere (at least for our purposes)? Or is the ability of new decision theories to reason about purely mathematical objects considered relatively tangential to the decision theories’ defining features (even if it is a real advantage)?
(I’m probably rehashing what is already obvious to all readers, or missing something, but:)
’Course, which Nesov acknowledged with his closing sentence, but even so it’s conceivable, which indicates that the focus on logical facts isn’t a necessary distinction between old and new decision theories. And Nesov’s claim was only there there is no need to focus on logical-ness as such to explain the distinction.
Does comprehensive physical knowledge look any different from decompressed logical knowledge? Logical facts seem to be facts about what remains true no matter where you are, but if you know everything about where you are already then the logical aspect of your knowledge doesn’t need to be acknowledged or represented. More concretely, if you have a detailed physical model of your selves, i.e. all instantiations of the program that is you, across all possible quantum branches, and you know that all of them like to eat cake, then there’s no additional information hidden in the logical fact “program X, i.e. me, likes to eat cake”. You can represent the knowledge either way, at least theoretically, which I think is Nesov’s point, maybe?
But this only seems true about physically instantiated agents reasoning about decisions from a first person perspective so to speak, so I’m confused; there doesn’t seem to be a corresponding “physical” way to model how purely mathematical objects can ambiently control other purely mathematical objects. Is it assumed that such mathematical objects can only have causal influence by way of their showing up in a physically instantiated decision calculus somewhere (at least for our purposes)? Or is the ability of new decision theories to reason about purely mathematical objects considered relatively tangential to the decision theories’ defining features (even if it is a real advantage)?