Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Ørjan Johansen

On Thu, 21 Feb 2019, Kerim Aydin wrote:


On Thu, Feb 21, 2019 at 12:57 AM Gaelan Steele  wrote:
The proposed rule is a prohibition on a certain type of change. 
Because 106 says “except as prohibited by other rules”, it defers to 
this rule.


Deference clauses only work between rules of the same power.  Power is
the first test applied (R1030).


I think the "Except as prohibited by other rules" is a condition, and 
_possibly_ also a deference (it depends on exactly what deference means).


But because it's a condition rather than just something like "This Rule 
defers to blah blah blah", it also naturally prevents a conflict from 
arising, and therefore the fact that it's a deference shouldn't matter.


Greetings,
Ørjan.


DIS: Re: BUS: (Proposal) Spaceship armour fix

2019-02-22 Thread Ørjan Johansen
That particular item of the Rule was just amended to change that text, 
although it still needs a default.


Greetings,
Ørjan.

On Wed, 20 Feb 2019, Timon Walshe-Grey wrote:


Amend Rule 2591, "Spaceships", by replacing the following:

 * Armour (an integer switch limited to values from 0 to 10
   inclusive).

with:

 * Armour (an integer switch limited to values from 0 to 10
   inclusive, defaulting to 10).


DIS: Re: BUS: Victory by Apathy

2019-02-22 Thread Ørjan Johansen

On Wed, 20 Feb 2019, James Cook wrote:


5. Rule 2465 says: "Upon doing so, the specified players win the game."
  When we talk about "Doing X" for any X, we almost always take X to refer
  to the Action ("Declaring apathy") and not the method (without
  objection). R2125 supports this in that it separates Action from
  Method. Therefore, "Upon doing so" refers to the action but not the
  method.


Although the CFJ seems to be judged false for other reasons, I'd like to 
mention that I don't agree with this point - "so" naturally refers to the 
entire scenario of the previous sentence, including the without objection 
part.


Greetings,
Ørjan.


Re: DIS: Relics

2019-02-22 Thread Ørjan Johansen

On Tue, 19 Feb 2019, Cuddle Beam wrote:


Going to use Gluttony instead of Cincinnatus because it's just easier to
remember and type off the top of my head and it's more on the theme of
cardinal sins and having amassed all that power feels obese. There's also
the issue that once you have that kind of omnipotence, if Relics even
"matter" anymore. You could just self-assign to yourself all of the Relics
you want anyways. Or wins, for that matter. It's weird. But so are scams!
So I'll add it anyways for the Fun of it, what is Agora without Fun anyways.


The Cincinnatus suggestion was because he was famous not just for getting 
absolute dictator power (several republican Romans did that, as it was an 
emergency war custom), but for _giving it up early_ the moment the war was 
won.  I see your current proto does not really mention that aspect, so 
perhaps Gluttony is a better name for it.


Greetings,
Ørjan.



PROTO:
---*---
- Wrath Relic: When a person performs a regulated action upon another
person without their Consent, while they are able to perform a different
regulated action that requires that person's Consent to perform the same
effect, you earn a Wrath Relic.
- Pride: I don't know how Instruments work lmao, I should read it up in
order to write this (yes I know Read the Ruleset Week was a while ago, I
didn't read the whole ruleset...)
- Gluttony: When a single person, without aid of the action of other
persons, can change the content of a Power-3 rule, they earn a Gluttony
Relic.
---*---

Also, ty G. for the alternative rulemasonry for the first parts of this.
I'll go with that. I'll call them Ribbons (not "Ordinary", just plain
Ribbons) and Relics and both are Decorations.


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread ais...@alumni.bham.ac.uk
On Fri, 2019-02-22 at 10:45 -0800, Kerim Aydin wrote:
> On Fri, Feb 22, 2019 at 10:22 AM D. Margaux 
> wrote:
> > > On Feb 22, 2019, at 12:39 PM, Kerim Aydin  wrote:
> > > Every so often, someone decides "we're not really playing Agora
> > > anymore" because (in their perception) we improperly papered over
> > > some
> > > platonic truth that made everything freeze.
> > 
> > That point of view makes me think of the “sovereign citizens” who
> > believe that their view of the law is
> > somehow platonically right, and that it means they don’t have to
> > pay taxes or whatever.
> 
> Never made that connection!  Given that, unlike countries, Agora is
> an
> entirely voluntary organization, my personal worry about Agora is not
> a "full ossification that almost everyone agrees happened" nor "1 or
> 2 people saying we were playing wrong" but a situation where two
> similarly-sized camps disagree with an aspect, and end up trying to
> run two entirely separate games (separate reports, etc.) on the same
> list while arguing that theirs is the One True Way.

This might be an awkward situation, but both camps would see it as
undesirable, and thus I suspect there would be an intentional attempt
to converge.

We've done this before, even with interpretations of the rules that
most players rejected (e.g. Wooble's theory that converting
registration into a switch deregistered everyone; I think most people
disagreed with that theory, but we took steps to converge the gamestate
in the case it was correct, IIRC involving a temporary forum that would
only be public in the Woobleverse, and performing the convergence
actions there).

-- 
ais523



Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Cuddle Beam
> That doesn’t mean pure logic is unimportant; but it does mean that logic
“works” only to the extent it can persuade the relevant legal actors.

I agree with that entirely. Perspectivism and shit.

It's why we have CFJs and stuff, people disagree all the time.

On Fri, Feb 22, 2019 at 7:50 PM D. Margaux  wrote:

>
>
> > On Feb 22, 2019, at 1:45 PM, Kerim Aydin  wrote:
> >
> > Given that, unlike countries, Agora is an
> > entirely voluntary organization, my personal worry about Agora is not
> > a "full ossification that almost everyone agrees happened" nor "1 or 2
> > people saying we were playing wrong" but a situation where two
> > similarly-sized camps disagree with an aspect, and end up trying to
> > run two entirely separate games (separate reports, etc.) on the same
> > list while arguing that theirs is the One True Way.
>
> Wow! This actually sounds kind of fun. It’s like a nomic civil war!
>
> Not saying that we should actually try to have that happen though...


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Kerim Aydin
On Fri, Feb 22, 2019 at 10:22 AM D. Margaux  wrote:
> > On Feb 22, 2019, at 12:39 PM, Kerim Aydin  wrote:
> > Every so often, someone decides "we're not really playing Agora
> > anymore" because (in their perception) we improperly papered over some
> > platonic truth that made everything freeze.
>
> That point of view makes me think of the “sovereign citizens” who believe 
> that their view of the law is
> somehow platonically right, and that it means they don’t have to pay taxes or 
> whatever.

Never made that connection!  Given that, unlike countries, Agora is an
entirely voluntary organization, my personal worry about Agora is not
a "full ossification that almost everyone agrees happened" nor "1 or 2
people saying we were playing wrong" but a situation where two
similarly-sized camps disagree with an aspect, and end up trying to
run two entirely separate games (separate reports, etc.) on the same
list while arguing that theirs is the One True Way.  The oldest
existential crisis from Nomic World ("Lindrum World") was a crisis of
this type, and it was only ended when both camps agreed to a method to
converge the gamestate while never agreeing on which was the "true
path" they took to get there, with lots of arguments and rage-quits
along the way.


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread D. Margaux



> On Feb 22, 2019, at 1:45 PM, Kerim Aydin  wrote:
> 
> Given that, unlike countries, Agora is an
> entirely voluntary organization, my personal worry about Agora is not
> a "full ossification that almost everyone agrees happened" nor "1 or 2
> people saying we were playing wrong" but a situation where two
> similarly-sized camps disagree with an aspect, and end up trying to
> run two entirely separate games (separate reports, etc.) on the same
> list while arguing that theirs is the One True Way.

Wow! This actually sounds kind of fun. It’s like a nomic civil war!

Not saying that we should actually try to have that happen though...

Re: DIS: Re: BUS: Victory by Apathy

2019-02-22 Thread Kerim Aydin
On Fri, Feb 22, 2019 at 7:06 AM Cuddle Beam  wrote:
> > I feel like my understanding is a bit lacking, though. R2125 + R2152
> > tell us that attempting to raise a banner by a method outside the
> > rules is "unsuccessful". But it feels a bit similar to the rules
> > claiming that I don't exist, or that faster-than-light travel is
> > possible, or that ducks can't fly. When R2438 says "This causes that
> > person to win the game.", what tells us us that "This" refers "Raising
> > a Banner in a way the rules deem to be successful", rather than just
> > "raising a banner" in a literal sense? Is it because Raising a Banner
> > is capitalized and/or a term of art? Is it because it's game custom to
> > interpret the rules this way? Or is there another reason?

There's a game custom to accept "terms of art" in general in the name
of adding color, mainly by associating them with a method ("by
announcement" etc.).  However, the line of what constitutes a term of
art is blurry, practical, and case-by-case.  Here's two CFJs that
directly contrast treatment of a speech act ("to celebrate") with an
impossible act ("landing on the moon"), noting that neither was
defined in the ruleset at the time:

https://faculty.washington.edu/kerim/nomic/cases/?2149
https://faculty.washington.edu/kerim/nomic/cases/?2150

These two judgements distinguish speech acts as being treated
differently than other types of terms-of-art.  The recent cases are
all terms of art involving speech ("declare", "state") etc. that can
be done by common definition just by sending an email, so there could
be genuine confusion about whether an email "declaring" something
works.  In contrast, we've tended to say that things that were clearly
"outside" of sending emails (raising banners, etc.) are clearly
regulated terms-of-art, though I'm not saying there's any hard logic
there.

It's interesting to note, in this context, that "supporting" and
"objecting" in R2124 are not a term of arts, nor are withdrawing
support/objections - they refer to the natural speech acts.  R2124
says that "if someone has (previously) publicly objected, they are an
objector".  But nothing says "a person CAN object by announcement",
instead we assume that a person can object and withdraw objections
"naturally" as acts of speech (or if you prefer, as acts of standard
legislative function used in committee meetings etc.) via an email
(with the limit that the speech must be "public" to count).


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread D. Margaux



> On Feb 22, 2019, at 12:39 PM, Kerim Aydin  wrote:
> 
> Every so often, someone decides "we're not really playing Agora
> anymore" because (in their perception) we improperly papered over some
> platonic truth that made everything freeze.

That point of view makes me think of the “sovereign citizens” who believe that 
their view of the law is somehow platonically right, and that it means they 
don’t have to pay taxes or whatever. It’s based on a fundamental 
misunderstanding of what law means; it’s a fundamentally social institution, 
and so the law really /is/ what the relevant legal actors believe it to be. 
That doesn’t mean pure logic is unimportant; but it does mean that logic 
“works” only to the extent it can persuade the relevant legal actors. 

Seems similar to nomic in that respect. The actual game “rules” are, in a 
sense, what the players believe them to be, using whatever interpretive tools 
are more or less convincing to them, within a certain overall structure of 
decisionmaking (e.g. proposals, CFJs, etc.). 

Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Kerim Aydin
On Fri, Feb 22, 2019 at 6:34 AM Cuddle Beam  wrote:
> >> (It's instructive to note what happened to B Nomic; it was also rather
> >> long-running in terms of gameplay, but when the players noticed that it
> >> had been ossified for years, it just died altogether; there were never
> >> enough players interested in a revival.)

It wasn't just that there "weren't enough players" interested.  Nomic
can be played with a very small number of players.  Part of it was, on
the few occasions that someone tried to re-start, there was direct
vocal opposition from persons on the mailing list, saying "B-nomic is
frozen in amber, we like it that way, regardless of whether you call
it a reboot or continuation, don't try to restart play on this mailing
list."  So there's an active defense of its frozen state being played
out via control of the medium (at least there was a couple years ago).


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Kerim Aydin
On Fri, Feb 22, 2019 at 6:31 AM Cuddle Beam  wrote:
> IMO the game has already been “ossified” for a while (or
> miscalculated/unacknowledged by the consensus so far) because I’m convinced
> that all actions are regulated.

Every so often, someone decides "we're not really playing Agora
anymore" because (in their perception) we improperly papered over some
platonic truth that made everything freeze.  At least one instance of
this sentiment that I remember (from Kelly for old-timers, though I
forget the details) predates the ossification and the current
Regulated Action rules, so that ossification rule was never created in
One True Original Agora (tm) anyway.  :P


Re: DIS: Re: BUS: Victory by Apathy

2019-02-22 Thread Cuddle Beam
The rules don’t have to be consistent with reality. Or itself lol. Because
we can write pretty much anything to Agora’s ruletext.

As fun as it would be to try to nuke Agora with the Principle of Explosion,
I doubt it would actually work. We even have paradoxes in the game that
somehow don’t obliterate the entire formal space. Or, it does. But people
just shrug and carry on lol.


On Fri, 22 Feb 2019 at 03:34, James Cook  wrote:

> Hm, that's a good point about capitalization. I'm not really familiar
> enough with game custom to say.
>
> Your idea about raising a real-life banner has got me thinking...
>
> Raising a banner is a regulated action (R2125), so even if we assume
> capitalization doesn't matter, and that you did raise a banner in real
> life, Rule 2125 would say that you didn't raise a banner, because you
> didn't do it using "the methods explicitly specified in the Rules".
>
> I feel like my understanding is a bit lacking, though. R2125 + R2152
> tell us that attempting to raise a banner by a method outside the
> rules is "unsuccessful". But it feels a bit similar to the rules
> claiming that I don't exist, or that faster-than-light travel is
> possible, or that ducks can't fly. When R2438 says "This causes that
> person to win the game.", what tells us us that "This" refers "Raising
> a Banner in a way the rules deem to be successful", rather than just
> "raising a banner" in a literal sense? Is it because Raising a Banner
> is capitalized and/or a term of art? Is it because it's game custom to
> interpret the rules this way? Or is there another reason?
>
> On Wed, 20 Feb 2019 at 07:32, Cuddle Beam  wrote:
> >
> > On a side-note, if capitalization no longer denotes terms of art and
> should
> > be interpreted literally, I got to go look for a real-life banner to
> raise
> > some time in the future...
> >
> > On Wed, 20 Feb 2019 at 08:20, Cuddle Beam  wrote:
> ...
> > > I argue that Agora is written in an Agora-dialect English. And in that,
> > > capitalization does denote terms of art.
>


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Cuddle Beam
the border of what regulated actions are, are its limit*

On Fri, 22 Feb 2019 at 15:31, Cuddle Beam  wrote:

> IMO the game has already been “ossified” for a while (or
> miscalculated/unacknowledged by the consensus so far) because I’m convinced
> that all actions are regulated.
>
> (by ad absurdiam:
>
> Regulated actions are actions that are limited by the rules.
>
> Unregulated actions are all actions that aren’t regulated.
>
> If we have unregulated actions, the border of what regulated actions are
> its limit, ergo unregulated actions are limited by something rule-defined
> and therefore limited by the rules. So they’d have to be regulated. It cant
> be both regulated and unregulated.)
>
> But, yeah. Even if I’m right (which I believe I am, but I might not be),
> the game is more of a social activity rather than real software. For
> example, the frequent “oh shiiit” moments where we have to do retroactive
> changes and fix the ruleset to what we believed it was.
>
> As a mental experiment, assuming that we “just accept” the consensus’
> interpretation as Agora’s true reality, a solution to ensure Agora’s
> longevity could be to add not very sane players that believe that, no
> matter what the Ruleset’s text is, Agora can’t be Ossified. :P
>
> On Fri, 22 Feb 2019 at 11:29, ais...@alumni.bham.ac.uk <
> ais...@alumni.bham.ac.uk> wrote:
>
>> On Fri, 2019-02-22 at 10:24 +, Timon Walshe-Grey wrote:
>> > To be honest I never really understood the problem with ossification
>> > - surely if the game accidentally ends we can just start a "new one"
>> > with a similar ruleset and gamestate, minimally modified to deossify
>> > it?
>>
>> Many players care about Agora having been a continuous game that's been
>> running for a really long length of time. Letting it die and restarting
>> it would violate that.
>>
>> (It's instructive to note what happened to B Nomic; it was also rather
>> long-running in terms of gameplay, but when the players noticed that it
>> had been ossified for years, it just died altogether; there were never
>> enough players interested in a revival.)
>>
>> --
>> ais523
>>
>>


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Cuddle Beam
IMO the game has already been “ossified” for a while (or
miscalculated/unacknowledged by the consensus so far) because I’m convinced
that all actions are regulated.

(by ad absurdiam:

Regulated actions are actions that are limited by the rules.

Unregulated actions are all actions that aren’t regulated.

If we have unregulated actions, the border of what regulated actions are
its limit, ergo unregulated actions are limited by something rule-defined
and therefore limited by the rules. So they’d have to be regulated. It cant
be both regulated and unregulated.)

But, yeah. Even if I’m right (which I believe I am, but I might not be),
the game is more of a social activity rather than real software. For
example, the frequent “oh shiiit” moments where we have to do retroactive
changes and fix the ruleset to what we believed it was.

As a mental experiment, assuming that we “just accept” the consensus’
interpretation as Agora’s true reality, a solution to ensure Agora’s
longevity could be to add not very sane players that believe that, no
matter what the Ruleset’s text is, Agora can’t be Ossified. :P

On Fri, 22 Feb 2019 at 11:29, ais...@alumni.bham.ac.uk <
ais...@alumni.bham.ac.uk> wrote:

> On Fri, 2019-02-22 at 10:24 +, Timon Walshe-Grey wrote:
> > To be honest I never really understood the problem with ossification
> > - surely if the game accidentally ends we can just start a "new one"
> > with a similar ruleset and gamestate, minimally modified to deossify
> > it?
>
> Many players care about Agora having been a continuous game that's been
> running for a really long length of time. Letting it die and restarting
> it would violate that.
>
> (It's instructive to note what happened to B Nomic; it was also rather
> long-running in terms of gameplay, but when the players noticed that it
> had been ossified for years, it just died altogether; there were never
> enough players interested in a revival.)
>
> --
> ais523
>
>


Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread ais...@alumni.bham.ac.uk
On Fri, 2019-02-22 at 10:24 +, Timon Walshe-Grey wrote:
> To be honest I never really understood the problem with ossification
> - surely if the game accidentally ends we can just start a "new one"
> with a similar ruleset and gamestate, minimally modified to deossify
> it?

Many players care about Agora having been a continuous game that's been
running for a really long length of time. Letting it die and restarting
it would violate that.

(It's instructive to note what happened to B Nomic; it was also rather
long-running in terms of gameplay, but when the players noticed that it
had been ossified for years, it just died altogether; there were never
enough players interested in a revival.)

-- 
ais523



Re: DIS: Re: BUS: Not so fast!

2019-02-22 Thread Timon Walshe-Grey
To be honest I never really understood the problem with ossification - surely 
if the game accidentally ends we can just start a "new one" with a similar 
ruleset and gamestate, minimally modified to deossify it?

-twg


‐‐‐ Original Message ‐‐‐
On Thursday, February 21, 2019 8:56 AM, Gaelan Steele  wrote:

> Maybe you’re right. Either way, you could do any number of 
> not-quite-ossification things (for instance, proposals authored by anyone 
> other than you can only amend if the author published the full text of the 
> proposal 3.5+ weeks ago).
>
> Gaelan
>
> > On Feb 21, 2019, at 12:52 AM, Madeline j...@iinet.net.au wrote:
> > Wouldn't it just be ossified because arbitrary rule changes cannot be made? 
> > The "and/or" does function as an or!
> > On 2019-02-21 19:37, Gaelan Steele wrote:
> >
> > > I create the AI-1 proposal “Minor bug fix” with the following text:
> > > {
> > > Create the power-1 rule “Don’t mind me” with the following text:
> > > {The rules CANNOT change by any mechanism.}
> > > }
> > > Why that works (at power 1):
> > > 106/40: "Except as prohibited by other rules, a proposal that takes 
> > > effect CAN and does, as part of its effect, apply the changes that it 
> > > specifies"
> > > 106/40: "Preventing a proposal from taking effect is a secured change; 
> > > this does not apply to generally preventing changes to specified areas of 
> > > the gamestate”
> > > The proposed rule is a prohibition on a certain type of change. Because 
> > > 106 says “except as prohibited by other rules”, it defers to this rule.
> > > The second quoted clause fails to prevent this, because the rule 
> > > "generally [prevents] changes to specified areas of the gamestate.”
> > > 1698/5 "Agora is ossified if it is IMPOSSIBLE for any reasonable 
> > > combination of actions by players to cause arbitrary rule changes to be 
> > > made and/or arbitrary proposals to be adopted within a four-week period.”
> > > Note the “and/or.” Nothing here prevents arbitrary proposals from being 
> > > adopted—it just prevents them from changing the rules upon doing so. 
> > > Therefore, Agora isn’t ossified.
> > > I retract the above proposal.
> > > Gaelan
> > >
> > > > On Feb 21, 2019, at 12:21 AM, Timon Walshe-Grey m...@timon.red wrote:
> > > > Yes, the "gamestate" includes the rules, and I initially assumed the 
> > > > same thing as you. But ais523 pointed out a few days ago that rule 
> > > > 105/19 says
> > > >
> > > >  A rule change is wholly prevented from taking effect unless its
> > > >  full text was published, along with an unambiguous and clear
> > > >  specification of the method to be used for changing the rule, at
> > > >  least 4 days and no more than 60 days before it would otherwise
> > > >  take effect.
> > > >
> > > >
> > > > which overrides the passage in rule 106/40 that says
> > > >
> > > >Except as prohibited by other rules, a proposal that
> > > >  takes effect CAN and does, as part of its effect, apply the
> > > >  changes that it specifies.
> > > >
> > > >
> > > > -twg
> > > > ‐‐‐ Original Message ‐‐‐
> > > > On Thursday, February 21, 2019 2:47 AM, James Cook 
> > > > jc...@cs.berkeley.edu wrote:
> > > >
> > > > > > I'd prefer to just repeat the cleanings. Mass changes to the ruleset
> > > > > > are one of the riskiest things you can do in Agora (which is why 
> > > > > > there
> > > > > > are so many protections preventing them being done by accident).
> > > > > > My proposal says "The gamestate is changed...". I assumed that
> > > > > > includes the rules, making re-cleaning unnecessary. Is there 
> > > > > > precedent
> > > > > > for what "gamestate" means?




DIS: Re: BUS: Not so fast!

2019-02-22 Thread Timon Walshe-Grey
On Friday, February 22, 2019 4:08 AM, James Cook  wrote:
> Adoption Index: 3.05

Don't think anyone's spotted this yet, but AI can only be a multiple of 0.1. If 
I recall correctly, invalid values default to 1.0, which wouldn't work here. 
(Or even worse, might work _only in part_.)

-twg