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.

Adele_L comments on Intuitive cooperation - Less Wrong Discussion

16 Post author: Adele_L 25 July 2014 01:48AM

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

Comments (14)

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

Comment author: Adele_L 26 July 2014 01:44:05AM 1 point [-]

DR(B) = C is easily seen to be false, since DR always defects (by definition), and in general, ~X is logically equivalent to X -> False. So we take X to be the statement from the line above, and place DR(B) = C for False.

Sorry that wasn't more clear.

Comment author: AlexMennen 26 July 2014 02:03:24AM 1 point [-]

Oh, so it's equivalent to "". Everything makes sense now. At first I thought you were saying it was equivalent to the claim "to say , we would need ", and I was confused.