Spencer-Brown’s Laws of Form (1969)

---

In the early 1980s I was a researcher at Standard Telecommunication Laboratories at Harlow, Essex, part of the formal methods group looking at new ways to formalise software specification. I was studying LISP and Standard ML, Dana Scott's denotational semantics, universal algebra and category theory; my first project was a term-rewriting system for equational logic using the Knuth-Bendix algorithm implemented in LISP on a DEC VAX-11/780.

One of the curiosities which had us excited at that time was Spencer-Brown’s Laws of Form (1969) and its calculus of indications. We were interested because of its minimalism and its central preoccupation with fixed-point recursion.

Subsequently it has had a very odd trajectory.

---

Logic and mathematics: professional logicians quickly saw that it was not fundamentally new. The “mark” is just a notational variant of Boolean algebra (you can recover it with Sheffer stroke or NOR). In mainstream algebra of logic, it was regarded as a curiosity rather than a breakthrough. By the mid-1970s it had no presence in formal logic journals.

Cybernetics, systems theory, philosophy: it survived longer here. Heinz von Foerster, Francisco Varela, and later Niklas Luhmann used it as a metaphorical resource in second-order cybernetics and social systems theory. They were less interested in Boolean algebra per se than in the idea that “distinction” is the primitive operation underlying cognition and society. That strand persisted into the 1990s.

Countercultural reception: in the 1970s–80s, Laws of Form had a cult readership among New Age circles, artists, and speculative thinkers. It was sometimes marketed as a quasi-mystical work about reality arising from distinction. This further distanced it from academic logic.

Present day

In logic and computer science: almost no mainstream research cites it. One occasionally finds enthusiasts in categorical logic or unconventional computation, but it is marginal.

In systems theory and sociology: Luhmann’s school still invokes Spencer-Brown as a conceptual ancestor, though usually filtered and abstracted.

In fringe communities: there are still societies and conferences dedicated to Laws of Form. A “Laws of Form Society” exists, and occasional workshops are held.

Summary

The calculus of indications did not disappear entirely, but in professional logic it is viewed as redundant. It found a second life in cybernetics, social theory, and a small enthusiast community. Today it survives as a niche interdisciplinary curiosity rather than a live research program in mathematics or computer science.

---