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.

AlexMennen 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.

Comment author: AlexMennen 26 July 2014 12:14:30AM *  1 point [-]

This is equivalent to , since is an obvious lie.

Um... what? I don't see the relation between that and the previous line.

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.