AlexMennen comments on Intuitive cooperation - Less Wrong

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.