Boundary Logic

Boundary logic (BL) is one type of iconic logic. Others are Venn diagrams, Karnaugh Maps, and circuit schematics. BL is an iconic depiction of the mathematical concept of Enclosure, interpreted as the logical operation IMPLIES. See:

BRICKEN, William, 2001. Boundary Logic from the Beginning. September 2001, updated October 2002. pdf

~

Boundary logic is propositional logic interpreted using boundary Notation. It uses two Operators as a minimal basis for elementary Logic: Space provides the *OR* operation; Boundaries provide the *NOT* operation.

a OR b is ab NOT a is (a)

As space, *OR* implicitly has commutative and associative properties.

Boundaries denote a space whose contents are logically inverted, the demarcation between what is and what is not. A space without contents, the void, represents the logical *FALSE*. Thus, a boundary around Nothing represents *NOT FALSE*, which is *TRUE*.

Other propositional connectives can be constructed from this basis:

IF a THEN b is (a) b

With the semantics of boundary logic understood, manipulating logic is simple. The axioms for boundary logic are shown in Figure 1 using parenthesis to draw boundaries [3]. These axioms were chosen for visual clarity; each requires only erasure to simplify.