Basically agree, and it’s nearly the same point I was trying to get at, though by less supposing utility functions are definitely the right thing. I’d leave open more possibility that we’re wrong about utility functions always being the best subclass of preference relations, but even if we’re wrong about that our solutions must at least work for utility functions, they being a smaller set of all possible ways something could decide.
Basically agree, and it’s nearly the same point I was trying to get at, though by less supposing utility functions are definitely the right thing. I’d leave open more possibility that we’re wrong about utility functions always being the best subclass of preference relations, but even if we’re wrong about that our solutions must at least work for utility functions, they being a smaller set of all possible ways something could decide.