Differential Propositional Calculus • 24


Urge and urge and urge,
Always the procreant urge of the world.

— Walt Whitman • Leaves of Grass

Example 1. A Square Rigging

Returning to the universe of discourse based on a single feature A, suppose we are given the initial condition A = \mathrm{d}A and the second order differential law \mathrm{d}^2 A = \texttt{(} A \texttt{)}.  Since the equation A = \mathrm{d}A is logically equivalent to the disjunction A ~ \mathrm{d}A \lor \texttt{(} A \texttt{)(} \mathrm{d}A \texttt{)} we may infer two possible trajectories, as shown in the following Table.

\text{A Pair of Commodious Trajectories}
Commodious Trajectories

In either case the state A ~ \texttt{(} \mathrm{d}A \texttt{)(} \mathrm{d}^2 A \texttt{)} is a stable attractor or terminal condition for both starting points.

Resources

cc: Academia.eduCyberneticsStructural ModelingSystems Science
cc: Conceptual GraphsLaws of FormMathstodonResearch Gate

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Topology, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to Differential Propositional Calculus • 24

  1. Pingback: Survey of Differential Logic • 7 | Inquiry Into Inquiry

  2. Pingback: Survey of Differential Logic • 7 | Inquiry Into Inquiry

  3. Pingback: Survey of Differential Logic • 8 | Inquiry Into Inquiry

  4. Pingback: Survey of Differential Logic • 8 | Systems Community of Inquiry

Leave a comment

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