Differential Propositional Calculus • 31

Tacit Extensions

Returning to the Table of Differential Propositions, let’s examine how the general concept of a tacit extension applies to the differential extension of a one‑dimensional universe of discourse, where \mathcal{X} = \{ A \} and \mathcal{Y} = \mathrm{E}\mathcal{X} = \{ A, \mathrm{d}A \}.

Each proposition f_i : X \to \mathbb{B} has a canonical expression e_i in the set \{ 0, \texttt{(} A \texttt{)}, A, 1 \}.  The tacit extension \boldsymbol\varepsilon f_i : \mathrm{E}X \to \mathbb{B} may then be expressed as a logical conjunction f_i = e_i \cdot \tau, where \tau is a logical tautology using all the variables in \mathcal{Y} - \mathcal{X}.  The following Table shows how the tacit extensions \boldsymbol\varepsilon f_i of the propositions f_i may be expressed in terms of the extended basis \{ A, \mathrm{d}A \}.

\text{Tacit Extension of}~ [A] ~\text{to}~ [A, \mathrm{d}A]
Tacit Extension of [A] to [A, dA]

In its bearing on the singular propositions over a universe of discourse X the above analysis has an interesting interpretation.  The tacit extension takes us from thinking about a particular state, like A or \texttt{(} A \texttt{)}, to considering the collection of outcomes, the outgoing changes or singular dispositions springing or stemming from that state.

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

  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.