Difference between revisions of "Directory:Jon Awbrey/Notes/Factorization And Reification"

MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
(copy notes)
 
(mdasher, mdancer ...)
 
(54 intermediate revisions by the same user not shown)
Line 1: Line 1:
<pre>
+
{{DISPLAYTITLE:Factorization And Reification}}
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
 +
|
 +
<p>It is important to distinguish between the two functions of a word:  1st to denote something &mdash; to stand for something, and 2nd to mean something &mdash; or as Mr. Mill phrases it &mdash; to ''connote'' something.</p>
  
IDS -- FAR
+
<p>What it denotes is called its ''Sphere''.  What it connotes is called its ''Content''.  Thus the ''sphere'' of the word ''man'' is for me every man I know;  and for each of you it is every man you know.  The ''content'' of ''man'' is all that we know of all men, as being two-legged, having souls, having language, &c., &c.</p>
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
<p>(Peirce 1866, Lowell Lecture 7, CE 1, 459).</p>
 +
|}
  
FAR. Factorization And Reification
+
The question is:  What sort of thing is a connotation?  Is it a sign?  &mdash; that is to say, yet another term?  Or is it something like an abstract attribute &mdash; a character, intension, property, or quality? And while we're asking, does it really even matter?
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
"No" is one answer worth considering.  But then:  Why does it not matter?  What reason could be given to excuse the indifference?
  
FARNote 1
+
This is a question that has exercised me since my earliest studies of PeirceI can remember discussing it with my philosophy mentor at the time and I distinctly recall having arrived at some conclusion or other &mdash; alas, I haven't the foggiest notion what exactly my revelation amounted to.
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
These days, I usually try to finesse the trick under the trumped up rubric of a factorization.  So let me excavate my last attempts to explain this business and see if I can improve on them.
  
Time for the First Clown to Exorcise his Exercise, One More Time ...
+
==Factoring Functions==
  
| It is important to distinguish between the two
+
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
| functions of a word:  1st to denote something --
 
| to stand for something, and 2nd to mean something --
 
| or as Mr. Mill phrases it -- to 'connote' something.
 
|
 
| What it denotes is called its 'Sphere'.
 
| What it connotes is called its 'Content'.
 
|
 
| Thus the 'sphere' of the word 'man' is for me every man
 
| I know;  and for each of you it is every man you know.
 
|
 
| The 'content' of 'man' is all that we know of all men, as
 
| being two-legged, having souls, having language, etc., etc.
 
 
|
 
|
| C.S. Peirce, 'Chronological Edition', CE 1, p. 459
+
<p>Things are equivocally named, when they have the name only in common, the definition (or statement of essence) corresponding with the name being different. For instance, while a man and a portrait can properly both be called "animals" [since the Greek ''zõon'' applies to both], these are equivocally named. For they have the name only in common, the definitions (or statements of essence) corresponding with the name being different.  For if you are asked to define what the being an animal means in the case of the man and the portrait, you give in either case a definition appropriate to that case alone.  (''Categories'', p. 13).</p>
  
The question is:  What sort of thing is a connotation?
+
<p>Aristotle, "The Categories", in ''Aristotle, Volume 1'', H.P. Cooke and H. Tredennick (trans.), Loeb Classics, William Heinemann Ltd, London, UK, 1938.</p>
Is it a sign?  That is to say, is it yet another term?
+
|}
Or is it something like an abstract attribute, namely,
 
a character, an intension, a property, or a quality?
 
And while we're asking, does it really even matter?
 
  
"No" is one answer worth considering.
+
I would like to introduce a concept that I find to be of use in discussing the problems of hypostatic abstraction, reification, the reality of universals, and the questions of choosing among nominalism, conceptualism, and realism, generally.
But then:  Why does it not matter?
 
What reason might be given that
 
would excuse the indifference?
 
  
This is a question that has exercised me since
+
I will take this up first in the simplest possible setting, where it has to do with the special sorts of relations that are commonly called ''functions'', and after the basic idea is made as clear as possible in this easiest case I will deal with the notion of factorization as it affects more generic types of relations.
my earliest studies of Peirce.  I can remember
 
discussing it with my philosophy mentor at the
 
time and I distinctly recall having arrived at
 
some conclusion or other, but, alas, I haven't
 
the foggiest notion what exactly my revelation
 
amounted to.  Perhaps that is all for the best,
 
as the vagrancy of memory is frequently better
 
than the vapidity of one's banalytic anamnesia.
 
  
These days, I usually try to finesse the trick
+
Picture an arbitrary function from a ''source'' or ''domain'' to a ''target'' or ''codomain''.  Here is a picture of such a function, <math>f : X \to Y,</math> as generic as it needs to be for our present purposes:
under the trumped up rubric of a factorization.
 
So let me excavate my last attempts to explain
 
this business and see if I can improve on them.
 
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
{| align="center" cellpadding="8" style="text-align:center"
 +
| [[Image:Factorization Function Example 1.jpg|500px]]
 +
|-
 +
| <math>\text{Figure 1.  Function}~ f : X \to Y</math>
 +
|}
  
FAR.  Note 2
+
It is a fact that any old function that you might pick factors into a composition of two other functions, a surjective ("onto") function and an injective ("one-to-one") function, in the present example as pictured below:
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
{| align="center" cellpadding="8" style="text-align:center"
 +
| [[Image:Factorization Function Example 2.jpg|500px]]
 +
|-
 +
| <math>\text{Figure 2.  Factorization}~ f = g \circ h</math>
 +
|}
  
I would like to introduce a concept that I find to be of
+
Writing functional compositions <math>f = g \circ h</math> "on the right", we have the following data about the situation:
use in discussing the problems of hypostatic abstraction,
 
reification, the reality of universals, and the questions
 
of choosing among nominalism, conceptualism, and realism,
 
generally.
 
  
I will take this up first in the simplest possible setting,
+
{| align="center" cellpadding="8" width="90%"
where it has to do with the special sorts of relations that
+
|
are commonly called "functions", and after the basic idea
+
<math>\begin{array}{ccl}
is made as clear as possible in this easiest case I will
+
X & = & \{ 1, 2, 3, 4, 5 \}
deal with the notion of "factorization" as it affects
+
\\[4pt]
more generic types of relations.
+
M & = & \{ m, n \}
 
+
\\[4pt]
Picture an arbitrary function from a Source (Domain)
+
Y & = & \{ p, q, r, s, t, u \}
to a Target (Co-domain).  Here is one picture of an
+
\\[8pt]
f : X -> Y, just about as generic as it needs to be:
+
f & : & X \to Y, ~\text{arbitrary}
 
+
\\[4pt]
  Source X  =  {1, 2, 3, 4,    5}
+
g & : & X \to M, ~\text{surjective}
          |      o  o  o  o    o
+
\\[4pt]
      f  |      \ | /    \  /
+
h & : & M \to Y, ~\text{injective}
          |        \|/      \ /
+
\\[8pt]
          v      o  o  o  o  o  o
+
f & = & g \circ h
  Target Y  = {A, B, C, D, E, F}
+
\end{array}</math>
 
+
|}
Now, it is a fact that any old function that you might
 
pick "factors" into a surjective ("onto") function and
 
an injective ("one-to-one") function, in the present
 
example just like so:
 
 
 
  Source X  =  {1, 2, 3, 4,    5}
 
          |     o  o  o  o    o
 
      g  |      \ | /    \  /
 
          v        \|/      \ /
 
  Medium M  =  {   b  ,    e  }
 
          |        |        |
 
      h  |        |        |
 
          v      o  o  o  o  o  o
 
  Target Y  =  {A, B, C, D, E, F}
 
 
 
Writing the functional compositions f = g o h "on the right",
 
as they say, we have the following data about the situation:
 
 
 
  X = {1, 2, 3, 4, 5}
 
  M = {b, e}
 
  Y = {A, B, C, D, E, F}
 
 
 
  f : X -> Y, arbitrary
 
  g : X -> M, surjective
 
  h : M -> Y, injective
 
 
 
  f = g o h
 
  
 
What does all of this have to do with reification and so on?
 
What does all of this have to do with reification and so on?
  
Well, suppose that the Source domain X is a set of "objects",
+
To begin answering that question, suppose that the source domain <math>X\!</math> is a set of ''objects'', that the target domain <math>Y\!</math> is a set of ''signs'', and suppose that the function <math>f : X \to Y</math> indicates the effect of a classification, conceptualization, discrimination, perception, or some other type of sorting operation, distributing the elements of the set <math>X\!</math> of objects and into a set of sorting bins that are labeled with the elements of the set <math>Y,\!</math> regarded as a set of classifiers, concepts, descriptors, percepts, or just plain signs, whether these signs are regarded as being in the mind, as with concepts, or whether they happen to be inscribed more publicly in another medium.
that the Target domain Y is a set of "signs", and suppose that
 
the function f : X -> Y indicates the effect of a classification,
 
conceptualization, discrimination, perception, or some other type
 
of "sorting" operation, distributing the elements of the set X of
 
objects and into a set of "sorting bins" that are labeled with the
 
elements of the set Y, regarded as a set of classifiers, concepts,
 
descriptors, percepts, or just plain signs, whether these signs
 
are regarded as being in the mind, as with concepts, or whether
 
they happen to be inscribed more publicly in another medium.
 
  
In general, if we try to use the signs in the Target (Co-domain) Y
+
In general, if we use the signs in the target domain <math>Y\!</math> to denote or describe the objects in the source domain <math>X,\!</math> then we are engaged in a form of ''general denotation'' or ''plural reference'' with regard to those objects, that is, each sign may refer to each of many objects, in a way that would normally be called ''ambiguous'' or ''equivocal''.
to reference the objects in the Source (Domain) X, then we will be
 
invoking what used to be called -- since the Middle Ages, I think --
 
a manner of "general reference" or a mode of "plural denotation",
 
that is to say, one sign will, in general, denote each of many
 
objects, in a way that would normally be called "ambiguous",
 
"equivocal", "indefinite", "indiscriminate", and so on.
 
  
Notice what I did not say here, that one sign denotes a "set" of objects,
+
Notice what I did not say here, that one sign denotes a ''set'' of objects, because I am for the moment conducting myself as such a dyed-in-the-wool nominal thinker that I hesitate even to admit so much as the existence of this thing we call a ''set'' into the graces of my formal ontology, though, of course, my casual speech is rife with the use of the word ''set'', and in a way that the nominal thinker, true-blue to the end, would probably be inclined or duty-bound to insist is a purely dispensable convenience.
because I am for the moment conducting myself as such a dyed-in-the-wool
 
nominal thinker that I hesitate even to admit so much as the existence of
 
this thing we call a "set" into the graces of my formal ontology, though,
 
of course, my casual speech is rife with the use of the word "set", and
 
in a way that the nominal thinker, true-blue to the end, would probably
 
be inclined or duty-bound to insist is a purely dispensable convenience.
 
  
In fact, the invocation of a new order of entities, whether you regard
+
In fact, the invocation of a new order of entities, whether you regard its typical enlistee as a class, a concept, a form, a general, an idea, an interpretant, a property, a set, a universal, or whatever you elect to call it, is tantamount exactly to taking this step that I just now called the ''factoring'' of the classification function into surjective and injective factors.
its typical enlistee as a class, a concept, a form, a general, an idea,
 
an interpretant, a property, a set, a universal, or whatever you elect
 
to call it, is tantamount exactly to taking this step that I just now
 
called the "factoring" of the classification function into surjective
 
and injective factors.
 
  
Observe, however, that this is where all the battles begin to break out,
+
Observe, however, that this is where all the battles begin to break out, for not all factorizations are regarded with equal equanimity by folks who have divergent philosophical attitudes toward the creation of new entities, especially when they get around to asking:  ''In what domain or estate shall the multiplicity of newborn entities be lodged or yet come to reside on a permanent basis?'' Some factorizations enfold new orders of entities within the Object domain of a fundamental ontology, and some factorizations invoke new orders of entities within the Sign domains of concepts, data, interpretants, language, meaning, percepts, and sense in general.  Now, opting for the ''object'' choice of habitation would usually be taken as symptomatic of ''realist'' leanings, while opting out of the factorization altogether, or weakly conceding the purely expedient convenience of the ''sign'' choice for the status of the intermediate entities, would probably be taken as evidence of a ''nominalist'' persuasion.
for not all factorizations are regarded with equal equanimity by folks
 
who have divergent philosophical attitudes toward the creation of new
 
entities, especially when they get around to asking:  "In what domain
 
or estate shall the multiplicity of newborn entities be lodged or yet
 
come to reside on a permanent basis?" Some factorizations enfold new
 
orders of entities within the Object domain of a fundamental ontology,
 
and some factorizations invoke new orders of entities within the Sign
 
domains of concepts, data, interpretants, language, meaning, percepts,
 
and "sense in general" (SIG).  Now, opting for the "Object" choice of
 
habitation would usually be taken as symptomatic of "realist" leanings,
 
while opting out of the factorization altogether, or weakly conceding
 
the purely expedient convenience of the "Sign" choice for the status
 
of the intermediate entities, would probably be taken as evidence of
 
a "nominalist" persuasion.
 
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
==Factoring Sign Relations==
  
FAR. Note 3
+
Let us now apply the concepts of factorization and reification, as they are developed above, to the analysis of sign relations.
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
Suppose we have a sign relation <math>L \subseteq O \times S \times I,</math> where <math>O\!</math> is the object domain, <math>S\!</math> is the sign domain, and <math>I\!</math> is the interpretant domain of the sign relation <math>L.\!</math>
  
Let us now apply the concepts of factorization and reification,
+
Now suppose that the situation with respect to the ''denotative component'' of <math>L,\!</math> in other words, the projection of <math>L\!</math> on the subspace <math>O \times S,</math> can be pictured in the following manner:
as they are developed above, to the analysis of sign relations.
 
  
Suppose that we have a sign relation L c O x S x I, where the sets
+
{| align="center" cellpadding="8" style="text-align:center"
O, S, I are the domains of the Object, Sign, Interpretant domains,
+
| [[Image:Factorization Sign Relation 1.jpg|500px]]
respectively.
+
|-
 +
| <math>\text{Figure 3.  Denotative Component of Sign Relation}~ L</math>
 +
|}
  
Now suppose that the situation with respect to
+
The Figure depicts a situation where each of the three objects, <math>o_1, o_2, o_3,\!</math> has a ''proper name'' that denotes it alone, namely, the three proper names <math>s_1, s_2, s_3,\!</math> respectively.  Over and above the objects denoted by their proper names, there is the general sign <math>s,\!</math> which denotes any and all of the objects <math>o_1, o_2, o_3.\!</math>  This kind of sign is described as a ''general name'' or a ''plural term'', and its relation to its objects is a ''general reference'' or a ''plural denotation''.
the "denotative component" of L, in other words,
 
the "projection" of L on the subspace O x S, can
 
be pictured in the following manner, where equal
 
signs, like "=", written between ostensible nodes,
 
like "o", identify them into a single actual node.
 
  
o-----------------------------o
+
If you now ask, ''Is the object of the sign <math>s\!</math> one or many?'', the answer has to be ''many''.  That is, there is not one <math>o\!</math> that <math>s\!</math> denotes, but only the three <math>o\!</math>'s in the object space. Nominal thinkers would ask: ''Granted this, what need do we have really of more excess?'' The maxim of the nominal thinker is ''never read a general name as a name of a general'', meaning that we should never jump from the accidental circumstance of a plural sign <math>s\!</math> to the abnominal fact that a unit <math>o\!</math> exists.
| Denotative Component of L  |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|                  o        |
 
|                  /=        |
 
|                / o   y    |
 
|                / /=        |
 
|              / / o         |
 
|              / / /          |
 
|            / / /          |
 
|            / / /            |
 
|          / / /            |
 
|          / / /              |
 
| x_1    o-/-/-----o y_1    |
 
|          / /                |
 
|        / /                |
 
| x_2  o-/--------o y_2    |
 
|        /                   |
 
|        /                    |
 
|  x_3  o-----------o  y_3    |
 
|                            |
 
o-----------------------------o
 
  
This depicts a situation where each of the three objects,
+
In actual practice this would be just one segment of a much larger sign relation, but let us continue to focus on just this one piece. The association of objects with signs is not in general a function, no matter which way, from <math>O\!</math> to <math>S\!</math> or from <math>S\!</math> to <math>O,\!</math> that we might try to read it, but very often one will choose to focus on a selection of links that do make up a function in one direction or the other.
x_1, x_2, x_3, has a "proper name" that denotes it alone,
 
namely, the three proper names y_1, y_2, y_3, respectively.
 
Over and above the objects denoted by their proper names,
 
there is the general sign y, which denotes any and all of
 
the objects x_1, x_2, x_3.  This kind of sign is described
 
as a "general name" or a "plural term", and its relation to
 
its objects is a "general reference" or a "plural denotation".
 
  
Now, at this stage of the game, if you ask:
+
In general, but in this context especially, it is convenient to have a name for the converse of the denotation relation, or for any selection from itI have been toying with the idea of calling this ''annotation'', or maybe ''ennotation''.
"Is the object of the sign y one or many?",
 
the answer has to be:  "Not one, but many".
 
That is, there is not one x that y denotes,
 
but only the three x's in the object space.
 
Nominal thinkers would ask: "Granted this,
 
what need do we have really of more excess?"
 
The maxim of the nominal thinker is "never
 
read a general name as a name of a general",
 
meaning that we should never jump from the
 
accidental circumstance of a plural sign y
 
to the abnominal fact that a unit x exists.
 
  
In actual practice this would be just one segment of a much larger
+
For example, the assignment of the general term <math>s\!</math> to each of the objects <math>o_1, o_2, o_3\!</math> is one such functional patch, piece, segment, or selection.  So this patch can be pictured according to the pattern that was previously observed, and thus transformed by means of a canonical factorization.
sign relation, but let us continue to focus on just this one piece.
 
The association of objects with signs is not in general a function,
 
no matter which way, from O to S or from S to O, that we might try
 
to read it, but very often one will choose to focus on a selection
 
of links that do make up a function in one direction or the other.
 
  
In general, but in this context especially, it is convenient
+
In our example of a sign relation, we had a functional subset of the following shape:
to have a name for the converse of the denotation relation,
 
or for any selection from it.  I have been toying with the
 
idea of calling this "annotation", or maybe "ennotation".
 
  
For a not too impertinent instance, the assignment of the
+
{| align="center" cellpadding="8" style="text-align:center"
general term y to each of the objects x_1, x_2, x_3 is
+
| [[Image:Factorization Sign Relation Piece 1.jpg|500px]]
one such functional patch, piece, segment, or selection.
+
|-
So this patch can be pictured according to the pattern
+
| <math>\text{Figure 4.  One Part of Sign Relation}~ L</math>
that was previously observed, and thus transformed by
+
|}
means of a canonical factorization.
 
  
In this case, we factor the function f : O -> S
+
The function <math>f : O \to S</math> factors into a composition <math>g \circ h,\!</math> where <math>g : O \to M,</math> and <math>h : M \to S,</math> as shown here:
  
  Source O  :>  x_1 x_2 x_3
+
{| align="center" cellpadding="8" style="text-align:center"
          |       o  o  o
+
| [[Image:Factorization Sign Relation Piece 2.jpg|500px]]
          |       \  |  /
+
|-
      f  |        \ | /
+
| <math>\text{Figure 5Factored Part of Sign Relation}~ L</math>
          |         \|/
+
|}
          v      ... o ...
 
  Target S :>       y
 
  
into the composition g o h, where g : O -> M, and h : M -> S
+
It may be difficult at first to see how anything of significance could follow from an observation so facile as the fact that an arbitrary function factors into a surjective function followed by an injective function.  What it means is that there is no loss of generality in assuming that there is a domain of intermediate entities under which the objects of a general denotation or plural reference can be marshaled, just as if they had something more essential and more substantial in common than the shared attachment to a coincidental name.  So the problematic status of a hypostatic entity like <math>o\!</math> is reduced from a question of its nominal existence to a matter of its local habitation.  Is it more like an object or more like a sign?  One wonders why there has to be only these two categories, and why not just form up another, but that does not seem like playing the game to propose it.  At any rate, I will defer for now one other obvious possibility &mdash; obvious from the standpoint of the pragmatic theory of signs &mdash; the option of assigning the new concept, or mental symbol, to the role of an interpretant sign.
  
  Source O  :> x_1 x_2 x_3
+
If we force the factored annotation function, initially extracted from the sign relation <math>L,\!</math> back into the frame from whence it came, we get the augmented sign relation <math>L^\prime,\!</math> shown in the next Figure:
          |      o  o  o
 
      g  |        \ /
 
          |        \ | /
 
          v          \|/
 
  Medium M  :>   ... x ...
 
          |          |
 
      h  |          |
 
          |          |
 
          v      ... o ...
 
  Target S  :>      y
 
  
The factorization of an arbitrary function
+
{| align="center" cellpadding="8" style="text-align:center"
into a surjective ("onto") function followed
+
| [[Image:Factorization Sign Relation 2.jpg|500px]]
by an injective ("one-one") function is such
+
|-
a deceptively trivial observation that I had
+
| <math>\text{Figure 6.  Denotative Component of Sign Relation}~ L^\prime</math>
guessed that you would all wonder what in the
+
|}
heck, if anything, could possibly come of it.
 
  
What it means is that, "without loss or gain of generality" (WOLOGOG),
+
This amounts to the creation of a hypostatic object <math>o,\!</math> which affords us a singular denotation for the sign <math>s.\!</math>
we might as well assume that there is a domain of intermediate entities
 
under which the objects of a general denotation can be marshalled, just
 
as if they actually had something rather more essential and really more
 
substantial in common than the shared attachment to a coincidental name.
 
So the problematic status of a hypostatic entity like x is reduced from
 
a question of its nominal existence to a matter of its local habitation.
 
Is it very like a sign, or is it rather more like an object?  One wonders
 
why there has to be only these two categories, and why not just form up
 
another, but that does not seem like playing the game to propose it.
 
At any rate, I will defer for now one other obvious possibility --
 
obvious from the standpoint of the pragmatic theory of signs --
 
the option of assigning the new concept, or mental symbol,
 
to the role of an interpretant sign.
 
  
If we force the factored annotation function,
+
By way of terminology, it would be convenient to have a general name for the transformation that converts a bare, ''nominal'' sign relation like <math>L\!</math> into a new, improved ''hypostatically augmented or extended'' sign relation like <math>L^\prime.</math>  Let us call this kind of transformation an ''objective extension'' or an ''outward extension'' of the underlying sign relation.
initially extracted from the sign relation L,
 
back into the frame from whence it once came,
 
we get the augmented sign relation L', shown
 
in the next vignette:
 
  
o-----------------------------o
+
This naturally raises the question of whether there is also an augmentation of sign relations that might be called an ''interpretive extension'' or an ''inward extension'' of the underlying sign relation, and this is the topic that I will take up next.
| Denotative Component of L' |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|                  o        |
 
|                  /=        |
 
|  x  o=o-------/-o  y    |
 
|      ^^^      / /=        |
 
|      '''     / / o        |
 
|      '''   / / /          |
 
|      '''  / / /          |
 
|      '''  / / /            |
 
|      ''' / / /            |
 
|      '''/ / /              |
 
|  x_1  ''o-/-/-----o  y_1    |
 
|      '' / /                |
 
|      ''/ /                |
 
|  x_2  'o-/--------o  y_2    |
 
|      ' /                  |
 
|      '/                    |
 
|  x_3  o-----------o  y_3    |
 
|                            |
 
o-----------------------------o
 
  
This amounts to the creation of a hypostatic object x,
+
==Nominalism and Realism==
which affords us a singular denotation for the sign y.
 
  
By way of terminology, it would be convenient to have
+
Let me now illustrate what I think that a lot of our controversies about nominalism versus realism actually boil down to in practice.  From a semiotic or a sign-theoretic point of view, it all begins with a case of ''plural reference'', which occurs when a sign <math>s\!</math> is taken to denote each object <math>o_j\!</math> in a collection of objects <math>\{ o_1, \ldots, o_k, \ldots \},</math> a situation whose general pattern is suggested by a sign-relational table of the following form:
a general name for the transformation that converts
 
a bare "nominal" sign relation like L into a new,
 
improved "hypostatically augmented or extended"
 
sign relation like L'.
 
  
I call this kind of transformation
+
<br>
an "objective extension" (OE) or
 
an "outward extension" (OE) of
 
the underlying sign relation.
 
  
This naturally raises the question of
+
{| align="center" style="text-align:center; width:60%"
whether there is also an augmentation
+
|
of sign relations that might be called
+
{| align="center" style="text-align:center; width:100%"
an "interpretive extension" (IE) or
+
| <math>\text{Table 7.  Plural Denotation}\!</math>
an "inward extension" (IE) of
+
|}
the underlying sign relation,
+
|-
and this is the topic that
+
|
I will take up next.
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:100%"
 +
|- style="background:#f0f0ff"
 +
| width="33%" | <math>\text{Object}\!</math>
 +
| width="33%" | <math>\text{Sign}\!</math>
 +
| width="33%" | <math>\text{Interpretant}\!</math>
 +
|-
 +
|
 +
<math>\begin{matrix}
 +
o_1 \\ o_2 \\ o_3 \\ \ldots \\ o_k \\ \ldots
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
s \\ s \\ s \\ \ldots \\ s \\ \ldots
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
\ldots \\ \ldots \\ \ldots \\ \ldots \\ \ldots \\ \ldots
 +
\end{matrix}</math>
 +
|}
 +
|}
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
<br>
  
FAR. Note 4
+
For example, consider the sign relation <math>L\!</math> whose sign relational triples are precisely as shown in Table&nbsp;8.
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
<br>
  
Let me now illustrate what I think that a lot of our controversies
+
{| align="center" style="text-align:center; width:60%"
about nominalism versus realism actually boil down to in practice.
+
|
From a semiotic or a sign-theoretic point of view, it all begins
+
{| align="center" style="text-align:center; width:100%"
with a case of "plural reference", which happens when a sign y
+
| <math>\text{Table 8. Sign Relation}~ L</math>
is quite literally taken to denote each object x_j in a whole
+
|}
collection of objects {x_1, ..., x_k, ...}, a situation that
+
|-
can be represented in a sign-relational table like this one:
+
|
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:100%"
 +
|- style="background:#f0f0ff"
 +
| width="33%" | <math>\text{Object}\!</math>
 +
| width="33%" | <math>\text{Sign}\!</math>
 +
| width="33%" | <math>\text{Interpretant}\!</math>
 +
|-
 +
|
 +
<math>\begin{matrix}
 +
o_1 \\ o_2 \\ o_3
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
s \\ s \\ s
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
\ldots \\ \ldots \\ \ldots
 +
\end{matrix}</math>
 +
|}
 +
|}
  
o---------o---------o---------o
+
<br>
| Object  |  Sign  | Interp  |
 
o---------o---------o---------o
 
|  x_1  |    y    |  ...  |
 
|  x_2  |    y    |  ...  |
 
|  x_3  |    y    |  ...  |
 
|  ...  |    y    |  ...  |
 
|  x_k  |    y    |  ...  |
 
|  ...  |    y    |  ...  |
 
o---------o---------o---------o
 
 
 
For brevity, let us consider the sign relation L
 
whose relational database table is precisely this:
 
 
 
o-----------------------------o
 
|      Sign Relation L      |
 
o---------o---------o---------o
 
| Object  |  Sign  | Interp  |
 
o---------o---------o---------o
 
|  x_1  |    y    |  ...  |
 
|  x_2  |    y    |  ...  |
 
|  x_3  |    y    |  ...  |
 
o---------o---------o---------o
 
  
 
For the moment, it does not matter what the interpretants are.
 
For the moment, it does not matter what the interpretants are.
  
I would like to diagram this somewhat after the following fashion,
+
I would like to diagram this somewhat after the following fashion, here detailing just the denotative component of the sign relation, that is, the 2-adic relation that is obtained by "projecting out" the Object and Sign columns of the table.
here detailing just the denotative component of the sign relation,
 
that is, the 2-adic relation that is obtained by "projecting out"
 
the Object and the Sign columns of the table.
 
 
 
o-----------------------------o
 
| Denotative Component of L  |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|  x_1  o------>              |
 
|              \            |
 
|                \            |
 
|  x_2  o------>--o  y        |
 
|                /            |
 
|              /            |
 
|  x_3  o------>              |
 
|                            |
 
o-----------------------------o
 
 
 
I would like to -- but my personal limitations in the
 
Art of ASCII Hieroglyphics do not permit me to maintain
 
this level of detail as the figures begin to ramify much
 
beyond this level of complexity.  Therefore, let me use
 
the following device to symbolize the same configuration:
 
  
o-----------------------------o
+
{| align="center" cellpadding="8" style="text-align:center"
| Denotative Component of L  |
+
| [[Image:Factorization Sign Relation Piece 1.jpg|500px]]
o--------------o--------------o
+
|-
|   Objects    |    Signs    |
+
| <math>\text{Figure 9.  Denotative Component of Sign Relation}~ L</math>
o--------------o--------------o
+
|}
|                             |
 
| o  o  o >>>>>>>>>>>> y    |
 
|                             |
 
o-----------------------------o
 
  
 
Notice the subtle distinction between these two cases:
 
Notice the subtle distinction between these two cases:
  
  1.  A sign denotes each object in a set of objects.
+
# A sign denotes each object in a set of objects.
 
+
# A sign denotes a set of objects.
  2.  A sign denotes a set of objects.
 
 
 
The first option uses the notion of a set in a casual,
 
informal, or metalinguistic way, and does not really
 
commit us to the existence of sets in any formal way.
 
This is the more razoresque choice, much less risky,
 
ontologically speaking, and so we may adopt it as
 
our "nominal" starting position.
 
 
 
Now, in this "plural denotative" component of the sign relation,
 
we are looking at what may be seen as a functional relationship,
 
in the sense that we have a piece of some function f : O -> S,
 
such that f(x_1) = f(x_2) = f(x_3) = y, for example.  A function
 
always admits of being factored into an "onto" (surjective) map
 
followed by a "one-to-one" (injective) map, as discussed earlier.
 
 
 
But where do the intermediate entities go?  We could lodge them
 
in a brand new space all their own, but Ockham the Innkeeper is
 
right up there with Old Procrustes when it comes to the amenity
 
of his accommodations, and so we feel compelled to at least try
 
shoving them into one or another of the spaces already reserved.
 
 
 
In the rest of this discussion, let us assign the label "i" to
 
the intermediate entity between the objects x_j and the sign y.
 
 
 
Now, should you annex i to the object domain O you will have
 
instantly given yourself away as having "Realist" tendencies,
 
and you might as well go ahead and call it an "Intension" or
 
even an "Idea" of the grossly subtlest Platonic brand, since
 
you are about to booted from Ockham's Establishment, and you
 
might as well have the comforts of your Ideals in your exile.
 
 
 
o-----------------------------o
 
| Denotative Component of L'  |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|    i                      |
 
|    /|\  *                  |
 
|  / | \      *            |
 
|  /  |  \          *        |
 
| o  o  o >>>>>>>>>>>> y    |
 
|                            |
 
o-----------------------------o
 
 
 
But if you assimilate i to the realm of signs S, you will
 
be showing your inclination to remain within the straight
 
and narrow of "Conceptualist" or even "Nominalist" dogmas,
 
and you may read this "i" as standing for an intelligible
 
concept, or an "idea" of the safely decapitalized, mental
 
impression variety.
 
 
 
o-----------------------------o
 
| Denotative Component of L'' |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
| o  o  o >>>>>>>>>>>> y    |
 
|    .  .  .            '    |
 
|        . . .          '    |
 
|              ...      '    |
 
|                  .    '    |
 
|                      "i"  |
 
|                            |
 
o-----------------------------o
 
 
 
But if you dare to be truly liberal, you might just find
 
that you can easily afford to accommmodate the illusions
 
of both of these types of intellectual inclinations, and
 
after a while you begin to wonder how all of that mental
 
or ontological downsizing got started in the first place.
 
 
 
o-----------------------------o
 
| Denotative Component of L'''|
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|    i                      |
 
|    /|\  *                  |
 
|  / | \      *            |
 
|  /  |  \          *        |
 
| o  o  o >>>>>>>>>>>> y    |
 
|    .  .  .            '    |
 
|        . . .          '    |
 
|              ...      '    |
 
|                  .    '    |
 
|                      "i"  |
 
|                            |
 
o-----------------------------o
 
 
 
To sum up, we have recognized the perfectly innocuous utility
 
of admitting the abstract intermediate object i, that may be
 
interpreted as an intension, a property, or a quality that
 
is held in common by all of the initial objects x_j that
 
are plurally denoted by the sign y.  Further, it appears
 
to be equally unexceptionable to allow the use of the
 
sign "i" to denote this shared intension i.  Finally,
 
all of this flexibility arises from a universally
 
available construction, a type of compositional
 
factorization, common to the functional parts
 
of the 2-adic components of any relation.
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Note 5
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
 
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Note ???
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
The word "intension" has recently come to be stressed in our discussions.
 
As I first learned this word from my reading of Leibniz, I shall take it
 
to be nothing more than a synonym for "property" or "quality", and shall
 
probably always associate it with the primes factorization of integers,
 
the analogy between having a factor and having a property being one of
 
the most striking, at least to my neo-pythagorean compleated mystical
 
sensitivities, that Leibniz ever posed, and of which certain facets
 
of Peirce's work can be taken as a further polishing up, if one is
 
of a mind to do so.
 
 
 
As I dare not presume this to constitute the common acceptation
 
of the term "intension", not without checking it out, at least,
 
I will need to try and understand how others here understand
 
the term and all of its various derivatives, thereby hoping
 
to anticipate, that is to say, to evade or to intercept,
 
a few of the brands of late-breaking misunderstandings
 
that are so easy to find ourselves being surprised by,
 
if one shies away from asking silly questions at the
 
very first introduction of one of these parvenu words.
 
I have been advised that it will probably be fruitless
 
to ask direct questions of my informants in such a regard,
 
but I do not see how else to catalyze the process of exposing
 
the presumption that "it's just understood" when in fact it may
 
be far from being so, and thus to clear the way for whatever real
 
clarification might possibly be forthcoming, in the goodness of time.
 
Just to be open, and patent, and completely above the metonymous board,
 
I will lay out the paradigm that I myself bear in mind when I think about
 
how I might place the locus and the sense of this term "intension", because
 
I see the matter of where to lodge it in our logical logistic as being quite
 
analogous to the issue of where to place those other i-words, namely, "idea",
 
capitalized or not, "impresssion", "intelligible concept", and "interpretant".
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
Let me illustrate what I think that a lot of our controversies
 
about nominalism versus realism actually boil down to in practice.
 
From a semiotic or a sign-theoretic point of view, it all begins
 
with a case of "plural reference", which happens when a sign 's'
 
is quite literally taken to denote each object o<j> in a whole
 
collection of objects {o<1>, ..., o<k>, ...}, a situation that
 
I would normally represent in a sign-relational table like so:
 
 
 
      Object    Sign    Interp
 
    o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
        o1        's'      ...
 
        o2        's'      ...
 
        o3        's'      ...
 
    o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
For the moment, it does not matter what the interpretants are.
 
 
 
I would like to diagram this somewhat after the following fashion,
 
here detailing just the denotative component of the sign relation,
 
that is, the 2-adic relation that is obtained by "projecting out"
 
the Object and the Sign columns of the table.
 
 
 
    o1 ------>
 
              \
 
              \
 
    o2 ------>--@ 's'
 
              /
 
              /
 
    o3 ------>
 
 
 
I would like to -- but my personal limitations in the
 
Art of ASCII Hieroglyphics do not permit me to maintain
 
this level of detail as the figures begin to ramify much
 
beyond this level of complexity.  Therefore, let me use
 
the following device to symbolize the same configuration:
 
 
 
    o  o  o >>>>>>>>>>>>> 's'
 
 
 
Notice the subtle distinction between these two cases:
 
 
 
1.  A sign denotes each object in a set of objects.
 
 
 
2.  A sign denotes a set of objects.
 
 
 
The first option uses the notion of a set in a casual,
 
informal, or metalinguistic way, and does not really
 
commit us to the existence of sets in any formal way.
 
This is the more razoresque choice, much less risky,
 
ontologically speaking, and so we may adopt it as
 
our starting position.
 
 
 
Now, in this "plural denotative" component of the sign relation,
 
we are looking at what may be seen as a functional relationship,
 
in the sense that we ahve a piece of some function f : O -> S,
 
such that f(o1) = f(o2) = f(o3) = 's', for example.  Functions
 
always admit of factoring into an "onto" (no relation) map and
 
then a one-one map, as we discussed what seems like an age ago.
 
 
 
But where do the intermediate entities go?  We could lodge them
 
in a brand new space all their own, but Ockham the Innkeeper is
 
right up there with Old Procrustes when it comes to the amenity
 
of his accommodations, and so we feel compelled to at least try
 
shoving them into one or another of the spaces already reserved.
 
 
 
In the rest of this discussion, let us give the name "i" to the
 
intermediate entity between the objects o<j> and the sign 's'.
 
 
 
Now should you annex i to the object domain O, you will have
 
instantly given yourself away as having "Realist" tendencies,
 
and you might as well go ahead and call it an "intension" or
 
even an "Idea" of the grossly subtlest Platonic brand, since
 
you are about to booted from Ockham's Establishment, and you
 
may as well have the comforts of your Ideals in your exhile.
 
 
 
        i
 
      /|\  *
 
      / | \      *
 
    /  |  \          *
 
    o  o  o >>>>>>>>>>>> "s"
 
 
 
But if you assimilate i to the realm of signs S, you will
 
be showing your inclination to remain within the straight
 
and narrow of "Conceptualist" or even "Nominalist" dogmas,
 
and you may read this "i" as standing for an intelligible
 
concept, or an "idea" of the safely decapitalized, mental
 
impression variety.
 
 
 
    o  o  o >>>>>>>>>>>> "s"
 
        .  .  .            |
 
            . . .          |
 
                  ...      |
 
                      .    |
 
                          "i"
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Factorization And Reification -- Discussion
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Discussion Note 1
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
JW = Jim Willgoose
 
 
 
Re: FAR 2.  http://stderr.org/pipermail/inquiry/2005-May/thread.html#2747
 
In: FAR.    http://stderr.org/pipermail/inquiry/2005-May/002748.html
 
 
 
JW: What does "middle m" do? It appears to simplify the object domain.
 
    But to what end?  You could be a hardcore reductionist and allow full
 
    reality to source and middle (providing middle m has a role).  Gaining
 
    clarity doesn't compromise realism, even realism about sets (so long as
 
    they can be identified).  One can even be a Platonic nominalist (demanding
 
    that abstract objects be identified and individuated) and preserve a sense
 
    of realism by arguing that the identity and individuating character of an
 
    abstract object is independant of you, me etc.  This could be extended to
 
    possible uses for middle m that have not been discovered.  There are a lot
 
    of ways to hang on to ONE THING, champion reduction, and preserve realism.
 
 
 
I am here making use of a simple theorem from mathematical category theory,
 
the fact that any function can be factored into a surjective part followed
 
by an injective part, to provide the grounds for a compromise between some
 
ancient philosophical combatants.  Of course, the more reductionist among
 
those parties would no more warm up to the reality of functions than they
 
take kindly to the existence of those abstract objects we call "sets",
 
but that is neither here nor there.
 
 
 
Another point of the exercise was to examine the waffle room that we often
 
find in regard to the "connotations" of signs, whether they are more like
 
interpretant signs or more like intensions considered as abstract objects.
 
I think that I have at least outlined a way that we can have our cake and
 
eat it too.
 
 
 
The rest of your statements are very puzzling to me.
 
I can only guess that you've never met any hardcore
 
reductionists, as they certainly don't tolerate the
 
existence of sets, considered as something over and
 
above their individual elements.  And I have no way
 
of conjuring up what a platonic nominalist might be.
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Discussion Note 2
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
 
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Discussion Note ?
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
JA = Jon Awbrey
 
SR = Seth Russell
 
 
 
JA figured:
 
 
 
o-----------------------------o
 
| Denotative Component of L'" |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|    i                      |
 
|    /|\  *                  |
 
|  / | \      *            |
 
|  /  |  \          *        |
 
| o  o  o >>>>>>>>>>>> y    |
 
|    .  .  .            '    |
 
|        . . .          '    |
 
|              ...      '    |
 
|                  .    '    |
 
|                      "i"  |
 
|                            |
 
o-----------------------------o
 
 
 
SR: Your diagrams dont tell the whole story.
 
 
 
JA: No diagram, no form of representation, tells the "whole" story.
 
    A representation becomes pretty useless if it tries to do that.
 
 
 
SR: .... here is the rest of the story all in one diagram.
 
 
 
SR: http://robustai.net/mentography/intensionExtension.gif
 
 
 
Seth,
 
 
 
Just off the bat, the arrows that are labeled "connotes",
 
"extension of", "intension of", and "isa" seem off base.
 
 
 
Just some random notes:
 
 
 
y and "i" are both signs.
 
 
 
x_1, x_2, x_3, and i are all objects
 
in the augmented sign relation L'''.
 
 
 
The intension (property, quality) i gets to be
 
an "object of conduct, discussion, or thought"
 
as soon as any agents (interpreters, observers)
 
start to act, to talk, or to think in some way
 
or another with regard to it.
 
 
 
Later, I will build separate hierarchies for the objects
 
and for the syntactic entities (signs, interpretants).
 
 
 
I forget now, but I don't remember saying anything yet
 
about interpretants in this example.  I will go check.
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Discussion Note ?
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
JA = Jon Awbrey
 
SR = Seth Russell
 
 
 
JA glyped:
 
 
 
o-----------------------------o
 
| Denotative Component of L'" |
 
o--------------o--------------o
 
|  Objects    |    Signs    |
 
o--------------o--------------o
 
|                            |
 
|    i                      |
 
|    /|\  *                  |
 
|  / | \      *            |
 
|  /  |  \          *        |
 
| o  o  o >>>>>>>>>>>> y    |
 
|    .  .  .            '    |
 
|        . . .          '    |
 
|              ...      '    |
 
|                  .    '    |
 
|                      "i"  |
 
|                            |
 
o-----------------------------o
 
 
 
SR giffed:
 
 
 
http://robustai.net/mentography/intensionExtension.gif
 
 
 
JA: No diagram, no form of representation, tells the "whole" story.
 
    A representation becomes pretty useless if it tries to do that.
 
 
 
SR: Point taken :)
 
 
 
JA: Just off the bat, the arrows that are labeled "connotes",
 
    "extension of", "intension of", and "isa" seem off base.
 
 
 
SR: Why?
 
 
 
JA: Just some random notes:
 
    y and "i" are both signs.
 
 
 
SR: You mean 'y' and 'i' , I presume.  And yes, I agree,
 
    and my mentograph shows both of those things in the
 
    context labeled signs.
 
 
 
No, let me explain ...
 
 
 
I'm trying to stay within what I'm able to say using
 
just one level of quotation marks, so bear with me.
 
To do any better in a truly systematic way requires
 
the explicit introduction of "higher order" (HO)
 
sign relations.  Maybe later.
 
 
 
I resort to analogy:
 
 
 
I am saying that y is a sign in S, much like the way I might say
 
that k is an integer in J = {..., -3, -2, -1, 0, 1, 2, 3, ...}.
 
 
 
I am saying that "i" is a sign in S, much like the way I might say
 
that |j| is an integer in J, where the vertical bars indicate the
 
absolute value function -- this is just an example, it could have
 
been any other functional value f(j).
 
 
 
The point is that once we have a sign domain S, for example,
 
something like S = {"a", "b", "c", ... A", "B", "C", ...},
 
then we can use the elements listed to talk about signs in S,
 
or we can use other constant names and variable names to talk
 
about the elements of S.  For example, I can ask you to think
 
about a sign z such that z = "a", and so on.
 
 
 
JA: x_1, x_2, x_3, and i are all objects
 
    in the augmented sign relation L'".
 
 
 
> Yes I agree and have shown them as such in the context labeled objects in
 
> the mentograph.  I presume the 'sign relation L' to which you refer to is
 
> all the arcs labeled 'connotes', 'denotes', and 'represents' in my diagram.
 
> I may or may not have chosen correct words for these labels.  What words
 
> would you choose?
 
 
 
Just for clarity, here is the tabular version
 
of the twice augmented sign relation L'":
 
 
 
o-----------------------------o
 
|      Sign Relation L'"      |
 
o---------o---------o---------o
 
| Object  |  Sign  | Interp  |
 
o---------o---------o---------o
 
|    i    |  "i"  |  ...  |
 
|  x_1  |  "i"  |  ...  |
 
|  x_2  |  "i"  |  ...  |
 
|  x_3  |  "i"  |  ...  |
 
o---------o---------o---------o
 
|    i    |    y    |  ...  |
 
|  x_1  |    y    |  ...  |
 
|  x_2  |    y    |  ...  |
 
|  x_3  |    y    |  ...  |
 
o---------o---------o---------o
 
 
 
Okay, this has gotten way too abstract for me!
 
Let us back up and remember why we got into this
 
in the first place.  It had to do with some of the
 
hard cases of the ontology development process that
 
I commonly think of as "inquiry", and especially the
 
abductive generation of a new concept, hypothesis, or
 
term, or what is very similar, the semeiosis/semitosis
 
of some old such notion that has gotten too posh to be
 
useful without undergoing some further distinctions or
 
divisions in the over-extenuated mass of its extension.
 
 
 
Were you here when we were talking about metonymy?
 
There is something about this that reminds of that.
 
 
 
Here is one old note I found:
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
Subj:  Re: Meaning-Preserving Translations
 
Date:  Sat, 31 Mar 2001 23:00:31 -0500
 
From:  Jon Awbrey <jawbrey@oakland.edu>
 
  To:  Stand Up Ontology <standard-upper-ontology@ieee.org>,
 
      SemioCom <semiocom@listbot.com>
 
  CC:  John F. Sowa <sowa@bestweb.net>,
 
      Mary Keeler <mkeeler@u.washington.edu>
 
 
 
John F. Sowa wrote:
 
>
 
> Jon,
 
>
 
> Your quotation from Hugh T. is very helpful, because it
 
> illustrates a universal principle of natural languages:
 
>
 
> > | It is worth noting in this connexion that the use of the words
 
> > | 'oros' (bound or limit), 'akron' (extreme), and 'meson' (middle) to
 
> > | describe the terms, and of 'diastema' (interval) as an alternative
 
> > | to 'protasis' or premiss, suggests that Aristotle was accustomed to
 
> > | employ some form of blackboard diagram, as it were, for the purpose
 
> > | of illustration.  A premiss was probably represented by a line joining
 
> > | the letters chosen to stand for the terms.  How quality and quantity
 
> > | were indicated can only be conjectured.
 
> > |
 
> > | Hugh Tredennick,
 
> > |"Introduction" to Aristotle's "Prior Analytics", page 184 in:
 
> > |'Aristotle, Volume 1', Translated by H.P. Cooke & H. Tredennick,
 
> > | Loeb Classical Library, William Heinemann, London, UK, 1938.
 
>
 
> This example illustrates a kind of "metonomy", which refers to
 
> something by using a term (often more concrete or "diagrammatic")
 
> to refer to something abstract.  This usage is common not only in
 
> ordinary language, but also in the most formal of all sciences,
 
> mathematics.  We use terms like "limit", "boundary", or "interval"
 
> to refer to numbers, which are the entities denoted by numerals.
 
> In fact, it is very rare for mathematicians to mention the
 
> distinction between numbers and numerals explicitly, unless
 
> they are talking about the actual syntax of decimal, binary,
 
> or other representation.
 
 
 
Let me think.
 
 
 
Metonomy = "use of the name of one thing for that of another
 
of which it is the attribute or with which it is associated --
 
as in 'lands belonging to the crown'" (Webster's).
 
 
 
Accordingly, in this figure of metonymy, the term "crown" denotes
 
what the term "regent" denotes by virtue of the fact that a crown
 
is an associate or an attribute of a regent.
 
 
 
Apparently, we have a sign relation of the following form,
 
in which the figure of metonymy is embodied by the triples
 
of the form <o, s, i> in the lower four rows of the table:
 
 
 
o~~~~~~~~~~o~~~~~~~~~~o~~~~~~~~~~o
 
| Object  |  Sign    | Interp  |
 
o~~~~~~~~~~o~~~~~~~~~~o~~~~~~~~~~o
 
|          |          |          |
 
| Crown    | "Crown"  | "Crown"  |
 
|          |          |          |
 
| Regent  | "Crown"  | "Crown"  |
 
| Regent  | "Crown"  | "Regent" |
 
| Regent  | "Regent" | "Crown"  |
 
| Regent  | "Regent" | "Regent" |
 
o~~~~~~~~~~o~~~~~~~~~~o~~~~~~~~~~o
 
 
 
This may be diagrammed as follows, with denotative arcs
 
extending from signs to objects and with connotative arcs
 
extending from signs to interpretant signs:
 
 
 
  Crown  = o1 <----- s1 = "Crown"
 
                  / ^
 
                  /  |
 
                /  |
 
                /    |
 
              v    v
 
  Regent = o2 <----- s2 = "Regent"
 
 
 
The projection of this sign relation on its SI-space forms an
 
equivalence relation, a "semiotic equivalence relation" (SER),
 
on the signs "Crown" and "Regent".  However, this SER does not
 
constitute a "referential equivalence relation" (RER), because
 
the parts of the associated partition of the syntactic domain,
 
the union of S & I, do not faithfully represent the structure
 
of the object domain O.
 
 
 
> I would interpret Aristotle's use of diagrammatic terms in
 
> the same way I would interpret the use of the word "top"
 
> to refer to the most general category of the ontology:
 
> it refers explicitly to the place where the mark occurs
 
> on the paper or blackboard, by metonomy to the word instance
 
> written in that place, by further metonomy to the word type,
 
> and by further metonomy to the concept expressed by that word.
 
>
 
> In programming languages, a related term is "coercion", which
 
> refers to the automatic type conversion that takes place when
 
> necessary:
 
>
 
>  - Integer to float:  In the expression, "2 + 3.75",
 
>    the integer value of the numeral "2" is automatically
 
>    converted (or "coerced") to float.
 
>
 
>  - Character string to numeric:  In some languages,
 
>    arithmetic can be performed directly on numbers that
 
>    are represented by character strings.  In "2.6 + '55'"
 
>    the string '55' is coerced to the integer 55, which is
 
>    then coerced to the floating-point value.
 
>
 
> Metonomy in natural language is extremely common and,
 
> I would say, extremely valuable in general.  And I admit
 
> that it can sometimes cause confusion.  But I would much
 
> rather take advantage of metonomy in what I read, write,
 
> and speak than to force myself and others to insert
 
> "conversion" operators for every change of type.
 
>
 
> Bottom line:  I am willing to say "By 'top', I mean
 
> the concept expressed by the mark that occurs at the
 
> top of the type lattice."  But I'm only going to say
 
> that once.  From then on, I would just say "top".
 
>
 
> > ...  The more pertinent question,
 
> > from the standpoint of a pragmatic theory of signs is:
 
> > "Exactly what roles does the given thing play within
 
> > a given moment (= elementary relation = triple) of
 
> > the relevant sign relation?"  So, of course, signs
 
> > can be objects -- no sooner do we talk about them
 
> > than they become objects of discussion, if others
 
> > would say "potential objects" (PO's), reserving
 
> > the honorific title "object" for the PO of some
 
> > consistent style of discussion and predication.
 
>
 
> Yes, such analysis can be valuable.  But once the analysis
 
> has been done, I would go back to using language the way it
 
> has always been used:  take advantage of metonomy whenever
 
> it makes the expression more concise.
 
 
 
Sadly, until our computers get to understand the way we talk,
 
with all of these figures of speech, metaphor, metonymy, and
 
many more, somebody will have to do the dirty job of getting
 
them to grok it.
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
Okay, let's compare and contrast:
 
 
 
o---------o---------o---------o
 
| Object  |  Sign  | Interp  |
 
o---------o---------o---------o
 
|        |        |        |
 
| crown  | "crown" | "crown" |
 
|        |        |        |
 
| regent  | "crown" | "crown" |
 
| regent  | "crown" | "regent"|
 
| regent  | "regent"| "crown" |
 
| regent  | "regent"| "regent"|
 
o---------o---------o---------o
 
 
 
o-----------------------------o
 
|      Sign Relation L'"      |
 
o---------o---------o---------o
 
| Object  |  Sign  | Interp  |
 
o---------o---------o---------o
 
|    i    |  "i"  |  ...  |
 
|  x_1  |  "i"  |  ...  |
 
|  x_2  |  "i"  |  ...  |
 
|  x_3  |  "i"  |  ...  |
 
o---------o---------o---------o
 
|    i    |    y    |  ...  |
 
|  x_1  |    y    |  ...  |
 
|  x_2  |    y    |  ...  |
 
|  x_3  |    y    |  ...  |
 
o---------o---------o---------o
 
 
 
What's similar is this.  Signs are typically used in highly
 
ambiguous, equivocal, non-deterministic ways, and there is
 
just no substitute for intelligent interpreters, humane or
 
otherwise, when it gets down to the brass syntax of trying
 
to pin down the meaning of a text.  The way that metonymy
 
works is that when you hear the word "crown", not knowing
 
if it is capitalized or not, you have to decide whether
 
it literally means a crown, or whether it figuratively
 
means a regent.  In the literal case, you are taking
 
the word at its word and assigning it to a semantic
 
equivalence class with other words that are used
 
to denote physical crowns.  In the figurative
 
case, you are associating the word to a very
 
different sort of semantic equivalence class.
 
 
 
I need to break here and think about that a while.
 
 
 
JA: The intension (property, quality) i gets to be
 
    an "object of conduct, discussion, or thought"
 
    as soon as any agents (interpreters, observers)
 
    start to act, to talk, or to think in some way
 
    or another with regard to it.
 
 
 
SR: Yes, absolutely ... this is not as yet in that graph.
 
    However I did make a stab in that direction in both
 
    of the mentographs:
 
 
 
    http://robustai.net/mentography/Tarskian3.gif and
 
    http://robustai.net/mentography/AnnBobYouI.gif
 
 
 
    ... which shows the perdicament broken
 
    into the contexts of different agents.
 
 
 
JA: Later, I will build separate hierarchies for the objects
 
    and for the syntactic entities (signs, interpretants).
 
 
 
SR: ... looking forward to it.
 
 
 
JA: I forget now, but I don't remember saying anything yet
 
    about interpretants in this example.  I will go check.
 
 
 
SR: You probably did not, yet I cannot in good conscience
 
    mentograph a sign relation leaving out one of the triads.
 
 
 
SR: ... thanks for the dialogue.
 
 
 
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
 
 
 
FAR.  Discussion Note ?
 
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
The first option uses the notion of a set in a casual, informal, or metalinguistic way, and does not really commit us to the existence of sets in any formal way.  This is the more razoresque choice, much less risky, ontologically speaking, and so we may adopt it as our "nominal" starting position.
  
JA = Jon Awbrey
+
In this ''plural denotative'' component of the sign relation, we are looking at what may be seen as a functional relationship, in the sense that we have a piece of some function <math>f : O \to S,</math> such that <math>f(o_1) =\!</math> <math>f(o_2) =\!</math> <math>f(o_3) = s,\!</math> for example.  A function always admits of being factored into an "onto" (surjective) map followed by a "one-to-one" (injective) map, as discussed earlier.
SR = Seth Russell
 
  
Seth,
+
But where do the intermediate entities go?  We could lodge them in a brand new space all their own, but Ockham the Innkeeper is right up there with Old Procrustes when it comes to the amenity of his accommodations, and so we feel compelled to at least try shoving them into one or another of the spaces already reserved.
  
Let me try to come up with a more concrete version
+
In the rest of this discussion, let us assign the label <math>{}^{\backprime\backprime} i \, {}^{\prime\prime}</math> to the intermediate entity between the objects <math>o_j\!</math> and the sign <math>s.\!</math>
that has the same structure as the present example.
 
Then I'll go back and try to answer your questions.
 
  
JA glyphed:
+
Now, should you annex <math>i\!</math> to the object domain <math>O\!</math> you will have instantly given yourself away as having ''realist'' tendencies, and you might as well go ahead and call it an ''intension'' or even an ''Idea'' of the grossly subtlest Platonic brand, since you are about to booted from Ockham's Establishment, and you might as well have the comforts of your ideals in your exile.
  
o-----------------------------o
+
{| align="center" cellpadding="8" style="text-align:center"
| Denotative Component of L'" |
+
| [[Image:Factorization Sign Relation 3.jpg|500px]]
o--------------o--------------o
+
|-
|   Objects    |   Signs    |
+
| <math>\text{Figure 10.  Denotative Component of Sign Relation}~ L^\prime</math>
o--------------o--------------o
+
|}
|                             |
 
|    i                      |
 
|    /|\   *                  |
 
|  / | \       *            |
 
/ |  \          *        |
 
| o  o  o >>>>>>>>>>>> y    |
 
|    .  .  .            '    |
 
|        . . .          '    |
 
|             ...      '    |
 
|                  .    '    |
 
|                      "i"  |
 
|                            |
 
o-----------------------------o
 
  
SR giffed:
+
But if you assimilate <math>i\!</math> to the realm of signs <math>S,\!</math> you will be showing your inclination to remain within the straight and narrow of ''conceptualist'' or even ''nominalist'' dogmas, and you may regard the intermediate entity <math>i\!</math> as an intelligible concept, or an ''idea'' of the safely decapitalized, mental impression variety.
  
http://robustai.net/mentography/intensionExtension.gif
+
{| align="center" cellpadding="8" style="text-align:center"
 +
| [[Image:Factorization Sign Relation 4.jpg|500px]]
 +
|-
 +
| <math>\text{Figure 11. Denotative Component of Sign Relation}~ L^{\prime\prime}</math>
 +
|}
  
The initial problem had to do with "nominal" thinking versus "real" thinking.
+
But if you dare to be truly liberal, you might just find that you can easily afford to accommodate both intellectual inclinations, and after a while you begin to wonder how all that mental or ontological downsizing got started in the first place.
  
A.  Some maxims of nominal thinking are:
+
{| align="center" cellpadding="8" style="text-align:center"
 
+
| [[Image:Factorization Sign Relation 5.jpg|500px]]
    1.  "Do not confuse a general name with the name of a general." (Goodman, I think).
+
|-
        In other words: Just because we find it useful to employ general, plural, or
+
| <math>\text{Figure 12. Denotative Component of Sign Relation}~ L^{\prime\prime\prime}</math>
        universal terms, that does not mean that there is any such thing as a general
+
|}
        property, a plurality such as a set, a universal form or a platonic idea that
 
        we are thus talking about, or thereby denoting by means of this general term.
 
        In the way that folks used to talk, the practice of really believing in such
 
        entities would have been criticized as "reifying an adjective" and so on.
 
  
    2. Short versions:
+
To sum up, we have recognized the perfectly innocuous utility of admitting the abstract intermediate object <math>i_o,\!</math> that may be interpreted as an intension, a property, or a quality that is held in common by all of the initial objects <math>o_j\!</math> that are plurally denoted by the sign <math>s.\!</math>  Further, it appears to be equally unexceptionable to allow the use of the sign <math>{}^{\backprime\backprime} s \, {}^{\prime\prime}</math> to denote this shared intension <math>i_o.\!</math>  Finally, all of this flexibility arises from a universally available construction, a type of compositional factorization, common to the functional parts of the 2-adic components of any relation.
  
        a.  "Generals are mere names."
+
==Document History==
 
        b.  "Universals are merely signs."
 
  
B.  The real thinker does not see the harm in supposing the existence of objects
+
===Nov 2000 &mdash; Factorization Issues===
    of thought like abstractions, categories, generalities, intensions, properties,
 
    qualities, universals, platonic ideas, and so on.
 
  
Where I came in, I was trying to explore the conditions under which
+
'''Standard Upper Ontology'''
it really does appear to be perfectly harmless to talk as if we were
 
really talking about such things, and so I picked up the classical
 
notions of "general denotation" and "plural reference", examined
 
their analogy to function application, and then observed that
 
the canonical factorization of functions permits us to invoke
 
a realm of intermediate entities without having to wring our
 
hands in ontological anxiety about it.  That was Phase One.
 
Phase Two was more tentative and tenuous, trying to shove
 
these intermediate entities into one or the other or both
 
of the established domains, namely, objects and/or signs.
 
In mathematics, they usually do not bother with this,
 
but just refer to the equivalence classes explicitly.
 
Maybe that will turn out to be the best way after all.
 
  
Let's try this:
+
* http://suo.ieee.org/email/thrd224.html#02332
 +
# http://suo.ieee.org/email/msg02332.html
 +
# http://suo.ieee.org/email/msg02334.html
 +
# http://suo.ieee.org/email/msg02338.html
 +
# http://suo.ieee.org/email/msg02340.html
 +
# http://suo.ieee.org/email/msg02345.html
 +
# http://suo.ieee.org/email/msg02349.html
 +
# http://suo.ieee.org/email/msg02355.html
 +
# http://suo.ieee.org/email/msg02396.html
 +
# http://suo.ieee.org/email/msg02400.html
 +
# http://suo.ieee.org/email/msg02430.html
 +
# http://suo.ieee.org/email/msg02448.html
  
x_1  =  cat_1
+
'''Ontology List'''
  
x_2  =  cat_2
+
* http://suo.ieee.org/ontology/thrd111.html#00007
 +
# http://suo.ieee.org/ontology/msg00007.html
 +
# http://suo.ieee.org/ontology/msg00025.html
 +
# http://suo.ieee.org/ontology/msg00032.html
  
x_3  = cat_3
+
===Mar 2001 &mdash; Factorization Flip-Flop===
  
Options:
+
'''Ontology List'''
  
1. y  =  "Cat", interpreted as denoting each item of a category.
+
* http://suo.ieee.org/ontology/thrd71.html#01926
          This is the nominal way of interpreting general terms,
+
# http://suo.ieee.org/ontology/msg01926.html
          namely, as applying to each separate member of a group,
+
# http://suo.ieee.org/ontology/msg02008.html
          but without having to posit the group as a whole or
 
          any of its qualities as separately existing entities.
 
  
          The nominal option is not to augment the sign relation,
+
'''Standard Upper Ontology'''
          but just keep trying to get by with multiple referents.
 
  
2. y  =  "Cat", interpreted as denoting a category of items.
+
* http://suo.ieee.org/email/thrd184.html#04334
          Here, one is asserting that a category is an object
+
# http://suo.ieee.org/email/msg04334.html
          in its own right, over and above its items.
+
# http://suo.ieee.org/email/msg04416.html
  
          Here, object i is a new entity like a class or a set.
+
===Apr 2001 &mdash; Factorization Flip-Flop===
  
3. y  =  "Catitude", interpreted as denoting a quality that is
+
* http://stderr.org/pipermail/arisbe/2001-April/thread.html#408
          possessed in common or shared by cat_1, cat_2, cat_3.
+
# http://stderr.org/pipermail/arisbe/2001-April/000408.html
  
          Here, object i is a new entity like an intension or a property.
+
===Sep 2001 &mdash; Descartes' Factorization===
  
So, in general, it can happen that a use of the string of char "Cat"
+
'''Arisbe List'''
may denote a particular cat, a category of cats, or a catitudiosity.
 
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
* http://stderr.org/pipermail/arisbe/2001-September/thread.html#1053
 +
# http://stderr.org/pipermail/arisbe/2001-September/001053.html
  
FI.  Factorization Issues
+
'''Ontology List'''
  
http://suo.ieee.org/email/msg02332.html
+
* http://suo.ieee.org/ontology/thrd44.html#03285
http://suo.ieee.org/email/msg02334.html
+
# http://suo.ieee.org/ontology/msg03285.html
http://suo.ieee.org/email/msg02338.html
 
http://suo.ieee.org/email/msg02340.html
 
http://suo.ieee.org/email/msg02345.html
 
http://suo.ieee.org/email/msg02349.html
 
http://suo.ieee.org/email/msg02355.html
 
http://suo.ieee.org/email/msg02396.html
 
http://suo.ieee.org/email/msg02400.html
 
http://suo.ieee.org/email/msg02430.html
 
http://suo.ieee.org/email/msg02448.html
 
http://suo.ieee.org/email/msg04334.html
 
http://suo.ieee.org/email/msg04416.html
 
  
http://suo.ieee.org/email/msg07143.html
+
===Nov 2001 &mdash; Factorization Issues===
http://suo.ieee.org/email/msg07166.html
 
http://suo.ieee.org/email/msg07182.html
 
http://suo.ieee.org/email/msg07185.html
 
http://suo.ieee.org/email/msg07186.html
 
  
http://suo.ieee.org/ontology/msg00007.html
+
* http://suo.ieee.org/email/thrd128.html#07143
http://suo.ieee.org/ontology/msg00025.html
+
# http://suo.ieee.org/email/msg07143.html
http://suo.ieee.org/ontology/msg00032.html
+
# http://suo.ieee.org/email/msg07166.html
http://suo.ieee.org/ontology/msg01926.html
+
# http://suo.ieee.org/email/msg07182.html
http://suo.ieee.org/ontology/msg02008.html
+
# http://suo.ieee.org/email/msg07185.html
http://suo.ieee.org/ontology/msg03285.html
+
# http://suo.ieee.org/email/msg07186.html
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
===Mar 2005 &mdash; Factorization Issues===
  
FAR. Factorization And Reification -- 2005
+
* http://stderr.org/pipermail/inquiry/2005-March/thread.html#2495
 +
# http://stderr.org/pipermail/inquiry/2005-March/002495.html
 +
# http://stderr.org/pipermail/inquiry/2005-March/002496.html
  
00.  http://stderr.org/pipermail/inquiry/2005-May/thread.html#2747
+
===May 2005 &mdash; Factorization And Reification===
01.  http://stderr.org/pipermail/inquiry/2005-May/002747.html
 
02.  http://stderr.org/pipermail/inquiry/2005-May/002748.html
 
03.  http://stderr.org/pipermail/inquiry/2005-May/002749.html
 
04.  http://stderr.org/pipermail/inquiry/2005-May/002751.html
 
05.
 
  
FAR. Factorization And Reification -- Discussion
+
* http://stderr.org/pipermail/inquiry/2005-May/thread.html#2747
 +
# http://stderr.org/pipermail/inquiry/2005-May/002747.html
 +
# http://stderr.org/pipermail/inquiry/2005-May/002748.html
 +
# http://stderr.org/pipermail/inquiry/2005-May/002749.html
 +
# http://stderr.org/pipermail/inquiry/2005-May/002751.html
  
00.  http://stderr.org/pipermail/inquiry/2005-May/thread.html#2758
+
===May 2005 &mdash; Factorization And Reification : Discussion===
01.  http://stderr.org/pipermail/inquiry/2005-May/002758.html
 
02.
 
  
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
* http://stderr.org/pipermail/inquiry/2005-May/thread.html#2758
</pre>
+
# http://stderr.org/pipermail/inquiry/2005-May/002758.html

Latest revision as of 02:42, 27 June 2009

It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to connote something.

What it denotes is called its Sphere. What it connotes is called its Content. Thus the sphere of the word man is for me every man I know; and for each of you it is every man you know. The content of man is all that we know of all men, as being two-legged, having souls, having language, &c., &c.

(Peirce 1866, Lowell Lecture 7, CE 1, 459).

The question is: What sort of thing is a connotation? Is it a sign? — that is to say, yet another term? Or is it something like an abstract attribute — a character, intension, property, or quality? And while we're asking, does it really even matter?

"No" is one answer worth considering. But then: Why does it not matter? What reason could be given to excuse the indifference?

This is a question that has exercised me since my earliest studies of Peirce. I can remember discussing it with my philosophy mentor at the time and I distinctly recall having arrived at some conclusion or other — alas, I haven't the foggiest notion what exactly my revelation amounted to.

These days, I usually try to finesse the trick under the trumped up rubric of a factorization. So let me excavate my last attempts to explain this business and see if I can improve on them.

Factoring Functions

Things are equivocally named, when they have the name only in common, the definition (or statement of essence) corresponding with the name being different. For instance, while a man and a portrait can properly both be called "animals" [since the Greek zõon applies to both], these are equivocally named. For they have the name only in common, the definitions (or statements of essence) corresponding with the name being different. For if you are asked to define what the being an animal means in the case of the man and the portrait, you give in either case a definition appropriate to that case alone. (Categories, p. 13).

Aristotle, "The Categories", in Aristotle, Volume 1, H.P. Cooke and H. Tredennick (trans.), Loeb Classics, William Heinemann Ltd, London, UK, 1938.

I would like to introduce a concept that I find to be of use in discussing the problems of hypostatic abstraction, reification, the reality of universals, and the questions of choosing among nominalism, conceptualism, and realism, generally.

I will take this up first in the simplest possible setting, where it has to do with the special sorts of relations that are commonly called functions, and after the basic idea is made as clear as possible in this easiest case I will deal with the notion of factorization as it affects more generic types of relations.

Picture an arbitrary function from a source or domain to a target or codomain. Here is a picture of such a function, \(f : X \to Y,\) as generic as it needs to be for our present purposes:

Factorization Function Example 1.jpg
\(\text{Figure 1. Function}~ f : X \to Y\)

It is a fact that any old function that you might pick factors into a composition of two other functions, a surjective ("onto") function and an injective ("one-to-one") function, in the present example as pictured below:

Factorization Function Example 2.jpg
\(\text{Figure 2. Factorization}~ f = g \circ h\)

Writing functional compositions \(f = g \circ h\) "on the right", we have the following data about the situation:

\(\begin{array}{ccl} X & = & \{ 1, 2, 3, 4, 5 \} \\[4pt] M & = & \{ m, n \} \\[4pt] Y & = & \{ p, q, r, s, t, u \} \\[8pt] f & : & X \to Y, ~\text{arbitrary} \\[4pt] g & : & X \to M, ~\text{surjective} \\[4pt] h & : & M \to Y, ~\text{injective} \\[8pt] f & = & g \circ h \end{array}\)

What does all of this have to do with reification and so on?

To begin answering that question, suppose that the source domain \(X\!\) is a set of objects, that the target domain \(Y\!\) is a set of signs, and suppose that the function \(f : X \to Y\) indicates the effect of a classification, conceptualization, discrimination, perception, or some other type of sorting operation, distributing the elements of the set \(X\!\) of objects and into a set of sorting bins that are labeled with the elements of the set \(Y,\!\) regarded as a set of classifiers, concepts, descriptors, percepts, or just plain signs, whether these signs are regarded as being in the mind, as with concepts, or whether they happen to be inscribed more publicly in another medium.

In general, if we use the signs in the target domain \(Y\!\) to denote or describe the objects in the source domain \(X,\!\) then we are engaged in a form of general denotation or plural reference with regard to those objects, that is, each sign may refer to each of many objects, in a way that would normally be called ambiguous or equivocal.

Notice what I did not say here, that one sign denotes a set of objects, because I am for the moment conducting myself as such a dyed-in-the-wool nominal thinker that I hesitate even to admit so much as the existence of this thing we call a set into the graces of my formal ontology, though, of course, my casual speech is rife with the use of the word set, and in a way that the nominal thinker, true-blue to the end, would probably be inclined or duty-bound to insist is a purely dispensable convenience.

In fact, the invocation of a new order of entities, whether you regard its typical enlistee as a class, a concept, a form, a general, an idea, an interpretant, a property, a set, a universal, or whatever you elect to call it, is tantamount exactly to taking this step that I just now called the factoring of the classification function into surjective and injective factors.

Observe, however, that this is where all the battles begin to break out, for not all factorizations are regarded with equal equanimity by folks who have divergent philosophical attitudes toward the creation of new entities, especially when they get around to asking: In what domain or estate shall the multiplicity of newborn entities be lodged or yet come to reside on a permanent basis? Some factorizations enfold new orders of entities within the Object domain of a fundamental ontology, and some factorizations invoke new orders of entities within the Sign domains of concepts, data, interpretants, language, meaning, percepts, and sense in general. Now, opting for the object choice of habitation would usually be taken as symptomatic of realist leanings, while opting out of the factorization altogether, or weakly conceding the purely expedient convenience of the sign choice for the status of the intermediate entities, would probably be taken as evidence of a nominalist persuasion.

Factoring Sign Relations

Let us now apply the concepts of factorization and reification, as they are developed above, to the analysis of sign relations.

Suppose we have a sign relation \(L \subseteq O \times S \times I,\) where \(O\!\) is the object domain, \(S\!\) is the sign domain, and \(I\!\) is the interpretant domain of the sign relation \(L.\!\)

Now suppose that the situation with respect to the denotative component of \(L,\!\) in other words, the projection of \(L\!\) on the subspace \(O \times S,\) can be pictured in the following manner:

Factorization Sign Relation 1.jpg
\(\text{Figure 3. Denotative Component of Sign Relation}~ L\)

The Figure depicts a situation where each of the three objects, \(o_1, o_2, o_3,\!\) has a proper name that denotes it alone, namely, the three proper names \(s_1, s_2, s_3,\!\) respectively. Over and above the objects denoted by their proper names, there is the general sign \(s,\!\) which denotes any and all of the objects \(o_1, o_2, o_3.\!\) This kind of sign is described as a general name or a plural term, and its relation to its objects is a general reference or a plural denotation.

If you now ask, Is the object of the sign \(s\!\) one or many?, the answer has to be many. That is, there is not one \(o\!\) that \(s\!\) denotes, but only the three \(o\!\)'s in the object space. Nominal thinkers would ask: Granted this, what need do we have really of more excess? The maxim of the nominal thinker is never read a general name as a name of a general, meaning that we should never jump from the accidental circumstance of a plural sign \(s\!\) to the abnominal fact that a unit \(o\!\) exists.

In actual practice this would be just one segment of a much larger sign relation, but let us continue to focus on just this one piece. The association of objects with signs is not in general a function, no matter which way, from \(O\!\) to \(S\!\) or from \(S\!\) to \(O,\!\) that we might try to read it, but very often one will choose to focus on a selection of links that do make up a function in one direction or the other.

In general, but in this context especially, it is convenient to have a name for the converse of the denotation relation, or for any selection from it. I have been toying with the idea of calling this annotation, or maybe ennotation.

For example, the assignment of the general term \(s\!\) to each of the objects \(o_1, o_2, o_3\!\) is one such functional patch, piece, segment, or selection. So this patch can be pictured according to the pattern that was previously observed, and thus transformed by means of a canonical factorization.

In our example of a sign relation, we had a functional subset of the following shape:

Factorization Sign Relation Piece 1.jpg
\(\text{Figure 4. One Part of Sign Relation}~ L\)

The function \(f : O \to S\) factors into a composition \(g \circ h,\!\) where \(g : O \to M,\) and \(h : M \to S,\) as shown here:

Factorization Sign Relation Piece 2.jpg
\(\text{Figure 5. Factored Part of Sign Relation}~ L\)

It may be difficult at first to see how anything of significance could follow from an observation so facile as the fact that an arbitrary function factors into a surjective function followed by an injective function. What it means is that there is no loss of generality in assuming that there is a domain of intermediate entities under which the objects of a general denotation or plural reference can be marshaled, just as if they had something more essential and more substantial in common than the shared attachment to a coincidental name. So the problematic status of a hypostatic entity like \(o\!\) is reduced from a question of its nominal existence to a matter of its local habitation. Is it more like an object or more like a sign? One wonders why there has to be only these two categories, and why not just form up another, but that does not seem like playing the game to propose it. At any rate, I will defer for now one other obvious possibility — obvious from the standpoint of the pragmatic theory of signs — the option of assigning the new concept, or mental symbol, to the role of an interpretant sign.

If we force the factored annotation function, initially extracted from the sign relation \(L,\!\) back into the frame from whence it came, we get the augmented sign relation \(L^\prime,\!\) shown in the next Figure:

Factorization Sign Relation 2.jpg
\(\text{Figure 6. Denotative Component of Sign Relation}~ L^\prime\)

This amounts to the creation of a hypostatic object \(o,\!\) which affords us a singular denotation for the sign \(s.\!\)

By way of terminology, it would be convenient to have a general name for the transformation that converts a bare, nominal sign relation like \(L\!\) into a new, improved hypostatically augmented or extended sign relation like \(L^\prime.\) Let us call this kind of transformation an objective extension or an outward extension of the underlying sign relation.

This naturally raises the question of whether there is also an augmentation of sign relations that might be called an interpretive extension or an inward extension of the underlying sign relation, and this is the topic that I will take up next.

Nominalism and Realism

Let me now illustrate what I think that a lot of our controversies about nominalism versus realism actually boil down to in practice. From a semiotic or a sign-theoretic point of view, it all begins with a case of plural reference, which occurs when a sign \(s\!\) is taken to denote each object \(o_j\!\) in a collection of objects \(\{ o_1, \ldots, o_k, \ldots \},\) a situation whose general pattern is suggested by a sign-relational table of the following form:


\(\text{Table 7. Plural Denotation}\!\)
\(\text{Object}\!\) \(\text{Sign}\!\) \(\text{Interpretant}\!\)

\(\begin{matrix} o_1 \\ o_2 \\ o_3 \\ \ldots \\ o_k \\ \ldots \end{matrix}\)

\(\begin{matrix} s \\ s \\ s \\ \ldots \\ s \\ \ldots \end{matrix}\)

\(\begin{matrix} \ldots \\ \ldots \\ \ldots \\ \ldots \\ \ldots \\ \ldots \end{matrix}\)


For example, consider the sign relation \(L\!\) whose sign relational triples are precisely as shown in Table 8.


\(\text{Table 8. Sign Relation}~ L\)
\(\text{Object}\!\) \(\text{Sign}\!\) \(\text{Interpretant}\!\)

\(\begin{matrix} o_1 \\ o_2 \\ o_3 \end{matrix}\)

\(\begin{matrix} s \\ s \\ s \end{matrix}\)

\(\begin{matrix} \ldots \\ \ldots \\ \ldots \end{matrix}\)


For the moment, it does not matter what the interpretants are.

I would like to diagram this somewhat after the following fashion, here detailing just the denotative component of the sign relation, that is, the 2-adic relation that is obtained by "projecting out" the Object and Sign columns of the table.

Factorization Sign Relation Piece 1.jpg
\(\text{Figure 9. Denotative Component of Sign Relation}~ L\)

Notice the subtle distinction between these two cases:

  1. A sign denotes each object in a set of objects.
  2. A sign denotes a set of objects.

The first option uses the notion of a set in a casual, informal, or metalinguistic way, and does not really commit us to the existence of sets in any formal way. This is the more razoresque choice, much less risky, ontologically speaking, and so we may adopt it as our "nominal" starting position.

In this plural denotative component of the sign relation, we are looking at what may be seen as a functional relationship, in the sense that we have a piece of some function \(f : O \to S,\) such that \(f(o_1) =\!\) \(f(o_2) =\!\) \(f(o_3) = s,\!\) for example. A function always admits of being factored into an "onto" (surjective) map followed by a "one-to-one" (injective) map, as discussed earlier.

But where do the intermediate entities go? We could lodge them in a brand new space all their own, but Ockham the Innkeeper is right up there with Old Procrustes when it comes to the amenity of his accommodations, and so we feel compelled to at least try shoving them into one or another of the spaces already reserved.

In the rest of this discussion, let us assign the label \({}^{\backprime\backprime} i \, {}^{\prime\prime}\) to the intermediate entity between the objects \(o_j\!\) and the sign \(s.\!\)

Now, should you annex \(i\!\) to the object domain \(O\!\) you will have instantly given yourself away as having realist tendencies, and you might as well go ahead and call it an intension or even an Idea of the grossly subtlest Platonic brand, since you are about to booted from Ockham's Establishment, and you might as well have the comforts of your ideals in your exile.

Factorization Sign Relation 3.jpg
\(\text{Figure 10. Denotative Component of Sign Relation}~ L^\prime\)

But if you assimilate \(i\!\) to the realm of signs \(S,\!\) you will be showing your inclination to remain within the straight and narrow of conceptualist or even nominalist dogmas, and you may regard the intermediate entity \(i\!\) as an intelligible concept, or an idea of the safely decapitalized, mental impression variety.

Factorization Sign Relation 4.jpg
\(\text{Figure 11. Denotative Component of Sign Relation}~ L^{\prime\prime}\)

But if you dare to be truly liberal, you might just find that you can easily afford to accommodate both intellectual inclinations, and after a while you begin to wonder how all that mental or ontological downsizing got started in the first place.

Factorization Sign Relation 5.jpg
\(\text{Figure 12. Denotative Component of Sign Relation}~ L^{\prime\prime\prime}\)

To sum up, we have recognized the perfectly innocuous utility of admitting the abstract intermediate object \(i_o,\!\) that may be interpreted as an intension, a property, or a quality that is held in common by all of the initial objects \(o_j\!\) that are plurally denoted by the sign \(s.\!\) Further, it appears to be equally unexceptionable to allow the use of the sign \({}^{\backprime\backprime} s \, {}^{\prime\prime}\) to denote this shared intension \(i_o.\!\) Finally, all of this flexibility arises from a universally available construction, a type of compositional factorization, common to the functional parts of the 2-adic components of any relation.

Document History

Nov 2000 — Factorization Issues

Standard Upper Ontology

  1. http://suo.ieee.org/email/msg02332.html
  2. http://suo.ieee.org/email/msg02334.html
  3. http://suo.ieee.org/email/msg02338.html
  4. http://suo.ieee.org/email/msg02340.html
  5. http://suo.ieee.org/email/msg02345.html
  6. http://suo.ieee.org/email/msg02349.html
  7. http://suo.ieee.org/email/msg02355.html
  8. http://suo.ieee.org/email/msg02396.html
  9. http://suo.ieee.org/email/msg02400.html
  10. http://suo.ieee.org/email/msg02430.html
  11. http://suo.ieee.org/email/msg02448.html

Ontology List

  1. http://suo.ieee.org/ontology/msg00007.html
  2. http://suo.ieee.org/ontology/msg00025.html
  3. http://suo.ieee.org/ontology/msg00032.html

Mar 2001 — Factorization Flip-Flop

Ontology List

  1. http://suo.ieee.org/ontology/msg01926.html
  2. http://suo.ieee.org/ontology/msg02008.html

Standard Upper Ontology

  1. http://suo.ieee.org/email/msg04334.html
  2. http://suo.ieee.org/email/msg04416.html

Apr 2001 — Factorization Flip-Flop

  1. http://stderr.org/pipermail/arisbe/2001-April/000408.html

Sep 2001 — Descartes' Factorization

Arisbe List

  1. http://stderr.org/pipermail/arisbe/2001-September/001053.html

Ontology List

  1. http://suo.ieee.org/ontology/msg03285.html

Nov 2001 — Factorization Issues

  1. http://suo.ieee.org/email/msg07143.html
  2. http://suo.ieee.org/email/msg07166.html
  3. http://suo.ieee.org/email/msg07182.html
  4. http://suo.ieee.org/email/msg07185.html
  5. http://suo.ieee.org/email/msg07186.html

Mar 2005 — Factorization Issues

  1. http://stderr.org/pipermail/inquiry/2005-March/002495.html
  2. http://stderr.org/pipermail/inquiry/2005-March/002496.html

May 2005 — Factorization And Reification

  1. http://stderr.org/pipermail/inquiry/2005-May/002747.html
  2. http://stderr.org/pipermail/inquiry/2005-May/002748.html
  3. http://stderr.org/pipermail/inquiry/2005-May/002749.html
  4. http://stderr.org/pipermail/inquiry/2005-May/002751.html

May 2005 — Factorization And Reification : Discussion

  1. http://stderr.org/pipermail/inquiry/2005-May/002758.html