1.1.2 

Diagrammatic Systems 

home page  
Charles S. Peirce invented the essentials of boundary logic in the 1890s, with his Existential Graphs. In Laws of Form (1968), Spencer Brown put it into an algebraic format and supplied the arithmetic of boundary logic. Boundary logic itself contributes a simple and intuitive set of patternequations that define the form of diagrammatic logic. These rules incorporate fundamental concepts such as semipermeable boundaries and voidequivalent forms. Here is a succinct paper relating these three systems:


boundary math  
introduction  


about logic  
∆ formal diagrams  
other systems  


links  
site structure  
These next three are long papers. What's the Difference? tries to place boundary logic within conventional mathematics. It is newish and needs some minor revisions. Equality Is Not Free traces the rather esoteric foundational issue that boundary logic requires only one recursive equation as a basis. This means that the rule of Involution can be proved from Occlusion and Pervasion alone. Taking Nothing Seriously attempts to wrap up these thoughts in establishing boundary computation as a pure mathematics that can be interpreted as logic and as other types of systems.

