SUO: Re: VOFIOTI ADO
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
| It is one of the rules of my system of general harmony,
| 'that the present is big with the future', and that he
| who sees all sees in that which is that which shall be.
|
| Leibniz, 'Theodicy', Paragraph 360, Page 341.
|
| Gottfried Wilhelm, Freiherr von Leibniz,
| 'Theodicy: Essays on the Goodness of God,
| The Freedom of Man, & The Origin of Evil',
| Edited with an Introduction by Austin Farrer,
| Translated by E.M. Huggard from C.J. Gerhardt's
| Edition of the 'Collected Philosophical Works', 1875-90;
| Routledge & Kegan Paul, London, UK, 1951;
| Open Court, La Salle, IL, 1985.
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Charts & Graphs! Charts & Graphs!
To round out the presentation of the "Polymorphous" Example 1,
I will go through what has gone before and lay in the graphic
forms of all of the propositional expressions. These graphs,
whose official botanical designation makes them out to be
a species of "painted and rooted cacti" (PARC's), are not
too far from the actual graph-theoretic data-structures
that result from parsing the RefLog string expressions,
the "painted and rooted cactus expressions" (PARCE's).
Finally, I will add a couple of venn diagrams that
will serve to illustrate the "difference opus" DT.
If you apply an operator to an operand you must
arrive at either an opus or an opera, no?
Al segno, quasi modo graphico, quasi una fantasia --
For concreteness, consider the polymorphous set T' of Example 1
and focus on the central cell, as described by the conjunction
of logical features in the expression "A B C".
The proposition or the truth-function T that describes T' is:
| A B A C B C
| o o o
| \ | /
| \ | /
| \|/
| o
| |
| |
| |
| @
|
| (( A B )( A C )( B C ))
Conjoining the query that specifies the center cell gives:
| A B A C B C
| o o o
| \ | /
| \ | /
| \|/
| o
| |
| |
| |
| @ A B C
|
| (( A B )( A C )( B C )) A B C
And we know the value of the interpretation by
whether this last expression issues in a model.
Applying the enlargement operator E
to the initial proposition T yields:
| A B A C B C
| o o o o o o
| / \ / \ / \ / \ / \ / \
| o---o---o o---o---o o---o---o
| dA \ dB dA | dC dB / dC
| \ | /
| \ | /
| \ | /
| \ | /
| \ | /
| \ | /
| \ | /
| \|/
| o
| |
| |
| |
| @
|
| (( ( A , dA )( B , dB )
| )( ( A , dA )( C , dC )
| )( ( B , dB )( C , dC )
| ))
Conjoining a query on the center cell yields:
| A B A C B C
| o o o o o o
| / \ / \ / \ / \ / \ / \
| o---o---o o---o---o o---o---o
| dA \ dB dA | dC dB / dC
| \ | /
| \ | /
| \ | /
| \ | /
| \ | /
| \ | /
| \ | /
| \|/
| o
| |
| |
| |
| @ A B C
|
| (( ( A , dA )( B , dB )
| )( ( A , dA )( C , dC )
| )( ( B , dB )( C , dC )
| ))
|
| A B C
The models of this last expression tell us which combinations of
feature changes among the set {dA, dB, dC} will take us from our
present interpretation, the center cell expressed by "A B C", to
a true value under the target proposition (( A B )( A C )( B C )).
The result of applying the difference operator D
to the initial proposition T, conjoined with
a query on the center cell, yields:
| A B A C B C
| o o o o o o
| / \ / \ / \ / \ / \ / \
| o---o---o o---o---o o---o---o
| dA \ dB dA | dC dB / dC
| \ | /
| \ | /
| \ | /
| \ | / A B A C B C
| \ | / o o o
| \ | / \ | /
| \ | / \ | /
| \|/ \|/
| o o
| | |
| | |
| | |
| o-------------------o
| \ /
| \ /
| \ /
| \ /
| \ /
| \ /
| \ /
| \ /
| \ /
| @ A B C
|
| (
| (( ( A , dA )( B , dB )
| )( ( A , dA )( C , dC )
| )( ( B , dB )( C , dC )
| ))
| ,
| (( A B
| )( A C
| )( B C
| ))
| )
|
| A B C
The models of this last proposition are:
1. A B C dA dB dC
2. A B C dA dB (dC)
3. A B C dA (dB) dC
4. A B C (dA) dB dC
This tells us that changing any two or more of the
features A, B, C will take us from the center cell
that is described the conjunctive expression "ABC",
to a cell outside the shaded region for the set T'.
o-----------------------------------o
| U |
| o-----------------------o |
| | A | |
| | o o | |
| | / \ / \ * | |
| | / \ / \ / | |
| | / . \dC | |
| | / / \ /\ | |
| | / @-dC-@-dB-@ \ | |
| | / / / | \ \ | |
| o---dA-----dA-----------o |
| / / / | \ \ |
| o * o | o o |
| \ \ @ / / |
| \ B \ \ / C / |
| \ \ dB / |
| \ \ /\ / |
| \ \ / * / |
| \ . dC |
| \ / \ /\ |
| \ / \ / * |
| o o |
| |
o-----------------------------------o
Figure 3.
Effect of the Difference Operator D
Acting on a Polymorphous Function T
Figure 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" DT are marked with stars (*), and
the boundary crossings along each path are marked with the
corresponding "differential features" among the collection
{dA, dB, dC}. In sum, starting from the cell ABC, we have
the following four paths:
1. dA dB dC => Change A, B, C.
2. dA dB (dC) => Change A and B.
3. dA (dB) dC => Change A and C.
4. (dA) dB dC => Change B and C.
Have to break for now --
Will discuss a few applications
and develop the implications later --
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤