The most relevant philosophical disputes would be about whether to use “local miracle” counterfactuals rather than various backtracking counterfactuals, or logical/mathematical counterfactuals (Eliezer’s timeless decision theory idea).
Or reduce counterfactuals and get them out of the analysis of problem statement, rather than explicitly as part of the problem statement.
Decision theories that run on explicit notions of dependency only compete with each other on the correctness of informal dependence analysis established by guidelines (specific to a particular theory) for presenting dependencies. And for each such theory, we can find a problem statement where the guidelines collapse. Actual progress requires understanding where dependencies themselves come from (and for now it’s UDT/ADT).
Or reduce counterfactuals and get them out of the analysis of problem statement, rather than explicitly as part of the problem statement.
Decision theories that run on explicit notions of dependency only compete with each other on the correctness of informal dependence analysis established by guidelines (specific to a particular theory) for presenting dependencies. And for each such theory, we can find a problem statement where the guidelines collapse. Actual progress requires understanding where dependencies themselves come from (and for now it’s UDT/ADT).