| Line 1: |
Line 1: |
| − | <pre>
| + | {{DISPLAYTITLE:Factorization And Reification}} |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| − | IDS -- FAR
| + | ==Note 1== |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | FAR. Factorization And Reification
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | FAR. Note 1
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| | + | <pre> |
| | Time for the First Clown to Exorcise his Exercise, One More Time ... | | Time for the First Clown to Exorcise his Exercise, One More Time ... |
| | | | |
| Line 57: |
Line 47: |
| | So let me excavate my last attempts to explain | | So let me excavate my last attempts to explain |
| | this business and see if I can improve on them. | | this business and see if I can improve on them. |
| | + | </pre> |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Note 2== |
| − | | |
| − | FAR. Note 2
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| | + | <pre> |
| | I would like to introduce a concept that I find to be of | | I would like to introduce a concept that I find to be of |
| | use in discussing the problems of hypostatic abstraction, | | use in discussing the problems of hypostatic abstraction, |
| Line 167: |
Line 155: |
| | of the intermediate entities, would probably be taken as evidence of | | of the intermediate entities, would probably be taken as evidence of |
| | a "nominalist" persuasion. | | a "nominalist" persuasion. |
| | + | </pre> |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Note 3== |
| − | | |
| − | FAR. Note 3
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| | + | <pre> |
| | Let us now apply the concepts of factorization and reification, | | Let us now apply the concepts of factorization and reification, |
| | as they are developed above, to the analysis of sign relations. | | as they are developed above, to the analysis of sign relations. |
| Line 355: |
Line 341: |
| | and this is the topic that | | and this is the topic that |
| | I will take up next. | | I will take up next. |
| | + | </pre> |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Note 4== |
| − | | |
| − | FAR. Note 4
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| | + | <pre> |
| | Let me now illustrate what I think that a lot of our controversies | | Let me now illustrate what I think that a lot of our controversies |
| | about nominalism versus realism actually boil down to in practice. | | about nominalism versus realism actually boil down to in practice. |
| Line 541: |
Line 525: |
| | factorization, common to the functional parts | | factorization, common to the functional parts |
| | of the 2-adic components of any relation. | | of the 2-adic components of any relation. |
| | + | </pre> |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Work Area== |
| − | | |
| − | FAR. Note 5
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | | |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | FAR. Note ???
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| | + | <pre> |
| | The word "intension" has recently come to be stressed in our discussions. | | 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 | | As I first learned this word from my reading of Leibniz, I shall take it |
| Line 683: |
Line 657: |
| | . | | | . | |
| | "i" | | "i" |
| | + | </pre> |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Discussion== |
| − | | |
| − | FAR. Factorization And Reification -- Discussion
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | FAR. Discussion Note 1
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | | |
| | + | <pre> |
| | JW = Jim Willgoose | | JW = Jim Willgoose |
| | | | |
| Line 730: |
Line 698: |
| | above their individual elements. And I have no way | | above their individual elements. And I have no way |
| | of conjuring up what a platonic nominalist might be. | | of conjuring up what a platonic nominalist might be. |
| | + | </pre> |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Document History== |
| − | | |
| − | 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
| + | ===Factorization Issues (Standard Upper Ontology, Nov–Dec 2000)=== |
| | | | |
| − | JA = Jon Awbrey
| + | * http://suo.ieee.org/email/thrd224.html#02332 |
| − | SR = Seth Russell
| + | # 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 |
| | + | # http://suo.ieee.org/email/msg04334.html |
| | + | # http://suo.ieee.org/email/msg04416.html |
| | | | |
| − | JA figured:
| + | ===Factorization Issues (Ontology, Nov–Dec 2000)=== |
| | | | |
| − | o-----------------------------o
| + | * http://suo.ieee.org/ontology/thrd111.html#00007 |
| − | | Denotative Component of L'" |
| + | # http://suo.ieee.org/ontology/msg00007.html |
| − | o--------------o--------------o
| + | # http://suo.ieee.org/ontology/msg00025.html |
| − | | Objects | Signs |
| + | # http://suo.ieee.org/ontology/msg00032.html |
| − | o--------------o--------------o
| + | # http://suo.ieee.org/ontology/msg01926.html |
| − | | |
| + | # http://suo.ieee.org/ontology/msg02008.html |
| − | | i |
| + | # http://suo.ieee.org/ontology/msg03285.html |
| − | | /|\ * |
| |
| − | | / | \ * |
| |
| − | | / | \ * |
| |
| − | | 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",
| + | ===Factorization Issues (Standard Upper Ontology, Nov 2001)=== |
| − | "extension of", "intension of", and "isa" seem off base.
| |
| | | | |
| − | Just some random notes:
| + | * http://suo.ieee.org/email/thrd128.html#07143 |
| | + | # http://suo.ieee.org/email/msg07143.html |
| | + | # 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 |
| | | | |
| − | y and "i" are both signs.
| + | ===Factorization Issues (Inquiry, Mar 2005)=== |
| | | | |
| − | x_1, x_2, x_3, and i are all objects
| + | * http://stderr.org/pipermail/inquiry/2005-March/thread.html#2495 |
| − | in the augmented sign relation L'''.
| + | # http://stderr.org/pipermail/inquiry/2005-March/002495.html |
| | + | # http://stderr.org/pipermail/inquiry/2005-March/002496.html |
| | | | |
| − | The intension (property, quality) i gets to be
| + | ===Factorization And Reification (Inquiry, May 2005)=== |
| − | 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
| + | * http://stderr.org/pipermail/inquiry/2005-May/thread.html#2747 |
| − | and for the syntactic entities (signs, interpretants).
| + | # 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 |
| | | | |
| − | I forget now, but I don't remember saying anything yet
| + | ===Factorization And Reification Discussion (Inquiry, May 2005)=== |
| − | about interpretants in this example. I will go check.
| |
| | | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | * http://stderr.org/pipermail/inquiry/2005-May/thread.html#2758 |
| − | | + | # http://stderr.org/pipermail/inquiry/2005-May/002758.html |
| − | 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
| |
| − | | |
| − | JA = Jon Awbrey
| |
| − | SR = Seth Russell
| |
| − | | |
| − | Seth,
| |
| − | | |
| − | Let me try to come up with a more concrete version
| |
| − | that has the same structure as the present example.
| |
| − | Then I'll go back and try to answer your questions.
| |
| − | | |
| − | JA glyphed:
| |
| − | | |
| − | 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
| |
| − | | |
| − | The initial problem had to do with "nominal" thinking versus "real" thinking.
| |
| − | | |
| − | A. Some maxims of nominal thinking are:
| |
| − |
| |
| − | 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
| |
| − | 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:
| |
| − | | |
| − | a. "Generals are mere names."
| |
| − |
| |
| − | b. "Universals are merely signs."
| |
| − | | |
| − | B. The real thinker does not see the harm in supposing the existence of objects
| |
| − | 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
| |
| − | 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:
| |
| − | | |
| − | x_1 = cat_1
| |
| − | | |
| − | x_2 = cat_2
| |
| − | | |
| − | x_3 = cat_3
| |
| − | | |
| − | Options:
| |
| − | | |
| − | 1. y = "Cat", interpreted as denoting each item of a category.
| |
| − | This is the nominal way of interpreting general terms,
| |
| − | namely, as applying to each separate member of a group,
| |
| − | 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,
| |
| − | but just keep trying to get by with multiple referents.
| |
| − | | |
| − | 2. y = "Cat", interpreted as denoting a category of items.
| |
| − | Here, one is asserting that a category is an object
| |
| − | in its own right, over and above its items.
| |
| − | | |
| − | Here, object i is a new entity like a class or a set.
| |
| − | | |
| − | 3. y = "Catitude", interpreted as denoting a quality that is
| |
| − | possessed in common or shared by cat_1, cat_2, cat_3.
| |
| − | | |
| − | Here, object i is a new entity like an intension or a property.
| |
| − | | |
| − | So, in general, it can happen that a use of the string of char "Cat"
| |
| − | may denote a particular cat, a category of cats, or a catitudiosity.
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | FI. Factorization Issues
| |
| − | | |
| − | 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
| |
| − | http://suo.ieee.org/email/msg04334.html
| |
| − | http://suo.ieee.org/email/msg04416.html
| |
| − | | |
| − | http://suo.ieee.org/email/msg07143.html
| |
| − | 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/ontology/msg00025.html
| |
| − | http://suo.ieee.org/ontology/msg00032.html
| |
| − | http://suo.ieee.org/ontology/msg01926.html
| |
| − | http://suo.ieee.org/ontology/msg02008.html
| |
| − | http://suo.ieee.org/ontology/msg03285.html
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | | |
| − | FAR. Factorization And Reification -- 2005
| |
| − | | |
| − | 00. http://stderr.org/pipermail/inquiry/2005-May/thread.html#2747
| |
| − | 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
| |
| − | | |
| − | 00. http://stderr.org/pipermail/inquiry/2005-May/thread.html#2758
| |
| − | 01. http://stderr.org/pipermail/inquiry/2005-May/002758.html
| |
| − | 02.
| |
| − | | |
| − | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| − | </pre>
| |