Changes

The difference map D''J'' can also be given a ''dispositional'' interpretation.  First, recall that <math>\epsilon</math>''J'' exhibits the dispositions to change from anywhere in ''J'' to anywhere at all, and E''J'' enumerates the dispositions to change from anywhere at all to anywhere in ''J''.  Next, observe that each of these classes of dispositions may be divided in accordance with the case of ''J'' versus (''J'') that applies to their points of departure and destination, as shown below.  Then, since the dispositions corresponding to <math>\epsilon</math>''J'' and E''J'' have in common the dispositions to preserve ''J'', their symmetric difference (<math>\epsilon</math>''J'',&nbsp;E''J'') is made up of all the remaining dispositions, which are in fact disposed to cross the boundary of ''J'' in one direction or the other.  In other words, we may conclude that D''J'' expresses the collective disposition to make a definite change with respect to ''J'', no matter what value it holds in the current state of affairs.

The difference map D''J'' can also be given a ''dispositional'' interpretation.  First, recall that <math>\epsilon</math>''J'' exhibits the dispositions to change from anywhere in ''J'' to anywhere at all, and E''J'' enumerates the dispositions to change from anywhere at all to anywhere in ''J''.  Next, observe that each of these classes of dispositions may be divided in accordance with the case of ''J'' versus (''J'') that applies to their points of departure and destination, as shown below.  Then, since the dispositions corresponding to <math>\epsilon</math>''J'' and E''J'' have in common the dispositions to preserve ''J'', their symmetric difference (<math>\epsilon</math>''J'',&nbsp;E''J'') is made up of all the remaining dispositions, which are in fact disposed to cross the boundary of ''J'' in one direction or the other.  In other words, we may conclude that D''J'' expresses the collective disposition to make a definite change with respect to ''J'', no matter what value it holds in the current state of affairs.

<pre>

<font face="courier new">

o-------------------------------------------------------------------------------o

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:96%"

|                                                                               |

| !e!J  = {Dispositions from  J  to  J } + {Dispositions from  J  to (J)}   |

{| align="left" border="0" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:left; width:100%"

|                                                                               |

| width="6%"  | <math>\epsilon</math>''J''

|  EJ  = {Dispositions from  J  to  J } + {Dispositions from (J) to  J }   |

| width="47%" | = {Dispositions from  ''J'' to  ''J'' }

|                                                                               |

| width="47%" | + {Dispositions from  ''J'' to (''J'')}

|  DJ  = (!e!J, EJ)                                                           |

|-

|                                                                               |

| &nbsp;

|  DJ  = {Dispositions from  J  to (J)} + {Dispositions from (J) to  J }   |

|-

|                                                                               |

| width="6%" | E''J''

| width="47%" | = {Dispositions from  ''J'' to  ''J'' }

</pre>

| width="47%" | + {Dispositions from (''J'') to  ''J'' }

|-

| &nbsp;

|-

| width="6%" | D''J''

| width="47%" | = (<math>\epsilon</math>''J'', E''J'')

|-

| &nbsp;

|-

| width="6%" | D''J''

| width="47%" | = {Dispositions from  ''J'' to (''J'')}

| width="47%" | + {Dispositions from (''J'') to  ''J'' }

|}

|}

</font><br>

Figures&nbsp;44-a through 44-d illustrate the difference proposition D''J''.

Figures&nbsp;44-a through 44-d illustrate the difference proposition D''J''.