Re: BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-06-01 Thread James Cook via agora-business
On Sun, 31 May 2020 at 19:35, Kerim Aydin via agora-business
 wrote:
> On 5/31/2020 12:29 PM, nch via agora-business wrote:
> > On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official wrote:
> >> The below CFJ is 3837.  I assign it to grok.
> >>
> >> status: https://faculty.washington.edu/kerim/nomic/cases/#3837
> >>
> >> ===  CFJ 3837  ===
> >>
> >>   Falsifian owns at least one blot if and only if English Wikipedia
> >>   has an article titled "Sponge".
> >>
> >> ==
> >
> > Gratuitous: This CFJ should be found FALSE because the rules do not define a
> > biconditional relationship between these facts, regardless of whether either
> > individual fact is TRUE or FALSE.
> >
>
> Gratuitous:  A judgement of IRRELEVANT is also appropriate - to evaluate
> this, we are required to consider a world in which a common subject like
> "sponge" is not in Wikipedia.  A world like this might be strange in other
> ways.  This is, literally and directly, an "overly hypothetical
> extrapolation of the game or its rules to conditions that don't actually
> exist" as defined for IRRELEVANT in R591.

Gratuitous response:

If you accept my previous argument, i.e. that my statement should be
interpreted in the classical logic way, then there's nothing
hypothetical in my statement.

If you don't, then this seems like a good argument to me.

- Falsifan


Re: DIS: Re: BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread grok via agora-business
On Sun, May 31, 2020, 3:46 PM Alex Smith via agora-discussion <
agora-discuss...@agoranomic.org> wrote:

>  On Sunday, 31 May 2020, 20:29:09 GMT+1, grok via agora-business <
> agora-business@agoranomic.org> wrote:
> > On Sun, May 31, 2020, 2:08 PM Kerim Aydin via agora-official <
> agora-offic...@agoranomic.org> wrote:
> > > === CFJ 3837
> ===
> > >
> > > Falsifian owns at least one blot if and only if English Wikipedia
> > > has an article titled "Sponge".
> > >
> > >
> ==
> >
> > I am developing my opinion but think I'm missing some pieces, so I am
> > soliciting gratuitous arguments here.
> >
> > I pledge to give 1 shiny to the first three players who submit gratuitous
> > arguments on CFJ 3837 before my judgment is submitted.
>
> Arguments: although Blot ownership is not IRRELEVANT, the actual statement
> of the CFJ is IRRELEVANT; there's no particular relevance in the
> combination of
> Falsifian's blot holdings and the existence of a particular Wikipedia
> article.
>
> If CFJs like this one were deemed to be relevant, then judges could be
> forced to
> evaluate the truth of almost arbitrary statements that had nothing to do
> with Agora.
> I'd personally find this useful, but it seems rather unfair on the judges.
>
> --
> ais523


I transfer 1 shiny to ais523


Re: BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread nch via agora-business
On Sunday, May 31, 2020 2:30:56 PM CDT grok via agora-business wrote:
> On Sun, May 31, 2020, 2:29 PM nch via agora-business <
> 
> agora-business@agoranomic.org> wrote:
> > On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official
> > 
> > wrote:
> > > The below CFJ is 3837.  I assign it to grok.
> > > 
> > > status: https://faculty.washington.edu/kerim/nomic/cases/#3837
> > > 
> > > ===  CFJ 3837
> > 
> > ===
> > 
> > >   Falsifian owns at least one blot if and only if English Wikipedia
> > >   has an article titled "Sponge".
> > 
> > ==
> > 
> > Gratuitous: This CFJ should be found FALSE because the rules do not define
> > a
> > biconditional relationship between these facts, regardless of whether
> > either
> > individual fact is TRUE or FALSE.
> > 
> > --
> > nch
> 
> I transfer 1 shiny to nch.

CFJ: Grok transferred one coin to me in the above quoted message.

Arguments: Shinies aren't an asset currently defined by rules or contracts. But 
they served a similar purpose to coins in recent history. Additionally, I 
don't see any other asset or action this could reasonably be interpreted as. 
Thus, I think it's reasonable to interpret 'shiny' as a synonym for 'coins'.

-- 
nch





Re: BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread grok via agora-business
On Sun, May 31, 2020, 2:35 PM Kerim Aydin via agora-business <
agora-business@agoranomic.org> wrote:

>
>
> On 5/31/2020 12:29 PM, nch via agora-business wrote:
> > On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official
> wrote:
> >> The below CFJ is 3837.  I assign it to grok.
> >>
> >> status: https://faculty.washington.edu/kerim/nomic/cases/#3837
> >>
> >> ===  CFJ 3837
> ===
> >>
> >>   Falsifian owns at least one blot if and only if English Wikipedia
> >>   has an article titled "Sponge".
> >>
> >>
> ==
> >
> > Gratuitous: This CFJ should be found FALSE because the rules do not
> define a
> > biconditional relationship between these facts, regardless of whether
> either
> > individual fact is TRUE or FALSE.
> >
>
> Gratuitous:  A judgement of IRRELEVANT is also appropriate - to evaluate
> this, we are required to consider a world in which a common subject like
> "sponge" is not in Wikipedia.  A world like this might be strange in other
> ways.  This is, literally and directly, an "overly hypothetical
> extrapolation of the game or its rules to conditions that don't actually
> exist" as defined for IRRELEVANT in R591.
>

I transfer 1 shiny to g

>


Re: BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread Kerim Aydin via agora-business



On 5/31/2020 12:29 PM, nch via agora-business wrote:
> On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official wrote:
>> The below CFJ is 3837.  I assign it to grok.
>>
>> status: https://faculty.washington.edu/kerim/nomic/cases/#3837
>>
>> ===  CFJ 3837  ===
>>
>>   Falsifian owns at least one blot if and only if English Wikipedia
>>   has an article titled "Sponge".
>>
>> ==
> 
> Gratuitous: This CFJ should be found FALSE because the rules do not define a 
> biconditional relationship between these facts, regardless of whether either 
> individual fact is TRUE or FALSE.
> 

Gratuitous:  A judgement of IRRELEVANT is also appropriate - to evaluate
this, we are required to consider a world in which a common subject like
"sponge" is not in Wikipedia.  A world like this might be strange in other
ways.  This is, literally and directly, an "overly hypothetical
extrapolation of the game or its rules to conditions that don't actually
exist" as defined for IRRELEVANT in R591.



Re: BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread grok via agora-business
On Sun, May 31, 2020, 2:29 PM nch via agora-business <
agora-business@agoranomic.org> wrote:

> On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official
> wrote:
> > The below CFJ is 3837.  I assign it to grok.
> >
> > status: https://faculty.washington.edu/kerim/nomic/cases/#3837
> >
> > ===  CFJ 3837
> ===
> >
> >   Falsifian owns at least one blot if and only if English Wikipedia
> >   has an article titled "Sponge".
> >
> >
> ==
>
> Gratuitous: This CFJ should be found FALSE because the rules do not define
> a
> biconditional relationship between these facts, regardless of whether
> either
> individual fact is TRUE or FALSE.
>
> --
> nch
>

I transfer 1 shiny to nch.

>


BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread nch via agora-business
On Sunday, May 31, 2020 2:06:51 PM CDT Kerim Aydin via agora-official wrote:
> The below CFJ is 3837.  I assign it to grok.
> 
> status: https://faculty.washington.edu/kerim/nomic/cases/#3837
> 
> ===  CFJ 3837  ===
> 
>   Falsifian owns at least one blot if and only if English Wikipedia
>   has an article titled "Sponge".
> 
> ==

Gratuitous: This CFJ should be found FALSE because the rules do not define a 
biconditional relationship between these facts, regardless of whether either 
individual fact is TRUE or FALSE.

-- 
nch





BUS: Re: OFF: [Arbitor] CFJ 3837 Assigned to grok

2020-05-31 Thread grok via agora-business
On Sun, May 31, 2020, 2:08 PM Kerim Aydin via agora-official <
agora-offic...@agoranomic.org> wrote:

> The below CFJ is 3837.  I assign it to grok.
>
> status: https://faculty.washington.edu/kerim/nomic/cases/#3837
>
> ===  CFJ 3837  ===
>
>   Falsifian owns at least one blot if and only if English Wikipedia
>   has an article titled "Sponge".
>
> ==
>
> Caller:Falsifian
>
> Judge: grok
>
> ==
>
> History:
>
> Called by Falsifian:  24 May 2020 16:50:08
> Assigned to grok: [now]
>
> ==
>
> Caller's Arguments:
>
> Wikipedia has an article titled "Sponge", so this comes down to
> whether Falsifian owns at least one blot.
>
> Blots affect voting power, so this CFJ is not IRRELEVANT.
>
> According to the last two Referee reports (the second-last has
> self-ratified), Falsifian owns no blots. E has not gained any since.
> So FALSE.
>
>
> Caller's Evidence:
>
> https://en.wikipedia.org/wiki/Sponge (just now archived at
>
> https://web.archive.org/web/20200524164258/https://en.wikipedia.org/wiki/Sponge
> )
>
> From the latest referee report:
>
> >BlotsActive player
> >--
> >  1  G.
> >  2  Gaelan
> >  2  nch
> >  2  omd
> >  2  R. Lee
> >  2  twg
> >
> >BlotsZombie
> >---
> >
> >No fugitives exist.
>
> From the 2019-05-17 referee report:
>
> >BlotsActive player
> >--
> >  1  G.
> >  2  Gaelan
> >  1  Murphy
> >  2  nch
> >  2  omd
> >  2  twg
> >
> >BlotsZombie
> >---
> >
> >No fugitives exist.
>
> ==
>

I am developing my opinion but think I'm missing some pieces, so I am
soliciting gratuitous arguments here.

I pledge to give 1 shiny to the first three players who submit gratuitous
arguments on CFJ 3837 before my judgment is submitted.