Difference between revisions of "Sign relation"
Jon Awbrey (talk  contribs) (→Denotation: fix math symbols) 
Jon Awbrey (talk  contribs) (update) 

(22 intermediate revisions by the same user not shown)  
Line 1:  Line 1:  
−  A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by  +  <font size="3">☞</font> This page belongs to resource collections on [[Logic LiveLogic]] and [[Inquiry LiveInquiry]]. 
+  
+  A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by Charles Sanders Peirce.  
==Anthesis==  ==Anthesis==  
−  <  +  { align="center" cellpadding="6" width="90%" 
−  Thus, if a sunflower, in turning towards the sun, becomes by that very act fully capable, without further condition, of reproducing a sunflower which turns in precisely corresponding ways toward the sun, and of doing so with the same reproductive power, the sunflower would become a Representamen of the sun. (C.S. Peirce,  +   
−  </  +  <p>Thus, if a sunflower, in turning towards the sun, becomes by that very act fully capable, without further condition, of reproducing a sunflower which turns in precisely corresponding ways toward the sun, and of doing so with the same reproductive power, the sunflower would become a Representamen of the sun. (C.S. Peirce, “Syllabus” (''c''. 1902), ''Collected Papers'', CP 2.274).</p> 
+  }  
In his picturesque illustration of a sign relation, along with his tracing of a corresponding sign process, or ''[[semiosis]]'', Peirce uses the technical term ''representamen'' for his concept of a sign, but the shorter word is precise enough, so long as one recognizes that its meaning in a particular theory of signs is given by a specific definition of what it means to be a sign.  In his picturesque illustration of a sign relation, along with his tracing of a corresponding sign process, or ''[[semiosis]]'', Peirce uses the technical term ''representamen'' for his concept of a sign, but the shorter word is precise enough, so long as one recognizes that its meaning in a particular theory of signs is given by a specific definition of what it means to be a sign.  
Line 11:  Line 14:  
==Definition==  ==Definition==  
−  One of Peirce's clearest and most complete definitions of a sign is one that he gives  +  One of Peirce's clearest and most complete definitions of a sign is one that he gives in the context of providing a definition for ''logic'', and so it is informative to view it in that setting. 
−  <  +  { align="center" cellpadding="6" width="90%" 
−  Logic will here be defined as ''formal semiotic''. A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time. Namely, a sign is something, ''A'', which brings something, ''B'', its ''interpretant'' sign determined or created by it, into the same sort of correspondence with something, ''C'', its ''object'', as that in which itself stands to ''C''. It is from this definition, together with a definition of  +   
−  </  +  <p>Logic will here be defined as ''formal semiotic''. A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time. Namely, a sign is something, ''A'', which brings something, ''B'', its ''interpretant'' sign determined or created by it, into the same sort of correspondence with something, ''C'', its ''object'', as that in which itself stands to ''C''. It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic. I also make a historical review of all the definitions and conceptions of logic, and show, not merely that my definition is no novelty, but that my nonpsychological conception of logic has ''virtually'' been quite generally held, though not generally recognized. (C.S. Peirce, NEM 4, 20–21).</p> 
+  }  
−  In the general discussion of diverse theories of signs, the question frequently arises whether signhood is an absolute, essential, indelible, or ''  +  In the general discussion of diverse theories of signs, the question frequently arises whether signhood is an absolute, essential, indelible, or ''ontological'' property of a thing, or whether it is a relational, interpretive, and mutable role that a thing can be said to have only within a particular context of relationships. 
−  Peirce's definition of a ''sign'' defines it in relation to its ''object'' and its ''interpretant sign'', and thus it defines signhood in ''[[logic of relativesrelative terms]]'', by means of a predicate with three places. In this definition, signhood is a role in a [[triadic relation]], a role that a thing bears or plays in a given context of relationships  +  Peirce's definition of a ''sign'' defines it in relation to its ''object'' and its ''interpretant sign'', and thus it defines signhood in ''[[logic of relativesrelative terms]]'', by means of a predicate with three places. In this definition, signhood is a role in a [[triadic relation]], a role that a thing bears or plays in a given context of relationships — it is not as an ''absolute'', ''nonrelative'' property of a thinginitself, one that it possesses independently of all relationships to other things. 
Some of the terms that Peirce uses in his definition of a sign may need to be elaborated for the contemporary reader.  Some of the terms that Peirce uses in his definition of a sign may need to be elaborated for the contemporary reader.  
−  * '''Correspondence'''  +  :* '''Correspondence.''' From the way that Peirce uses this term throughout his work, it is clear that he means what he elsewhere calls a “triple correspondence”, and thus this is just another way of referring to the whole triadic sign relation itself. In particular, his use of this term should not be taken to imply a dyadic correspondence, like the kinds of “mirror image” correspondence between realities and representations that are bandied about in contemporary controversies about “correspondence theories of truth”. 
−  * '''Determination'''  +  :* '''Determination.''' Peirce's concept of determination is broader in several directions than the sense of the word that refers to strictly deterministic causaltemporal processes. First, and especially in this context, he is invoking a more general concept of determination, what is called a ''formal'' or ''informational'' determination, as in saying “two points determine a line”, rather than the more special cases of causal and temporal determinisms. Second, he characteristically allows for what is called ''determination in measure'', that is, an order of determinism that admits a full spectrum of more and less determined relationships. 
−  * '''Nonpsychological'''  +  :* '''Nonpsychological.''' Peirce's “nonpsychological conception of logic” must be distinguished from any variety of ''antipsychologism''. He was quite interested in matters of psychology and had much of import to say about them. But logic and psychology operate on different planes of study even when they have occasion to view the same data, as logic is a ''[[normative science]]'' where psychology is a ''[[descriptive science]]'', and so they have very different aims, methods, and rationales. 
==Signs and inquiry==  ==Signs and inquiry==  
: ''Main article : [[Inquiry]]''  : ''Main article : [[Inquiry]]''  
−  There is a close relationship between the pragmatic theory of signs and the pragmatic theory of [[inquiry]]. In fact, the correspondence between the two studies exhibits so many congruences and parallels that it is often best to treat them as integral parts of one and the same subject. In a very real sense, inquiry is the process by which sign relations come to be established and continue to evolve. In other words, inquiry,  +  There is a close relationship between the pragmatic theory of signs and the pragmatic theory of [[inquiry]]. In fact, the correspondence between the two studies exhibits so many congruences and parallels that it is often best to treat them as integral parts of one and the same subject. In a very real sense, inquiry is the process by which sign relations come to be established and continue to evolve. In other words, inquiry, “thinking” in its best sense, “is a term denoting the various ways in which things acquire significance” (John Dewey). Thus, there is an active and intricate form of cooperation that needs to be appreciated and maintained between these converging modes of investigation. Its proper character is best understood by realizing that the theory of inquiry is adapted to study the developmental aspects of sign relations, a subject which the theory of signs is specialized to treat from structural and comparative points of view. 
==Examples of sign relations==  ==Examples of sign relations==  
Line 38:  Line 42:  
Because the examples to follow have been artificially constructed to be as simple as possible, their detailed elaboration can run the risk of trivializing the whole theory of sign relations. Despite their simplicity, however, these examples have subtleties of their own, and their careful treatment will serve to illustrate many important issues in the general theory of signs.  Because the examples to follow have been artificially constructed to be as simple as possible, their detailed elaboration can run the risk of trivializing the whole theory of sign relations. Despite their simplicity, however, these examples have subtleties of their own, and their careful treatment will serve to illustrate many important issues in the general theory of signs.  
−  Imagine a discussion between two people, Ann and Bob, and attend only to that aspect of their interpretive practice that involves the use of the following nouns and pronouns:  +  Imagine a discussion between two people, Ann and Bob, and attend only to that aspect of their interpretive practice that involves the use of the following nouns and pronouns: “Ann”, “Bob”, “I”, “you”. 
+  
+  :* The ''object domain'' of this discussion fragment is the set of two people <math>\{ \text{Ann}, \text{Bob} \}.\!</math>  
−  +  :* The ''syntactic domain'' or the ''sign system'' of their discussion is limited to the set of four signs <math>\{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \}.\!</math>  
−  In their discussion, Ann and Bob are not only the passive objects of nominative and accusative references but also the active interpreters of the language that they use. The ''system of interpretation'' (SOI) associated with each language user can be represented in the form of an individual  +  In their discussion, Ann and Bob are not only the passive objects of nominative and accusative references but also the active interpreters of the language that they use. The ''system of interpretation'' (SOI) associated with each language user can be represented in the form of an individual [[threeplace relation]] called the ''sign relation'' of that interpreter. 
−  Understood in terms of its ''  +  Understood in terms of its ''settheoretic extension'', a sign relation <math>L\!</math> is a ''subset'' of a ''cartesian product'' <math>O \times S \times I.\!</math> Here, <math>O, S, I\!</math> are three sets that are known as the ''object domain'', the ''sign domain'', and the ''interpretant domain'', respectively, of the sign relation <math>L \subseteq O \times S \times I.\!</math> 
−  Broadly speaking, the three domains of a sign relation can be any sets whatsoever, but the kinds of sign relations  +  Broadly speaking, the three domains of a sign relation can be any sets whatsoever, but the kinds of sign relations typically contemplated in formal settings are usually constrained to having <math>I \subseteq S\!</math>. In this case interpretants are just a special variety of signs and this makes it convenient to lump signs and interpretants together into a single class called the ''syntactic domain''. In the forthcoming examples <math>S\!</math> and <math>I\!</math> are identical as sets, so the same elements manifest themselves in two different roles of the sign relations in question. When it is necessary to refer to the whole set of objects and signs in the union of the domains <math>O, S, I\!</math> for a given sign relation <math>L,\!</math> one may refer to this set as the ''World'' of <math>L\!</math> and write <math>W = W_L = O \cup S \cup I.\!</math> 
To facilitate an interest in the abstract structures of sign relations, and to keep the notations as brief as possible as the examples become more complicated, it serves to introduce the following general notations:  To facilitate an interest in the abstract structures of sign relations, and to keep the notations as brief as possible as the examples become more complicated, it serves to introduce the following general notations:  
−  +  { align="center" cellspacing="6" width="90%"  
−  +    
−  +  <math>\begin{array}{ccl}  
−  +  O & = & \text{Object Domain}  
−  +  \\[6pt]  
−  +  S & = & \text{Sign Domain}  
+  \\[6pt]  
+  I & = & \text{Interpretant Domain}  
+  \end{array}</math>  
}  }  
Introducing a few abbreviations for use in considering the present Example, we have the following data:  Introducing a few abbreviations for use in considering the present Example, we have the following data:  
−  +  { align="center" cellspacing="6" width="90%"  
−  +    
−  +  <math>\begin{array}{cclcl}  
−  +  O  
−  +  & = &  
−  +  \{ \text{Ann}, \text{Bob} \} & = & \{ \mathrm{A}, \mathrm{B} \}  
−  +  \\[6pt]  
−  +  S  
−  +  & = &  
−  +  \{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \}  
−  +  & = &  
−  +  \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}  
−  +  \\[6pt]  
−  +  I  
−  +  & = &  
−  +  \{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \}  
−  +  & = &  
−  +  \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}  
+  \end{array}</math>  
}  }  
−  In the present  +  In the present example, <math>S = I = \text{Syntactic Domain}\!</math>. 
+  
+  The next two Tables give the sign relations associated with the interpreters <math>\mathrm{A}\!</math> and <math>\mathrm{B},\!</math> respectively, putting them in the form of ''relational databases''. Thus, the rows of each Table list the ordered triples of the form <math>(o, s, i)\!</math> that make up the corresponding sign relations, <math>L_\mathrm{A}, L_\mathrm{B} \subseteq O \times S \times I.\!</math>  
−  +  <br>  
−  { align="center" border="1" cellpadding="  +  { align="center" style="width:100%" 
−  +  +   width="50%"  
−   style="background:  +  { align="center" border="1" cellpadding="10" cellspacing="0" style="textalign:center; width:90%" 
−  +  + style="height:30px"  <math>\text{Table 1a.} ~ {L_\mathrm{A}} = \text{Sign Relation of Interpreter A}\!</math>  
−  +   style="height:40px; background:ghostwhite"  
−  +   style="width:33%"  <math>\text{Object}\!</math>  
+   style="width:33%"  <math>\text{Sign}\!</math>  
+   style="width:33%"  <math>\text{Interpretant}\!</math>  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
}  }  
−  +   width="50%"   
−  +  { align="center" border="1" cellpadding="10" cellspacing="0" style="textalign:center; width:90%"  
−  { align="center" border="1" cellpadding="  +  + style="height:30px"  <math>\text{Table 1b.} ~ {L_\mathrm{B}} = \text{Sign Relation of Interpreter B}\!</math> 
−  +  +   style="height:40px; background:ghostwhite" 
−   style="background:  +   style="width:33%"  <math>\text{Object}\!</math> 
−  +   style="width:33%"  <math>\text{Sign}\!</math>  
−  +   style="width:33%"  <math>\text{Interpretant}\!</math>  
−  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
    
−    +  <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{A}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>\mathrm{B}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
}  }  
+  }  
+  
<br>  <br>  
−  These Tables codify a rudimentary level of interpretive practice for the agents A and B  +  These Tables codify a rudimentary level of interpretive practice for the agents <math>\mathrm{A}\!</math> and <math>\mathrm{B}\!</math> and provide a basis for formalizing the initial semantics that is appropriate to their common syntactic domain. Each row of a Table names an object and two coreferent signs, making up an ordered triple of the form <math>(o, s, i)\!</math> called an ''elementary relation'', that is, one element of the relation's settheoretic extension. 
Already in this elementary context, there are several different meanings that might attach to the project of a ''formal semiotics'', or a formal theory of meaning for signs. 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 ''formal semiotics'', or a formal theory of meaning for signs. 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.  
Line 140:  Line 187:  
==Dyadic aspects of sign relations==  ==Dyadic aspects of sign relations==  
−  For an arbitrary triadic relation  +  For an arbitrary triadic relation <math>L \subseteq O \times S \times I,\!</math> whether it is a sign relation or not, there are six dyadic relations that can be obtained by ''projecting'' <math>L\!</math> on one of the planes of the <math>OSI\!</math>space <math>O \times S \times I.\!</math> The six dyadic projections of a triadic relation <math>L\!</math> are defined and notated as follows: 
+  
+  <br>  
−  +  { align="center" border="1" cellpadding="10" cellspacing="0" style="textalign:center; width:60%"  
−    +  + style="height:30px"  <math>\text{Table 2.} ~~ \text{Dyadic Projections of Triadic Relations}\!</math> 
−    +   
−  +  <math>\begin{matrix}  
−  +  L_{OS} & = & \mathrm{proj}_{OS}(L) & = & \{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \}  
−  +  \\[6pt]  
−  +  L_{SO} & = & \mathrm{proj}_{SO}(L) & = & \{ (s, o) \in S \times O ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \}  
−  +  \\[6pt]  
−  +  L_{IS} & = & \mathrm{proj}_{IS}(L) & = & \{ (i, s) \in I \times S ~:~ (o, s, i) \in L ~\text{for some}~ o \in O \}  
−  +  \\[6pt]  
−  +  L_{SI} & = & \mathrm{proj}_{SI}(L) & = & \{ (s, i) \in S \times I ~:~ (o, s, i) \in L ~\text{for some}~ o \in O \}  
−  +  \\[6pt]  
−  +  L_{OI} & = & \mathrm{proj}_{OI}(L) & = & \{ (o, i) \in O \times I ~:~ (o, s, i) \in L ~\text{for some}~ s \in S \}  
−  +  \\[6pt]  
−  +  L_{IO} & = & \mathrm{proj}_{IO}(L) & = & \{ (i, o) \in I \times O ~:~ (o, s, i) \in L ~\text{for some}~ s \in S \}  
−  +  \end{matrix}</math>  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
}  }  
−  By way of unpacking the settheoretic notation, here is what the first definition says in ordinary language.  +  <br> 
+  
+  By way of unpacking the settheoretic notation, here is what the first definition says in ordinary language.  
+  
+  { align="center" cellpadding="6" width="90%"  
+    
+  <p>The dyadic relation that results 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 it 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 interpretant <math>i\!</math> in the interpretant domain <math>I.\!</math></p>  
+  }  
−  In the case where  +  In the case where <math>L\!</math> is a sign relation, which it becomes by satisfying one of the definitions of a sign relation, some of the dyadic aspects of <math>L\!</math> can be recognized as formalizing aspects of sign meaning that have received their share of attention from students of signs over the centuries, and thus they can be associated with traditional concepts and terminology. Of course, traditions may vary as to the precise formation and usage of such concepts and terms. Other aspects of meaning have not received their fair share of attention, and thus remain anonymous on the contemporary scene of sign studies. 
===Denotation===  ===Denotation===  
Line 188:  Line 224:  
One aspect of a sign's complete meaning is concerned with the reference that a sign has to its objects, which objects are collectively known as the ''denotation'' of the sign. In the pragmatic theory of sign relations, denotative references fall within the projection of the sign relation on the plane that is spanned by its object domain and its sign domain.  One aspect of a sign's complete meaning is concerned with the reference that a sign has to its objects, which objects are collectively known as the ''denotation'' of the sign. In the pragmatic theory of sign relations, denotative references fall within the projection of the sign relation on the plane that is spanned by its object domain and its sign domain.  
−  The dyadic relation that makes up the ''denotative'', ''referential'', or ''semantic'' aspect or component of a sign relation  +  The dyadic relation that makes up the ''denotative'', ''referential'', or ''semantic'' aspect or component of a sign relation <math>L\!</math> is notated as <math>\mathrm{Den}(L).\!</math> Information about the denotative aspect of meaning is obtained from <math>L\!</math> by taking its projection on the objectsign plane, in other words, on the 2dimensional space that is generated by the object domain <math>O\!</math> and the sign domain <math>S.\!</math> This component of a sign relation <math>L\!</math> can be written in any of the forms, <math>\mathrm{proj}_{OS} L,\!</math> <math>L_{OS},\!</math> <math>\mathrm{proj}_{12} L,\!</math> <math>L_{12},\!</math> and it is defined as follows: 
+  
+  { align="center" cellpadding="6" width="90%"  
+    
+  <math>\begin{matrix}  
+  \mathrm{Den}(L)  
+  & = &  
+  \mathrm{proj}_{OS} L  
+  & = &  
+  \{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \}.  
+  \end{matrix}</math>  
+  }  
−  +  Looking to the denotative aspects of <math>L_\mathrm{A}\!</math> and <math>L_\mathrm{B},\!</math> various rows of the Tables specify, for example, that <math>\mathrm{A}\!</math> uses <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> to denote <math>\mathrm{A}\!</math> and <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> to denote <math>\mathrm{B},\!</math> whereas <math>\mathrm{B}\!</math> uses <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> to denote <math>\mathrm{B}\!</math> and <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> to denote <math>\mathrm{A}.\!</math> All of these denotative references are summed up in the projections on the <math>OS\!</math>plane, as shown in the following Tables:  
−  +  <br>  
{ align="center" style="width:90%"  { align="center" style="width:90%"  
−    +   width="50%"  
−  { align="center" border="1" cellpadding="  +  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%" 
−  +  +  + style="height:30px"  <math>\text{Table 3a.} ~~ \mathrm{Den}(L_\mathrm{A}) = \mathrm{proj}_{OS}(L_\mathrm{A})\!</math> 
−   style="background:  +   style="height:40px; background:ghostwhite" 
−  +   width="50%"  <math>\text{Object}\!</math>  
−  +   width="50%"  <math>\text{Sign}\!</math>  
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
}  }  
−    +   width="50%"  
−  { align="center" border="1" cellpadding="  +  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%" 
−  +  +  + style="height:30px"  <math>\text{Table 3b.} ~~ \mathrm{Den}(L_\mathrm{B}) = \mathrm{proj}_{OS}(L_\mathrm{B})\!</math> 
−   style="background:  +   style="height:40px; background:ghostwhite" 
−  +   width="50%"  <math>\text{Object}\!</math>  
−  +   width="50%"  <math>\text{Sign}\!</math>  
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
}  }  
}  }  
+  
<br>  <br>  
Line 234:  Line 282:  
The connection that a sign makes to an interpretant is here referred to as its ''connotation''. In the full theory of sign relations, this aspect of meaning includes the links that a sign has to affects, concepts, ideas, impressions, intentions, and the whole realm of an agent's mental states and allied activities, broadly encompassing intellectual associations, emotional impressions, motivational impulses, and real conduct. 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.  The connection that a sign makes to an interpretant is here referred to as its ''connotation''. In the full theory of sign relations, this aspect of meaning includes the links that a sign has to affects, concepts, ideas, impressions, intentions, and the whole realm of an agent's mental states and allied activities, broadly encompassing intellectual associations, emotional impressions, motivational impulses, and real conduct. 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. For a given sign relation  +  Formally speaking, however, the connotative aspect of meaning presents no additional difficulty. For a given sign relation <math>L,\!</math> the dyadic relation that constitutes the ''connotative aspect'' or ''connotative component'' of <math>L\!</math> is notated as <math>\mathrm{Con}(L).\!</math> 
+  
+  The connotative aspect of a sign relation <math>L\!</math> is given by its projection on the plane of signs and interpretants, and is therefore defined as follows:  
−  +  { align="center" cellpadding="6" width="90%"  
+    
+  <math>\begin{matrix}  
+  \mathrm{Con}(L)  
+  & = &  
+  \mathrm{proj}_{SI} L  
+  & = &  
+  \{ (s, i) \in S \times I ~:~ (o, s, i) \in L ~\text{for some}~ o \in O \}.  
+  \end{matrix}</math>  
+  }  
−  +  All of these connotative references are summed up in the projections on the <math>SI\!</math>plane, as shown in the following Tables:  
−  +  <br>  
{ align="center" style="width:90%"  { align="center" style="width:90%"  
−    +   width="50%"  
−  { align="center" border="1" cellpadding="  +  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%" 
−  +  +  + style="height:30px"  <math>\text{Table 4a.} ~~ \mathrm{Con}(L_\mathrm{A}) = \mathrm{proj}_{SI}(L_\mathrm{A})\!</math> 
−   style="background:  +   style="height:40px; background:ghostwhite" 
−  +   width="50%"  <math>\text{Sign}\!</math>  
−  +   width="50%"  <math>\text{Interpretant}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
}  }  
−    +   width="50%"  
−  { align="center" border="1" cellpadding="  +  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%" 
−  +  +  + style="height:30px"  <math>\text{Table 4b.} ~~ \mathrm{Con}(L_\mathrm{B}) = \mathrm{proj}_{SI}(L_\mathrm{B})\!</math> 
−   style="background:  +   style="height:40px; background:ghostwhite" 
−  +   width="50%"  <math>\text{Sign}\!</math>  
−  +   width="50%"  <math>\text{Interpretant}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
    
−    +   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
}  }  
}  }  
+  
<br>  <br>  
===Ennotation===  ===Ennotation===  
−  The aspect of a sign's meaning that arises from the dyadic relation of its objects to its interpretants has no standard name. If an interpretant is considered to be 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. Denotation and connotation have to do with dyadic relations in which the sign plays an active role, but here we have to consider a dyadic relation between objects and interpretants that is mediated by the sign from an offstage position, as it were. As a relation between objects and interpretants that is mediated by a sign, this aspect of meaning may be referred to as the ''ennotation'' of a sign, and the dyadic relation that constitutes the ''ennotative aspect'' of a sign relation  +  The aspect of a sign's meaning that arises from the dyadic relation of its objects to its interpretants has no standard name. If an interpretant is considered to be 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. Denotation and connotation have to do with dyadic relations in which the sign plays an active role, but here we have to consider a dyadic relation between objects and interpretants that is mediated by the sign from an offstage position, as it were. As a relation between objects and interpretants that is mediated by a sign, this aspect of meaning may be referred to as the ''ennotation'' of a sign, and the dyadic relation that constitutes the ''ennotative aspect'' of a sign relation <math>L\!</math> may be notated as <math>\mathrm{Enn}(L).\!</math> 
−  The ennotational component of meaning for a sign relation  +  The ennotational component of meaning for a sign relation <math>L\!</math> is captured by its projection on the plane of the object and interpretant domains, and it is thus defined as follows: 
−  +  { align="center" cellpadding="6" width="90%"  
+    
+  <math>\begin{matrix}  
+  \mathrm{Enn}(L)  
+  & = &  
+  \mathrm{proj}_{OI} L  
+  & = &  
+  \{ (o, i) \in O \times I ~:~ (o, s, i) \in L ~\text{for some}~ s \in S \}.  
+  \end{matrix}</math>  
+  }  
−  As it happens, the sign relations  +  As it happens, the sign relations <math>L_\mathrm{A}\!</math> and <math>L_\mathrm{B}\!</math> are fully symmetric with respect to exchanging signs and interpretants, so all the data of <math>\mathrm{proj}_{OS} L_\mathrm{A}\!</math> is echoed unchanged in <math>\mathrm{proj}_{OI} L_\mathrm{A}\!</math> and all the data of <math>\mathrm{proj}_{OS} L_\mathrm{B}\!</math> is echoed unchanged in <math>\mathrm{proj}_{OI} L_\mathrm{B}.\!</math> 
−  and all  +  
+  <br>  
{ align="center" style="width:90%"  { align="center" style="width:90%"  
−    +   width="50%"  
−  { align="center" border="1" cellpadding="  +  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%" 
−  +  +  + style="height:30px"  <math>\text{Table 5a.} ~~ \mathrm{Enn}(L_\mathrm{A}) = \mathrm{proj}_{OI}(L_\mathrm{A})\!</math> 
−   style="background:  +   style="height:40px; background:ghostwhite" 
−  +   width="50%"  <math>\text{Object}\!</math>  
−  +   width="50%"  <math>\text{Interpretant}\!</math>  
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
}  }  
−    +   width="50%"  
−  { align="center" border="1" cellpadding="  +  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%" 
−  +  +  + style="height:30px"  <math>\text{Table 5b.} ~~ \mathrm{Enn}(L_\mathrm{B}) = \mathrm{proj}_{OI}(L_\mathrm{B})\!</math> 
−   style="background:  +   style="height:40px; background:ghostwhite" 
−  +   width="50%"  <math>\text{Object}\!</math>  
−  +   width="50%"  <math>\text{Interpretant}\!</math>  
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{A}\!</math>  <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math> 
    
−    +   <math>\mathrm{B}\!</math>  <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math> 
}  }  
}  }  
+  
<br>  <br>  
==Semiotic equivalence relations==  ==Semiotic equivalence relations==  
−  (  +  A ''semiotic equivalence relation'' (SER) is a special type of equivalence relation that arises in the analysis of sign relations. As a general rule, any equivalence relation is closely associated with a family of equivalence classes that partition the underlying set of elements, frequently called the ''domain'' or ''space'' of the relation. In the case of a SER, the equivalence classes are called ''semiotic equivalence classes'' (SECs) and the partition is called a ''semiotic partition'' (SEP). 
+  
+  The sign relations <math>L_\mathrm{A}\!</math> and <math>L_\mathrm{B}\!</math> have many interesting properties that are not possessed by sign relations in general. Some of these properties have to do with the relation between signs and their interpretant signs, as reflected in the projections of <math>L_\mathrm{A}\!</math> and <math>L_\mathrm{B}\!</math> on the <math>SI\!</math>plane, notated as <math>\mathrm{proj}_{SI} L_\mathrm{A}\!</math> and <math>\mathrm{proj}_{SI} L_\mathrm{B},\!</math> respectively. The 2adic relations on <math>S \times I\!</math> induced by these projections are also referred to as the ''connotative components'' of the corresponding sign relations, notated as <math>\mathrm{Con}(L_\mathrm{A})\!</math> and <math>\mathrm{Con}(L_\mathrm{B}),\!</math> respectively. Tables 6a and 6b show the corresponding connotative components.  
+  
+  <br>  
+  
+  { align="center" style="width:90%"  
+   width="50%"   
+  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%"  
+  + style="height:30px"  <math>\text{Table 6a.} ~~ \mathrm{Con}(L_\mathrm{A}) = \mathrm{proj}_{SI}(L_\mathrm{A})\!</math>  
+   style="height:40px; background:ghostwhite"  
+   width="50%"  <math>S\!</math>  
+   width="50%"  <math>I\!</math>  
+    
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \end{matrix}</math>  
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \end{matrix}</math>  
+    
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \end{matrix}</math>  
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \end{matrix}</math>  
+  }  
+   width="50%"   
+  { align="center" border="1" cellpadding="8" cellspacing="0" style="textalign:center; width:90%"  
+  + style="height:30px"  <math>\text{Table 6b.} ~~ \mathrm{Con}(L_\mathrm{B}) = \mathrm{proj}_{SI}(L_\mathrm{B})\!</math>  
+   style="height:40px; background:ghostwhite"  
+   width="50%"  <math>S\!</math>  
+   width="50%"  <math>I\!</math>  
+    
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \end{matrix}</math>  
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \end{matrix}</math>  
+    
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \end{matrix}</math>  
+   valign="bottom"   
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  \\[4pt]  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \end{matrix}</math>  
+  }  
+  }  
+  
+  <br>  
+  
+  One nice property possessed by the sign relations <math>L_\mathrm{A}\!</math> and <math>L_\mathrm{B}\!</math> is that their connotative components <math>\mathrm{Con}(L_\mathrm{A})\!</math> and <math>\mathrm{Con}(L_\mathrm{B})\!</math> form a pair of equivalence relations on their common syntactic domain <math>S = I.\!</math> It is convenient to refer to such a structure as a ''semiotic equivalence relation'' (SER) since it equates signs that mean the same thing to some interpreter. Each of the SERs, <math>\mathrm{Con}(L_\mathrm{A}), \mathrm{Con}(L_\mathrm{B}) \subseteq S \times I \cong S \times S\!</math> partitions the whole collection of signs into ''semiotic equivalence classes'' (SECs). This makes for a strong form of representation in that the structure of the interpreters' common object domain <math>\{ \mathrm{A}, \mathrm{B} \}\!</math> is reflected or reconstructed, part for part, in the structure of each of their ''semiotic partitions'' (SEPs) of the syntactic domain <math>\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!</math> But it needs to be observed that the semiotic partitions for interpreters <math>\mathrm{A}\!</math> and <math>\mathrm{B}\!</math> are not the same, indeed, they are orthogonal to each other. This makes it difficult to interpret either one of the partitions or equivalence relations on the syntactic domain as corresponding to any sort of objective structure or invariant reality, independent of the individual interpreter's point of view.  
+  
+  Information about the contrasting patterns of semiotic equivalence induced by the interpreters <math>\mathrm{A}\!</math> and <math>\mathrm{B}\!</math> is summarized in Tables 7a and 7b. The form of these Tables should suffice to explain what is meant by saying that the SEPs for <math>\mathrm{A}\!</math> and <math>\mathrm{B}\!</math> are orthogonal to each other.  
+  
+  <br>  
+  
+  { align="center" style="width:92%"  
+   width="50%"   
+  { align="center" cellpadding="20" cellspacing="0" style="borderbottom:1px solid black; borderleft:1px solid black; borderright:1px solid black; bordertop:1px solid black; textalign:center; width:90%"  
+  + style="height:30px"  <math>\text{Table 7a.} ~~ \text{Semiotic Partition for Interpreter A}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
+    
+   style="bordertop:1px solid black"  <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
+   style="bordertop:1px solid black"  <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
+  }  
+   width="50%"   
+  { align="center" cellpadding="20" cellspacing="1" style="borderbottom:1px solid black; borderleft:1px solid black; borderright:1px solid black; bordertop:1px solid black; textalign:center; width:90%"  
+  + style="height:30px"  <math>\text{Table 7b.} ~~ \text{Semiotic Partition for Interpreter B}\!</math>  
+   <math>{}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}\!</math>  
+   style="borderleft:1px solid black"  <math>{}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!</math>  
+    
+   <math>{}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!</math>  
+   style="borderleft:1px solid black"  <math>{}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}\!</math>  
+  }  
+  }  
+  
+  <br>  
+  
+  A few items of notation are useful in discussing equivalence relations in general and semiotic equivalence relations in particular.  
+  
+  As a general consideration, if <math>E\!</math> is an equivalence relation on a set <math>X,\!</math> then every element <math>x\!</math> of <math>X\!</math> belongs to a unique equivalence class under <math>E\!</math> called ''the equivalence class of <math>x\!</math> under <math>E\!</math>''. Convention provides the ''square bracket notation'' for denoting this equivalence class, either in the subscripted form <math>[x]_E\!</math> or in the simpler form <math>[x]\!</math> when the subscript <math>E\!</math> is understood. A statement that the elements <math>x\!</math> and <math>y\!</math> are equivalent under <math>E\!</math> is called an ''equation'' or an ''equivalence'' and may be expressed in any of the following ways:  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{array}{clc}  
+  (x, y) & \in & E  
+  \\[4pt]  
+  x & \in & [y]_E  
+  \\[4pt]  
+  y & \in & [x]_E  
+  \\[4pt]  
+  [x]_E & = & [y]_E  
+  \\[4pt]  
+  x & =_E & y  
+  \end{array}</math>  
+  }  
+  
+  Thus we have the following definitions:  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{array}{ccc}  
+  [x]_E & = & \{ y \in X : (x, y) \in E \}  
+  \\[6pt]  
+  x =_E y & \Leftrightarrow & (x, y) \in E  
+  \end{array}</math>  
+  }  
+  
+  In the application to sign relations it is useful to extend the square bracket notation in the following ways. If <math>L\!</math> is a sign relation whose connotative component or syntactic projection <math>L_{SI}\!</math> is an equivalence relation on <math>S = I,\!</math> let <math>[s]_L\!</math> be the equivalence class of <math>s\!</math> under <math>L_{SI}.\!</math> That is to say, <math>[s]_L = [s]_{L_{SI}}.\!</math> A statement that the signs <math>x\!</math> and <math>y\!</math> are equivalent under a semiotic equivalence relation <math>L_{SI}\!</math> is called a ''semiotic equation'' (SEQ) and may be written in either of the following equivalent forms:  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{array}{clc}  
+  [x]_L & = & [y]_L  
+  \\[6pt]  
+  x & =_L & y  
+  \end{array}</math>  
+  }  
+  
+  In many situations there is one further adaptation of the square bracket notation for semiotic equivalence classes that can be useful. Namely, when there is known to exist a particular triple <math>(o, s, i)\!</math> in a sign relation <math>L,\!</math> it is permissible to let <math>[o]_L\!</math> be defined as <math>[s]_L.\!</math> These modifications are designed to make the notation for semiotic equivalence classes harmonize as well as possible with the frequent use of similar devices for the denotations of signs and expressions.  
+  
+  The semiotic equivalence relation for interpreter <math>\mathrm{A}\!</math> yields the following semiotic equations:  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{matrix}  
+  [ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} ]_{L_\mathrm{A}}  
+  & = &  
+  [ {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} ]_{L_\mathrm{A}}  
+  \\[6pt]  
+  [ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} ]_{L_\mathrm{A}}  
+  & = &  
+  [ {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} ]_{L_\mathrm{A}}  
+  \end{matrix}</math>  
+  }  
+  
+  or  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  & =_{L_\mathrm{A}} &  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \\[6pt]  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  & =_{L_\mathrm{A}} &  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \end{matrix}</math>  
+  }  
+  
+  Thus it induces the semiotic partition:  
+  
+  { align="center" cellpadding="12" style="textalign:center; width:100%"  
+   <math>\{ \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}, \{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \}.\!</math>  
+  }  
+  
+  The semiotic equivalence relation for interpreter <math>\mathrm{B}\!</math> yields the following semiotic equations:  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{matrix}  
+  [ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} ]_{L_\mathrm{B}}  
+  & = &  
+  [ {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} ]_{L_\mathrm{B}}  
+  \\[6pt]  
+  [ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} ]_{L_\mathrm{B}}  
+  & = &  
+  [ {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} ]_{L_\mathrm{B}}  
+  \end{matrix}</math>  
+  }  
+  
+  or  
+  
+  { align="center" style="textalign:center; width:100%"  
+    
+  <math>\begin{matrix}  
+  {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}  
+  & =_{L_\mathrm{B}} &  
+  {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}  
+  \\[6pt]  
+  {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}  
+  & =_{L_\mathrm{B}} &  
+  {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}  
+  \end{matrix}</math>  
+  }  
+  
+  Thus it induces the semiotic partition:  
+  
+  { align="center" cellpadding="12" style="textalign:center; width:100%"  
+   <math>\{ \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}, \{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \} \}.\!</math>  
+  }  
+  
+  ==Graphical representations==  
+  
+  The dyadic components of sign relations can be given graphtheoretic representations, as ''digraphs'' (or ''directed graphs''), that provide concise pictures of their structural and potential dynamic properties.  
+  
+  By way of terminology, a directed edge <math>(x, y)\!</math> is called an ''arc'' from point <math>x\!</math> to point <math>y,\!</math> and a selfloop <math>(x, x)\!</math> is called a ''sling'' at <math>x.\!</math>  
+  
+  The denotative components <math>\mathrm{Den}(L_\mathrm{A})\!</math> and <math>\mathrm{Den}(L_\mathrm{B})\!</math> can be represented as digraphs on the six points of their common world set <math>W = O \cup S \cup I =\!</math> <math>\{ \mathrm{A}, \mathrm{B}, {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!</math> The arcs are given as follows:  
+  
+  { align="center" cellspacing="6" width="90%"  
+    
+  <p><math>\mathrm{Den}(L_\mathrm{A})\!</math> has an arc from each point of <math>\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}\!</math> to <math>\mathrm{A}\!</math> and an arc from each point of <math>\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}\!</math> to <math>\mathrm{B}.\!</math></p>  
+    
+    
+  <p><math>\mathrm{Den}(L_\mathrm{B})\!</math> has an arc from each point of <math>\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}\!</math> to <math>\mathrm{A}\!</math> and an arc from each point of <math>\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}\!</math> to <math>\mathrm{B}.\!</math></p>  
+  }  
+  
+  <math>\mathrm{Den}(L_\mathrm{A})\!</math> and <math>\mathrm{Den}(L_\mathrm{B})\!</math> can be interpreted as ''transition digraphs'' that chart the succession of steps or the connection of states in a computational process. If the graphs are read this way, the denotational arcs summarize the ''upshots'' of the computations that are involved when the interpreters <math>\mathrm{A}\!</math> and <math>\mathrm{B}\!</math> evaluate the signs in <math>S\!</math> according to their own frames of reference.  
+  
+  The connotative components <math>\mathrm{Con}(L_\mathrm{A})\!</math> and <math>\mathrm{Con}(L_\mathrm{B})\!</math> can be represented as digraphs on the four points of their common syntactic domain <math>S = I =\!</math> <math>\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!</math> Since <math>\mathrm{Con}(L_\mathrm{A})\!</math> and <math>\mathrm{Con}(L_\mathrm{B})\!</math> are semiotic equivalence relations, their digraphs conform to the pattern that is manifested by all digraphs of equivalence relations. In general, a digraph of an equivalence relation falls into connected components that correspond to the parts of the associated partition, with a complete digraph on the points of each part, and no other arcs. In the present case, the arcs are given as follows:  
+  
+  { align="center" cellspacing="6" width="90%"  
+    
+  <p><math>\mathrm{Con}(L_\mathrm{A})\!</math> has the structure of a semiotic equivalence relation on <math>S,\!</math> with a sling at each point of <math>S,\!</math> arcs in both directions between the points of <math>\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \},\!</math> and arcs in both directions between the points of <math>\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!</math></p>  
+    
+    
+  <p><math>\mathrm{Con}(L_\mathrm{B})\!</math> has the structure of a semiotic equivalence relation on <math>S,\!</math> with a sling at each point of <math>S,\!</math> arcs in both directions between the points of <math>\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \},\!</math> and arcs in both directions between the points of <math>\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}.\!</math></p>  
+  }  
+  
+  Taken as transition digraphs, <math>\mathrm{Con}(L_\mathrm{A})\!</math> and <math>\mathrm{Con}(L_\mathrm{B})\!</math> highlight the associations that are permitted between equivalent signs, as this equivalence is judged by the interpreters <math>\mathrm{A}\!</math> and <math>\mathrm{B},\!</math> respectively.  
==Six ways of looking at a sign relation==  ==Six ways of looking at a sign relation==  
Line 345:  Line 713:  
In the context of 3adic relations in general, Peirce provides the following illustration of the six ''converses'' of a 3adic relation, that is, the six differently ordered ways of stating what is logically the same 3adic relation:  In the context of 3adic relations in general, Peirce provides the following illustration of the six ''converses'' of a 3adic relation, that is, the six differently ordered ways of stating what is logically the same 3adic relation:  
−  : So in a triadic fact, say,  +  : So in a triadic fact, say, for example <br> 
{ align="center" cellspacing="8" style="width:72%"  { align="center" cellspacing="8" style="width:72%"  
 align="center"  ''A'' gives ''B'' to ''C''   align="center"  ''A'' gives ''B'' to ''C''  
}  }  
−  : we make no distinction in the ordinary logic of relations between the ''  +  : we make no distinction in the ordinary logic of relations between the ''subject nominative'', the ''direct object'', and the ''indirect object''. We say that the proposition has three ''logical subjects''. We regard it as a mere affair of English grammar that there are six ways of expressing this: <br> 
{ align="center" cellspacing="8" style="width:72%"  { align="center" cellspacing="8" style="width:72%"  
 style="width:36%"  ''A'' gives ''B'' to ''C''   style="width:36%"  ''A'' gives ''B'' to ''C''  
Line 360:  Line 728:  
 ''B'' leaves ''A'' for ''C''   ''B'' leaves ''A'' for ''C''  
}  }  
−  : These six sentences express one and the same indivisible phenomenon. (C.S. Peirce,  +  : These six sentences express one and the same indivisible phenomenon. (C.S. Peirce, “The Categories Defended”, MS 308 (1903), EP 2, 170–171). 
===IOS===  ===IOS===  
Line 372:  Line 740:  
===OIS===  ===OIS===  
−  <  +  { align="center" cellpadding="6" width="90%" 
−  Words spoken are symbols or signs (σύμβολα) of affections or impressions (παθήματα) of the soul (ψυχή); written words are the signs of words spoken. As writing, so also is speech not the same for all races of men. But the mental affections themselves, of which these words are primarily signs (σημεια), are the same for the whole of mankind, as are also the objects (πράγματα) of which those affections are representations or likenesses, images, copies (ομοιώματα). (  +   
−  </  +  <p>Words spoken are symbols or signs (σύμβολα) of affections or impressions (παθήματα) of the soul (ψυχή); written words are the signs of words spoken. As writing, so also is speech not the same for all races of men. But the mental affections themselves, of which these words are primarily signs (σημεια), are the same for the whole of mankind, as are also the objects (πράγματα) of which those affections are representations or likenesses, images, copies (ομοιώματα). (Aristotle, ''De Interpretatione'', 1.16<sup>a</sup>4).</p> 
+  }  
===OSI===  ===OSI===  
Line 382:  Line 751:  
===SIO===  ===SIO===  
−  <  +  { align="center" cellpadding="6" width="90%" 
−  Logic will here be defined as ''formal semiotic''. A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time. Namely, a sign is something, ''A'', which brings something, ''B'', its ''interpretant'' sign determined or created by it, into the same sort of correspondence with something, ''C'', its ''object'', as that in which itself stands to ''C''. It is from this definition, together with a definition of  +   
−  </  +  <p>Logic will here be defined as ''formal semiotic''. A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time. Namely, a sign is something, ''A'', which brings something, ''B'', its ''interpretant'' sign determined or created by it, into the same sort of correspondence with something, ''C'', its ''object'', as that in which itself stands to ''C''. It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic. I also make a historical review of all the definitions and conceptions of logic, and show, not merely that my definition is no novelty, but that my nonpsychological conception of logic has ''virtually'' been quite generally held, though not generally recognized. (C.S. Peirce, “Application to the Carnegie Institution”, L75 (1902), NEM 4, 20–21).</p> 
+  }  
===SOI===  ===SOI===  
−  <  +  { align="center" cellpadding="6" width="90%" 
−  A ''Sign'' is anything which is related to a Second thing, its ''Object'', in respect to a Quality, in such a way as to bring a Third thing, its ''Interpretant'', into relation to the same Object, and that in such a way as to bring a Fourth into relation to that Object in the same form, ''ad infinitum''. (CP 2.92  +   
−  </  +  <p>A ''Sign'' is anything which is related to a Second thing, its ''Object'', in respect to a Quality, in such a way as to bring a Third thing, its ''Interpretant'', into relation to the same Object, and that in such a way as to bring a Fourth into relation to that Object in the same form, ''ad infinitum''. (CP 2.92, quoted in Fisch 1986, p. 274)</p> 
+  }  
==References==  ==References==  
+  
==Bibliography==  ==Bibliography==  
+  
===Primary sources===  ===Primary sources===  
+  
* [[Charles Sanders Peirce (Bibliography)]]  * [[Charles Sanders Peirce (Bibliography)]]  
===Secondary sources===  ===Secondary sources===  
−  * Awbrey,  +  * Awbrey, J.L., and Awbrey, S.M. (Autumn 1995), “Interpretation as Action : The Risk of Inquiry”, ''Inquiry : Critical Thinking Across the Disciplines'' 15(1), pp. 40–52. [https://web.archive.org/web/19970626071826/http://chss.montclair.edu/inquiry/fall95/awbrey.html Archive]. [https://www.pdcnet.org/inquiryct/content/inquiryct_1995_0015_0001_0040_0052 Journal]. [https://independent.academia.edu/JonAwbrey/Papers/1302117/Interpretation_as_Action_The_Risk_of_Inquiry Online]. 
* Deledalle, Gérard (2000), ''C.S. Peirce's Philosophy of Signs'', Indiana University Press, Bloomington, IN.  * Deledalle, Gérard (2000), ''C.S. Peirce's Philosophy of Signs'', Indiana University Press, Bloomington, IN.  
−  * Eisele, Carolyn (1979), in ''Studies in the Scientific and Mathematical Philosophy of C.S. Peirce'',  +  * Eisele, Carolyn (1979), in ''Studies in the Scientific and Mathematical Philosophy of C.S. Peirce'', Richard Milton Martin (ed.), Mouton, The Hague. 
−  * Esposito, Joseph (1980), ''Evolutionary Metaphysics:  +  * Esposito, Joseph (1980), ''Evolutionary Metaphysics : The Development of Peirce's Theory of Categories'', Ohio University Press (?). 
* Fisch, Max (1986), ''Peirce, Semeiotic, and Pragmatism'', Indiana University Press, Bloomington, IN.  * Fisch, Max (1986), ''Peirce, Semeiotic, and Pragmatism'', Indiana University Press, Bloomington, IN.  
−  * Houser, N., Roberts, D.D., and Van Evra, J. (eds.  +  * Houser, N., Roberts, D.D., and Van Evra, J. (eds., 1997), ''Studies in the Logic of C.S. Peirce'', Indiana University Press, Bloomington, IN. 
* Liszka, J.J. (1996), ''A General Introduction to the Semeiotic of C.S. Peirce'', Indiana University Press, Bloomington, IN.  * Liszka, J.J. (1996), ''A General Introduction to the Semeiotic of C.S. Peirce'', Indiana University Press, Bloomington, IN.  
−  * Misak, C. (ed.  +  * Misak, C. (ed., 2004), ''Cambridge Companion to C.S. Peirce'', Cambridge University Press. 
* Moore, E., and Robin, R. (1964), ''Studies in the Philosophy of C.S. Peirce, Second Series'', University of Massachusetts Press, Amherst, MA.  * Moore, E., and Robin, R. (1964), ''Studies in the Philosophy of C.S. Peirce, Second Series'', University of Massachusetts Press, Amherst, MA.  
Line 419:  Line 793:  
* Murphey, M. (1961), ''The Development of Peirce's Thought''. Reprinted, Hackett, Indianapolis, IN, 1993.  * Murphey, M. (1961), ''The Development of Peirce's Thought''. Reprinted, Hackett, Indianapolis, IN, 1993.  
−  *  +  * Percy, Walker (2000), pp. 271–291 in ''Signposts in a Strange Land'', P. Samway (ed.), Saint Martin's Press. 
−  ==  +  ==Resources== 
+  
+  * [http://www.helsinki.fi/science/commens/dictionary.html The Commens Dictionary of Peirce's Terms]  
+  ** [http://www.helsinki.fi/science/commens/terms/semeiotic.html Semeiotic, Semiotic, Semeotic, Semeiotics]  
+  * [http://forum.wolframscience.com/archive/ A New Kind Of Science • Forum Archive]  
+  ** [http://forum.wolframscience.com/archive/topic/647.html Excerpts from Peirce on Sign Relations]  
+  
+  ==Syllabus==  
+  
+  ===Focal nodes===  
+  
+  * [[Inquiry Live]]  
+  * [[Logic Live]]  
+  
+  ===Peer nodes===  
+  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Sign_relation Sign Relation @ InterSciWiki]  
+  * [http://mywikibiz.com/Sign_relation Sign Relation @ MyWikiBiz]  
+  * [http://ref.subwiki.org/wiki/Sign_relation Sign Relation @ Subject Wikis]  
+  * [http://en.wikiversity.org/wiki/Sign_relation Sign Relation @ Wikiversity]  
+  * [http://beta.wikiversity.org/wiki/Sign_relation Sign Relation @ Wikiversity Beta]  
+  
+  ===Logical operators===  
+  
+  {{colbegin}}  
+  {{colbreak}}  
+  * [[Exclusive disjunction]]  
+  * [[Logical conjunction]]  
+  * [[Logical disjunction]]  
+  * [[Logical equality]]  
+  {{colbreak}}  
+  * [[Logical implication]]  
+  * [[Logical NAND]]  
+  * [[Logical NNOR]]  
+  * [[Logical negationNegation]]  
+  {{colend}}  
+  
+  ===Related topics===  
+  
+  {{colbegin}}  
+  {{colbreak}}  
+  * [[Ampheck]]  
+  * [[Boolean domain]]  
+  * [[Boolean function]]  
+  * [[Booleanvalued function]]  
+  * [[Differential logic]]  
+  {{colbreak}}  
+  * [[Logical graph]]  
+  * [[Minimal negation operator]]  
+  * [[Multigrade operator]]  
+  * [[Parametric operator]]  
+  * [[Peirce's law]]  
+  {{colbreak}}  
+  * [[Propositional calculus]]  
+  * [[Sole sufficient operator]]  
+  * [[Truth table]]  
+  * [[Universe of discourse]]  
+  * [[Zeroth order logic]]  
+  {{colend}}  
+  
+  ===Relational concepts===  
+  
+  {{colbegin}}  
+  {{colbreak}}  
+  * [[Continuous predicate]]  
+  * [[Hypostatic abstraction]]  
+  * [[Logic of relatives]]  
+  * [[Logical matrix]]  
+  {{colbreak}}  
+  * [[Relation (mathematics)Relation]]  
+  * [[Relation composition]]  
+  * [[Relation construction]]  
+  * [[Relation reduction]]  
+  {{colbreak}}  
+  * [[Relation theory]]  
+  * [[Relative term]]  
+  * [[Sign relation]]  
+  * [[Triadic relation]]  
+  {{colend}}  
+  
+  ===Information, Inquiry===  
{{colbegin}}  {{colbegin}}  
{{colbreak}}  {{colbreak}}  
−  
−  
−  
−  
−  
* [[Inquiry]]  * [[Inquiry]]  
+  * [[Dynamics of inquiry]]  
+  {{colbreak}}  
+  * [[Semeiotic]]  
* [[Logic of information]]  * [[Logic of information]]  
−  
−  
{{colbreak}}  {{colbreak}}  
−  * [[  +  * [[Descriptive science]] 
* [[Normative science]]  * [[Normative science]]  
−  +  {{colbreak}}  
−  
* [[Pragmatic maxim]]  * [[Pragmatic maxim]]  
−  * [[  +  * [[Truth theory]] 
−  * [[  +  {{colend}} 
−  * [[  +  
−  * [  +  ===Related articles=== 
+  
+  {{colbegin}}  
+  {{colbreak}}  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]  
+  {{colbreak}}  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]  
+  * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]  
{{colbreak}}  {{colbreak}}  
−  * [  +  * [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems] 
−  +  * [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]  
−  +  * [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]  
−  
−  
−  * [  
−  * [  
−  
−  
{{colend}}  {{colend}}  
−  ==  +  ==Document history== 
−  +  Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.  
−  
−  +  * [http://intersci.ss.uci.edu/wiki/index.php/Sign_relation Sign Relation], [http://intersci.ss.uci.edu/ InterSciWiki]  
+  * [http://mywikibiz.com/Sign_relation Sign Relation], [http://mywikibiz.com/ MyWikiBiz]  
+  * [http://planetmath.org/SignRelation Sign Relation], [http://planetmath.org/ PlanetMath]  
+  * [http://wikinfo.org/w/index.php/Sign_relation Sign Relation], [http://wikinfo.org/w/ Wikinfo]  
+  * [http://en.wikiversity.org/wiki/Sign_relation Sign Relation], [http://en.wikiversity.org/ Wikiversity]  
+  * [http://beta.wikiversity.org/wiki/Sign_relation Sign Relation], [http://beta.wikiversity.org/ Wikiversity Beta]  
+  * [http://en.wikipedia.org/w/index.php?title=Sign_relation&oldid=161631069 Sign Relation], [http://en.wikipedia.org/ Wikipedia]  
[[Category:Artificial Intelligence]]  [[Category:Artificial Intelligence]]  
+  [[Category:Charles Sanders Peirce]]  
[[Category:Cognitive Sciences]]  [[Category:Cognitive Sciences]]  
+  [[Category:Computer Science]]  
[[Category:Formal Sciences]]  [[Category:Formal Sciences]]  
[[Category:Hermeneutics]]  [[Category:Hermeneutics]]  
Line 474:  Line 934:  
[[Category:Linguistics]]  [[Category:Linguistics]]  
[[Category:Logic]]  [[Category:Logic]]  
+  [[Category:Mathematics]]  
[[Category:Philosophy]]  [[Category:Philosophy]]  
[[Category:Pragmatics]]  [[Category:Pragmatics]]  
+  [[Category:Pragmatism]]  
+  [[Category:Relation Theory]]  
[[Category:Semantics]]  [[Category:Semantics]]  
[[Category:Semiotics]]  [[Category:Semiotics]]  
[[Category:Syntax]]  [[Category:Syntax]] 
Latest revision as of 03:40, 21 November 2016
☞ This page belongs to resource collections on Logic and Inquiry.
A sign relation is the basic construct in the theory of signs, also known as semeiotic or semiotics, as developed by Charles Sanders Peirce.
Anthesis
Thus, if a sunflower, in turning towards the sun, becomes by that very act fully capable, without further condition, of reproducing a sunflower which turns in precisely corresponding ways toward the sun, and of doing so with the same reproductive power, the sunflower would become a Representamen of the sun. (C.S. Peirce, “Syllabus” (c. 1902), Collected Papers, CP 2.274). 
In his picturesque illustration of a sign relation, along with his tracing of a corresponding sign process, or semiosis, Peirce uses the technical term representamen for his concept of a sign, but the shorter word is precise enough, so long as one recognizes that its meaning in a particular theory of signs is given by a specific definition of what it means to be a sign.
Definition
One of Peirce's clearest and most complete definitions of a sign is one that he gives in the context of providing a definition for logic, and so it is informative to view it in that setting.
Logic will here be defined as formal semiotic. A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time. Namely, a sign is something, A, which brings something, B, its interpretant sign determined or created by it, into the same sort of correspondence with something, C, its object, as that in which itself stands to C. It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic. I also make a historical review of all the definitions and conceptions of logic, and show, not merely that my definition is no novelty, but that my nonpsychological conception of logic has virtually been quite generally held, though not generally recognized. (C.S. Peirce, NEM 4, 20–21). 
In the general discussion of diverse theories of signs, the question frequently arises whether signhood is an absolute, essential, indelible, or ontological property of a thing, or whether it is a relational, interpretive, and mutable role that a thing can be said to have only within a particular context of relationships.
Peirce's definition of a sign defines it in relation to its object and its interpretant sign, and thus it defines signhood in relative terms, by means of a predicate with three places. In this definition, signhood is a role in a triadic relation, a role that a thing bears or plays in a given context of relationships — it is not as an absolute, nonrelative property of a thinginitself, one that it possesses independently of all relationships to other things.
Some of the terms that Peirce uses in his definition of a sign may need to be elaborated for the contemporary reader.
 Correspondence. From the way that Peirce uses this term throughout his work, it is clear that he means what he elsewhere calls a “triple correspondence”, and thus this is just another way of referring to the whole triadic sign relation itself. In particular, his use of this term should not be taken to imply a dyadic correspondence, like the kinds of “mirror image” correspondence between realities and representations that are bandied about in contemporary controversies about “correspondence theories of truth”.
 Determination. Peirce's concept of determination is broader in several directions than the sense of the word that refers to strictly deterministic causaltemporal processes. First, and especially in this context, he is invoking a more general concept of determination, what is called a formal or informational determination, as in saying “two points determine a line”, rather than the more special cases of causal and temporal determinisms. Second, he characteristically allows for what is called determination in measure, that is, an order of determinism that admits a full spectrum of more and less determined relationships.
 Nonpsychological. Peirce's “nonpsychological conception of logic” must be distinguished from any variety of antipsychologism. He was quite interested in matters of psychology and had much of import to say about them. But logic and psychology operate on different planes of study even when they have occasion to view the same data, as logic is a normative science where psychology is a descriptive science, and so they have very different aims, methods, and rationales.
Signs and inquiry
 Main article : Inquiry
There is a close relationship between the pragmatic theory of signs and the pragmatic theory of inquiry. In fact, the correspondence between the two studies exhibits so many congruences and parallels that it is often best to treat them as integral parts of one and the same subject. In a very real sense, inquiry is the process by which sign relations come to be established and continue to evolve. In other words, inquiry, “thinking” in its best sense, “is a term denoting the various ways in which things acquire significance” (John Dewey). Thus, there is an active and intricate form of cooperation that needs to be appreciated and maintained between these converging modes of investigation. Its proper character is best understood by realizing that the theory of inquiry is adapted to study the developmental aspects of sign relations, a subject which the theory of signs is specialized to treat from structural and comparative points of view.
Examples of sign relations
Because the examples to follow have been artificially constructed to be as simple as possible, their detailed elaboration can run the risk of trivializing the whole theory of sign relations. Despite their simplicity, however, these examples have subtleties of their own, and their careful treatment will serve to illustrate many important issues in the general theory of signs.
Imagine a discussion between two people, Ann and Bob, and attend only to that aspect of their interpretive practice that involves the use of the following nouns and pronouns: “Ann”, “Bob”, “I”, “you”.
 The object domain of this discussion fragment is the set of two people \(\{ \text{Ann}, \text{Bob} \}.\!\)
 The syntactic domain or the sign system of their discussion is limited to the set of four signs \(\{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \}.\!\)
In their discussion, Ann and Bob are not only the passive objects of nominative and accusative references but also the active interpreters of the language that they use. The system of interpretation (SOI) associated with each language user can be represented in the form of an individual threeplace relation called the sign relation of that interpreter.
Understood in terms of its settheoretic extension, a sign relation \(L\!\) is a subset of a cartesian product \(O \times S \times I.\!\) Here, \(O, S, I\!\) are three sets that are known as the object domain, the sign domain, and the interpretant domain, respectively, of the sign relation \(L \subseteq O \times S \times I.\!\)
Broadly speaking, the three domains of a sign relation can be any sets whatsoever, but the kinds of sign relations typically contemplated in formal settings are usually constrained to having \(I \subseteq S\!\). In this case interpretants are just a special variety of signs and this makes it convenient to lump signs and interpretants together into a single class called the syntactic domain. In the forthcoming examples \(S\!\) and \(I\!\) are identical as sets, so the same elements manifest themselves in two different roles of the sign relations in question. When it is necessary to refer to the whole set of objects and signs in the union of the domains \(O, S, I\!\) for a given sign relation \(L,\!\) one may refer to this set as the World of \(L\!\) and write \(W = W_L = O \cup S \cup I.\!\)
To facilitate an interest in the abstract structures of sign relations, and to keep the notations as brief as possible as the examples become more complicated, it serves to introduce the following general notations:
\(\begin{array}{ccl} O & = & \text{Object Domain} \\[6pt] S & = & \text{Sign Domain} \\[6pt] I & = & \text{Interpretant Domain} \end{array}\) 
Introducing a few abbreviations for use in considering the present Example, we have the following data:
\(\begin{array}{cclcl} O & = & \{ \text{Ann}, \text{Bob} \} & = & \{ \mathrm{A}, \mathrm{B} \} \\[6pt] S & = & \{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \} & = & \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \\[6pt] I & = & \{ {}^{\backprime\backprime} \text{Ann} {}^{\prime\prime}, {}^{\backprime\backprime} \text{Bob} {}^{\prime\prime}, {}^{\backprime\backprime} \text{I} {}^{\prime\prime}, {}^{\backprime\backprime} \text{you} {}^{\prime\prime} \} & = & \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \end{array}\) 
In the present example, \(S = I = \text{Syntactic Domain}\!\).
The next two Tables give the sign relations associated with the interpreters \(\mathrm{A}\!\) and \(\mathrm{B},\!\) respectively, putting them in the form of relational databases. Thus, the rows of each Table list the ordered triples of the form \((o, s, i)\!\) that make up the corresponding sign relations, \(L_\mathrm{A}, L_\mathrm{B} \subseteq O \times S \times I.\!\)


These Tables codify a rudimentary level of interpretive practice for the agents \(\mathrm{A}\!\) and \(\mathrm{B}\!\) and provide a basis for formalizing the initial semantics that is appropriate to their common syntactic domain. Each row of a Table names an object and two coreferent signs, making up an ordered triple of the form \((o, s, i)\!\) called an elementary relation, that is, one element of the relation's settheoretic extension.
Already in this elementary context, there are several different meanings that might attach to the project of a formal semiotics, or a formal theory of meaning for signs. 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
For an arbitrary triadic relation \(L \subseteq O \times S \times I,\!\) whether it is a sign relation or not, there are six dyadic relations that can be obtained by projecting \(L\!\) on one of the planes of the \(OSI\!\)space \(O \times S \times I.\!\) The six dyadic projections of a triadic relation \(L\!\) are defined and notated as follows:
\(\begin{matrix} L_{OS} & = & \mathrm{proj}_{OS}(L) & = & \{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \} \\[6pt] L_{SO} & = & \mathrm{proj}_{SO}(L) & = & \{ (s, o) \in S \times O ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \} \\[6pt] L_{IS} & = & \mathrm{proj}_{IS}(L) & = & \{ (i, s) \in I \times S ~:~ (o, s, i) \in L ~\text{for some}~ o \in O \} \\[6pt] L_{SI} & = & \mathrm{proj}_{SI}(L) & = & \{ (s, i) \in S \times I ~:~ (o, s, i) \in L ~\text{for some}~ o \in O \} \\[6pt] L_{OI} & = & \mathrm{proj}_{OI}(L) & = & \{ (o, i) \in O \times I ~:~ (o, s, i) \in L ~\text{for some}~ s \in S \} \\[6pt] L_{IO} & = & \mathrm{proj}_{IO}(L) & = & \{ (i, o) \in I \times O ~:~ (o, s, i) \in L ~\text{for some}~ s \in S \} \end{matrix}\) 
By way of unpacking the settheoretic notation, here is what the first definition says in ordinary language.
The dyadic relation that results from the projection of \(L\!\) on the \(OS\!\)plane \(O \times S\!\) is written briefly as \(L_{OS}\!\) or written more fully as \(\mathrm{proj}_{OS}(L),\!\) and it is defined as the set of all ordered pairs \((o, s)\!\) in the cartesian product \(O \times S\!\) for which there exists an ordered triple \((o, s, i)\!\) in \(L\!\) for some interpretant \(i\!\) in the interpretant domain \(I.\!\) 
In the case where \(L\!\) is a sign relation, which it becomes by satisfying one of the definitions of a sign relation, some of the dyadic aspects of \(L\!\) can be recognized as formalizing aspects of sign meaning that have received their share of attention from students of signs over the centuries, and thus they can be associated with traditional concepts and terminology. Of course, traditions may vary as to the precise formation and usage of such concepts and terms. Other aspects of meaning have not received their fair share of attention, and thus remain anonymous on the contemporary scene of sign studies.
Denotation
One aspect of a sign's complete meaning is concerned with the reference that a sign has to its objects, which objects are collectively known as the denotation of the sign. In the pragmatic theory of sign relations, denotative references fall within the projection of the sign relation on the plane that is spanned by its object domain and its sign domain.
The dyadic relation that makes up the denotative, referential, or semantic aspect or component of a sign relation \(L\!\) is notated as \(\mathrm{Den}(L).\!\) Information about the denotative aspect of meaning is obtained from \(L\!\) by taking its projection on the objectsign plane, in other words, on the 2dimensional space that is generated by the object domain \(O\!\) and the sign domain \(S.\!\) This component of a sign relation \(L\!\) can be written in any of the forms, \(\mathrm{proj}_{OS} L,\!\) \(L_{OS},\!\) \(\mathrm{proj}_{12} L,\!\) \(L_{12},\!\) and it is defined as follows:
\(\begin{matrix} \mathrm{Den}(L) & = & \mathrm{proj}_{OS} L & = & \{ (o, s) \in O \times S ~:~ (o, s, i) \in L ~\text{for some}~ i \in I \}. \end{matrix}\) 
Looking to the denotative aspects of \(L_\mathrm{A}\!\) and \(L_\mathrm{B},\!\) various rows of the Tables specify, for example, that \(\mathrm{A}\!\) uses \({}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!\) to denote \(\mathrm{A}\!\) and \({}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!\) to denote \(\mathrm{B},\!\) whereas \(\mathrm{B}\!\) uses \({}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}\!\) to denote \(\mathrm{B}\!\) and \({}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime}\!\) to denote \(\mathrm{A}.\!\) All of these denotative references are summed up in the projections on the \(OS\!\)plane, as shown in the following Tables:


Connotation
Another aspect of meaning concerns the connection that a sign has to its interpretants within a given sign relation. As before, this type of connection can be vacuous, singular, or plural in its collection of terminal points, and it can be formalized as the dyadic relation that is obtained as a planar projection of the triadic sign relation in question.
The connection that a sign makes to an interpretant is here referred to as its connotation. In the full theory of sign relations, this aspect of meaning includes the links that a sign has to affects, concepts, ideas, impressions, intentions, and the whole realm of an agent's mental states and allied activities, broadly encompassing intellectual associations, emotional impressions, motivational impulses, and real conduct. 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. For a given sign relation \(L,\!\) the dyadic relation that constitutes the connotative aspect or connotative component of \(L\!\) is notated as \(\mathrm{Con}(L).\!\)
The connotative aspect of a sign relation \(L\!\) is given by its projection on the plane of signs and interpretants, and is therefore defined as follows:
\(\begin{matrix} \mathrm{Con}(L) & = & \mathrm{proj}_{SI} L & = & \{ (s, i) \in S \times I ~:~ (o, s, i) \in L ~\text{for some}~ o \in O \}. \end{matrix}\) 
All of these connotative references are summed up in the projections on the \(SI\!\)plane, as shown in the following Tables:


Ennotation
The aspect of a sign's meaning that arises from the dyadic relation of its objects to its interpretants has no standard name. If an interpretant is considered to be 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. Denotation and connotation have to do with dyadic relations in which the sign plays an active role, but here we have to consider a dyadic relation between objects and interpretants that is mediated by the sign from an offstage position, as it were. As a relation between objects and interpretants that is mediated by a sign, this aspect of meaning may be referred to as the ennotation of a sign, and the dyadic relation that constitutes the ennotative aspect of a sign relation \(L\!\) may be notated as \(\mathrm{Enn}(L).\!\)
The ennotational component of meaning for a sign relation \(L\!\) is captured by its projection on the plane of the object and interpretant domains, and it is thus defined as follows:
\(\begin{matrix} \mathrm{Enn}(L) & = & \mathrm{proj}_{OI} L & = & \{ (o, i) \in O \times I ~:~ (o, s, i) \in L ~\text{for some}~ s \in S \}. \end{matrix}\) 
As it happens, the sign relations \(L_\mathrm{A}\!\) and \(L_\mathrm{B}\!\) are fully symmetric with respect to exchanging signs and interpretants, so all the data of \(\mathrm{proj}_{OS} L_\mathrm{A}\!\) is echoed unchanged in \(\mathrm{proj}_{OI} L_\mathrm{A}\!\) and all the data of \(\mathrm{proj}_{OS} L_\mathrm{B}\!\) is echoed unchanged in \(\mathrm{proj}_{OI} L_\mathrm{B}.\!\)


Semiotic equivalence relations
A semiotic equivalence relation (SER) is a special type of equivalence relation that arises in the analysis of sign relations. As a general rule, any equivalence relation is closely associated with a family of equivalence classes that partition the underlying set of elements, frequently called the domain or space of the relation. In the case of a SER, the equivalence classes are called semiotic equivalence classes (SECs) and the partition is called a semiotic partition (SEP).
The sign relations \(L_\mathrm{A}\!\) and \(L_\mathrm{B}\!\) have many interesting properties that are not possessed by sign relations in general. Some of these properties have to do with the relation between signs and their interpretant signs, as reflected in the projections of \(L_\mathrm{A}\!\) and \(L_\mathrm{B}\!\) on the \(SI\!\)plane, notated as \(\mathrm{proj}_{SI} L_\mathrm{A}\!\) and \(\mathrm{proj}_{SI} L_\mathrm{B},\!\) respectively. The 2adic relations on \(S \times I\!\) induced by these projections are also referred to as the connotative components of the corresponding sign relations, notated as \(\mathrm{Con}(L_\mathrm{A})\!\) and \(\mathrm{Con}(L_\mathrm{B}),\!\) respectively. Tables 6a and 6b show the corresponding connotative components.


One nice property possessed by the sign relations \(L_\mathrm{A}\!\) and \(L_\mathrm{B}\!\) is that their connotative components \(\mathrm{Con}(L_\mathrm{A})\!\) and \(\mathrm{Con}(L_\mathrm{B})\!\) form a pair of equivalence relations on their common syntactic domain \(S = I.\!\) It is convenient to refer to such a structure as a semiotic equivalence relation (SER) since it equates signs that mean the same thing to some interpreter. Each of the SERs, \(\mathrm{Con}(L_\mathrm{A}), \mathrm{Con}(L_\mathrm{B}) \subseteq S \times I \cong S \times S\!\) partitions the whole collection of signs into semiotic equivalence classes (SECs). This makes for a strong form of representation in that the structure of the interpreters' common object domain \(\{ \mathrm{A}, \mathrm{B} \}\!\) is reflected or reconstructed, part for part, in the structure of each of their semiotic partitions (SEPs) of the syntactic domain \(\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!\) But it needs to be observed that the semiotic partitions for interpreters \(\mathrm{A}\!\) and \(\mathrm{B}\!\) are not the same, indeed, they are orthogonal to each other. This makes it difficult to interpret either one of the partitions or equivalence relations on the syntactic domain as corresponding to any sort of objective structure or invariant reality, independent of the individual interpreter's point of view.
Information about the contrasting patterns of semiotic equivalence induced by the interpreters \(\mathrm{A}\!\) and \(\mathrm{B}\!\) is summarized in Tables 7a and 7b. The form of these Tables should suffice to explain what is meant by saying that the SEPs for \(\mathrm{A}\!\) and \(\mathrm{B}\!\) are orthogonal to each other.


A few items of notation are useful in discussing equivalence relations in general and semiotic equivalence relations in particular.
As a general consideration, if \(E\!\) is an equivalence relation on a set \(X,\!\) then every element \(x\!\) of \(X\!\) belongs to a unique equivalence class under \(E\!\) called the equivalence class of \(x\!\) under \(E\!\). Convention provides the square bracket notation for denoting this equivalence class, either in the subscripted form \([x]_E\!\) or in the simpler form \([x]\!\) when the subscript \(E\!\) is understood. A statement that the elements \(x\!\) and \(y\!\) are equivalent under \(E\!\) is called an equation or an equivalence and may be expressed in any of the following ways:
\(\begin{array}{clc} (x, y) & \in & E \\[4pt] x & \in & [y]_E \\[4pt] y & \in & [x]_E \\[4pt] [x]_E & = & [y]_E \\[4pt] x & =_E & y \end{array}\) 
Thus we have the following definitions:
\(\begin{array}{ccc} [x]_E & = & \{ y \in X : (x, y) \in E \} \\[6pt] x =_E y & \Leftrightarrow & (x, y) \in E \end{array}\) 
In the application to sign relations it is useful to extend the square bracket notation in the following ways. If \(L\!\) is a sign relation whose connotative component or syntactic projection \(L_{SI}\!\) is an equivalence relation on \(S = I,\!\) let \([s]_L\!\) be the equivalence class of \(s\!\) under \(L_{SI}.\!\) That is to say, \([s]_L = [s]_{L_{SI}}.\!\) A statement that the signs \(x\!\) and \(y\!\) are equivalent under a semiotic equivalence relation \(L_{SI}\!\) is called a semiotic equation (SEQ) and may be written in either of the following equivalent forms:
\(\begin{array}{clc} [x]_L & = & [y]_L \\[6pt] x & =_L & y \end{array}\) 
In many situations there is one further adaptation of the square bracket notation for semiotic equivalence classes that can be useful. Namely, when there is known to exist a particular triple \((o, s, i)\!\) in a sign relation \(L,\!\) it is permissible to let \([o]_L\!\) be defined as \([s]_L.\!\) These modifications are designed to make the notation for semiotic equivalence classes harmonize as well as possible with the frequent use of similar devices for the denotations of signs and expressions.
The semiotic equivalence relation for interpreter \(\mathrm{A}\!\) yields the following semiotic equations:
\(\begin{matrix} [ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} ]_{L_\mathrm{A}} & = & [ {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} ]_{L_\mathrm{A}} \\[6pt] [ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} ]_{L_\mathrm{A}} & = & [ {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} ]_{L_\mathrm{A}} \end{matrix}\) 
or
\(\begin{matrix} {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} & =_{L_\mathrm{A}} & {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \\[6pt] {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} & =_{L_\mathrm{A}} & {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \end{matrix}\) 
Thus it induces the semiotic partition:
\(\{ \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}, \{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \} \}.\!\) 
The semiotic equivalence relation for interpreter \(\mathrm{B}\!\) yields the following semiotic equations:
\(\begin{matrix} [ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} ]_{L_\mathrm{B}} & = & [ {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} ]_{L_\mathrm{B}} \\[6pt] [ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} ]_{L_\mathrm{B}} & = & [ {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} ]_{L_\mathrm{B}} \end{matrix}\) 
or
\(\begin{matrix} {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime} & =_{L_\mathrm{B}} & {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \\[6pt] {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime} & =_{L_\mathrm{B}} & {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \end{matrix}\) 
Thus it induces the semiotic partition:
\(\{ \{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}, \{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \} \}.\!\) 
Graphical representations
The dyadic components of sign relations can be given graphtheoretic representations, as digraphs (or directed graphs), that provide concise pictures of their structural and potential dynamic properties.
By way of terminology, a directed edge \((x, y)\!\) is called an arc from point \(x\!\) to point \(y,\!\) and a selfloop \((x, x)\!\) is called a sling at \(x.\!\)
The denotative components \(\mathrm{Den}(L_\mathrm{A})\!\) and \(\mathrm{Den}(L_\mathrm{B})\!\) can be represented as digraphs on the six points of their common world set \(W = O \cup S \cup I =\!\) \(\{ \mathrm{A}, \mathrm{B}, {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!\) The arcs are given as follows:
\(\mathrm{Den}(L_\mathrm{A})\!\) has an arc from each point of \(\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}\!\) to \(\mathrm{A}\!\) and an arc from each point of \(\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}\!\) to \(\mathrm{B}.\!\) 
\(\mathrm{Den}(L_\mathrm{B})\!\) has an arc from each point of \(\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}\!\) to \(\mathrm{A}\!\) and an arc from each point of \(\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}\!\) to \(\mathrm{B}.\!\) 
\(\mathrm{Den}(L_\mathrm{A})\!\) and \(\mathrm{Den}(L_\mathrm{B})\!\) can be interpreted as transition digraphs that chart the succession of steps or the connection of states in a computational process. If the graphs are read this way, the denotational arcs summarize the upshots of the computations that are involved when the interpreters \(\mathrm{A}\!\) and \(\mathrm{B}\!\) evaluate the signs in \(S\!\) according to their own frames of reference.
The connotative components \(\mathrm{Con}(L_\mathrm{A})\!\) and \(\mathrm{Con}(L_\mathrm{B})\!\) can be represented as digraphs on the four points of their common syntactic domain \(S = I =\!\) \(\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!\) Since \(\mathrm{Con}(L_\mathrm{A})\!\) and \(\mathrm{Con}(L_\mathrm{B})\!\) are semiotic equivalence relations, their digraphs conform to the pattern that is manifested by all digraphs of equivalence relations. In general, a digraph of an equivalence relation falls into connected components that correspond to the parts of the associated partition, with a complete digraph on the points of each part, and no other arcs. In the present case, the arcs are given as follows:
\(\mathrm{Con}(L_\mathrm{A})\!\) has the structure of a semiotic equivalence relation on \(S,\!\) with a sling at each point of \(S,\!\) arcs in both directions between the points of \(\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \},\!\) and arcs in both directions between the points of \(\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \}.\!\) 
\(\mathrm{Con}(L_\mathrm{B})\!\) has the structure of a semiotic equivalence relation on \(S,\!\) with a sling at each point of \(S,\!\) arcs in both directions between the points of \(\{ {}^{\backprime\backprime} \mathrm{A} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{u} {}^{\prime\prime} \},\!\) and arcs in both directions between the points of \(\{ {}^{\backprime\backprime} \mathrm{B} {}^{\prime\prime}, {}^{\backprime\backprime} \mathrm{i} {}^{\prime\prime} \}.\!\) 
Taken as transition digraphs, \(\mathrm{Con}(L_\mathrm{A})\!\) and \(\mathrm{Con}(L_\mathrm{B})\!\) highlight the associations that are permitted between equivalent signs, as this equivalence is judged by the interpreters \(\mathrm{A}\!\) and \(\mathrm{B},\!\) respectively.
Six ways of looking at a sign relation
In the context of 3adic relations in general, Peirce provides the following illustration of the six converses of a 3adic relation, that is, the six differently ordered ways of stating what is logically the same 3adic relation:
 So in a triadic fact, say, for example
A gives B to C 
 we make no distinction in the ordinary logic of relations between the subject nominative, the direct object, and the indirect object. We say that the proposition has three logical subjects. We regard it as a mere affair of English grammar that there are six ways of expressing this:
A gives B to C  A benefits C with B 
B enriches C at expense of A  C receives B from A 
C thanks A for B  B leaves A for C 
 These six sentences express one and the same indivisible phenomenon. (C.S. Peirce, “The Categories Defended”, MS 308 (1903), EP 2, 170–171).
IOS
(Text in Progress)
ISO
(Text in Progress)
OIS
Words spoken are symbols or signs (σύμβολα) of affections or impressions (παθήματα) of the soul (ψυχή); written words are the signs of words spoken. As writing, so also is speech not the same for all races of men. But the mental affections themselves, of which these words are primarily signs (σημεια), are the same for the whole of mankind, as are also the objects (πράγματα) of which those affections are representations or likenesses, images, copies (ομοιώματα). (Aristotle, De Interpretatione, 1.16^{a}4). 
OSI
(Text in Progress)
SIO
Logic will here be defined as formal semiotic. A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time. Namely, a sign is something, A, which brings something, B, its interpretant sign determined or created by it, into the same sort of correspondence with something, C, its object, as that in which itself stands to C. It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic. I also make a historical review of all the definitions and conceptions of logic, and show, not merely that my definition is no novelty, but that my nonpsychological conception of logic has virtually been quite generally held, though not generally recognized. (C.S. Peirce, “Application to the Carnegie Institution”, L75 (1902), NEM 4, 20–21). 
SOI
A Sign is anything which is related to a Second thing, its Object, in respect to a Quality, in such a way as to bring a Third thing, its Interpretant, into relation to the same Object, and that in such a way as to bring a Fourth into relation to that Object in the same form, ad infinitum. (CP 2.92, quoted in Fisch 1986, p. 274) 
References
Bibliography
Primary sources
Secondary sources
 Awbrey, J.L., and Awbrey, S.M. (Autumn 1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), pp. 40–52. Archive. Journal. Online.
 Deledalle, Gérard (2000), C.S. Peirce's Philosophy of Signs, Indiana University Press, Bloomington, IN.
 Eisele, Carolyn (1979), in Studies in the Scientific and Mathematical Philosophy of C.S. Peirce, Richard Milton Martin (ed.), Mouton, The Hague.
 Esposito, Joseph (1980), Evolutionary Metaphysics : The Development of Peirce's Theory of Categories, Ohio University Press (?).
 Fisch, Max (1986), Peirce, Semeiotic, and Pragmatism, Indiana University Press, Bloomington, IN.
 Houser, N., Roberts, D.D., and Van Evra, J. (eds., 1997), Studies in the Logic of C.S. Peirce, Indiana University Press, Bloomington, IN.
 Liszka, J.J. (1996), A General Introduction to the Semeiotic of C.S. Peirce, Indiana University Press, Bloomington, IN.
 Misak, C. (ed., 2004), Cambridge Companion to C.S. Peirce, Cambridge University Press.
 Moore, E., and Robin, R. (1964), Studies in the Philosophy of C.S. Peirce, Second Series, University of Massachusetts Press, Amherst, MA.
 Murphey, M. (1961), The Development of Peirce's Thought. Reprinted, Hackett, Indianapolis, IN, 1993.
 Percy, Walker (2000), pp. 271–291 in Signposts in a Strange Land, P. Samway (ed.), Saint Martin's Press.
Resources
Syllabus
Focal nodes
Peer nodes
 Sign Relation @ InterSciWiki
 Sign Relation @ MyWikiBiz
 Sign Relation @ Subject Wikis
 Sign Relation @ Wikiversity
 Sign Relation @ Wikiversity Beta
Logical operators
Template:ColbreakTemplate:ColbreakTemplate:ColendRelated topics
 Propositional calculus
 Sole sufficient operator
 Truth table
 Universe of discourse
 Zeroth order logic
Relational concepts
Information, Inquiry
Related articles
 Differential Logic : Introduction
 Differential Propositional Calculus
 Differential Logic and Dynamic Systems
 Introduction to Inquiry Driven Systems
 Prospects for Inquiry Driven Systems
 Inquiry Driven Systems : Inquiry Into Inquiry
Document history
Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.
 Sign Relation, InterSciWiki
 Sign Relation, MyWikiBiz
 Sign Relation, PlanetMath
 Sign Relation, Wikinfo
 Sign Relation, Wikiversity
 Sign Relation, Wikiversity Beta
 Sign Relation, Wikipedia