Ed Murphy on Mon, 14 Jun 2010 16:49:33 -0700 (MST) |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: [s-d] [s-b] CFI - The nature of shadows. |
Marr965 wrote: > --- On Fri, 11/6/10, Ed Murphy <emurphy42@xxxxxxxxxxxx> wrote: > > From: Ed Murphy <emurphy42@xxxxxxxxxxxx> > Subject: Re: [s-b] CFI - The nature of shadows. > To: "B Nomic Business" <spoon-business@xxxxxxxxx> > Date: Friday, 11 June, 2010, 16:39 > > 0x44 wrote: > >> I usurp the Oracle specifying a reward of 9. >> This is CFI 112. I assign it to Judge Murphy. >> >> On Jun 10, 2010, at 12:37 PM, 0x44 wrote: >> >>> I CFI on "Rule 10 is a Rule." >>> Arguments: It is an entity named "Rule 10". > > If this assignment is valid, then I judge True. In general, in the > apparent absence of an explicit definition of "rule", common sense > suggests the definition "entity created according to a B-defined > mechanism and clearly labeled as being a rule". > I object to this answer. If I changed my name to Rule 203, I would > still not be a rule. You were not "created according to a B-defined mechanism". (also, please don't top-post) _______________________________________________ spoon-discuss mailing list spoon-discuss@xxxxxxxxx http://lists.ellipsis.cx/mailman/listinfo/spoon-discuss