This page links to three narrated videos that provide an introduction to unary boundary logic, an iconic logic with a single constant and one boundary relation. Conventional propositional logic rests upon the ground of TRUE and FALSE, creating the impression that logical thinking requires duality. Unary logic eliminates the traditional dichotomous system of values in favor of the single ground of existence. Unary logic is no longer about truth-values, it is about the utility of existing information. The three simple deletion/creation axioms of unary logic delete irrelevant and contextually meaningless information to arrive at the same deductive conclusions as does conventional logic. Like Iconic Arithmetic, the iconic boundaries of unary logic provide a visual, manipulative representation that illustrates the processes of deduction.
As an introduction to a forthcoming book (late 2025), this page links to three narrated videos about unary boundary logic:
Narrated Videos, January 2025
The 45 minute video Void-based Axioms presents the axiomatic foundations of unary logic as they evolved from George Spencer-Brown’s Laws of Form. Three axioms define the fundamental concepts of void-equivalence and boundary semipermeability. Several animated demonstrations of theorem proving illustrate that deduction can be implemented by deletion rather than implication.
The 21 minute video Postsymbolic Virtual Queries shows how postsymbolic logic achieves the same computational results as the classical string-based approach of symbolic logic by eliminating the redundancy and irrelevance introduced by expressing logic in the same linear form as writing and speaking. Formal logic can also be pictorial and physically manipulable. The essential technique of virtual queries allows us to envision logical deduction.
The 41 minute video Optimized Deductive Reasoning provides many animated examples of unary computation using virtual queries, including logic optimization, deduction with partial information and with contradiction, identifying all possible conclusions, and constraint-based deduction using equations.
Your editorial comments and error corrections are most welcomed at