Sewing-Machine comments on Dutch Books and Decision Theory: An Introduction to a Long Conversation - Less Wrong

19 Post author: Jack 21 December 2010 04:55AM

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

Comments (100)

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

Comment author: [deleted] 21 December 2010 07:27:16PM 5 points [-]

I don't know the background conflict. But at least one of taw's points is correct. Any prior P, of any agent, has at least one of the following three properties:

  1. It is not defined on all X -- i.e. P is agnostic about some things
  2. It has P(X) < P(X and Y) for at least one pair X and Y -- i.e. P sometimes falls for the conjunction fallacy
  3. It has P(X) = 1 for all mathematically provable statements X -- i.e. P is an oracle.

You aren't excused from having to pick one by rejecting frequentist theory.

To make use of a theory like probability one doesn't have to have completely secure foundations. But it's responsible to know what the foundational issues are. If you make a particularly dicey or weird application of probability theory, e.g. game theory with superintelligences, you should be prepared to explain (especially to yourself!) why you don't expect those foundational issues to interfere with your argument.

About taw's point in particular, I guess it's possible that von Neumann gave a completely satisfactory solution when he was a teenager, or whatever, and that I'm just showcasing my ignorance. (I would dearly like to hear about this solution!) Otherwise your comment reads like you're shooting the messenger.

Comment author: Eliezer_Yudkowsky 21 December 2010 07:56:28PM 1 point [-]

Logical uncertainty is an open problem, of course (I attended a workshop on it once, and was surprised at how little progress has been made).

But so far as Dutch-booking goes, the obvious way out is 2 with the caveat that the probability distribution never has P(X) < (PX&Y) at the same time, i.e., you ask it P(X), it gives you an answer, you ask it P(X&Y), it gives you a higher answer, you ask it P(X) again and it now gives you an even higher answer from having updated its logical uncertainty upon seeing the new thought Y.

It is also clear from the above that taw does not comprehend the notion of subjective uncertainty, hence the notion of logical uncertainty.

Comment author: Jack 21 December 2010 09:00:53PM 0 points [-]

attended a workshop on it once, and was surprised at how little progress has been made

Have any ideas?