On Thu, 14 Sep 2017, Aris Merchant wrote:
Just when I think I've resolved all the problems. *sigh* I file a
motion to reconsider CFJ 3557, and invite arguments about why exactly
I shouldn't just rule that CAN (or SHALL) implies "by announcement"
whenever it makes sense. Seems like a perfectly re
> Semi-related to this, has a unified way of writing rules been proposed?
The implementation of Mother May I was probably the single biggest example of
formalization. Before that, the distinction between IMPOSSIBLE and ILLEGAL
was very confused - and weren't themselves well-defined with all-cap
Semi-related to this, has a unified way of writing rules been proposed? A
sort of standard? We're pretty much all definitions (like X is ABC) rights
(you can do X) and conditional triggers (if X happens, then Y).
On Fri, Sep 15, 2017 at 7:41 PM, Kerim Aydin wrote:
>
>
> I think a MAY is only eve
I think a MAY is only ever truly useful as an exception, if there's a default
"CAN but SHALL NOT/MAY NOT" in place somewhere else.
On Fri, 15 Sep 2017, Cuddle Beam wrote:
> Ah, I see. I don't see how useful a solitary MAY is then aside from being a
> stealth "CANNOT" in a way.
>
> On Fri, Sep
Ah, I see. I don't see how useful a solitary MAY is then aside from being a
stealth "CANNOT" in a way.
On Fri, Sep 15, 2017 at 7:22 PM, Kerim Aydin wrote:
>
>
> On Fri, 15 Sep 2017, Cuddle Beam wrote:
> > If it's SHALL and MAY, without providing a method for doing it, if it's
> an
> > unregulate
On Fri, 15 Sep 2017, Cuddle Beam wrote:
> If it's SHALL and MAY, without providing a method for doing it, if it's an
> unregulated action that's OK imo
By R2125 clause(1), putting in a SHALL or MAY automatically makes it regulated
(er, "restricted", was the title of the rule changed by the reg
Ah, true. So:
Proto: Whenever you CAN perform an action, without it being stated the
method via the which you can perform such a CAN, you CAN (and only can)
perform it by announcement.
MAY, given the paradigm that it doesn't give ability like CAN, is pretty
much meaningless imo. You already MAY d
On Fri, 15 Sep 2017, Cuddle Beam wrote:
> >about why exactly I shouldn't just rule that CAN (or SHALL) implies "by
> >announcement" whenever it makes sense.
>
> I think it might be good to have a rule which states the metaphysics of
> action on Agora lol (this relates to the telepathy problem
>about why exactly I shouldn't just rule that CAN (or SHALL) implies "by
announcement" whenever it makes sense.
I think it might be good to have a rule which states the metaphysics of
action on Agora lol (this relates to the telepathy problem too actually.)
Proto: Whenever you CAN perform an acti
First whatever the result, don't worry over-much! If you just reinstate it as
is, I won't call to reconsider. We should actually use this as a conversation
over
what the best choice of default *should* be, and put the default in the rules
explicitly - and meanwhile, all the things that are bro
On Sep 14, 2017 7:44 PM, "Kerim Aydin" wrote:
> >> CFJ 2120 states (apparently in accordance with previous precedent
which I
> >> couldn't find) that, where there is a SHALL without any reasonable
mechanism to
> >> fulfill it, it implies CAN by announcement.
Unfortunately, CFJ 2120 gets preced
> >> CFJ 2120 states (apparently in accordance with previous precedent which I
> >> couldn't find) that, where there is a SHALL without any reasonable
> >> mechanism to
> >> fulfill it, it implies CAN by announcement.
Unfortunately, CFJ 2120 gets precedent wrong, and this concerns me.
CFJ 2120
On Thu, Sep 14, 2017 at 4:56 PM, Owen Jacobson wrote:
>
>> On Sep 13, 2017, at 7:55 PM, Aris Merchant
>> wrote:
>>
>> Judge's Arguments for CFJ 3557:
>>
>> This case boils down an interpretation of the application of Rule 2152
>> ("Mother, May I?") to Rule 2497 ("Floating Value"). The full text
> On Sep 13, 2017, at 7:55 PM, Aris Merchant
> wrote:
>
> Judge's Arguments for CFJ 3557:
>
> This case boils down an interpretation of the application of Rule 2152
> ("Mother, May I?") to Rule 2497 ("Floating Value"). The full text of both
> rules is in the evidence below. To summarize the si
14 matches
Mail list logo
