## Logic as arithmetic

George Boole wrote on “the laws of thought,” now known as Boolean Algebra, and started the discipline known as Symbolic Logic. A different George, George Spencer Brown, wrote on “the laws of form,” which presented an arithmetic system underlying logic. Below are two symbolic logics equivalent to Boolean algebra that resemble ordinary arithmetic in some …