Laws of Form facts for kids
Laws of Form is a book by George Spencer-Brown published in 1969. It is about logic, mathematics, and philosophy. The mathematical systems that Spencer-Brown presented in the book are known by the names "calculus of indications", "distinction calculus", and often just "LOF".
Laws of Form grew out of the author's work in electronic engineering. The book has been published in several editions and translations and has never gone out of print. A short book, its mathematical part is only 55 pages long.
Spencer-Brown's philosophy was influenced by Ludwig Wittgenstein, R.D. Laing, Charles Sanders Peirce, Bertrand Russell, and Alfred North Whitehead.
Mathematical ideas
Let 0 and 1 be the two basic primitive values of Boolean algebra. Let AB denote a binary operation of Boolean algebra. Let (X) stand for the Boolean complement of X. Then the calculus of indications is simply Boolean arithmetic reduced to the two equations 11=1 and (1)=0. These are the only "axioms" in LoF.
The primary algebra is mainly a simpler notation for Boolean algebra, except for one thing. In Boolean algebra, is not defined. is "empty" complementation (the complementation of "nothing"). On the other hand, in the primary algebra is defined, and stands for one of 0 or 1. (()) stands for the other primitive value, and is the same thing as the blank page.
Let A and B be any two expressions of the primary algebra. The primary algebra is made up of equations of the form A=B, and these equations are treated in the same way as the equations of the number algebra taught in all schools. Standard methods of logic seldom use equations. LoF argues that doing elementary logic with the primary algebra is easier. In particular, if A is a tautology in logic, then one of A=() or A=(()) holds in the primary algebra.
Laws of Form proves the following fact about the primary algebra:
- Cannot prove both A=B and A/=B. Hence the primary algebra is free of contradiction (is consistent);
- Can always prove whichever of A=B and A/=B happens to be true. (The primary algebra is complete.)
Hence the primary algebra is a well-behaved piece of mathematics. It can be useful even if the philosophy and cognitive science of LoF are wrong or uninteresting.
- Spencer-Brown, George, 1997 (1969). Laws of Form. E. P. Dutton.
