Laws of Form

From Wiki @ Karl Jones dot com
Revision as of 08:50, 23 September 2016 by Karl Jones (Talk | contribs) (Created page with "'''''Laws of Form''''' (hereinafter '''LoF''') is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. =...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Laws of Form (hereinafter LoF) is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy.

Description

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 Dr Philip Meguire's (2011) term[1] for the union of the primary algebra (hereinafter abbreviated pa) and the primary arithmetic. "Laws of Form" sometimes loosely refers to the pa as well as to LoF.

See also

External links