On Thu, 2008-09-25 at 16:47 -0700, Ed Murphy wrote:
> ais523 wrote:
>
> > I perform all the actions in the following block of text, if and only if
> > they would all be successful, and every non-action statement in that
> > block of text would be true at the time it was made:
> > {{{
> > I call for judgement on the statement "Goethe is wearing a hat."
> > The previous action either failed or was never made because either this
> > block of text contained an action which would not be successful, or it
> > contained a statement that would not be true.
> > }}}
> > (This is about as close as I can get to the paradox I created in B, but
> > using Agoran terminology; I've translated it more or less literally,
> > thus causing the extra complexity).
>
> This doesn't seem all that complex:
>
> Let P be the action "I perform all the actions..."
> Let X be the action "I call for judgement..."
> Let Y be the statement "The previous action..."
>
> If Y is false, then P isn't performed.
>
> If Y is true, then either Y is false (contradiction) or X isn't
> performed (in which case P isn't performed).
Ah, this might be where it breaks down in Agora. The point is that as I
haven't reached my CFJ limit yet, there's no way that the attempt to
call a CFJ can fail, except for some other part of the transaction
failing. So in B this leads to a contradiction either way. And Y can't
be false, because in order for X to be performed, P must be true and
therefore Y must be true.
>
> In either case, P isn't performed.
--
ais523
