Forth Meets Laws of Form
Jeff Fox June 9, 1994


Laws of Form, by G. Spencer Brown, was first published in 1969. The book was advertized in the first edition of the Whole Earth Catalog, and came to symbolize an alternative approach to mathematics to a generation of alternative seekers.
Laws of Form is a mathematics text and in some ways has natural parallels to the Forth programming language. "Unlike more superfical forms of expertise, mathematics is a way of saying less and less about more and more. A mathematical text is thus not an end in itself, but a key to a world beyond the compass of ordinary description."
After my first exposure to Laws of Form I was convinced that someday this work would have strong influence on the design of computer circuitry, and software design. In the spring of 1994 some 24 years later I noticed a series of articles in Electronic Engineering Times about how Laws of Form was now being used by several companies to reduce the complexity of digital logic circuits that they are building.
Recently Forth met Laws of Form directly when Chuck Moore reviewed the work looking for new ideas that might be of use to him in designing simplified logic circuits. Chuck felt that the one technique that might be useful in future designs was the use of imaginary numbers in expressing circuit feedback.
My primary interest in the work has always been in the ability of the Laws to reduce the complexity of logical expressions, or to determine if a logical expression is true, false, or contingent in a systematic way. The Laws of Form is an attempt to unify the disparate fields of math, logic, and the physical sciences with a very simple underlying mathematical principle.
I will not provide mathematical proofs for any of the things presented here, that is the main purpose of the original work. I am really only interested in how it can be applied to computer programs to handle complex problems in logic, and I leave the proofs to the mathematicians.

THE FORM

Axiom 1. The law of calling

The value of a call made again is the value of the call.

That is to say, for any name, to recall is to call.

Axiom 2. The law of crossing

The value of a crossing made again is not the value of the crossing.

That is to say, for any boundry, to recross is not to cross.

These laws are expressed in many ways in the book. The idea is that we can make a mark to distinguish two states: the marked state and the unmarked state. This is usually done in the work by using a type of cross to mark or distinguish something.

graphic for cross

The two laws expressed in this form are:

graphic experssion of the two laws

Now skipping ahead to the end of the book in APPENDIX 2

THE CALCULUS INTERPRETED FOR LOGIC

Interpretative theorem 1

If the primary algebra is interpreted so that integral expressions are true, and if each of a number of class-inclusion premisses is sententially transcribed in it, and if variables representing the same same sentance at odd and even levels are cancelled, what remains, when retranscribed, is the logical conclusion.

Four very interesting examples of are provided:

1. A dilemma from Maurant:

If we are to have a sound economy, we must not inflate the currency. But if we are to have an expanding economy, we must inflate the currency. Either we inflate the currency or we do not inflate the currency. Therefore, we shall have neither a sound economy nor an expanding economy.

2. A syllogism in Barbara, in the form of Whitehead and Russell's implicational logic:

syllogism

3. An equivalence problem from B V Bowden, Faster than Thought:

A club has the follwing rules.

(a) The Financial Committee must be chosen from among the General Committee,
(b) No-one shall be a member of the General and Library Committees unless he is also on the Financial Committee,
(c) No member of the Library Committee shall be on the Financial Committee.

4. Lewis Carroll's last sorties:

The problem is to draw the conclusion from the following set of premisses.

(1) The only animals in ths house are cats;
(2) Every animal is suitable for a pet, that loves to gaze at the moon;
(3) When I detest and animal, I avoid it;
(4) No animals are carnivorous, unless they prowl at night;
(5) No cat fails to kill mice;
(6) No animals ever take to me, except what are in this house;
(7) Kangaroos are not suitable for pets;
(8) None but carnivora kill mice;
(9) I detest animals that do not take to me;
(10) Animals, that prowl at night, always love to gaze at the moon.

These problems might appear difficult to someone who does not consider themself to be a mathematician, and I suspect that they might seem difficult to most programmers.
Certainly most programmers would consider that writing a program that could solve these problems would be quite difficult. But these are all trivial problems when then are solved using the calculus of indications.

Example 1 can be reduced to:

we have an expanding economy
or we have a sound economy

Which is clearly not a dilemma.

Example 2 is shown to be true.

Example 3 can be reduced to:

(1) The Financial Committee must be chosen from among the General Committee,
(2) No member of the General Committee shall be on the Library Committee.

Example 4 produces the conclusion that all kangaroos are avoided by me.

This type of reduction of logical expression can be tremendous value in expert systems, or AI applications that appear to have a great deal of reasoning power.

A program to do this must perform several steps.

1. Parse strings of text to produce a transcription of the text into a representation in a computer compatible format as expresssed in the calculus of indications.

2. Process this representation with a reduction engine applying the basic laws of condensation and cancellation.

3. Re-transcribe the reduced expression back to english language strings.

Step three could just as easily compile the simplified expression into an expert system.

No Forth code will be presented in this preliminary description of the Forth Meets Laws of Form project. But I will show the computer compatible format for notation in the calculus of indications.

The graphic crosses that are used in the textbook are not suitable for representation in binary format, and I have chosen the underline character _ to represent a cross, and a number to represent the number of expressions to be crossed. In other words the expression cross is just _ , and ``if a then b'' becomes: ``a_1b''. More precisely it is a pointer to the string a, the token for a cross _ and the number representing the number of string tokens to be crossed, and a pointer to the string b.

This format provides the use of a general purpose logic reduction engine that can process data structures of this format on a computer as expressed above as step two. Step three becomes trival.

Step one needs to be able to parse ascii text and recognize certain English words. These words then delimit strings that are used in the transcribed expressions. This will be approached by implementing a small set of words to handle particular examples, and later expanded with more recognizable English expressions to control parsing.

The details of the Forth programs to implement these three steps will be presented in further reports on the project, if this paper can suggest some understanding of the idea behind the project.