ONT Re: Differential Logic A -- Discussion
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
DLOG A. Discussion Note 6
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| Consider what effects that might conceivably
| have practical bearings you conceive the
| objects of your conception to have. Then,
| your conception of those effects is the
| whole of your conception of the object.
|
| Peirce, "Maxim of Pragmatism",
| 'Collected Papers', CP 5.438.
We left off last time with this picture:
o y = C_J (x)
/
/
x o--------@
. \
. \
. o z
.
.
.
. o C_J (E_J (x))
. /
. /
o--------@
E_J (x) \
\
o
We have the following legend for the labels:
C_J (x) = J's concept of the object x.
E_J (x) = the [set of] effects, that might conceivably have
practical bearings, that J conceives x to have.
C_J (E_J (x))) = J's concept of the [set of] effects,
that might conceivably have practical
bearings, that J conceives x to have.
I have flagged my intrusion of set-theoretic concepts into Peirce's statement
of the Pragmatic Maxim, because there is a potential distortion at this point
that we may have to track back to at a later stage if we find that something
has gone seriously awry the attempted interpretation.
And now that I've stopped to look more carefully at the possible road-blocks,
there is what may be a related reservation about Peirce's use of the operator
"whole of", as paraphrased in the form: C_J (E_J (x)) is the whole of C_J (x).
Is this really meant to be an exact equation, as I've been reading it so far,
or is there a more significant operation of integration or synthesis that is
being invoked by the 2-adic relative term "whole of"?
Let's leave those worries, duly flagged, aside for the moment,
and proceed with our attempt at the simplest possible reading.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o