“I mean we wouldn’t suspect there is a fact of the matter about which formal model of computation (Turing machines, register machines, DFAs, Quantum Turing Machines etc..) is the true model. They are all valid formal constructs and we use whatever one seems most appropriate to a given question. So why would we suspect decision theory to be any different?”
We also have an entire field of study devoted to characterizing exactly when one model is equivalent to another, the power of each, etc. I would suspect decision theory to be very similar, and would expect to end up with a similar poset zoo, in particular claiming that certain decision theories are just straight up better than others assuming you have the power to implement them.
“I mean we wouldn’t suspect there is a fact of the matter about which formal model of computation (Turing machines, register machines, DFAs, Quantum Turing Machines etc..) is the true model. They are all valid formal constructs and we use whatever one seems most appropriate to a given question. So why would we suspect decision theory to be any different?”
We also have an entire field of study devoted to characterizing exactly when one model is equivalent to another, the power of each, etc. I would suspect decision theory to be very similar, and would expect to end up with a similar poset zoo, in particular claiming that certain decision theories are just straight up better than others assuming you have the power to implement them.