Differential Logic • 6

Differential Expansions of Propositions

Panoptic View • Difference Maps

In the previous section we computed what is variously described as the difference map, the difference proposition, or the local proposition \mathrm{D}f_x of the proposition f(p, q) = pq at the point x where p = 1 and q = 1.

In the universe of discourse X = P \times Q, the four propositions pq, \, p \texttt{(} q \texttt{)}, \, \texttt{(} p \texttt{)} q, \, \texttt{(} p \texttt{)(} q \texttt{)} indicating the “cells”, or the smallest distinguished regions of the universe, are called singular propositions.  These serve as an alternative notation for naming the points (1, 1), ~ (1, 0), ~ (0, 1), ~ (0, 0), respectively.

Thus we can write \mathrm{D}f_x = \mathrm{D}f|_x = \mathrm{D}f|_{(1, 1)} = \mathrm{D}f|_{pq}, so long as we know the frame of reference in force.

In the example f(p, q) = pq, the value of the difference proposition \mathrm{D}f_x at each of the four points x \in X may be computed in graphical fashion as shown below.

Cactus Graph Df = ((p,dp)(q,dq),pq)

Cactus Graph Difference pq @ pq = ((dp)(dq))

Cactus Graph Difference pq @ p(q) = (dp)dq

Cactus Graph Difference pq @ (p)q = dp(dq)

Cactus Graph Difference pq @ (p)(q) = dp dq

The easy way to visualize the values of these graphical expressions is just to notice the following equivalents.

Cactus Graph Lobe Rule

Cactus Graph Spike Rule

Laying out the arrows on the augmented venn diagram, one gets a picture of a differential vector field.

Venn Diagram Difference pq

The Figure shows the points of the extended universe \mathrm{E}X = P \times Q \times \mathrm{d}P \times \mathrm{d}Q indicated by the difference map \mathrm{D}f : \mathrm{E}X \to \mathbb{B}, namely, the following six points or singular propositions.

\begin{array}{rcccc}  1. & p & q & \mathrm{d}p & \mathrm{d}q  \\  2. & p & q & \mathrm{d}p & \texttt{(} \mathrm{d}q \texttt{)}  \\  3. & p & q & \texttt{(} \mathrm{d}p \texttt{)} & \mathrm{d}q  \\  4. & p & \texttt{(} q \texttt{)} & \texttt{(} \mathrm{d}p \texttt{)} & \mathrm{d}q  \\  5. & \texttt{(} p \texttt{)} & q & \mathrm{d}p & \texttt{(} \mathrm{d}q \texttt{)}   \\  6. & \texttt{(} p \texttt{)} & \texttt{(} q \texttt{)} & \mathrm{d}p & \mathrm{d}q  \end{array}

The information borne by \mathrm{D}f should be clear enough from a survey of these six points — they tell you what you have to do from each point of X in order to change the value borne by f(p, q), that is, the move you have to make in order to reach a point where the value of the proposition f(p, q) is different from what it is where you started.

We have been studying the action of the difference operator \mathrm{D} on propositions of the form f : P \times Q \to \mathbb{B}, as illustrated by the example f(p, q) = pq which is known in logic as the conjunction of p and q.  The resulting difference map \mathrm{D}f is a (first order) differential proposition, that is, a proposition of the form \mathrm{D}f : P \times Q \times \mathrm{d}P \times \mathrm{d}Q \to \mathbb{B}.

The augmented venn diagram shows how the models or satisfying interpretations of \mathrm{D}f distribute over the extended universe of discourse \mathrm{E}X = P \times Q \times \mathrm{d}P \times \mathrm{d}Q.  Abstracting from that picture, the difference map \mathrm{D}f can be represented in the form of a digraph or directed graph, one whose points are labeled with the elements of X =  P \times Q and whose arrows are labeled with the elements of \mathrm{d}X = \mathrm{d}P \times \mathrm{d}Q, as shown in the following Figure.

Directed Graph Difference pq

\begin{array}{rcccccc}  f & = & p & \cdot & q  \\[4pt]  \mathrm{D}f & = &  p & \cdot & q & \cdot &  \texttt{((} \mathrm{d}p \texttt{)(} \mathrm{d}q \texttt{))}  \\[4pt]  & + &  p & \cdot & \texttt{(} q \texttt{)} & \cdot &  \texttt{~(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~~}  \\[4pt]  & + &  \texttt{(} p \texttt{)} & \cdot & q & \cdot &  \texttt{~~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)~}  \\[4pt]  & + &  \texttt{(} p \texttt{)} & \cdot & \texttt{(} q \texttt{)} & \cdot &  \texttt{~~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~~}  \end{array}

Any proposition worth its salt can be analyzed from many different points of view, any one of which has the potential to reveal previously unsuspected aspects of the proposition’s meaning.  We will encounter more and more of these alternative readings as we go.

cc: Category TheoryCyberneticsOntologStructural ModelingSystems Science
cc: FB | Differential LogicLaws of Form • Peirce (1) (2) (3) (4)

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, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Differential Logic • 6

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

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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

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