On Mon, 2013-07-29 at 16:26 -0400, Fool wrote: > Curry's paradox hasn't gotten much attention in Agora. It came up in > discussion a couple of times, and in terms of usage in-game, all I found > was someone CFJing a free-floating sentence "If this sentence is true, > then I win." That was about 10 years ago. > > Well, this isn't a free-floating sentence. I'm not claiming that I win > merely because I uttered "If this sentence is true, then I win", or the > mutually-referential version of that. > > The sentences in question are not directly self-referential or even > mutually-referential. This is more of a Curry-flavoured confused deputy, > with rule 2337 as the deputy. It says that the author can destroy a > promise with notice IFF the sentence in its "destruction by author > condition" slot is true. So: > > - Sentence A: I can do Y. > - Sentence B: IF (I can do X), THEN (Z is true). > - Rule 2337 says that (I can do X) IFF (sentence A is true) > - Rule 2337 says that (I can do Y) IFF (sentence B is true) > > As a result, R2337 says that (I can do X) IFF (IF (I can do X) THEN (Z > is true)).
You forgot the Gerontocracy. The "with notice" is modified by the Elder objections, thus breaking your loop. Also, Agora generally denies the law of the excluded middle; A iff B does not imply that A and B are both true, nor that they're both false, here. I'm not sure if it's reasonable to claim that sentence A is neither true or false here (although that should at least get you a trivial win by paradox), but I'm reasonable sure people will try. Finally, any method that achieves dictatorships via locking players out from gameplay for a week or more is typically frowned upon (there are definitely cases where I and coconspirators could have done this, but chose not to; being hated by the rest of Agora is generally not worth a dictatorship). Unless it's aimed at one player specifically, and the scam is an attempt to exact vengenance upon them, I guess. (That doesn't happen very often, though.) -- ais523
