From: Thomas Buckner (tcbevolver@yahoo.com)
Date: Fri May 28 2004 - 00:51:55 MDT
--- Marc Geddes <marc_geddes@yahoo.co.nz> wrote:
> --- Ben Goertzel <ben@goertzel.org> wrote: >
>
> >
> > If you're not familiar with it you should check
> out
> > the work of G.
> > Spencer-Brown, in particular "Laws of Form" and
> the
> > literature that
> > others such as Louis Kauffmann have built around
> it.
> > Spencer-Brown
> > presents a novel formulation of Boolean logic in
> > terms of a single
> > logical operator which he calls the "mark" or the
> > distinction operator.
> > Thus the basis of Boolean logic is simply
> >
> > * the distinction between figure and ground
> > * the possibility of relating two distinctions in
> > two different ways
> >
> > If a distinction is written (), then the two ways
> > are basically (()) and
> > ()()
> >
> > His basic logic rules are
> >
> > (()) =
> > ()()=()
> >
> > From these come all of logic, etc. etc.
> >
>
> No, I hadn't heard of Spencer-Brown. Very
> interesting. Oh shit, it looks like someone beat me
> to my 'great idea' by 30 years or more :-( Oh well.
>
I've been meaning to read Spencer-Brown forever.
Better make a note.
Tom
__________________________________
Do you Yahoo!?
Friends. Fun. Try the all-new Yahoo! Messenger.
http://messenger.yahoo.com/
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:47 MDT