Differential Propositional Calculus • 22

A One‑Dimensional Universe (cont.)

The first order differential extension of \mathcal{X} is \mathrm{E}\mathcal{X} = \{ x_1, \mathrm{d}x_1 \} = \{ A, \mathrm{d}A \}.  If the feature A is interpreted as applying to some object or state then the feature \mathrm{d}A may be taken as an attribute of the same object or state which tells it is changing significantly with respect to the property A, as if it bore an “escape velocity” with respect to the state A.  In practice, differential features acquire their meaning through a class of differential inference rules.

For example, relative to a frame of observation to be elaborated more fully in time, if A and \mathrm{d}A are true at a given moment, it would be reasonable to assume \texttt{(} A \texttt{)} will be true in the next moment of observation.  Taken all together we have the fourfold scheme of inference shown below.

Differential Inference Rules

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 • 22

  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.