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 temporal inference rules.

For example, relative to a frame of observation to be left implicit for now, 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: FB | Differential LogicLaws of FormMathstodonAcademia.edu
cc: Conceptual Graphs (1) (2)CyberneticsStructural ModelingSystems Science

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Differential Propositional Calculus • 22

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

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

Leave a comment

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