Theme One • A Program Of Inquiry 12

Logical Cacti (cont.)

The main things to take away from the previous post are the following two ideas, one syntactic and one semantic.

  • The compositional structures of cactus graphs and cactus expressions are constructed from two kinds of connective operations.
  • There are two ways of mapping these compositional structures into the compositional structures of propositional sentences.

The two kinds of connective operations are described as follows.

  • The node connective joins a number of component cacti C_1, \ldots, C_k to a node:

Node Connective

  • The lobe connective joins a number of component cacti C_1, \ldots, C_k to a lobe:

Lobe Connective

The two ways of mapping cactus structures to logical meanings are summarized in Table 3, which compares the entitative and existential interpretations of the basic cactus structures, in effect, the graphical constants and connectives.

\text{Table 3. Logical Interpretations of Cactus Structures}
Logical Interpretations of Cactus Structures

Resources

cc: Peirce List • (1)(2)(3)

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

6 Responses to Theme One • A Program Of Inquiry 12

  1. Pingback: Survey of Theme One Program • 2 | Inquiry Into Inquiry

  2. Pingback: Survey of Theme One Program • 2 | Inquiry Into Inquiry

  3. Pingback: Survey of Theme One Program • 3 | Inquiry Into Inquiry

  4. Pingback: Survey of Theme One Program • 4 | Inquiry Into Inquiry

  5. Pingback: Survey of Theme One Program • 5 | Inquiry Into Inquiry

  6. Pingback: Survey of Theme One Program • 6 | Inquiry Into Inquiry

Leave a comment

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