o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| `Air Warm ` `Air Cool ` ` ` ` ` ` `Clear Sky` Cloudy Sky` |
| ` `A_1` ` ` ` `A_2` ` ` ` ` ` ` ` ` ` `C_1` ` ` ` `C_2` ` |
| ` ` o~~~~>>>~~~~o ` ` ` ` ` ` ` ` ` ` ` o~~~~>>>~~~~o ` ` |
| ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` |
| ` ` ` \*` ` ` ` ` `*` ` ` ` ` ` ` ` `*` ` ` ` ` `*/ ` ` ` |
| ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` |
| ` ` ` ` \ * ` ` ` ` ` * ` ` ` ` ` * ` ` ` ` ` * / ` ` ` ` |
| ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` |
| ` ` ` ` ` \ `*` ` ` ` ` `*` ` `*` ` ` ` ` `*` / ` ` ` ` ` |
| ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` |
| ` ` ` ` ` ` \ ` * ` ` ` ` ` * ` ` ` ` ` * ` / ` ` ` ` ` ` |
| ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` \ ` `*` ` `*` ` `*` ` `*` ` / ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `\`Balmy` ` ` ` ` ` Boding`/` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ B_1 o~~~~>>>~~~~o B_2 / ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `\` ` `*` ` ` ` `*` ` `/` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` ` * ` ` ` * ` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\` `*` ` `*` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `\` * ` * `/` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` `\ * * /` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` \ ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` `\*/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` C ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` Current Situation ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| A_1 `=` Air warm` ` ` ` ` ` ` ` ` ` ` A_2 `=` Air cool` ` |
| B_1 `=` Balmy day ` ` ` ` ` ` ` ` ` ` B_2 `=` Bodes rain` |
| C_1 `=` Clear sky ` ` ` ` ` ` ` ` ` ` C_2 `=` Cloudy sky` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-----------------------------------------------------------o
Figure 3. Signs of Rain Viewed in Their Natural Context
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 1
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Re: EOI 2. http://stderr.org/pipermail/inquiry/2004-November/001705.html
In: EOI. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1704
The reason that I've returned to Dewey's "Rainy Day Inquiry",
for what seems like the umpteenth time, is that it marks one
of the many limits of my understanding with respect to the
relationship between signs and inquiry in Peirce's thought,
and especially as it developed, differentially or radically,
as the case may be, over his lifetime and on into our times.
So everything I say here is still very tentative in my mind.
TG: Why wouldn't your diagram look like this?
o---------------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Sign (Sensory Cool Air, Dark Cloud)` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Object o-----<| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Interpretant (Mental Cool Air, Dark Cloud = Rain)|
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o---------------------------------------------------------------------o
Figure 1'. Sign Relation in Dewey's "Rainy Day Inquiry"
Before I answer I need to know what you have in mind for the object.
I took it to be the "future contingent" immanent/imminent rainstorm,
an objective state of affairs when it eventually comes to be actual.
Let's see if we can clear that up first.
P.S. According to my custom, I will archive these
notes, queries, and replies at the Inquiry List, so
that I can remember what I've said in the contingent
future, so anybody who objects to my copying their
remarks there should please say so, and I won't.
TG: That is to say the "cool air and dark cloud"
is indeed a sign just as the interpretant is
also a sign including the same elements and
relationships plus a conlusion formally drawn
from them. If nothing else, "rain" can't be
the object because it hasn't rained yet in the
example. Actually, I would propose it as the
"ground", the characteristic by which the elements
and relations both the sign and the interpretant
are linked to the object. The object, however,
would seem to me to be all the elements and/or
relationships that might go into producing signs
and interpretants about the weather, the walk
home, or whatever context we choose.
TG: Anyway, Jon, I'm glad to see you "flooding the bandwidth" for a
change, although I'm sure there have been limits imposed. How did
that old song go? "We'll have fun 'til daddy takes the T-Bird away"?
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 2
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Someday I'll tell you the story of how I came to have
such tunnel vision this week, but now that I've read
your whole note carefully enough I will try to make
a better reply.
TG: Why wouldn't you diagram look like this?
o---------------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Sign (Sensory Cool Air, Dark Cloud)` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Object o-----<| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Interpretant (Mental Cool Air, Dark Cloud = Rain)|
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o---------------------------------------------------------------------o
Figure 1'. Sign Relation in Dewey's "Rainy Day Inquiry"
TG: That is to say the "cool air and dark cloud"
is indeed a sign just as the interpretant is
also a sign including the same elements and
relationships plus a conlusion formally drawn
from them. If nothing else, "rain" can't be
the object because it hasn't rained yet in the
example. Actually, I would propose it as the
"ground", the characteristic by which the elements
and relations both the sign and the interpretant
are linked to the object. The object, however,
would seem to me to be all the elements and/or
relationships that might go into producing signs
and interpretants about the weather, the walk
home, or whatever context we choose.
I don't think that there's a unique way of assigning elements
to sign relational roles, in this example or any other, so I'd
only hope to argue that my choices are allowed by the definition
of a sign relation and that they explain some important aspects
of what is going on with regard to the inquiry in play.
The question that we come to once again is (1) whether
a sign relation necessarily involves causal components,
in the sense of 2-adic cause/effect relations between
some of its domains, or (2) whether it is essentially
a logical or information-theoretic relation among
three domains of elements.
If I read your above remark correctly, you seem to rule out
the possibility that a sign can come before its object in time,
perhaps on the basis that the denotative component is causal in
nature and directed from objects to their signs.
Let me know if I have read you right so far.
TG: Anyway, Jon, I'm glad to see you "flooding the bandwidth" for a
change, although I'm sure there have been limits imposed. How did
that old song go? "We'll have fun 'til daddy takes the T-Bird away"?
It's fun^3, of course.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 3
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
TG: I'm looking at the sign and interpretant
as "diagrams" such as are described at
CP 2.227-228.
| The faculty which I call abstractive observation
| is one which ordinary people perfectly recognize,
| but for which the theories of philosophers sometimes
| hardly leave room. It is a familiar experience to
| every human being to wish for something quite beyond
| his present means, and to follow that wish by the
| question, 'Should I wish for that thing just the same,
| if I had ample means to gratify it?' To answer that
| question, he searches his heart, and in doing so makes
| what I term an abstractive observation. He makes in his
| imagination a sort of skeleton diagram, or outline sketch,
| of himself, considers what modifications the hypothetical
| state of things would require to be made in that picture,
| and then examines it, that is, 'observes' what he has
| imagined, to see whether the same ardent desire is
| there to be discerned (CP 2.227).
| A sign, or 'representamen', is something which stands to somebody for
| something in some respect or capacity. It addresses somebody, that is,
| creates in the mind of that person an equivalent sign, or perhaps a more
| developed sign. That sign which it creates I call the 'interpretant' of
| the first sign. The sign stands for something, its 'object'. It stands
| for that object, not in all respects, but in reference to a sort of idea,
| which I have sometimes called the 'ground' of the representamen (CP 2.228).
You adduce a couple of very important passages, to which we two
and others have returned many times. For future reference, let
me just connect to another context where they came up, and which
formed a critical turning point in my own understanding of them,
as I think that this whole question may rate another visitation:
Inquiry Into Inquiry:
III. http://suo.ieee.org/ontology/msg03077.html
Logic As Semiotic:
LAS. http://stderr.org/pipermail/arisbe/2001-August/thread.html#844
TG: Thus, in the diagram:
o---------------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Sign (Sensory Cool Air, Dark Cloud)` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Object o-----<| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Interpretant (Mental Cool Air, Dark Cloud = Rain)|
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o---------------------------------------------------------------------o
Figure 1'. Sign Relation in Dewey's "Rainy Day Inquiry"
TG: both sign and interpretant are taken as diagrams with certain elements
and relations between them based on the "ground" of, say, rain or the
possibility of rain as the basis for abstractively observing the sign
or imagining the interpretant. If we ask, abstracted from what, or
what is the object, that can only be the context or situation.
If we try to specify the object in any more detail or exactness,
we don't have an object at all but rather another sign.
I detect a certain ambiguity in your use of the word "diagram" here.
Figures 1 and 1' are diagrammatic representations of sign relational
triples. I would call them higher order signs of a particular type,
and have classified these sorts of HO signs elsewhere on the web.
Let me pause here, and see if we have an understanding on that point.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 4
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Assuming that we'll eventually be able to sort out
the different senses of the word "diagram" as Peirce
uses it, let me take up your comments piece by piece.
TG: I'm looking at the sign and interpretant
as "diagrams" such as are described at
CP 2.227-228.
Here is the whole of CP 2.227, in two pieces:
| Logic, in its general sense, is, as I believe I have shown,
| only another name for 'semiotic' ([Greek: semeiotike]), the
| quasi-necessary, or formal, doctrine of signs. By describing
| the doctrine as "quasi-necessary", or formal, I mean that we
| observe the characters of such signs as we know, and from such
| an observation, by a process which I will not object to naming
| Abstraction, we are led to statements, eminently fallible, and
| therefore in one sense by no means necessary, as to what 'must be'
| the characters of all signs used by a "scientific" intelligence,
| that is to say, by an intelligence capable of learning by experience.
|
| As to that process of abstraction, it is itself a sort of observation.
| The faculty which I call abstractive observation is one which ordinary
| people perfectly recognize, but for which the theories of philosophers
| sometimes hardly leave room. It is a familiar experience to every human
| being to wish for something quite beyond his present means, and to follow
| that wish by the question, "Should I wish for that thing just the same,
| if I had ample means to gratify it?" To answer that question, he searches
| his heart, and in doing so makes what I term an abstractive observation.
| He makes in his imagination a sort of skeleton diagram, or outline sketch,
| of himself, considers what modifications the hypothetical state of things
| would require to be made in that picture, and then examines it, that is,
| 'observes' what he has imagined, to see whether the same ardent desire
| is there to be discerned. By such a process, which is at bottom very
| much like mathematical reasoning, we can reach conclusions as to what
| 'would be' true of signs in all cases, so long as the intelligence
| using them was scientific. (CP 2.227).
|
| Charles Sanders Peirce, 'Collected Papers', CP 2.227,
| Editors' Note: From an unidentified fragment, c. 1897.
I read this as a characterization of logic, which is
a critical reflection on signs, and thus a normative,
"quasi-necessary", or "formal" science, as Peirce
uses the words. So there's a lot more going on
here at a reflective level than what we need
merely to define the sign relation itself.
| A sign, or 'representamen', is something which stands to somebody
| for something in some respect or capacity. It addresses somebody,
| that is, creates in the mind of that person an equivalent sign, or
| perhaps a more developed sign. That sign which it creates I call
| the 'interpretant' of the first sign. The sign stands for something,
| its 'object'. It stands for that object, not in all respects, but in
| reference to a sort of idea, which I have sometimes called the 'ground'
| of the representamen. (CP 2.228).
This is another perfectly good definition of a sign relation,
provided that we take it with the necessary grain of salt that
is called for to season the sop of a psychologistic misreading.
I will tell you my personal way of understanding the "ground"
of a sign relation, perhaps on account of the fact that field
and gestalt theories were among my first loves in physics and
psychology. The elements of all possible sign relations float
like dust motes in the air, or like iron filings on a plate of
glass, and the ground is that beam of sunlight or magnetic field
that constellates the patterned figures in the medium that we see.
Formally speaking, then, shorn of all metaphor as much as possible,
the ground is just that constraint which picks out certain triples
and chaffs the rest. In short, it is but an alias for the entire
sign relation as a subset of a cartesian product, L c O x S x I.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 5
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Continuing from where I left off last time ...
TG: Thus, in the diagram:
o---------------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Sign (Sensory Cool Air, Dark Cloud)` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Object o-----<| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `o Interpretant (Mental Cool Air, Dark Cloud = Rain)|
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o---------------------------------------------------------------------o
Figure 1'. Sign Relation in Dewey's "Rainy Day Inquiry"
TG: both sign and interpretant are taken as diagrams with certain elements
and relations between them based on the "ground" of, say, rain or the
possibility of rain as the basis for abstractively observing the sign
or imagining the interpretant. If we ask, abstracted from what, or
what is the object, that can only be the context or situation.
If we try to specify the object in any more detail or exactness,
we don't have an object at all but rather another sign.
I don't have any argument against taking the
sensation of coolness and the conception of
coolness as a sign/interpretant pair, but it
wasn't what Dewey highlighted in his example,
to which line of thinking I was trying to hew.
I cannot follow the identification of espied
dark clouds with the future contingent rain,
however.
As a general issue, it seems that Peirce's theory of signs
is robbed of much of its significance if we cannot take it
to speak of any conceivable objects of speech and thought,
including abstract, conjectural, contingent, hypothetical,
intentional, and potential objects.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 6
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Al fine ...
TG: Of course, this is where I always get hit with that
"sign, sign, everything's a sign" refrain, and it's
true the object can be represented by a sign. That's
what we're doing here. If we represent it with another
sign, it's own sign apart from the sign and interpretant
of this diagram, then we just play the same game we're
playing now with a different sign and its interpretant
and its object. That's not what seems to be going on
with the "ordinary" guy in Dewey's example. With him
there's just the abstractive observation (sign) resulting
in an imagined diagram (interpretant) from which he infers
"rain". The object, the context or situation, is indeed the
third element, the one we are in fact making explicit only
in this one respect with this sign and this interpretant.
I refrain from that refrain, as it seems beside the point to me.
But I think that you might be misled by CP 2.227 into thinking
that AO is involved in every sign process, instead of being
the peculiar feature of logical reflection. Just my very
rough and chancey guess at this point, though.
TG: In short, I've always felt it's a cheap trick to pretend to solve
the problems posed by the Kantian thing-in-itself by the citing the
fact we do invent signs to represent it. Geez, no problem there.
And, I think when Peirce said objects are signs he had in mind more
the way a diagram, such as our modern scientific view of the solar
system, can come to take the place of the object itself. If the
guy in the example were abstracting the elements and relationships
of this sign and interpretant from a fully developed scientific
conception of weather, it elements and interactions, that had
stood the inductive tests of time such that he would take that
diagram for the object itself, then we might say that is the
sign-object in the above diagram. But that would be a different,
more sophisticated example; one that Peirce got to in the omitted
part of 2.227, but one I don't think we should jump to too quickly.
Yes, at least, so far as I think I understand
some of what you are saying here. Our hero's
observations are figured in relief against
the ground of his prior expectations.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 7
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
TG: I am indeed being led, or misled as the case may be, into
"thinking that AO [or a diagram] is involved in every sign
process". But first, Peirce says: "All necessary reasoning
without exception is diagrammatic" [CP 5.162]. And, more
broadly this would appear to apply to any kind of deductive
reasoning or inferences, including the inference of "rain"
in this example. So it does seem to be a properly logical
orientation for the analysis of this particular example.
The way I read them, the passages at CP 2.227-228 and NEM 4 pp. 20-21
are variations on the very same theme, to explain the relationship of
logic to semiotic, the differentia being that logic is formal semiotic,
by which Peirce means quasi-necessary or normative. This leaves room
for a portion of semiotic to be contingent, empirical, or descriptive.
Also, the inference from coolness to rain is abductive not deductive.
TG: But if we're going to talk about the sign process in general, rather
than just this example, it does seem to me that the "sign", as Peirce
construes it, occupies that transitive ground of a middle term in what
can be broadly considered "deductions". And if that's correct, then
what Peirce has to say about diagrams and necessary or mathematical
reasoning would give us an internal view of the actual mechanics
within a sign by which it applies to objects on the one side and
produces interpretants on the other.
TG: It's just an hypothesis though, so am I being "misled" by it?
Too close to the whiching hour -- will have to save the rest for tomorrow.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 8
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Starting from where I left off ...
TG: But if we're going to talk about the sign process in general, rather
than just this example, it does seem to me that the "sign", as Peirce
construes it, occupies that transitive ground of a middle term in what
can be broadly considered "deductions". And if that's correct, then
what Peirce has to say about diagrams and necessary or mathematical
reasoning would give us an internal view of the actual mechanics
within a sign by which it applies to objects on the one side and
produces interpretants on the other.
TG: It's just an hypothesis though, so am I being "misled" by it?
In Peirce's early work, at least, the different kinds of signs were
associated with the different kinds of inferences, respectively.
Re: ICE 3ff. http://stderr.org/pipermail/inquiry/2003-March/000198.html
In: ICE. http://stderr.org/pipermail/inquiry/2003-March/thread.html#196
To what extent this survives in his later work would take some
additional study. Also, I'm not sure that all deductions are
apodictic, as there may be types of probable reasoning that
follow the deductive pattern, only less certainly.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 9
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Here's the "New List" text about the relations between
the types of signs and the types of inference, that is,
the morphological and temporal constituents of inquiry:
| In an argument, the premisses form a representation of
| the conclusion, because they indicate the interpretant
| of the argument, or representation representing it to
| represent its object. The premisses may afford a
| likeness, index, or symbol of the conclusion.
|
| [Deduction of a Fact]
|
| In deductive argument, the conclusion is represented
| by the premisses as by a general sign under which it
| is contained.
|
| [Abduction of a Case]
|
| In hypotheses, something 'like' the conclusion is proved,
| that is, the premisses form a likeness of the conclusion.
| Take, for example, the following argument:--
|
| M is, for instance, P_1, P_2, P_3, and P_4;
|
| S is P_1, P_2, P_3, and P_4:
|
| [Therefore], S is M.
|
| Here the first premiss amounts to this, that
| "P_1, P_2, P_3, and P_4" is a likeness of M,
| and thus the premisses are or represent
| a likeness of the conclusion.
|
| [Induction of a Rule]
|
| That it is different with induction another example will show.
|
| S_1, S_2, S_3, and S_4 are taken as samples of the collection M;
|
| S_1, S_2, S_3, and S_4 are P:
|
| [Therefore], All M is P.
|
| Hence the first premiss amounts to saying that "S_1, S_2, S_3, and S_4"
| is an index of M. Hence the premisses are an index of the conclusion.
|
| Peirce, 'Collected Papers' CP 1.559, 'Chronological Edition' CE 2, p. 58.
Let the expression "P_1 & P_2 & P_3 & P_4"
denote the proposition Q = Conjunction (P_1, P_2, P_3, P_4).
Then we may draw the following Figure of Abduction:
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` P_1 ` P_2 ` ` ` ` P_3 ` P_4 ` ` ` ` ` |
| ` ` ` ` ` `o` ` `o` ` ` ` ` `o` ` `o` ` ` ` ` ` |
| ` ` ` ` ` ` \*` ` \ ` ` ` ` / ` `*/|` ` ` ` ` ` |
| ` ` ` ` ` ` `\`*` `\` ` ` `/` `*`/`|` ` ` ` ` ` |
| ` ` ` ` ` ` ` \ `*` \ ` ` / `*` / `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` `\` `* \` `/`*` `/` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` \ ` `*\ /*` ` / ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `.` ` `Q` ` `.` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|`*` `|` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` `*`|` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` ` `|` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` ` `|`*` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` ` `|` `*`|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `.` ` `|` ` `.` ` `M` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` `*` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `\` `|` `/` `*` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` \ `|` / `*`Case ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `\`|`/`*` `S=>M ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` \|/*` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `S` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure A. Abduction of the Case S => M
Let the expression "S_1 v S_2 v S_3 v S_4"
denote the proposition L = Disjunction (S_1, S_2, S_3, S_4).
Then we may draw the following Figure of Induction:
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `P` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` /|\*` ` Rule` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` `/`|`\`*` M=>P` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` / `|` \ `*` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` `*` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` `*` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `.` ` `|` ` `.` ` `M` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` ` `|` `*`|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` ` `|`*` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` ` `|` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|` `*`|` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `|` ` `|`*` `|` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` `.` ` `L` ` `.` ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` / ` `*/ \*` ` \ ` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` `/` `*`/` `\`*` `\` `|` ` ` ` ` ` |
| ` ` ` ` ` ` ` / `*` / ` ` \ `*` \ `|` ` ` ` ` ` |
| ` ` ` ` ` ` `/`*` `/` ` ` `\` `*`\`|` ` ` ` ` ` |
| ` ` ` ` ` ` /*` ` / ` ` ` ` \ ` `*\|` ` ` ` ` ` |
| ` ` ` ` ` `o` ` `o` ` ` ` ` `o` ` `o` ` ` ` ` ` |
| ` ` ` ` ` S_1 ` S_2 ` ` ` ` S_3 ` S_4 ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure B. Induction to the Rule M => P
Reference:
| C.S. Peirce, "New List", CP 1.559, CE 2, p. 58.
|
| Charles Sanders Peirce, "On a New List of Categories" (1867),
|'Collected Papers' CP 1.545-567, 'Chronological Edition' CE 2, pp. 49-59.
|
| http://www.peirce.org/writings/p32.html
| http://members.door.net/arisbe/menu/library/bycsp/newlist/nl-frame.htm
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 10
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
JD = John Dewey
TG = Tom Gollier
Re: EOI-DIS 7. http://stderr.org/pipermail/inquiry/2004-November/001717.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
TG: In Discussion Note 7 you write:
JA: Also, the inference from coolness to rain is abductive not deductive.
TG: This is rather hard for me to envision in terms of either your drawing
or mine. How is "rain" something that explains anything in either of
our diagrams? If we redo your drawing:
o------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
| ` ` ` ` ` ` ` ` ` ` ` ` `o Sign (Thought of Rain) ` ` ` ` `|
| ` ` ` ` ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
| ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
| Object (Rain) o-------O ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
| ` ` ` ` ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
| ` ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
| ` ` ` ` ` ` ` ` ` ` ` ` `o Interpretant (Quicken his pace)`|
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `|
o------------------------------------------------------------o
Figure 1". Sign Relation in Dewey's "Rainy Day Inquiry"
TG: then "rain" would make sense as an abductive inference, for we would be
abductively inferring that "rain" is the explanation of the man quickening
his pace. This obviously changes the example, but I'm wondering if this
is what you have in mind in saying "rain" is the product of an abductive
inference?
This where the viscosity of the wicket has been bedeviling me
for the last 15 years or so, and I have this deja vu feeling
that we had this same discussion on the Peirce List 2 or 3
years ago, so I'll look up the notes of that time around
and see whether I've got any new ideas about it ...
The problem is that we have two styles of diagrams,
the sign relational and the syllogistic triagrams:
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` `o Sign ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` Object o---------O` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` `\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` `o Interpretant ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 10.1 Elementary Sign Relation
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` Z ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` |\` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | \ ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `\` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` `\` Rule` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` \ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` `\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | Ab` > \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `\ /` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` Fact` | <-o-De` o Y ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `/ \` `/` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | In` > / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` `/` Case` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `/` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` X ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 10.2 Three Kinds of Inference
The diagram that makes the abductive character of the
inference clear is the following syllogistic figure,
where the case that it's about to rain is abduced
from the fact that the air is cooler and the
rule that cooler air implies that it's
about to rain.
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `Air Cool ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` A ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ^^` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | \ ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `\` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` `\` Rule` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` \ ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` |A` ` `\` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | b ` ` \ ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `d` ` `\` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` Fact` | ` u ` ` o 'Bout To Rain ` ` |
| ` ` ` ` ` ` ` ` ` | ` `c` `^` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` e / ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` `/` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` ` / ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` `/` Case` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | `/` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` | / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` C ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` `Current Situation` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-------------------------------------------------o
Figure 10.3 Abduction of Case from Fact and Rule
TG: Dewey seems to exhibit the same aversion to looking at the
original example as a form of deduction despite the fact he
does what to distinguish it from just seeing the image of
something in the clouds. He writes in a footnote after
listing "points to, tells of, betokens, prognosticates,
represents, stands for, implies" as synonyms for what
has occurred in the example example of inferring the
possibility of rain.
JD: "*Implies* is more often used when a principle or general truth brings
about belief in some other truth; the other phrases are more frequently
used to denote the cases in which one fact or event leads us to believe
in something else." [Fn 2, MW 6.187]
But our peripatetic protagonist is not certain it will rain,
neither on the data of cool air, nor on the evidence of
dark clouds, nor even on the cumulation of both facts,
so any notion of exact deductive inference would be
precipitous at best. To say that we deduce the
possibility of rain is fudging the issue,
since the mere possibility of rain is
always present, in any case, dataful
or dataless.
TG: But, (1) I don't think Peirce would limit implication or deduction
in that formalistic kind of way and (2) even inferring facts from
facts to facts we still employ a diagrammatic representation
transitively as a sign. Thus, smoke "points to, tells of,
betokens, prognosticates, represents, stands for" fire
because we use a diagrammatic conjunction of those
two facts, smoke and fire, to infer the one from
the other. This may not be the stuff of
"general truths", but it does seem to
be generally "deductive" rather than
abductive or inductive?
Dewey is invoking "implication" very loosely here,
more-ally or less-ally equivalent to "inference",
with respect to which we admit demonstrative
and non-demonstrative varieties, all tolled,
but the inferences to rain or fire are not
certain in these cases, so not deductive.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 11
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
AB = Auke van Breemen
JA = Jon Awbrey
Re: EOI 9. http://stderr.org/pipermail/inquiry/2004-November/001762.html
In: EOI. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1704
JA: An immediately obvious difference between the two Figures
is that the sign triple has the "Thought of Rain" whereas
the syllogistic triple has the object state "Before Rain".
Is this a significant difference between the two diagrams?
AB: I am just reading 'Real Knowledge', by Jan Sleutels, 1994, Diss.
It is about internalist and externalist accounts of knowledge in
neural epistemics. At first glance a difference between the sign
triple and the syllogistic one is that the syllogistic one prohibits
an internalist account whereas the sign triple diagram may or may not
be externalistic. (Just the Figures, without its Peircean or syllogistic
context that is. We know that it is externalistic.)
I confess that I've never quite understood this talk of
externalist versus internalist perspectives, much less
its application to Peirce. Maybe this is my chance to
try again. Could you lay out your reasoning here in
more detail for me?
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 12
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Re: EOI 9. http://stderr.org/pipermail/inquiry/2004-November/001762.html
In: EOI. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1704
TG: Even if we look at abduction as inferring this is a case of
some rule rather than of an explanation (although those are
just two ways of saying the same thing anyway), I don't see
where "rain" is what is being adduced. For the abduction
according the way I would look at it would be that:
TG: - This is a case of air getting cool
As "Case", "Fact", "Rule" are used in this context, this is a Fact,
in effect, the deductive conclusion "C => A", paraphrased something
like "the current situation is one in which the air is cooler".
You can tell it's a Fact because it is taken as 100% certain,
a done deal, that the air is cooler. If the ambler doubts
his senses, that is a horse of another cooler, and not
at all the situation that we are discussing here.
TG: And that this abduction, when combined with the rule that:
TG: - Cool air is an indication of rain
For this to be a Rule in the deductive sense, you would have to delete
the expletive fudge factor "indication" and state simply that A => B,
in other words, "If the Air is cooler then it's Bound to rain".
TG: allows our hero to deduce rain may very well be in the offing.
But the deductive inference is apodictic, bound, certain,
demonstrative, exact, and does not allow of the modality
that you admit as "may very well be" in your conclusion.
TG: But, then, looking at your diagram:
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `Air Cool ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` A ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ^^` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `\` Rule` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` |A` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | b ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `d` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` Fact` | ` u ` ` o Before Rain ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `c` `^` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` e / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `/ `Case` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` C ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `Current Situation` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-----------------------------------------------------------o
Figure 7. Abducing a Case from a Fact and a Rule
TG: while it does have the "current situation" in the place of "rain"
as the object, it strangely reverses the "case" and the "fact".
It would seem the case (or minor premise) should tie the current
situation to the antecedent of the rule, or "cool air" in this
case, while the fact (or conclusion) should link the current
situation to the consequent, rain or "before rain"?
The rule of thumb for telling a fact from a case
is that the fact is evident on the face of things,
while the case tends to be a more inobvious cause.
TG: I hope you're not tiring of this exercise,
and remaining stuck on Notes 1 or 2 as it were,
but I think it's important to take examples as
concretely analyzable in their own right rather
than abstract exemplifications of principles more
abstract still. To me it's the difference Dewey
makes between inferring rain from the clouds
and seeing faces in them.
No, the hike has been healthy exercise so far.
I think that a satisfactory analysis of this
humble excursion would go a long way toward
understanding the true relationship between
signs and inquiry, and also the development
that Peirce and much later Dewey underwent.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 13
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
AB = Auke van Breemen
JA = Jon Awbrey
Re: EOI-DIS 11. http://stderr.org/pipermail/inquiry/2004-November/001767.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
[NB. I use links like the above to avoid long quotations of previous discussions.]
JA: I confess that I've never quite understood this talk of
externalist versus internalist perspectives, much less
its application to Peirce. Maybe this is my chance to
try again. Could you lay out your reasoning here
in more detail for me?
AB: With regard to application it may be wise to apply Peirce to the
internal-external perspectives instead of the other way around.
I think I can agree with that.
AB: I saw myself confronted with neural epistemic while trying
to decide whether a detailed analysis of a sign must take
care of the processes that occur in the brain or whether
we can do without it. This is part of an exchange of
thought with Francis about sign processes. So I am
not primarily interested in the opposition between
internal and external itself.
This may sound like an overly free association,
but have you read Freud's 1895 'Project'?
Here are some excerpts from the last time
that I happened to return to it:
PSY. http://stderr.org/pipermail/arisbe/2003-February/thread.html#1633
PSY. http://stderr.org/pipermail/arisbe/2003-February/thread.html#1661
PSY. http://stderr.org/pipermail/arisbe/2003-March/thread.html#1720
AB: At bottom it seems that the distinction arises as a consequences of
making an opposition between subject and world. Probably your remark
about individuals being made, not born is relevant here.
AB: (The pages refer to Sleutels work. I do not give his position
but some remarks concerning his picture of the opposition.
The language is definitely not Peircean.)
AB: [Sleutels, p. 205]
Internalist thinking: "Mental symbols served a clear purpose.
They were needed to go proxy for states of affairs in the external
world: the world as such is inaccessible to the subject, but its
mental symbols are immediately present to consciousness, affording
to the subject mediate (inferential access to the world)."
AB: Externalist thinking: "the primary relation is not between subject
and symbol, but between subject and world. Hence it would seem that
the world is immediately 'given' to the subject. Therefore mental
representations are no longer needed: they do not ass [?] to our
understanding of cognition."
I guess I consider that a false dilemma,
the very sort of aporia that the theory
of 3-adic sign relations is designed to
bypass. A very similar sort of thing
happens with the animadversions of
coherentists versus objectivists.
AB: Sleutels wants to have best of both worlds. (p. 204).
The present externalist account takes the exact opposite stance
[regarding the superfluous character of mental representations]:
its project is to understand internal computational structure from
differences in content, defined in terms of the subject's different
relations to external states of events.
AB: Much more can be said of course. But in regard to your diagrams.
The mental 'thought of rain' vs the object state 'before rain'
differ in that the former is more easily appropriated by
internalist thinking, than the object state.
AB: Of course we know this problematic from the Questions series,
from later dealings with the perceptual judgement and lots of
other occasions. In my opinion Sleutels in taking the best
of both is approaching a Peircean perspective, but falls for
interesting reasons short. I will not dwell on that now.
AB: A relevance of that dispute for peircean philosophy
might be the help by thinking about details.
AB: In the Question series Peirce hit upon the unknowable rock of pure,
atomic individuality in the stimulation of a single nerve cell.
The unknowable that runs in a continuous stream through our
lives, as he called it.
But our knowledge of neurons,
like our knowledge of egos,
is inferential and mediated,
is it not?
AB: Later he reworks this in ideas about the percept and perceptual
judgement. The over all picture is that in an out of our control
process by the stimulation of nerves a percept is generated [all
individual receptor excitations being indexicaly connected with
the object], the perceptual judgement takes a bundle of them as
iconical related with a dynamical object (recognizes it as such
through the abductive reduction of the manifold to unity and
transforming the resulting iconical rhematic percept into
a proposition by recognizing, as it were, the indexical
relation of the constituent qualia with the dynmical object).
Thus a perceptual fact is made. It is tempting to look at the
relation between percept and perceptual fact as the relation
between token and type or replica sinsign and legisign.
This looks a bit too much like
Quine's concoction to mix well
with Peirce's solution.
AB: I hope this will do as a first answer.
I am working on an exposition of this
matter in sign diagrams. Comment is
welcome.
Many thanks for the explanations ...
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 14
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Re: EOI-DIS 12. http://stderr.org/pipermail/inquiry/2004-November/001772.html
As Amended At: http://stderr.org/pipermail/inquiry/2004-November/001773.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
TG: Ah hah! At last I think I see where our disagreement is arising. But I also think
you're catching some of that schizo-speak that has been going around to call a fact
that's 100% certain a "conclusion". If it's 100% certain, we don't need any argument,
and if it's a conclusion, it's not 100% certain. After all, *modus tollens* is always
just as valid as *modus ponens* in any given argument.
Yes, I was undermind by a colloquial phrasing,
but I mean that it's 100% certain relative to
the certainty of the major and minor surmises.
Incidentally, this does serve to bring up the
analogy between exact and probable deduction.
TG: But I have to admit, even though I knew it wasn't "case, rule,
and fact", I was too lazy to look it up. And besides, the thing
I like about Peirce (along with Dewey) is the view that the result
or conclusion is a fact, just a fact predicted or otherwise not
present at the moment. Anyway, to be clearer about the diagram,
I think it should be more like:
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` `Air Cool ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` A ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` |\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `\` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `\` Rule` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` Case` | ecudbA` o Rain ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` `/ `Result` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` | / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` C ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` `Current Situation` ` ` ` ` ` ` ` ` ` ` ` ` |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
o-----------------------------------------------------------o
Figure 7'. Abducing a Case from a Rule and a Result
TG: I doubt if this makes it anymore agreeable to you, but it's clearer
vis-a-vis the texts in Peirce. And at least this way we don't have
to worry about those mythological facts that are not true or false,
but certain, creeping into the analysis.
The designations Case, Fact, Rule on this stage are more like roles that
statements play than anything essential about the statements themselves,
so I often capitalize them when intended as these peculiar terms of art.
The vertical dimension of the syllogistic diagrams is meant to indicate
the comparative order, if comparable, of concepts or terms in a lattice
or "partially ordered set" (more cutely referred to as a "poset").
Read under these conventions, Figure 7' indicates that
Rain => Air Cool, which is not a hard and fast fact,
in any sense of the word.
Of course, everybody knows that you can only go so far
whith these purely propositional or syllogistic forms,
but one of the reasons that I am pushing the edge of
the envelope as far as I can is to see how Peirce
was forced to develop the logic of relatives
in order to explain how explanation works.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 15
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Re: EOI-DIS 12. http://stderr.org/pipermail/inquiry/2004-November/001772.html
As Amended At: http://stderr.org/pipermail/inquiry/2004-November/001773.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
TG: Sorry, I'm reading your messages backwards again.
Maybe that's why they make sense to me? Anyway:
TG: - Cool air is an indication of rain
JA: For this to be a Rule in the deductive sense, you would have to delete
the expletive fudge factor "indication" and state simply that A => B,
in other words, "If the Air is cooler then it's Bound to rain".
TG: allows our hero to deduce rain may very well be in the offing.
JA: But the deductive inference is apodictic, bound, certain,
demonstrative, exact, and does not allow of the modality
that you admit as "may very well be" in your conclusion.
TG: What a narrow, formalistic view of deduction. But yet our pace quickens, no?
Well actually not mine in these situations, because I also believe in the old
gambling maxim that scared money never wins, so if I quicken my pace, I'm going
to get rained on for sure. But they sure seem like deductions -- applications
of a case to a rule so as to produce a predicted fact/result -- to me.
I see this another way. Logic is the "theory of inquiry" (TOI). Catchy title, no?
And deduction is the straight and narrow arrow (=>=> = =>). It would be myopic of
me if I identified deduction with the whole of inquiry, the whole of reasoning,
but I do not, there is the whole world of abductive and inductive reasoning,
at the very least, else wise. Abductive and inductive inference play and
work by their own rules, which joy and job is ours to articulate as best
we can.
And so it goes ...
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 16
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
AB = Auke van Breemen
JA = Jon Awbrey
KM = Kirsti Maattanen
Re: EOI-DIS 13. http://stderr.org/pipermail/inquiry/2004-November/001784.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
I took a Master's in Psych in 1989, for which I read
a lot of behaviorist, clinical, cognitive, neuropsych,
quantitative/stats, and systems/cybernetic literature.
Aside from teaching math, my grad asst jobs were mostly
as a comp/data/stat asst in biosci/med school settings,
so I kept up with the literature enough to have a feel
for the datasets that I had to work with in those areas.
I put Peirce and Freud in comparison as keen observers of
persistent psychological phenomena, with the speculative
power to anticipate explanatory mechanisms of a complexity
that many of our more reductionist thinkers hardly match
to the present day. It may be that Ockham's razor will
always shave as close to the spinal cord as possible,
but there are treasures yet to be explored in both
of these prescient but not pre-scientific lights.
KM: Just some comments on your latest discussion on "neural epistemic":
KM: I was left wondering on the interest on what Peirce,
as well as Freud in his 'Project', wrote on neurons
and the brain. Surely that has only historical
relevance, serving mainly critical purposes.
(There is a wealth of empirical findings
nowadays, although I don't find the
approaches in main-stream brain
research reconcilable with
a Peircean approach).
KM: I personally do not find what Peirce -- very tentatively -- wrote on
neurons etc something to rely on, nor do I think Peirce meant it to
be taken. Still, I do not recognize the overall picture you, Auke,
gave in the following -- if I understood correctly -- as Peirce's
view. Do you really mean that this is what Peirce had in mind?
(I have underlined the sentences I find most problematic)
AB: In the Question series Peirce hit upon the unknowable
rock of pure, atomic individuality in the stimulation
of a single nerve cell. [...]
JA: But our knowledge of neurons,
like our knowledge of egos,
is inferential and mediated,
is it not?
AB: Later he reworks this in ideas about the percept
and perceptual judgement. The over all picture
is that in an out of our control process by the
stimulation of nerves a percept is generated
[all individual receptor excitations being
indexicaly connected with the object], the
perceptual judgement takes a bundle of them
as iconical related with a dynamical object
(recognizes it as such through the abductive
reduction of the manifold to unity and
transforming the resulting iconical
rhematic percept into a proposition
by recognizing, as it were, the
indexical relation of the
constituent qualia with
the dynmical object).
Thus a perceptual
fact is made.
KM: I haven't been following the discussions in the list
for quite some time, and catching up with the huge
amount of mails has been somewhat overwhelming.
So, my apologies in probable failings to take
into account earlier relevant messages.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 17
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
KM = Kirsti Maattanen
Re: EOI-DIS 16. http://stderr.org/pipermail/inquiry/2004-November/001841.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
KM: Thanks, Jon, for providing a context for bringing up Freud's Project.
KM: In the main I can agree with the following:
JA: I put Peirce and Freud in comparison as keen observers of
persistent psychological phenomena, with the speculative
power to anticipate explanatory mechanisms of a complexity
that many of our more reductionist thinkers hardly match
to the present day.
KM: But why do you say "our MORE reductionist thinkers"?
Do you consider Peirce a reductionist?
Freud certainly was, but not Peirce.
Freud in 1895 was still reductionist, of the old Helmholtz school,
but already beginning his transition to another order of thinking.
But my point is this: A criterion of scientific thinking is that
our theoretical models be adequate to the phenomenon in question.
Freud's 'Project' contains the seeds of many ideas that we do not
see prevalent in mainstream psychological and psychiatric thought
until after the cognitive revolution on the one hand and the rise
of object relations theories on the other.
KM: The main issue, however, is about the relationship between the
mind and the brain, or psychological phenomena and neural processes.
Freud explicates with admirable clarity his reductionistic aim and
his devotion to the (outdated) ideals of natural science of his time
in the introduction to the Project (see below an excerpt from the link
you provided).
Once again, the feature of principal interest to me is whether the
theoretical models are adequate to the complexity of the phenomena.
It is the form and function of these models that gives them their
explanatory power, and not the labels that we pin to their parts,
whether we call them "physical" or "psychical". The fact is that
Freud was articulating models of a recognizably cybernetic cast,
with neural structures that were complex enough to serve much
in the way that dynamic data structures do in current AI work,
that is, sufficient to the tasks of knowledge representation,
plus a markedly recursive analysis of psycho-social functions.
KM: With the following I cannot agree:
JA: there are treasures yet to be explored in both
of these prescient but not pre-scientific lights.
KM: I can't see any treasures following from Freud's aim
to "represent psychical processes as quantitatively
determined states of material particles" [= neurons].
This is not what is valuable in Freud's work; the
treasures to be cherished are to be found elsewhere.
(Unfortunately it's not uncommon to find the errors
and limitations of eminent and famous scientists
cherished as much or more than the treasures.)
Again, I do not care if a thinker thinks that all the cosmos
is made of water, or fire, or whatever -- it is the form and
the functioning of that substance that makes the explanation
explain phenomena, if it does at all.
I'll pick out some of my more
treasured nuggests tomorrow,
but I have to break for today.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 18
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Auke, Kirsti, List,
I'm preparing to return to this more systematically,
but here is one incidental, rather more interesting
point of comparison between Peirce and Freud that I
had been studying:
Cf: ESD 1. http://stderr.org/pipermail/arisbe/2003-February/001628.html
Copied here:
===================================================
Expectation, Satisfaction, Disappointment
Compare and Contrast:
Exhibit 1
| Reasoning and Expectation
|
| But since you propose to study logic, you have more or less faith
| in reasoning, as affording knowledge of the truth. Now reasoning
| is a very different thing indeed from the percept, or even from
| perceptual facts. For reasoning is essentially a voluntary act,
| over which we exercise control. If it were not so, logic would
| be of no use at all. For logic is, in the main, criticism of
| reasoning as good or bad. Now it is idle so to criticize
| an operation which is beyond all control, correction,
| or improvement. (CP 2.144).
|
| You have, therefore, to inquire, first, in what sense you have
| any faith in reasoning, seeing that its conclusions cannot in
| the least resemble the percepts, upon which alone implicit
| reliance is warranted. Conclusions of reasoning can little
| resemble even the 'perceptual facts'. For besides being
| involuntary, these latter are strictly memories of what
| has taken place in the recent past, while all conclusions
| of reasoning partake of the general nature of expectations
| of the future. What two things can be more disparate than
| a memory and an expectation? (CP 2.145).
|
| The second branch of the question, when you have decided in what
| your faith in reasoning consists, will inquire just what it is
| that justifies that faith. The stimulation of doubt about things
| indubitable or not really doubted is no more wholesome than is
| any other humbug; yet the precise specification of the evidence
| for an undoubted truth often in logic throws a brilliant light
| in one direction or in another, now pointing to a corrected
| formulation of the proposition, now to a better comprehension
| of its relations to other truths, again to some valuable
| distinctions, etc. (CP 2.147).
|
| As to the former branch of this question, it will be found
| upon consideration that it is precisely the analogy of an
| inferential conclusion to an expectation which furnishes the
| key to the matter. An expectation is a habit of imagining.
| A habit is not an affection of consciousness; it is a general
| law of action, such that on a certain general kind of occasion
| a man will be more or less apt to act in a certain general way.
| An imagination is an affection of consciousness which can be
| directly compared with a percept in some special feature, and
| be pronounced to accord or disaccord with it. Suppose for
| example that I slip a cent into a slot, and expect on pulling
| a knob to see a little cake of chocolate appear. My expectation
| consists in, or at least involves, such a habit that when I think
| of pulling the knob, I imagine I see a chocolate coming into view.
| When the perceptual chocolate comes into view, my imagination of it
| is a feeling of such a nature that the percept can be compared with
| it as to size, shape, the nature of the wrapper, the color, taste,
| flavor, hardness and grain of what is within. Of course, every
| expectation is a matter of inference. What an inference is we
| shall soon see more exactly than we need just now to consider.
| For our present purpose it is sufficient to say that the
| inferential process involves the formation of a habit.
| For it produces a belief, or opinion; and a genuine
| belief, or opinion, is something on which a man is
| prepared to act, and is therefore, in a general sense,
| a habit. A belief need not be conscious. (CP 2.148).
|
| Charles Sanders Peirce, 'Collected Papers', CP 2.144-148.
Exhibit 2
| The Experience of Satisfaction
|
| The filling of the nuclear neurones in Psi has as its
| consequence an effort to discharge, an impetus which is
| released along motor pathways. Experience shows that the
| first path to be followed is that leading to 'internal change'
| (e.g., emotional expression, screaming, or vascular innervation).
| But, as we showed at the beginning of the discussion, no discharge
| of this kind can bring about any relief of tension, because endogenous
| stimuli continue to be received in spite of it and the Psi-tension is
| re-established. Here a removal of the stimulus can only be effected
| by an intervention which will temporarily stop the release of quantity
| (Q-eta) in the interior of the body, and an intervention of this kind
| requires an alteration in the external world (e.g., the supply of
| nourishment or the proximity of the sexual object), and this, as
| a "specific action", can only be brought about in particular ways.
| At early stages the human organism is incapable of achieving this
| specific action. It is brought about by extraneous help, when the
| attention of an experienced person has been drawn to the child's
| condition by a discharge taking place along the path of internal
| change [e.g., by the child's screaming]. This path of discharge
| thus acquires an extremely important secondary function -- viz.,
| of bringing about an understanding with other people; and the
| original helplessness of human beings is thus the primal source
| of all moral motives.
|
| When the extraneous helper has carried out the specific action in
| the external world on behalf of the helpless subject, the latter
| is in a position, by means of reflex contrivances, immediately
| to perform what is necessary in the interior of his body in
| order to remove the endogenous stimulus. This total event
| then constitutes an "experience of satisfaction", which
| has the most momentous consequences in the functional
| development of the individual. ...
|
| Thus the experience of satisfaction leads to a facilitation between
| the two memory-images [of the object wished-for and of the reflex
| movement] and the nuclear neurones which had been cathected during
| the state of urgency. (No doubt, during [the actual course of]
| the discharge brought about by the satisfaction, the quantity
| (Q-eta) flows out of the memory-images as well.) Now, when
| the state of urgency or wishing re-appears, the cathexis
| will pass also to the two memories and will activate
| 'them'. And in all probability the memory-image of
| the object will be the first to experience this
| wishful activation.
|
| I have no doubt that the wishful activation will in the first
| instance produce something similar to a perception -- namely,
| a hallucination. And if this leads to the performance of the
| reflex action, disappointment will inevitably follow.
|
| Sigmund Freud, "Project", pages 379-381.
|
| Sigmund Freud,
|"Project for a Scientific Psychology" (1895),
| pages 347-445 in 'The Origins of Psycho-Analysis:
| Letters to Wilhelm Fliess, Drafts and Notes: 1887-1902',
| ed. by Marie Bonaparte, Anna Freud, Ernst Kris,
| trans. by Eric Mosbacher and James Strachey,
| intro. by Ernst Kris, Basic Books, New York, NY, 1954.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 19
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
KM = Kirsti Maattanen
Re: EOI-DIS 16. http://stderr.org/pipermail/inquiry/2004-November/001841.html
In: EOI-DIS. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1707
Continuing from where I left off ...
KM: As I see it, what Freud in his early work (The Project)
wrote extensively, as well as what little Peirce did say
on the relation between psychological phenomena and neural
processes, need to be critically examined and, if they seem
to serve some reasonable purpose, updated and reformulated.
(The extremely rare occasions I have made a note "outdated"
or something like that in the margins of CP have been with
paragraphs dealing with the nervous system. Once or twice,
if I remember correctly.) Updating, however, I do not see
anything like an easy task, main-stream neuroscience having
not much to offer, especially in terms of a Peircean frame.
KM: You mentioned behaviorism when describing your studies in psychology.
I'll take it as an example: Behaviorism is based on the work of I.P. Pavlov.
The founding fathers of behaviorism, however, took the notion of conditional
reflex, isolated it from its context, the general theoretical framework of
I.P. Pavlov. They ignored the concept of dynamical stereotypes, which for
Pavlov was the neural correlate (this may not be an adequate term to use
here) of a habit. On this basis the behaviorists then developed their
notion of habit, which became both predominant and popular, to the
degree of being ingrained in ordinary every-day western ways of
thinking. Compared to the notion of habit in Pavlov's works,
the behaviorist variant is one-sided, skewed and simplistic.
KM: Here I want to add: Why I want to bring all this up in the list is not
so just to give a response to Jon, but because -- to my mind -- the ways
Peirce's conception of habit has been understood and interpreted seems to
be continuously muddled with the behaviorist heritage. -- This, of course,
applies to what I'm familiar with. (Recommendations for further reading
are welcome).
Yes, James and Dewey had their infatuations with the young behaviorism,
and the fact is that focusing on behavior is healthy and interesting,
but again the criterion is anti-procrustean: Do we fit our models
to the actual phenomena of action, behavior, conduct -- or do we
lop off nature's givens to to fit the models we can handle?
KM: Then, back to behaviorism and Pavlov:
KM: What behaviorism left out as well from I.P.Pavlov's theory was
the basic approach of viewing the nervous system as a whole.
Exemplified in Pavlov's principle: Any pattern of activation
induces a correlated pattern of inhibition in the system (as
a whole). One of the consequences -- if this is accepted as
a starting point -- for philosophical considerations on the
mind-body problem (or its now popular reductionist variant:
mind-brain problem) is that any attempt based on activation
of single neurons or bundles of neurons and linking them
with -say- a mental image are futile.
I think we are mainly on the same plane here.
KM: We all know that the activity of the nervous system is electro-magnetic
activity. (c.f. Pavlov's principle above). Approaches based on the idea
of single neurons (then to be added up to bundles) take into consideration
electrical impulse passing (or rather hopping) through the neuron and its
synaptical transmission to other neurons. -- What is left out of consideration,
then, is the magnetic "side" of electro-magnetic phenomena. Quite unlegitimate
use of Ockham's razor, I'd say, no matter how common.
KM: I'm not sure I understood the following:
JA: It may be that Ockham's razor will always
shave as close to the spinal cord as possible.
KM: but if I did, I do hope it does not hold.
(Pardon me for saying, but did you notice
that your metaphor limps -- "shaving" sounds
an inadequate here, isn't it a euphemism?)
It connotes the microtome, and anatomical "preparations".
KM: Anyway, it seems to me that the most common and long-standing misuse
of Ockham's razor is that instead of carefully and meticulously shaving
the beard criss-crossing all over the essential features, it is used in
a much simpler and quicker way: to cut the throat. Not taking notice
that if you cut the throat, you cut out life. By this I mean ways of
philosophizing as if the head with the brain inside were all that is
essential in human beings, for epistemological purposes, for instance.
E.g. all epistemologies based on vision, that is: almost all through
the modern era. It does not take very much caricaturing to say that
all that quite often seems to be taken as essential in human body
is one eye (more specifically the dominant eye) and the brain.
Or, in modern neuroscience it is not uncommon to meet with
explicit considerations of how "the brain interacts with
the world". Which is simply nonsense and in dire need
of philosophical criticism.
KM: Well, well, well. It has been quite a while since I read
Pavlov's 'Selected Works' (in German translation). I was
an undergraduate student then, planning my master's thesis.
By then I had read my share of behaviorism, as part of the
psychology curriculum, and I.P. Pavlov was familiar from
those sources. I still vividly remember my astonishment
when I started to read his own writings, none of which
was included in the curriculum. -- And now that I came
to think about it, I don't remember having ever actually
met anyone else who had read Pavlov's own writings, not
even amongs the neuropsychologists I've discussed with
over the years.
KM: Now that I have dwelled this much on Pavlov's work,
my anticipation is that some listers draw the hasty
conclusion that I am an adherent to his theory. That
is not the case. I appreciate and even admire him as
a devoted and original researcher and theorist in his
field, still unequalled in many respects. I took him
up here as an example of a theorist in neuroscience,
whose treasures have been left behind, and a caricature
passed on to future generations.
So you understand how that happens.
KM: To restate my main point here: There is no way out in philosophy
of the trouble of taking into account in general outlines all that
is essential in life. Peirce was exceptional in his capability to
do this, as well as minute work in logic, formal and informal.
KM: To end with a more casual key, I want to tell an story from the writings
of Pavlov. He came to the conclusion that the period of optimal activity
in the brain occurs for some 20-30 minutes after waking up in the morning.
He then bemoans how people usually waste this precious time by getting
dressed and brushing their teeth, whereas he always stays in bed
contemplating the most difficult and pressing scientific problems.
Freud, "Project for a Scientific Psychology" --
I am re-locating and extending these excepts here:
PSY. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1869
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 20
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
KM = Kirsti Määttänen
I am pre-occupied at the moment with other issues,
but I want to flag the following paragraph for
possible future discussion:
KM: The inertia in change is not so much because "the findings are not yet conclusive",
which is usually offered as the reason why. The real issue is about habit change,
both personal and institutional. For a shift to be paradigmatic, it necessarily
involves changes in habits of thinking and acting. This is especially where I
feel that Peircean philosophy of science may have enormous human significance.
But, in order for that to happen, there should be real interdisciplinary
dialogue. Is there, really?
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 21
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Re: EOI 14. http://stderr.org/pipermail/inquiry/2004-November/001908.html
In: EOI. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1704
TG: I think you've caught the nub of our prior disagreements when you write:
JA: We need a word to cover all three uses of the later type of figure --
abductive, deductive, inductive -- since "syllogism" refers to the
deductive use alone, and so I will experiment with using the word
"syzygy" to cover all three ways of reading the same configuration.
TG: For, to my way of thinking it is precisely the syllogistic or deductive
element that puts the teeth, such as they have any, in all the means of
inference. Thus, what makes abduction valid to the extent it is is the
fact it provides an explanation. What makes induction valid to the
extent it is is not analogy (or an inane repetition of white swans)
but the fact the middle term or mediating concept can function
deductively and successfully with all sorts of consequents and
applied in all sorts of situations. Thus, to come up with a
word [that] eliminates deduction, or to restrict deductions
to formal systems only marginally related to the actual
experience, effectively pulls Peirce's teeth.
No, I think that you sum up the situation quite well, and I concur with
the way that you derive the approximate validity of Ab- and In- duction
from the exact validity of the corresponding Deduction. More important,
I think that Peirce, and so far as I remember, Aristotle, would roughly
agree with your derivation. So no root canals are in the offing so far.
I simply found that I had a recurring need for a word that referred to
a particular set of premisses, while being equipotential or neutral in
regard to its reading as an Ab-, or a De-, or an In- ductive inference.
Once again you have caught me just before it's time to go to dinner ---
But I promise to come back re-victualized for your questings ...
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 22
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
TG = Tom Gollier
Re: EOI 14. http://stderr.org/pipermail/inquiry/2004-November/001908.html
In: EOI. http://stderr.org/pipermail/inquiry/2004-November/thread.html#1704
I continue from where I left off ...
TG: Unfortunately, I think making rain the object
in the one diagram and switching the the case
and result/fact in the other has precisely
the same effect.
I'm not sure I understand what you mean here.
TG: The elements and inferences are being illustrated by a the [?] diagram
that resembles faces in the clouds. The mediating aspect of any sign
is lost with rain on the one side as object and rain (as thought) on
the other side as interpretant; while reversing the case and result
renders the deductive inference (from antecedent to consequent) into
an invalid one from consequent to antecedent.
TG: Meanwhile, you seem to insist that "deduction" be sacredly
apodictic, and I guess, not applicable at all until we have
retired to the diagram itself, divorced from any kind of
experiential relevance.
TG: But, all this also explains why I've never been too good at
the scholarly pursuit of philosophy. If you disagree with
the basic presuppositions, how can you keep on trying to
follow all the reasoning that can continues to be piled
on top of them. Philosophers should stick to short,
article- or even email-length, writings.
I guess I don't understand what you want here.
The phenomena of rain and walking and surprise
and thinking and choosing a course of action are
the primary appearances of reality, and it's up to
us to describe them how we may, in ways that explain
what we think needs explaining. All these theories of
weather or signs or inquiry and all these terms of art
are only meant for that. Peirce's mansion has rooms
for all the things that we seem to want, only there
are plaques on the doors, not on our teeth, that
have funny names peculiar to his line of thought
and the tradition of thinking that he carries
not caries forward.
The name "deduction" is pinned on an ideal limiting form
of exact explicative inference that would be what it is
under any name. There are even forms of approximate,
modal, and probable explicative inference where
you can have less than 100% certainty weighing
on the various premisses. If you seek forms
of reasoning to account for the sorts of
approximate amplicative suggestions
that we use everyday, then you
find them described under the
headings of "abductive" and
"inductive" reasoning.
It's all there.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Note 23
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
EOI. Discussion Work Area
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o