Cactus Language • Discussion 1

Re: Cactus Language • Preliminaries 9
Re: CyberneticsJoe Bury

JB:
What does subcatenation and surcatenation mean?  Their definitions are not found in a dictionary.  I get the formulas you wrote but I don’t understand the meaning.

Thanks for the question, Joe,

The current presentation of Cactus Language is rather abstract and formal because that’s what we need for a fully computational parsing algorithm, and there’s quite a bit more to do on that score as we go, but I have written more intuitive introductions to the same material various times before — You might try one of the following for starters.

Keeping it short and simple as possible —

  • Under the Existential Interpretation
    • The syntactic connective of Concatenation is interpreted as the Logical Conjunction, which says all of its operands are true.
    • The syntactic connective of Surcatenation is interpreted as the Minimal Negation Operation, which says exactly one of its operands is false.
  • Under the Entitative Interpretation
    • The syntactic connective of Concatenation is interpreted as the Logical Disjunction, which says some of its operands are true.
    • The syntactic connective of Surcatenation is interpreted as the Dual of Minimal Negation, which says not just one of its operands is true.

Resources

cc: Academia.edu • BlueSky • Laws of Form • Mathstodon • Research 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 • Discussion 1

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

  2. Pingback: Cactus Language • Discussion 2 | 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.