Logical Graphs • First Impressions 11

Primary Arithmetic as Semiotic System (concl.)

Let S be the set of rooted trees and let S_0 be the 2‑element subset consisting of a rooted node and a rooted edge.  Simple intuition, or a simple inductive proof, will assure us that any rooted tree can be reduced by means of the axioms of the primary arithmetic to either a root node or a rooted edge.

For example, consider the reduction which proceeds as follows.

Semiotic System Example (16)

Regarded as a semiotic process, this amounts to a sequence of signs, every one after the first serving as an interpretant of its predecessor, ending in a final sign which may be taken as the canonical sign for their common object, in the upshot being the result of the computation process.

Simple as it is, the sequence exhibits the main features of any computation, namely, a semiotic process proceeding from an obscure sign to a clear sign of the same object, being in its aim and effect an action on behalf of clarification.

Resources

cc: FB | Logical GraphsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

This entry was posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , . Bookmark the permalink.

3 Responses to Logical Graphs • First Impressions 11

  1. Pingback: Survey of Animated Logical Graphs • 7 | Inquiry Into Inquiry

  2. Pingback: Survey of Animated Logical Graphs • 8 | Inquiry Into Inquiry

  3. Pingback: Survey of Animated Logical Graphs • 8 | Systems Community of Inquiry

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.