Cactus Language • Pragmatics 6

It is possible to trace the divergence of formal grammar styles to an even more primitive division, distinguishing between the additive or parallel styles and the multiplicative or serial styles.  The issue is somewhat confused by the fact that an additive analysis is typically expressed in the form of a series, in other words, a disjoint union of sets or a linear sum of their independent effects.  But it is easy enough to sort things out if one observes the more telling connection between parallel and independent.  Another way to keep the right associations straight is to employ the term sequential in preference to the more misleading term serial.  Whatever one calls the broad division of styles, the scope and sweep of their dimensions of variation can be delineated in the following way.

  • Additive or parallel styles favor sums of products (\textstyle \sum\prod) as canonical forms of expression, pulling sums, unions, co‑products, and logical disjunctions to the outermost layers of analysis and synthesis, while pushing products, intersections, concatenations, and logical conjunctions to the innermost levels of articulation and generation.  The analogous style in propositional logic leads to the disjunctive normal form (DNF).
  • Multiplicative or serial styles favor products of sums (\textstyle \prod\sum) as canonical forms of expression, pulling products, intersections, concatenations, and logical conjunctions to the outermost layers of analysis and synthesis, while pushing sums, unions, co‑products, and logical disjunctions to the innermost levels of articulation and generation.  The analogous style in propositional logic leads to the conjunctive normal form (CNF).

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.

2 Responses to Cactus Language • Pragmatics 6

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

  2. 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.