Laws of Form
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
Laws of Form (hereinafter LoF) is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems:
- The "primary arithmetic" (described in Chapter 4 of LoF), whose models include Boolean arithmetic;
- The "primary algebra" (Chapter 6 of LoF), whose models include the two-element Boolean algebra (hereinafter abbreviated 2), Boolean logic, and the classical propositional calculus;
- "Equations of the second degree" (Chapter 11), whose interpretations include finite automata and Alonzo Church's Restricted Recursive Arithmetic (RRA).
"Boundary algebra" is Meguire's (2011) term for the union of the primary algebra and the primary arithmetic. Laws of Form sometimes loosely refers to the "primary algebra" as well as to LoF.
[edit]
See also
- Boolean algebra (introduction)
- Boolean algebra (logic)
- Boolean algebra (structure)
- Boolean algebras canonically defined
- Boolean logic
- Entitative graph
- Existential graph
- List of Boolean algebra topics
- Propositional calculus
- Two-element Boolean algebra
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Laws of Form" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.