Contents
The Markable Mark
About Laws of Form and G. Spencer Brown
About the author of this website
How many Signs? (Part I)
How many Signs? (Part II)
How the Boy worked out the Meaning of any Sign
Valerie's markup Method
Arthur, the Arithmetician
Algernon, the Algebraist
Clara's World: the CLCalculus
There is no redundancy in the system of Initial Equations
The CLCalculus, Part II
The Mutual Dominance Lemma
Peircean Illative Transformations
Development of the Equivalence Expression
Lewis Carroll's Five Liar Problem
The 'Case Analysis' Lemma
Exhaustive Case Analysis, and the Standard Form
Consequences of the Standard Form Lemma
An Application of the CLCalculus (Set Theory)
CLAlgebras
Boolean Algebras
How Many CombinationSchemes?
How Many CombinationSchemes?, Part II
Proof of the three Constraints
The Number of Elements in a finite CLAlgebra
Every CLAlgebra is a group
Huntington's Axiom
A humanfriendly proof of the Robbins Conjecture
The Validity of Inference
Prospectus for 'An Approach from Laws of Form to the Predicate Calculus'
Main text: 'An Approach from Laws of Form to the Predicate Calculus'
Earlier proof of 'Case Analysis' and Test Theorem
Moves for reducing Depth
back to front page
