Changes

258 bytes added ,  Yesterday at 17:00
update
Line 45: Line 45:  
Tracing the passage of inquiry through the medium of signs calls for an active, intricate form of cooperation between the converging modes of investigation.  Its proper character is best understood by realizing the theory of inquiry is adapted to study the developmental aspects of sign relations, a subject the theory of signs is specialized to treat from comparative and structural points of view.
 
Tracing the passage of inquiry through the medium of signs calls for an active, intricate form of cooperation between the converging modes of investigation.  Its proper character is best understood by realizing the theory of inquiry is adapted to study the developmental aspects of sign relations, a subject the theory of signs is specialized to treat from comparative and structural points of view.
   −
==Examples of sign relations==
+
=={{anchor|Examples}}Examples of sign relations==
    
Despite their simplicity, the examples to follow have subtleties of their own and their careful treatment serves to illustrate important issues in the general theory of signs.
 
Despite their simplicity, the examples to follow have subtleties of their own and their careful treatment serves to illustrate important issues in the general theory of signs.
Line 87: Line 87:  
Already in this elementary context, there are several different meanings that might attach to the project of a <i>formal semiotics</i>, or a formal theory of meaning for signs.&nbsp; In the process of discussing these alternatives, it is useful to introduce a few terms that are occasionally used in the philosophy of language to point out the needed distinctions.
 
Already in this elementary context, there are several different meanings that might attach to the project of a <i>formal semiotics</i>, or a formal theory of meaning for signs.&nbsp; In the process of discussing these alternatives, it is useful to introduce a few terms that are occasionally used in the philosophy of language to point out the needed distinctions.
   −
==Dyadic aspects of sign relations==
+
=={{anchor|Dyadic Aspects}}Dyadic aspects of sign relations==
   −
For an arbitrary triadic relation <math>L \subseteq O \times S \times I,</math> whether it happens to be a sign relation or not, there are six dyadic relations obtained by <i>projecting</i> <math>L</math> on one of the planes of the <math>OSI</math>-space <math>O \times S \times I.</math>&nbsp; The six dyadic projections of a triadic relation <math>L</math> are defined and notated as shown in Table&nbsp;2.
+
For an arbitrary triadic relation <math>L \subseteq O \times S \times I,</math> whether it happens to be a sign relation or not, there are six dyadic relations obtained by <i>projecting</i> <math>L</math> on one of the planes of the <math>OSI</math>&#8209;space <math>O \times S \times I.</math>&nbsp; The six dyadic projections of a triadic relation <math>L</math> are defined and notated as shown in Table&nbsp;2.
    
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
Line 101: Line 101:  
{| align="center" cellpadding="6" width="90%"
 
{| align="center" cellpadding="6" width="90%"
 
|
 
|
<p>The dyadic relation resulting from the projection of <math>L</math> on the <math>OS</math>-plane <math>O \times S</math> is written briefly as <math>L_{OS}</math> or written more fully as <math>\mathrm{proj}_{OS}(L)</math> and is defined as the set of all ordered pairs <math>(o, s)</math> in the cartesian product <math>O \times S</math> for which there exists an ordered triple <math>(o, s, i)</math> in <math>L</math> for some element <math>i</math> in the set <math>I.</math></p>
+
<p>The dyadic relation resulting from the projection of <math>L</math> on the <math>OS</math>&#8209;plane <math>O \times S</math> is written briefly as <math>L_{OS}</math> or written more fully as <math>\mathrm{proj}_{OS}(L)</math> and is defined as the set of all ordered pairs <math>(o, s)</math> in the cartesian product <math>O \times S</math> for which there exists an ordered triple <math>(o, s, i)</math> in <math>L</math> for some element <math>i</math> in the set <math>I.</math></p>
 
|}
 
|}
   Line 110: Line 110:  
One aspect of a sign's complete meaning concerns the reference a sign has to its objects, which objects are collectively known as the <i>denotation</i> of the sign.&nbsp; In the pragmatic theory of sign relations, denotative references fall within the projection of the sign relation on the plane spanned by its object domain and its sign domain.
 
One aspect of a sign's complete meaning concerns the reference a sign has to its objects, which objects are collectively known as the <i>denotation</i> of the sign.&nbsp; In the pragmatic theory of sign relations, denotative references fall within the projection of the sign relation on the plane spanned by its object domain and its sign domain.
   −
The dyadic relation making up the <i>denotative</i>, <i>referent</i>, or <i>semantic</i> aspect of a sign relation <math>L</math> is notated as <math>\mathrm{Den}(L).</math>&nbsp; Information about the denotative aspect of meaning is obtained from <math>L</math> by taking its <i>projection</i> on the object-sign plane.&nbsp; We may visualize this as the &ldquo;shadow&rdquo; <math>L</math> casts on the 2-dimensional space whose axes are the object domain <math>O</math> and the sign domain <math>S.</math>&nbsp; The denotative component of a sign relation <math>L,</math> alternatively written in any of forms, <math>\mathrm{proj}_{OS} L,</math>&nbsp; <math>L_{OS},</math>&nbsp; <math>\mathrm{proj}_{12} L,</math>&nbsp; and <math>L_{12},</math> is defined as follows.
+
The dyadic relation making up the <i>denotative</i>, <i>referent</i>, or <i>semantic</i> aspect of a sign relation <math>L</math> is notated as <math>\mathrm{Den}(L).</math>&nbsp; Information about the denotative aspect of meaning is obtained from <math>L</math> by taking its <i>projection</i> on the object&#8209;sign plane.&nbsp; The result may be visualized as the &ldquo;shadow&rdquo; <math>L</math> casts on the 2&#8209;dimensional space whose axes are the object domain <math>O</math> and the sign domain <math>S.</math>&nbsp; The denotative component of a sign relation <math>L,</math> variously written as <math>\mathrm{proj}_{OS} L,</math>&nbsp; <math>L_{OS},</math>&nbsp; <math>\mathrm{proj}_{12} L,</math>&nbsp; or <math>L_{12},</math> is defined as follows.
    
<p align="center">[[File:Sign Relation Display 3.png|550px]]</p>
 
<p align="center">[[File:Sign Relation Display 3.png|550px]]</p>
Line 126: Line 126:  
Another aspect of a sign's complete meaning concerns the reference a sign has to its interpretants, which interpretants are collectively known as the <i>connotation</i> of the sign.&nbsp; In the pragmatic theory of sign relations, connotative references fall within the projection of the sign relation on the plane spanned by its sign domain and its interpretant domain.
 
Another aspect of a sign's complete meaning concerns the reference a sign has to its interpretants, which interpretants are collectively known as the <i>connotation</i> of the sign.&nbsp; In the pragmatic theory of sign relations, connotative references fall within the projection of the sign relation on the plane spanned by its sign domain and its interpretant domain.
   −
In the full theory of sign relations the connotative aspect of meaning includes the links a&nbsp;sign has to affects, concepts, ideas, impressions, intentions, and the whole realm of an interpretive agent's mental states and allied activities, broadly encompassing intellectual associations, emotional impressions, motivational impulses, and real conduct.&nbsp; Taken at the full, in the natural setting of semiotic phenomena, this complex system of references is unlikely ever to find itself mapped in much detail, much less completely formalized, but the tangible warp of its accumulated mass is commonly alluded to as the connotative import of language.
+
In the full theory of sign relations the connotative aspect of meaning includes the links a sign has to affects, concepts, ideas, impressions, intentions, and the whole realm of an interpretive agent's mental states and allied activities, broadly encompassing intellectual associations, emotional impressions, motivational impulses, and real conduct.&nbsp; Taken at the full, in the natural setting of semiotic phenomena, this complex system of references is unlikely ever to find itself mapped in much detail, much less completely formalized, but the tangible warp of its accumulated mass is commonly alluded to as the connotative import of language.
   −
Formally speaking, however, the connotative aspect of meaning presents no additional difficulty.&nbsp; The dyadic relation making up the <i>connotative</i> aspect of a sign relation <math>L</math> is notated as <math>\mathrm{Con}(L).</math>&nbsp; Information about the connotative aspect of meaning is obtained from <math>L</math> by taking its <i>projection</i> on the sign-interpretant plane.&nbsp; We may visualize this as the &ldquo;shadow&rdquo; <math>L</math> casts on the 2-dimensional space whose axes are the sign domain <math>S</math> and the interpretant domain <math>I.</math>&nbsp; The connotative component of a sign relation <math>L,</math> alternatively written in any of forms, <math>\mathrm{proj}_{SI} L,</math>&nbsp; <math>L_{SI},</math>&nbsp; <math>\mathrm{proj}_{23} L,</math>&nbsp; and <math>L_{23},</math> is defined as follows.
+
Formally speaking, however, the connotative aspect of meaning presents no additional difficulty.&nbsp; The dyadic relation making up the <i>connotative</i> aspect of a sign relation <math>L</math> is notated as <math>\mathrm{Con}(L).</math>&nbsp; Information about the connotative aspect of meaning is obtained from <math>L</math> by taking its <i>projection</i> on the sign&#8209;interpretant plane and visualized as the &ldquo;shadow&rdquo; <math>L</math> casts on the 2&#8209;dimensional space whose axes are the sign domain <math>S</math> and the interpretant domain <math>I.</math>&nbsp; The connotative component of a sign relation <math>L,</math> variously written as <math>\mathrm{proj}_{SI} L,</math>&nbsp; <math>L_{SI},</math>&nbsp; <math>\mathrm{proj}_{23} L,</math>&nbsp; or <math>L_{23},</math> is defined as follows.
    
<p align="center">[[File:Sign Relation Display 4.png|550px]]</p>
 
<p align="center">[[File:Sign Relation Display 4.png|550px]]</p>
Line 140: Line 140:  
===Ennotation===
 
===Ennotation===
   −
A third aspect of a sign's complete meaning concerns the reference its objects have to its interpretants, which has no standard name in semiotics.&nbsp; It would be called an <i>induced relation</i> in graph theory or the result of <i>relational composition</i> in relation theory.&nbsp; If an interpretant is recognized as a sign in its own right then its independent reference to an object can be taken as belonging to another moment of denotation, but this neglects the mediational character of the whole transaction in which this occurs.&nbsp; Denotation and connotation have to do with dyadic relations in which the sign plays an active role but here&nbsp;we are dealing with a dyadic relation between objects and interpretants mediated by the sign from an off-stage position, as it were.
+
A third aspect of a sign's complete meaning concerns the reference its objects have to its interpretants, which has no standard name in semiotics.&nbsp; It would be called an <i>induced relation</i> in graph theory or the result of <i>relational composition</i> in relation theory.&nbsp; If an interpretant is recognized as a sign in its own right then its independent reference to an object can be taken as belonging to another moment of denotation, but this neglects the mediational character of the whole transaction in which this occurs.&nbsp; Denotation and connotation have to do with dyadic relations in which the sign plays an active role but here we are dealing with a dyadic relation between objects and interpretants mediated by the sign from an off&#8209;stage position, as it were.
   −
As a relation between objects and interpretants mediated by a sign, this third aspect of meaning may be referred to as the <i>ennotation</i> of a sign and the dyadic relation making up the <i>ennotative aspect</i> of a sign relation <math>L</math> may be notated as <math>\mathrm{Enn}(L).</math>&nbsp; Information about the ennotative aspect of meaning is obtained from <math>L</math> by taking its <i>projection</i> on the object-interpretant plane.&nbsp; We may visualize this as the &ldquo;shadow&rdquo; <math>L</math> casts on the 2-dimensional space whose axes are the object domain <math>O</math> and the interpretant domain <math>I.</math>&nbsp; The ennotative component of a sign relation <math>L,</math> alternatively written in any of forms, <math>\mathrm{proj}_{OI} L,</math>&nbsp; <math>L_{OI},</math>&nbsp; <math>\mathrm{proj}_{13} L,</math>&nbsp; and <math>L_{13},</math> is defined as follows.
+
As a relation between objects and interpretants mediated by a sign, this third aspect of meaning may be referred to as the <i>ennotation</i> of a sign and the dyadic relation making up the <i>ennotative aspect</i> of a sign relation <math>L</math> may be notated as <math>\mathrm{Enn}(L).</math>&nbsp; Information about the ennotative aspect of meaning is obtained from <math>L</math> by taking its <i>projection</i> on the object&#8209;interpretant plane and visualized as the &ldquo;shadow&rdquo; <math>L</math> casts on the 2&#8209;dimensional space whose axes are the object domain <math>O</math> and the interpretant domain <math>I.</math>&nbsp; The ennotative component of a sign relation <math>L,</math> variously written as <math>\mathrm{proj}_{OI} L,</math>&nbsp; <math>L_{OI},</math>&nbsp; <math>\mathrm{proj}_{13} L,</math>&nbsp; or <math>L_{13},</math> is defined as follows.
    
<p align="center">[[File:Sign Relation Display 5.png|550px]]</p>
 
<p align="center">[[File:Sign Relation Display 5.png|550px]]</p>
Line 154: Line 154:  
|}
 
|}
   −
==Semiotic equivalence relations==
+
=={{anchor|Semiotic Equivalence Relations 1}}Semiotic equivalence relations==
    
A <i>semiotic equivalence relation</i> (SER) is a special type of equivalence relation arising in the analysis of sign relations.&nbsp; As a general rule, any equivalence relation is closely associated with a family of equivalence classes which partition the underlying set of elements, frequently called the <i>domain</i> or <i>space</i> of the relation.&nbsp; In the case of a SER, the equivalence classes are called <i>semiotic equivalence classes</i> (SECs) and the partition is called a <i>semiotic partition</i> (SEP).
 
A <i>semiotic equivalence relation</i> (SER) is a special type of equivalence relation arising in the analysis of sign relations.&nbsp; As a general rule, any equivalence relation is closely associated with a family of equivalence classes which partition the underlying set of elements, frequently called the <i>domain</i> or <i>space</i> of the relation.&nbsp; In the case of a SER, the equivalence classes are called <i>semiotic equivalence classes</i> (SECs) and the partition is called a <i>semiotic partition</i> (SEP).
Line 172: Line 172:  
|}
 
|}
    +
{{anchor|Semiotic Equivalence Relations 2}}
 
A few items of notation are useful in discussing equivalence relations in general and semiotic equivalence relations in particular.
 
A few items of notation are useful in discussing equivalence relations in general and semiotic equivalence relations in particular.
   Line 348: Line 349:  
[[Category:Cognitive science]]
 
[[Category:Cognitive science]]
 
[[Category:Computer science]]
 
[[Category:Computer science]]
 +
[[Category:Differential logic]]
 
[[Category:Graph theory]]
 
[[Category:Graph theory]]
 +
[[Category:Hermeneutics]]
 +
[[Category:Information systems]]
 +
[[Category:Information theory]]
 
[[Category:Inquiry]]
 
[[Category:Inquiry]]
 
[[Category:Intelligent systems]]
 
[[Category:Intelligent systems]]
 +
[[Category:Knowledge representation]]
 
[[Category:Logic]]
 
[[Category:Logic]]
 
[[Category:Logical graphs]]
 
[[Category:Logical graphs]]
12,185

edits