Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread Pavitra
Roger Hicks wrote: > I don't see the equivalence. (If X then Y) implies (if X then Y else > (not Y)) which is why it seems broken to me. I believe you're confusing "if" with "iff". Do we need to add IF,IMPLIES,SUFFICIENT and IFF,IF AND ONLY IF,NECESSARY AND SUFFICIENT to MMI? signature.asc Des

Re: DIS: Re: BUS: Proposal: NOV Cleanup

2009-08-28 Thread Pavitra
Ed Murphy wrote: > Also, it's one more Platonic delayed-effect for the Insulator to track. Who said it has to be Platonic? "Any player CAN create N rests in the ninny's possession, provided that the case in question in unappealable and that no player has already done so for that case." Or even "A

Re: DIS: Re: BUS: Proposal: NOV Cleanup

2009-08-28 Thread Ed Murphy
BobTHJ wrote: > On Thu, Aug 27, 2009 at 16:43, Ed Murphy wrote: >> BobTHJ wrote: >> >>> On Thu, Aug 27, 2009 at 16:15, Ed Murphy wrote: BobTHJ wrote: > The "with N support" mechanism for NOVs is very messy. This proposes > to replace that with a simple "with support". It also rem

DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread Taral
On Fri, Aug 28, 2009 at 7:47 AM, Roger Hicks wrote: > If the action is to be performed With Notice then there are no > restrictions are imposed on Agora being Satisfied with the intent. English please. -- Taral "Please let me know if there's any further trouble I can give you." -- Unknown

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread ais523
On Fri, 2009-08-28 at 16:52 +0100, ais523 wrote: > "If X then Y" implies nothing about the truth value of Y if X turns out > to be true. That should read: > "If X then Y" implies nothing about the truth value of Y if X turns > out to be false. Obviously, I suck at correcting things. -- ais523

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread ais523
On Fri, 2009-08-28 at 16:52 +0100, ais523 wrote: > On Fri, 2009-08-28 at 09:45 -0600, Roger Hicks wrote: > > I don't see the equivalence. (If X then Y) implies (if X then Y else > > (not Y)) which is why it seems broken to me. > Err, no it doesn't. > > "If X then Y" implies nothing about the truth

Re: DIS: Re: BUS: Proposal: NOV Cleanup

2009-08-28 Thread Roger Hicks
On Thu, Aug 27, 2009 at 16:43, Ed Murphy wrote: > BobTHJ wrote: > >> On Thu, Aug 27, 2009 at 16:15, Ed Murphy wrote: >>> BobTHJ wrote: >>> The "with N support" mechanism for NOVs is very messy. This proposes to replace that with a simple "with support". It also removes the >>> This would

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread Elliott Hird
2009/8/28 Roger Hicks : > (If X then Y) implies (if X then Y else (not Y)) Jesus flippin' Christ on a pogo stick Please tell me this was a typo.

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread ais523
On Fri, 2009-08-28 at 09:45 -0600, Roger Hicks wrote: > I don't see the equivalence. (If X then Y) implies (if X then Y else > (not Y)) which is why it seems broken to me. Err, no it doesn't. "If X then Y" implies nothing about the truth value of Y if X turns out to be true. -- ais523

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread Roger Hicks
On Fri, Aug 28, 2009 at 09:22, comex wrote: > > > Sent from my iPhone > > On Aug 28, 2009, at 8:08 AM, Roger Hicks wrote: >>> >> Well, to be honest the whole thing doesn't make sense. comex's >> arguments only further convinced me that the rule has been broken all >> along. I retract the above pro

Re: DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread comex
Sent from my iPhone On Aug 28, 2009, at 8:08 AM, Roger Hicks wrote: Well, to be honest the whole thing doesn't make sense. comex's arguments only further convinced me that the rule has been broken all along. I retract the above proposal (which wasn't distributable anyway because I forgot II

DIS: Re: BUS: Emergency Fix Proposal

2009-08-28 Thread ais523
On Fri, 2009-08-28 at 08:47 -0600, Roger Hicks wrote: > On Thu, Aug 27, 2009 at 16:35, Sean Hunt wrote: > > I submit the following proposal and play Distrib-u-Matic to make it > > Distributable: > > > > FIXME (II=1, AI=3) > > Why kill the rest of the otherwise functioning proposal? > > I play Com

DIS: Re: BUS: Bad Idea

2009-08-28 Thread Pavitra
Sean Hunt wrote: > That Was Easy (AI=1, II=0) > {{{ > Each person who cast a valid vote FOR this proposal wins the game. > }}} I vote FOR this proposal. I retract that and vote AGAINST it. Note that the first vote was valid _at the time I cast it_; i.e., I have cast a valid vote FOR the proposal.

Re: DIS: Re: BUS: PNP amendment

2009-08-28 Thread Pavitra
Elliott Hird wrote: > 2009/8/27 Geoffrey Spear : >> I intend, without objection, to modify section 8 of the PNP agreement >> by replacing "http://nomic.info/perlnomic"; with >> "http://www.normish.org/perlnomic";. >> > > I proto-object. Why? signature.asc Description: OpenPGP digital signature