Differential Propositional Calculus • 3

Casual Introduction (cont.)

Figure 3 returns to the situation in Figure 1, but this time interpolates a new quality specifically tailored to account for the relation between Figure 1 and Figure 2.

Figure 3. Back, To The Future
\text{Figure 3. Back, To The Future}

The new quality, \mathrm{d}q, is marked as a differential quality on account of its absence or presence qualifying the absence or presence of change occurring in another quality.  As with any quality, it is represented in the venn diagram by means of a “circle” distinguishing two halves of the universe of discourse, in this case, the portions of X outside and inside the region \mathrm{d}Q.

Figure 1 represents a universe of discourse X together with a basis of discussion \{ q \} for expressing propositions about the contents of that universe.  Once the quality q is given a name, say, the symbol ``q", we have the basis for a formal language specifically cut out for discussing X in terms of q.  That language is more formally known as the propositional calculus with alphabet \{ ``q" \}.

In the context marked by X and \{ q \} there are just four distinct pieces of information which can be expressed in the corresponding propositional calculus, namely, the constant proposition \text{false}, the negative proposition \lnot q, the positive proposition q, and the constant proposition \text{true}.

For example, referring to the points in Figure 1, the constant proposition \text{false} holds of no points, the negative proposition \lnot q holds of a and d, the positive proposition q holds of b and c, and the constant proposition \text{true} holds of all points in the sample.

Figure 3 preserves the same universe of discourse and extends the basis of discussion to a set of two qualities, \{ q, \mathrm{d}q \}.  In corresponding fashion, the initial propositional calculus is extended by means of the enlarged alphabet, \{ ``q", ``\mathrm{d}q" \}.

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

  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.