Laws of Form
|
First published in 1969 and currently out of print, Laws of Form is a book by the British mathematician G. Spencer-Brown. The book, a formal math text, is a challenge for the non-mathematician to understand. This is unfortunate because the mathematics are not all that difficult. In addition, applications of the mathematics and the philosophical implications of the Laws do not become apparent until the end of the book. In the second appendix the author shows how the Laws can be applied to problems of logic.
The author also made claims in the book that his system could be extended to solve many other problems such as the four color theorem. These claims were never fully realized and Spencer-Brown’s reputation, as well as the book’s, went on the decline. However, the book does present, as Bertrand Russell said, “a new calculus, of great power and simplicity.“ While ostensibly a book of formal mathematics, it became somewhat of a cult classic, mentioned in places like the Whole Earth Catalog. To some it represents “a mathematics of consciousness”.
Critics of the work often dismiss it because (as asserted in a paper by Banaschewski) the system can simply be reduced to a conventional logical system. Proponents counter that the beauty of the Laws is that the conventional logical system can be reduced to the Laws of Form -- a system with only one symbol. In addition that singular symbol is seen as representing the foundation of consciousness and language.
Contents |
The Form
The form is the essence of the Laws of Form. It is represented by the symbol:
which is also called a Cross. The form represents drawing a distinction. It can be thought of three ways:
- The act of drawing a boundary around something and separating it from everything else
- That which has been defined by drawing the boundary
- Crossing from one side of the boundary to the other
All three of these imply the person who is making the distinction. As Spencer-Brown writes, “the first distinction, the mark and the observer are not only interchangeable, but, in the form, identical”.
“The first command,
- draw a distinction
... can well be expressed in such ways as
- Let there be a distinction,
- Find a distinction,
- See a distinction,
- Describe a distinction,
- Define a distinction,
Or
- Let a distinction be drawn.”
To use a biblical analogy, “Let there be light” is the same as
- “and there was light” –- the light itself
- “morning”
- “and evening” -- the boundaries of the light
Or
- “one day” -- the manifestation of the light.
The form is the observer, and the observed. It is the creative act of making an observation.
Along with the Cross is the unmarked state. This is simply nothing. No distinction has been made and nothing has been crossed. The unmarked state is represented by a blank space. It is simply the absence of a Cross.
The Two Axioms
1) The law of calling. If you make a distinction twice it is the same as doing it once. For instance, if you say “Let there be light” and then you say “Let there be light” again, it is the same as saying it once. This is represented using symbols as the equation:
2) The law of crossing. If you cross the boundaries of a distinction twice, you are back where you started and no distinction has been made. For instance if you cross from night to day, that is morning and there is light. If you cross back into night, there is no light. Using symbols this is represented as:
- Missing image
Laws_of_Form_-_double_cross.gif
Image:Laws of Form - double cross.gif
=
- Missing image
The Form as it Applies to Logic
A cross means that a distinction has been made and the absence of a cross means that no distinction has been made. In the biblical example there is light, or there is the void – the absence of light. This binary system also represents the Boolean values of 1 and 0, or True and False. Since the form also has the meaning of crossing the boundary of a distinction, it also means Not. This may seem odd on the surface, however True is equivalent to Not False and both True and Not False are represented the same way -- with a Cross.
- = False
- Missing image
Laws_of_Form_-_double_cross.gif
Image:Laws of Form - double cross.gif
= Not True = False
- Missing image
(Note that the interpretations presented here are based on the identification of the empty space with the value 'False'. It is also possible to identify the empty space with the value 'True', which requires modification of the usual forms of the operations 'And' and 'Or', as well as that of the implication, i.e. if/then. This modification is known in Boolean logic as a DeMorgan transformation.)
The Primary Algebra
Variables can be used to represent unknowns. A variable can have one of two states; it can represent a cross or it can represent the absence of a cross. Building on this the Laws of Form derives simple rules for simplifying complex statements.
Since these two states represent True and False. Variables can be used to represent any statement whose truth is unknown. Thus:
- Missing image
Laws_of_Form_-_a_and_b.gif
Image:Laws of Form - a and b.gif
represents Not (Not A or Not B)- which is the same as Not (If A Then Not B)
- which is the same as A And B.
- Missing image
The external links below have more detail about how the Laws of Form relate to logic.
External links
- lawsofform.org (http://www.lawsofform.org/lof.html)
- Memory Forms -- An overview of the LAWS OF FORM as it relates to Logic (http://causaergosum.net/lof/memory_forms.html)
- Laws of Form Notebook - Forms Simulation program (http://causaergosum.net/lof/lofn2.html)
- Pancake Math -- An adaptation of the LAWS OF FORM suitable for teaching to children (http://pancakemath.org/)de:Laws of Form