Difference between revisions of "Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1"

MyWikiBiz, Author Your Legacy — Thursday October 31, 2024
Jump to navigationJump to search
(→‎Work Area: move TeX version to main page)
Line 2: Line 2:
  
 
==Work Area==
 
==Work Area==
 +
 +
=====1.3.4.3.  Semiotic Equivalence Relations=====
 +
 +
If one examines the sign relations ''L''<sub>''A''</sub> and ''L''<sub>''B''</sub> that are associated with the interpreters ''A'' and ''B'', respectively, one observes that they have many contingent properties that are not possessed by sign relations in general.  One nice property possessed by the sign relations ''L''<sub>''A''</sub> and ''L''<sub>''B''</sub> is that their connotative components ''A''<sub>''SI''&nbsp;</sub> and ''B''<sub>''SI''&nbsp;</sub> constitute a pair of [[equivalence relation]]s on their common syntactic domain ''S''&nbsp;=&nbsp;''I''.  It is convenient to refer to such structures as ''[[semiotic equivalence relation]]s'' (SER's) since they equate signs that mean the same thing to somebody.  Each of the SER's, ''A''<sub>''SI''&nbsp;</sub>, ''B''<sub>''SI''&nbsp;</sub>&nbsp;&sube;&nbsp;''S''&nbsp;&times;&nbsp;''I''&nbsp;=&nbsp;''S''&nbsp;&times;&nbsp;''S'' partitions the whole collection of signs into ''[[semiotic equivalence class]]es'' (SEC's).  This makes for a strong form of representation in that the structure of the participants' common object domain is reflected or reconstructed, part for part, in the structure of each of their ''[[semiotic partition]]s'' (SEP's) of the syntactic domain.
 +
 +
The main trouble with this notion of semantics in the present situation is that the two semiotic partitions for ''A'' and ''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 (POV).
 +
 +
Information about the different forms of semiotic equivalence induced by the interpreters ''A'' and ''B'' is summarized in Tables&nbsp;3 and 4.  The form of these Tables should suffice to explain what is meant by saying that the SEP's for ''A'' and ''B'' are orthogonal to each other.
 +
 +
{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:60%"
 +
|+ Table 3.  Semiotic Partition of Interpreter ''A''
 +
|
 +
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| width="50%" | "A"
 +
| width="50%" | "i"
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| width="50%" | "u"
 +
| width="50%" | "B"
 +
|}
 +
|}
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:60%"
 +
|+ Table 4.  Semiotic Partition of Interpreter ''B''
 +
|
 +
{| align="center" border="0" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:50%"
 +
| "A"
 +
|-
 +
| "u"
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="12" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:50%"
 +
| "i"
 +
|-
 +
| "B"
 +
|}
 +
|}
 +
<br>
 +
 +
To discuss these types of situations further, I introduce the square bracket notation "[''x'']<sub>''E''</sub>" for "the equivalence class of the element ''x'' under the equivalence relation ''E''".  A statement that the elements ''x'' and ''y'' are equivalent under ''E'' is called an ''equation'', and can be written in either one of two ways, as [''x'']<sub>''E''</sub> = [''y'']<sub>''E''</sub> or as ''x''&nbsp;=<sub>''E''</sub>&nbsp;''y''.
 +
 +
In the application to sign relations I extend this notation in the following ways.  When ''L'' is a sign relation whose ''syntactic projection'' or connotative component ''L''<sub>''SI''</sub> is an equivalence relation on ''S'', I write "[''s'']<sub>''L''</sub>" for "the equivalence class of ''s'' under ''L''<sub>''SI''</sub>".  A statement that the signs ''x'' and ''y'' are synonymous under a semiotic equivalence relation ''L''<sub>''SI''</sub> is called a ''semiotic equation'' (SEQ), and can be written in either of the forms:  [''x'']<sub>''L''</sub> = [''y'']<sub>''L''</sub> or as ''x''&nbsp;=<sub>''L''</sub>&nbsp;''y''.
 +
 +
In many situations there is one further adaptation of the square bracket notation that can be useful.  Namely, when there is known to exist a particular triple ‹o, s, i› &isin; ''L'', it is permissible to use "[''o'']<sub>''L''</sub>" to mean the same thing as "[''s'']<sub>''L''</sub>".  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.
 +
 +
In these terms, the SER for interpreter ''A'' yields the semiotic equations:
 +
 +
{| cellpadding=4 style="text-align:center"
 +
| align=left cellpadding=0 width=10% | &nbsp;
 +
| ["A"]<sub>''A''</sub>
 +
| =
 +
| ["i"]<sub>''A''</sub>
 +
| ,
 +
| ["B"]<sub>''A''</sub>
 +
| =
 +
| ["u"]<sub>''A''</sub>
 +
| ,
 +
|-
 +
| align=left cellpadding=0 width=10% | or
 +
| "A"
 +
| =<sub>''A''</sub>
 +
| "i"
 +
| ,
 +
| "B"
 +
| =<sub>''A''</sub>
 +
| "u"
 +
| ,
 +
|}
 +
 +
and the semiotic partition:  {{"A", "i"}, {"B", "u"}}.
 +
 +
In contrast, the SER for interpreter ''B'' yields the semiotic equations:
 +
 +
{| cellpadding=4 style="text-align:center"
 +
| align=left cellpadding=0 width=10% | &nbsp;
 +
| ["A"]<sub>''B''</sub>
 +
| =
 +
| ["u"]<sub>''B''</sub>
 +
| ,
 +
| ["B"]<sub>''B''</sub>
 +
| =
 +
| ["i"]<sub>''B''</sub>
 +
| ,
 +
|-
 +
| align=left cellpadding=0 width=10% | or
 +
| "A"
 +
| =<sub>''B''</sub>
 +
| "u"
 +
| ,
 +
| "B"
 +
| =<sub>''B''</sub>
 +
| "i"
 +
| ,
 +
|}
 +
 +
and the semiotic partition:  {{"A", "u"}, {"B", "i"}}.

Revision as of 03:32, 15 September 2010

Work Area

1.3.4.3. Semiotic Equivalence Relations

If one examines the sign relations LA and LB that are associated with the interpreters A and B, respectively, one observes that they have many contingent properties that are not possessed by sign relations in general. One nice property possessed by the sign relations LA and LB is that their connotative components ASI  and BSI  constitute a pair of equivalence relations on their common syntactic domain S = I. It is convenient to refer to such structures as semiotic equivalence relations (SER's) since they equate signs that mean the same thing to somebody. Each of the SER's, ASI , BSI  ⊆ S × I = S × S partitions the whole collection of signs into semiotic equivalence classes (SEC's). This makes for a strong form of representation in that the structure of the participants' common object domain is reflected or reconstructed, part for part, in the structure of each of their semiotic partitions (SEP's) of the syntactic domain.

The main trouble with this notion of semantics in the present situation is that the two semiotic partitions for A and 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 (POV).

Information about the different forms of semiotic equivalence induced by the interpreters A and B is summarized in Tables 3 and 4. The form of these Tables should suffice to explain what is meant by saying that the SEP's for A and B are orthogonal to each other.

Table 3. Semiotic Partition of Interpreter A
"A" "i"
"u" "B"


Table 4. Semiotic Partition of Interpreter B
"A"
"u"
"i"
"B"


To discuss these types of situations further, I introduce the square bracket notation "[x]E" for "the equivalence class of the element x under the equivalence relation E". A statement that the elements x and y are equivalent under E is called an equation, and can be written in either one of two ways, as [x]E = [y]E or as x =E y.

In the application to sign relations I extend this notation in the following ways. When L is a sign relation whose syntactic projection or connotative component LSI is an equivalence relation on S, I write "[s]L" for "the equivalence class of s under LSI". A statement that the signs x and y are synonymous under a semiotic equivalence relation LSI is called a semiotic equation (SEQ), and can be written in either of the forms: [x]L = [y]L or as x =L y.

In many situations there is one further adaptation of the square bracket notation that can be useful. Namely, when there is known to exist a particular triple ‹o, s, i› ∈ L, it is permissible to use "[o]L" to mean the same thing 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.

In these terms, the SER for interpreter A yields the semiotic equations:

  ["A"]A = ["i"]A , ["B"]A = ["u"]A ,
or "A" =A "i" , "B" =A "u" ,

and the semiotic partition: {{"A", "i"}, {"B", "u"}}.

In contrast, the SER for interpreter B yields the semiotic equations:

  ["A"]B = ["u"]B , ["B"]B = ["i"]B ,
or "A" =B "u" , "B" =B "i" ,

and the semiotic partition: {{"A", "u"}, {"B", "i"}}.