VincentYu comments on On the importance of taking limits: Infinite Spheres of Utility - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (58)
I disagree that the mathematics of original problem is ill-posed, and I think DanielLC made the same point. The point of contention seems to center on the use of infinities in the original problem, which is indeed an issue if they were manipulated as real numbers, but they were not. It is perfectly acceptable and mathematical to have a countably infinite set of objects, and to define a sequence of subsets corresponding to the time evolution of that set. Infinite sets are not defined as the limit of some sequence of finite sets! There is no ambiguity in the mathematics of original problem.*
Because the use of infinity in the original problem is not in the sense of a limit, there is no good reason to think that we should take limits, or that the limits of the solutions to the finite problems should correspond in any way to the solutions of the original problem.
Where there are ambiguities are in the use of the word "utility" and similar concepts as though they were well-defined in this context. And in this sense, I agree that the original problem is ill-posed.
* There are mathematical ambiguities in an unfavorable reading of the original problem, but the following steelman removes them: Biject the people with the natural numbers, and then transfer the nth person on day n.
I would like to include this issue in the post, but I want to make sure I understand it first. Tell me if this is right:
If that’s what you’re saying, I have a couple of questions.
Do you view the paradox as therefore unresolvable as stated, or would you claim that a different resolution is correct?
If I carefully restricted my claim about ill-posedness to the question of which choice is better from a utilitarian sense, would you agree with it?
That's an accurate interpretation of my comment.
I do think that confusion arises in this context from the concept of "utility", but not because "utility only serves as a basis on which to make decision for finite problems." The "utility" in the problem is clearly not that of VNM-utility (of which I previously gave a brief explanation) because we not assigning utility to actions, decisions, or choices (a VNM-utility function U would generally have no problem responding to an infinite set of choices, as it simply says: do argmax_{choice}(U(choice))). This severely undermines what we can do with the "utility" in the problem because we are left with the various flavors of aggregative utilitarianism, which suffer from intractable problems even in finite situations! Attempting to extend them to the situation at hand is problematic (and, as Kaj_Sotala remarked, dealing with infinities in aggregative consequentialism is the topic of one of Bostrom's papers).
I think that the appearance of the paradox is a consequence of unfamiliarity with infinite sets, and that it is not too surprising that our intuition appears to contradict itself in this context (by presenting each option as better than the other). The contradictory intuitions don't correspond to a logical contradiction, so the apparent paradox needs no resolution. The actual problem (choosing between the two options) is a matter of preference, just as the choice between strawberry and chocolate is a matter of preference.
Absolutely. I think aggregative utilitarianism (as a moral theory) is screwed even in finite scenarios, much less infinite scenarios. (But I also think aggregative utilitarianism is a good but ill-defined general standard for comparing consequences in real life.)
Ok, I think I've got it. I'm not familiar with VNM utility, and I'll make sure to educate myself.
I'm going to edit the post to reflect this issue, but it may take me some time. It is clear (now that you point it out) that we can think of the ill-posedness coming from our insistence that the solution conform to aggregative utilitarianism, and it may be possible to sidestep the paradox if we choose another paradigm of decision theory. Still, I think it's worth working as an example, because, as you say, AU is a good general standard, and many readers will be familiar with it. At the minimum, this would be an interesting finite AU decision problem.
Thanks for all the time you've put into this.