Re: [s-d] [s-b] Ballot for Nweek/152

["Jamie Dallaire" <bad.leprechaun@xxxxxxxxx>]

On Tue, Dec 23, 2008 at 10:56 AM, Charles Schaefer
<chuckles11489@xxxxxxxxx>wrote:

> 2008/12/23, 0x44 bnomic@xxxxxxxxxxxxxx:
> >
> >
> >
> > 5e32 allows you to Cast a vote, and allows you to retract a vote, but
> does
> > not define retract (therefore it defaults to normal language?)
>
>
> The rules don't say this, but I think we can assume so. (If every undefined
> word in the ruleset didn't do this, we'd have quite a problem. Unless we
> want our ruleset to turn into a dictionary.)


Even then, that would be impossible. You can't define every single words
within a ruleset inside of that ruleset, just like you can't develop a
logically consistent, non-circular system of (e.g.) geometry without relying
on some unproven axioms. The ruleset requires the use of terms that are
defined externally.

BP
_______________________________________________
spoon-discuss mailing list
spoon-discuss@xxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/spoon-discuss