Well, then, it seems like almost all the difficulty is in the value and formalization problems. Once we’ve really formalized it, it’s 99% of the way to machine code from where it started as human intuition.
Via, say, doubly-indirect meta-ethics? Well, we need to decide that that’s really the decision algorithm that’s going to result in the right answer, both that it’s ethically correct and predictably converges on that ethically correct result.
That’s the “value problem”
That’s the “formalization problem”
This is the “value loading problem”
Well, then, it seems like almost all the difficulty is in the value and formalization problems. Once we’ve really formalized it, it’s 99% of the way to machine code from where it started as human intuition.
Doesn’t that mean the value loading strategy is an alternative to the (direct) formalization strategy?
Via, say, doubly-indirect meta-ethics? Well, we need to decide that that’s really the decision algorithm that’s going to result in the right answer, both that it’s ethically correct and predictably converges on that ethically correct result.