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.

DuncanS comments on two puzzles on rationality of defeat - Less Wrong Discussion

4 Post author: fsopho 12 December 2011 02:17PM

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

Comments (55)

You are viewing a single comment's thread.

Comment author: DuncanS 13 December 2011 08:30:47PM 0 points [-]

As a point of detail, if P1, P2 and P3 imply T, then R,P1,P2 and P3 can only imply ~T if the system R,P1,P2,P3 is inconsistent. To fix this in your argument, simply have R replace one of the other axioms rather than supplement it.

Other than that, I can only recommend what others have said about Bayes theorem - it is the correct weapon with which to approach problems of this type.