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).
In either case, P isn't performed.
