“If the inequitable society has greater total utility, it must be at least as good as the equitable one” would still hold though, no?
Well… …. yeah, technically. But for example in the model ( worlds={A, B}, f(W)=sum(log(felicity(e)) for e in population(W)) ), such that world A=(2,2,2,2), and world B=(1,1,1,9). f(A) ≥ f(B), IE ¬(f(A) < f(B)), so ¬(A < B), IE, the equitable society is also at least as good as the inequitable, higher sum utility one. So if you want to support all embeddings via summation of an increasing function of the units’ QoL.. I’d be surprised if those embeddings had anything in common aside from what the premises required. I suspect anything that agreed with all of them would require all worlds the original premises don’t relate to be equal, IE, ¬(A<B) ∧ ¬(B<A).
… looking back, I’m opposed to your implicit definition of a ” “baseline” ”, the original population partial ordering premises are the baseline, here, not total utilitarianism.
Well… …. yeah, technically. But for example in the model ( worlds={A, B}, f(W)=sum(log(felicity(e)) for e in population(W)) ), such that world A=(2,2,2,2), and world B=(1,1,1,9). f(A) ≥ f(B), IE ¬(f(A) < f(B)), so ¬(A < B), IE, the equitable society is also at least as good as the inequitable, higher sum utility one. So if you want to support all embeddings via summation of an increasing function of the units’ QoL.. I’d be surprised if those embeddings had anything in common aside from what the premises required. I suspect anything that agreed with all of them would require all worlds the original premises don’t relate to be equal, IE, ¬(A<B) ∧ ¬(B<A).
… looking back, I’m opposed to your implicit definition of a ” “baseline” ”, the original population partial ordering premises are the baseline, here, not total utilitarianism.