Supertask decision making

December 2, 2008

I have a little paper writing up the supertask puzzle I posted recently. I’ve added a second puzzle that demonstrates the same problem, but doesn’t use the axiom of choice (it’s basically just a version of Yablo’s paradox), and I’ve framed the puzzles in terms of failures of the deontic Barcan formulae.

Anyway – if anyone has any comments, I’d be very grateful to hear them!



  1. In the second puzzle, the rule is: choose 1, if you have chosen 0 at every previous round, and chose 0 otherwise (i.e. if you have chosen 1 on at least one other round.)

    It seems that these rules determine the following (consistent) sequence:


    Where is the rule violation? What am I missing?

  2. Hi David,

    Thanks for reading!

    Your sequence is a consistent play of a finite (or well founded) game. Remember that the sequence of rounds that Alice is playing is a backwards omega-sequence: there is no first move (unlike your example.)

    Does that make sense?

  3. Yeah, sorry. I came back to correct myself, but was pre-empted! Ha!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: