Cactus Language • Preliminaries 2

As a temporary notation, let the relationship between a particular sign s and a particular object o, namely, the fact that s denotes o or the fact that o is denoted by s, be symbolized in one of the following two ways.

\begin{array}{lccc}  1. & s & \rightarrow & o  \\[6pt]  2. & o & \leftarrow  & s  \end{array}

Now consider the following paradigm.

Cactus Language Display 1

In the same vein, if we let the sign “blank” denote the sign “ ” then the string of characters inside the first pair of quotation marks will serve as another name for the string of characters inside the second pair of quotation marks.  In other words, “blank” is a higher order sign whose object is the sign “ ” and the string of five characters inside the first pair of quotation marks is a sign at a higher level of signification than the string of one character inside the second pair of quotation marks.  The relation in question can be abbreviated in either one of the following two ways.

\begin{array}{ccc}  ``\text{blank}" & \rightarrow & ``\text{ }"  \\[6pt]  ``\text{ }" & \leftarrow & ``\text{blank}"  \end{array}

Using the raised dot “∙” as a sign to mark the articulation of a quoted string into a sequence of possibly shorter quoted strings, and thus to mark the concatenation of a sequence of quoted strings into a possibly larger quoted string, one can write the following equation.

\begin{array}{lllll}  ``\text{ }" & \leftarrow & ``\text{blank}"  & = &  ``\text{b}" \cdot ``\text{l}" \cdot ``\text{a}" \cdot ``\text{n}" \cdot ``\text{k}"  \end{array}

The above tactic lets us refer to the blank as a type of character and refer to any blank we choose as a token of that type, denoting either in a markèd way, but without the use of quotation marks.  As a blank is just what the name “blank” names, it is possible to represent the denoting of the sign “ ” by the name “blank” in the form of an identity between the named objects, as follows.

\begin{array}{lll}``\text{ }" & = & \mathrm{blank}\end{array}

Given the above identities it is possible to extend the use of the “∙” sign to mark the articulation of either named or quoted strings into both named and quoted strings.  For example, we have the following equations.

\begin{array}{ccccc}  ``\mathrm{~~}" & = & ``\text{ }" \cdot ``\text{ }" & = & \text{blank} \cdot \text{blank}  \\[6pt]  ``\mathrm{~blank}" & = & ``\text{ }" \cdot ``\text{blank}" & = & \text{blank} \cdot ``\text{blank}"  \\[6pt]  ``\mathrm{blank~}" & = & ``\text{blank}" \cdot ``\text{ }" & = & ``\text{blank}" \cdot \text{blank}  \end{array}

Resources

cc: Academia.edu • BlueSky • Laws of FormMathstodonResearch Gate
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

This entry was posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization and tagged , , , , , , , , , , , , , , , , . Bookmark the permalink.

3 Responses to Cactus Language • Preliminaries 2

  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.