As a rough illustration of the difference between rhetorical and logical orders, consider the contrasting types of order appearing in the following conjunction of conditionals.

The formula exhibits a happy conformity between its rhetorical form and its logical content, in such a way one hardly notices the difference between them.  The rhetorical form is given by the order of sentences in the conditionals and the order of conditionals in the conjunction.  The logical content is given by the order of propositions in the following extended implicational sequence.

To see the difference between rhetorical form and logical content, or manner and matter, it is enough to observe a few ways the expression can be varied without changing its meaning.  For example, the following expression is logically equivalent to the one at the top.

Any style of declarative programming, or logic programming, depends on a capacity, as embodied in a programming language or other formal system, to describe the relation between problems and solutions in logical terms.  A recurring problem in building such a capacity is in bridging the gap between ostensibly non‑logical orders and the logical orders used to describe and represent them.

For example, to mention just two of the most pressing cases and the ones currently proving to be the most resistant to a complete analysis, one has the orders of dynamic evolution and rhetorical transition which manifest themselves in the process of inquiry and in the communication of its results.

Resources

• Cactus Language • Stylistics
• Survey of Animated Logical Graphs
• Survey of Theme One Program

cc: Academia.edu • BlueSky • Laws of Form • Ma^thstodon • Research Gate
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science