Not necessarily, a variant of TDT could work without logical specification of decisions, it only needs some way of referring to the decision as part of the environment, and tools for figuring out what other facts about the environment follow from the fact that is the decision. So, "self-referential", "reflexive" and "non-independent" could work, but "logical" doesn't seem to capture what's going on. See this discussion between Wei Dai and myself.
Not necessarily, a variant of TDT could work without logical specification of decisions ...
Would you give a concrete example of what you mean? Right now, I seem to be in the same place where Wei Dai was when he wrote
And you're still using it as a logical fact, i.e., deducing logical consequences from it, right?
I feel like you must be making a point that I'm not getting...
I'm also not seeing the relevance of your reply to him.
When you write:
...... it only needs some way of referring to the decision as part of the environment, and tools for figuring o
In my recent post, I outlined 5 conditions that I'd like a decision theory to pass; TDT, UDT and ADT pass them, while CDT and EDT don't. I called decision theories that passed those conditions "advanced decision theories", but that's probably not an optimal name. Can I ask you to brainstorm some other suggestions for me? (I may be writing a follow-up soon.)
As usual, it's best to brainstorm on your own before reading any of the comments. You can write down your ideas, then check if any have already been suggested, then comment with the new ones.
Thanks!