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: 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.

3 Responses to Differential Propositional Calculus • 31

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

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

  3. 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.