Index ← 3644 CFJ 3646 3647 → text
===============================  CFJ 3646  ===============================

      My conditional vote in the appended message evaluates to FOR each
      proposal.

==========================================================================

Caller:                        Corona

Judge:                         V.J. Rada
Judgement:                     FALSE

==========================================================================

History:

Called by Corona:                                 23 Jun 2018 16:36:34
Assigned to V.J. Rada:                            24 Jun 2018 21:48:55
Judged TRUE by V.J. Rada:                         24 Jun 2018 23:22:20
Motion to Reconsider filed by V.J. Rada::         27 Jun 2018 01:29:23
Judged FALSE by V.J. Rada:                        27 Jun 2018 01:29:23

==========================================================================

Caller's Arguments:

While this contains a conditional referring a hypothetical future
situation, that situation is not indeterminate, as I specified "in the
next instant, before any other process regulated by the ruleset of Agora
takes place", meaning it can be unambiguously logically derived from the
present situation (that is, the present situation - my first message and
the withdrawal + my second message = the hypothetical future situation).

--------------------------------------------------------------------------

Caller's Evidence:

On Sat, Jun 23, 2018 at 6:35 PM, Corona wrote:
> I withdraw my vote on these proposals.
>
> I vote on these proposals in such a manner that, in a hypothetical
> alternate gamestate identical to the current one except for me never
> sending the message immediately before this one, and this message not
> containing the withdrawal of my earlier vote, in case that in the next
> instant, before any other process regulated by the ruleset of Agora
> takes place, a player would respond to this thread with the message 
> "I do the same as the last six people in this thread", their vote on
> all of these proposals would evaluate to FOR all of the aforementioned
> proposals.
>
> (oops, I killed the joke, if any existed in the first place)


--------------------------------------------------------------------------

Judge's Arguments following Reconsideration:

When judging 3646, I forgot that it was at the time reliant on CFJ
3647 being judged TRUE. Now that it has been judged as FALSE, and
ATMunn did not in fact vote FOR, I file a motion to reconsider CFJ
3646 and judge it FALSE.

--------------------------------------------------------------------------

Original Judge's Arguments:

Corona voted in this way
> "> I vote on these proposals in such a manner that, in a hypothetical
> alternate gamestate identical to the current one except for me never
> sending the message immediately before this one, and this message not
> containing the withdrawal of my earlier vote, in case that in the next
> instant, before any other process regulated by the ruleset of Agora
>  takes place, a player would respond to this thread with the message
> "I do the same as the last six people in this thread", their vote on
> all of these proposals would evaluate to FOR all of the aforementioned 
> proposals."

The question presented is whether this conditional vote evaluates FOR
each proposal, where the previous five votes were FOR each proposal. I
hold that it does. The intent of the conditional is clear. It wants to
vote in such a way that if someone else voted the same as the previous
voters including this one, they would vote FOR. That's basically the
same thing as saying that Corona voted in the same way as five
previous voters on the proposals, which is FOR. This text is not
ambiguous, in that its aim is clear and no reasonable Agoran reading
carefully over it would believe it to be anything but a vote FOR each
proposal. The conditional is not inextricable, as the condition
depends on one clearly defined occurrence with no intervening rules
processes.

This CFJ is TRUE

==========================================================================