Changes

Figure 3.  Effect of the Difference Operator D

Figure 3.  Effect of the Difference Operator D

           Acting on a Polymorphous Function q

           Acting on a Polymorphous Function q

Figure 3 shows one way to picture this kind of a situation,

Figure&nbsp;3 shows one way to picture this kind of a situation, by superimposing the paths of indicated feature changes on the venn diagram of the underlying proposition.  Here, the models, or the satisfying interpretations, of the relevant ''difference proposition'' <math>\operatorname{D}q</math> are marked with "<code>@</code>" signs, and the boundary crossings along each path are marked with the corresponding ''differential features'' among the collection <math>\{ \operatorname{d}u, \operatorname{d}v, \operatorname{d}w \}</math>.  In sum, starting from the cell <math>u\ v\ w</math>, we have the following four paths:

by superimposing the paths of indicated feature changes on

the venn diagram of the underlying proposition.  Here, the

models, or the satisfying interpretations, of the relevant

"difference proposition" Dq are marked with "@" signs, and

the boundary crossings along each path are marked with the

corresponding "differential features" among the collection

{du, dv, dw}.  In sum, starting from the cell uvw, we have

the following four paths:

   1.  du  dv  dw  =  Change u, v, w.

   1.  du  dv  dw  =  Change u, v, w.

   4.  (du) dv  dw  =  Change v and w.

   4.  (du) dv  dw  =  Change v and w.

That sums up, but rather more carefully, the material that

That sums up, but rather more carefully, the material that I ran through just a bit too quickly the first time around. Next time, I will begin to develop an alternative style of diagram for depicting these types of differential settings.

I ran through just a bit too quickly the first time around.

Next time, I will begin to develop an alternative style of

diagram for depicting these types of differential settings.

===Note 9===

===Note 9===