You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Vaniver comments on A Pure Math Argument for Total Utilitarianism - Less Wrong Discussion

-5 Post author: Xodarap 27 October 2013 05:05PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (36)

You are viewing a single comment's thread. Show more comments above.

Comment author: Yvain 27 October 2013 07:33:16PM 1 point [-]

If you change the value of "medium" from "1" to "-5" while leaving the other two states the same, your conclusion no longer holds. For example, on your last graph, (very good, medium) would outrank (very good), even though the former has a value of -2 and the latter of +3. This suggests your system doesn't allow negative utilities, which seems bad because intuitively it's possible for utility to sometimes be negative (eg euthanasia arguments).

Comment author: Vaniver 27 October 2013 08:01:47PM 0 points [-]

This suggests your system doesn't allow negative utilities, which seems bad because intuitively it's possible for utility to sometimes be negative (eg euthanasia arguments).

It must allow negative numbers, or it's not a group, as (R+,+) is not a group. (Each element must has an inverse which returns that element to the identity element, which for this particular free group is "no one alive".)

However, I believe this specific issue is solved by the lattice structure. If "medium" were "-5" instead of "1", when you add "medium" to any universe, you create a lattice element below the original universe, because we know it is worse than the original universe.