Re: Re: DIS: Issuing a card for the wrong reason generating infinite loop

Gotcha, thank you so much for the cool history and reply and all, I appreciate it.

Re: Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

I just realized that if Principle of Explosion could be used at some moment, Agora would become senseless chaotic soup, even if I attempted to use my Explosion powers to remove the contradiction and re-stabilize Agora. Yeah, it can be provable that I can do anything, but: It can also be provable

Re: DIS: Email formatting again

Nope, can't turn off sizing by window width. ( which I can make 70 but sometimes I'm lazy). On Sun, 28 May 2017, Ørjan Johansen wrote: > On Sat, 27 May 2017, Kerim Aydin wrote: > > > Ugh, I see it now in the wrapping of the reply below. My screen's well > > past 100 wide, and I aim for

Re: DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

If the incumbent thinks that someone else is better suited for the job, I think they have the experience to make that decision. 天火狐 On 27 May 2017 at 21:43, Ørjan Johansen wrote: > On Sun, 28 May 2017, Aris Merchant wrote: > > On Sat, May 27, 2017 at 6:13 PM Ørjan Johansen

Re: DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

On Sun, 28 May 2017, Aris Merchant wrote: On Sat, May 27, 2017 at 6:13 PM Ørjan Johansen wrote: I have recently started wondering if all the new players using "endorse" know what it customarily means in Agora. Especially since the term is no longer defined in the Rules.

Re: DIS: Email formatting again

On Sat, 27 May 2017, Kerim Aydin wrote: Ugh, I see it now in the wrapping of the reply below. My screen's well past 100 wide, and I aim for 70ish but sometimes without any guide marks I unconsciously match whatever I'm replying to ... Sorry... I don't know how web Alpine is different, but

Re: DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

On Sat, May 27, 2017 at 6:13 PM Ørjan Johansen wrote: > On Sat, 27 May 2017, Josh T wrote: > > > For all elections which the voting period has yet to close, I endorse the > > incumbent, if any; should the office be vacant, I vote PRESENT. > > I have recently started wondering

Re: DIS: Email formatting again

Ugh, I see it now in the wrapping of the reply below. My screen's well past 100 wide, and I aim for 70ish but sometimes without any guide marks I unconsciously match whatever I'm replying to ... Sorry... On Sun, 28 May 2017, Ørjan Johansen wrote: > On Sat, 27 May 2017, Kerim Aydin wrote: > >

DIS: Email formatting again

On Sat, 27 May 2017, Kerim Aydin wrote: This is what happened during the earliest crisis in Nomic World, the Lindrum World Crisis (I won't write about that because there are documents out there, but I can summarize separately if desired). When two groups disagree on some fundamental

Re: DIS: Re: BUS: [Thesis] Actions in Nomic

Yes, thank you. Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com > On May 27, 2017, at 9:18 PM, Ørjan Johansen wrote: > > On Sat, 27 May 2017, Publius Scribonius Scholasticus wrote: > >> Second, let us consider actions in Suber’s original ruleset

DIS: Re: BUS: [Thesis] Actions in Nomic

On Sat, 27 May 2017, Publius Scribonius Scholasticus wrote: Second, let us consider actions in Suber’s original ruleset [2]. In Suber’s original ruleset, actions are not explicitly mentioned. However, all actions fall into one of two categories: regulated or unregulated. Regulated actions are

Re: DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

I know what endorse means, but I don't know about others. Publius Scribonius Scholasticus On Sat, May 27, 2017 at 9:12 PM, Ørjan Johansen wrote: > On Sat, 27 May 2017, Josh T wrote: > > For all elections which the voting period has yet to close, I endorse the >>

Re: DIS: Re: BUS: [Thesis] Actions in Nomic

When I revise this, I will add in a discussion of game actions and I will try to address how things done by Agora fall into the action model. Publius Scribonius Scholasticus On Sat, May 27, 2017 at 7:21 PM, Kerim Aydin wrote: > > > On Sat, 27 May 2017, Publius

DIS: Re: BUS: [ADoP] Initiating Elections Again (Referee, ADoP, Registrar)

On Sat, 27 May 2017, Josh T wrote: For all elections which the voting period has yet to close, I endorse the incumbent, if any; should the office be vacant, I vote PRESENT. I have recently started wondering if all the new players using "endorse" know what it customarily means in Agora.

Re: DIS: Re: BUS: [Thesis] Actions in Nomic

When I publish the revision, I will fix the table. Publius Scribonius Scholasticus On Sat, May 27, 2017 at 6:11 PM, Nic Evans wrote: > I'll give you more feedback later, but I'd strongly suggest resizing the > table, if possible. If I make the window pane wide enough

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On Sat, 27 May 2017, Martin Rönsch wrote: This is because the principle of explosion is a characteristic specific to classic first order predicate logic and it's extensions. Actually you just need propositional logic, and intuitionistic is enough. not A =def= A -> False False -> B are

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

Am 27.05.2017 um 13:51 schrieb Alex Smith: On Sat, 2017-05-27 at 11:10 +0200, Martin Rönsch wrote: If that's not valid (which I don't think it is, but I'm new, so I know nothing) then you'd have to somehow reconstruct Agora's logical calculus from all the rules, CFJs etc. in order to see

DIS: Re: BUS: [Thesis] Actions in Nomic

On Sat, 27 May 2017, Publius Scribonius Scholasticus wrote: > Interestingly, Suber’s ruleset leaves very basic actions such as joining > or leaving the game unregulated allowing them to occur in any manner. A good example of this is 'voting'. I've played a handful of face-to-face Suber nomic

DIS: Re: BUS: [Thesis] Actions in Nomic

On Sat, 27 May 2017, Publius Scribonius Scholasticus wrote: > First, we must define what an action is before we can classify them. My very first question as I read is, is there a distinction between "game actions" and actions generally? R101 (with a higher precedence from most other rules

Re: DIS: Re: BUS: [Thesis] Actions in Nomic

I'll give you more feedback later, but I'd strongly suggest resizing the table, if possible. If I make the window pane wide enough for the table, it makes the text lines uncomfortably wide. And as CB alluded to, it's not very portable at all. I really like the information it presents, but ideally

Re: DIS: Re: BUS: [Thesis] Actions in Nomic

Sorry, about that. It can be found on GitHub at https://raw.githubusercontent.com/AgoraNomic/Herald/master/Theses/27-May-2017-PSS-DRAFT.txt. Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com > On May 27, 2017, at 5:39 PM, CuddleBeam wrote: >

DIS: Re: BUS: [Thesis] Actions in Nomic

YEEESSS but I can't see those boxes properly in the archive. Please upload a copy to pastebin and/or send me a copy directly to cuddleb...@gmail.com please PSS.

Re: DIS: Issuing a card for the wrong reason generating infinite loop

On Sat, 27 May 2017, CuddleBeam wrote: > So within our morally decentralized system, it's entirely reasonable to throw > cards ad infinitum. Just a follow-up: part of what helps it work is system-design. Card- throwing (or whatever punishment system) has to have enough delays built in that,

Re: DIS: Issuing a card for the wrong reason generating infinite loop

On Sat, 27 May 2017, CuddleBeam wrote: > I made a comic thing based on this problem of "decentralized Justice" > especially when it comes to what is "right" and "wrong" in a more > moral/ethical > kind of way (what is "abuse" and what isn't for example). > http://i.imgur.com/YulQDpf.png > >

DIS: Proto: Rule-Breeders Theme: Build your "Superpowers"

So we got Academia and Stock Market getting tossed around as far I recall, so here's another idea for the mix: I like that we can creatively build our own "superpowers" via Agencies. It was mentioned that a Farming subgame had been super fun too. What if we had a "Breeding" theme? I have my

Re: Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

I personally picture Agora's (or any nomic's) "information-processing" to be a sort of a sea of "axioms" which vary over time and whether you have these axioms or those not depends on "where" you are, for example, who judges your CFJs or who approaches to vote on other certain "truth"-obtaining

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On 05/27/2017 09:10 AM, Nic Evans wrote: There was a short-lived nomic that was loosely based of Agora's rules, including the power system, called nommit. I should point out that if you search for 'nommit' you'll find a subreddit. That's where the game I'm thinking of was played, but

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

It might be interesting to start a Nomic in which rules are expressed through a formal logic and that is grounded in a solid logical foundation. Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com > On May 27, 2017, at 10:10 AM, Nic Evans wrote: > > On

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On 05/27/2017 04:10 AM, Martin Rönsch wrote: I don't think the rules specify what kind of logic the game uses, so in order to get to Explosion you'd have to argue that Agora's logic is first order predicate logic by default. If that's not valid (which I don't think it is, but I'm new, so I

Re: DIS: Issuing a card for the wrong reason generating infinite loop

I made a comic thing based on this problem of "decentralized Justice" especially when it comes to what is "right" and "wrong" in a more moral/ethical kind of way (what is "abuse" and what isn't for example). http://i.imgur.com/YulQDpf.png In fact, it could be applied to anything of the sort and

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

On Sat, 2017-05-27 at 11:10 +0200, Martin Rönsch wrote: > If that's not valid (which I don't think it is, but I'm new, so I know  > nothing) then you'd have to somehow reconstruct Agora's logical calculus  > from all the rules, CFJs etc. in order to see whether Explosion is  > necessary to make it

DIS: Issuing a card for the wrong reason generating infinite loop

(I know this is related to that CFJ I didn't want to judge but this is more of a generalization which I've thought based on my own would-be Judgement, to better understand if my would-be Judgement would be right or wrong itself or if this is just a funny quirk of the system.) So imagine A-man

Re: DIS: Re: BUS: humble agoran farmer cooks curry

No, it should be DISMISS because the sentence is malformed and can not have a true/false value assigned. Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com > On May 26, 2017, at 10:32 PM, Quazie wrote: > > It's false because there's no reason for

Re: DIS: Re: OFF: [ADoP] (Corrected) Metareport

Actually when I set that up it only caught by original registration emails. Is there anything I need to change about it? Is there a special place to put it? Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com > On May 26, 2017, at 9:40 PM, Nic Evans

Re: DIS: Re: OFF: [ADoP] (Corrected) Metareport

Thanks! Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com > On May 26, 2017, at 9:40 PM, Nic Evans wrote: > > On 05/26/2017 08:24 PM, Publius Scribonius Scholasticus wrote: >> I did not receive the corrected report, but in my mail reader. The referee

Re: DIS: Find two contradictory CFJs -> Principle of explosion -> Do anything

Am 27.05.2017 um 06:36 schrieb Nic Evans: On 05/26/2017 10:24 PM, Ørjan Johansen wrote: On Sat, 27 May 2017, CuddleBeam wrote: So, "absurdity" is not meant in a formal way (non sequitur) but rather how the consequences of the application of laws of logic feels like? No, it _is_ formal, but

Re: DIS: Re: BUS: Buy your way to victory

On Sat, 27 May 2017, Quazie wrote: I don't think it's a recordable event. If I 'submit 0 proporaals' or 'call 0 CFJs' both are non actions, how is there an action to record here? Rule 2483 includes: If Agora, a player, or an organization (A) 'pays' X shinies to Agora, a player,

Re: DIS: Re: BUS: Buy your way to victory

I don't think it's a recordable event. If I 'submit 0 proporaals' or 'call 0 CFJs' both are non actions, how is there an action to record here? On Sat, May 27, 2017 at 00:56 Ørjan Johansen wrote: > On Sat, 27 May 2017, Owen Jacobson wrote: > > > On May 24, 2017, at 8:02 PM,

Re: DIS: Re: BUS: Buy your way to victory

On Sat, 27 May 2017, Owen Jacobson wrote: On May 24, 2017, at 8:02 PM, Ørjan Johansen wrote: On Wed, 24 May 2017, caleb vines wrote: On Wed, May 24, 2017 at 11:44 AM, Gaelan Steele wrote: In the victory election, I vote for myself, then the set of

Re: DIS: Re: OFF: [Arbitor] CFJ 3493, 3494 assigned to Aris

On Sat, May 27, 2017 at 12:25 AM Owen Jacobson wrote: > > On May 19, 2017, at 3:10 PM, Alex Smith wrote: > > > On Tue, 2017-05-16 at 10:00 -0700, Kerim Aydin wrote: > >> I CFJ on: Immediately after my most recent deregistration, I had a > Balance

DIS: A brief note

I've spilled water on my regular computer, making it (hopefully just until it dries out) unusable. With sincere apologies to everyone, that means that everything is a bit of a chaotic mess at the moment. I'm going to fulfill all of my obligations, but some of them may be slightly late, and

Re: DIS: Re: BUS: Buy your way to victory

> On May 24, 2017, at 8:02 PM, Ørjan Johansen wrote: > > On Wed, 24 May 2017, caleb vines wrote: > >> On Wed, May 24, 2017 at 11:44 AM, Gaelan Steele wrote: >> >>> In the victory election, I vote for myself, then the set of all players >>> who gave me

Re: DIS: Re: OFF: [Assessor] Resolution of Proposal(s) 7852

There was a defect in the original Payday rules for this round of economics that had two consequences: 1. Inaccuracies in the message purporting to perform the Payday payments likely rendered the whole attempt void, and 2. If the office of Secretary were to be vacant or idle, then Paydays

Re: DIS: Re: BUS: CFJs 3471-3472

> On May 24, 2017, at 5:32 PM, Kerim Aydin wrote: > > > > On Tue, 23 May 2017, Owen Jacobson wrote: >> https://ap02.alpine.washington.edu/alpine/alpine/2.0/view/0/agora/80517 >> On May 23, 2017, at 5:27 PM, Kerim Aydin wrote: >> >> CFJ

Re: DIS: Re: BUS: Proto: Stamps

> On May 24, 2017, at 4:24 PM, Nic Evans wrote: > > It's monthly (though that's only stated indirectly), because an org can > be destroyed if it hasn't paid the admin fee in a given month. That may be the intent, but I don’t think that’s how it reads: >>> An organization

DIS: Re: OFF: [Arbitor] CFJ 3493, 3494 assigned to Aris

On May 19, 2017, at 3:10 PM, Alex Smith wrote: > On Tue, 2017-05-16 at 10:00 -0700, Kerim Aydin wrote: >> I CFJ on: Immediately after my most recent deregistration, I had a Balance >> Switch with a value greater than 0. > > This is CFJ 3494. I assign it to Aris.

Re: DIS: humble agoran farmer attempts to invent the noose

Does the clause “X is a cardable offence” override the clause “A Card is a recognition of a specific violation of the rules?” The former doesn’t actually make X against the rules. I mention this, because it appears that the result could in fact be 1,000 broken pledges, and no further