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}

This new quality, \mathrm{d}q, is an example of a differential quality, since its absence or presence qualifies the absence or presence of change occurring in another quality.  As with any other 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.  This 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" \}.

cc: FB | Differential LogicLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural 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 • 3

  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.