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

MyWikiBiz, Author Your Legacy — Thursday March 28, 2024
Jump to navigationJump to search
 
(26 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
<div class="nonumtoc">__TOC__</div>
 
<div class="nonumtoc">__TOC__</div>
 +
 +
==Discussion==
  
 
==Work Area==
 
==Work Area==
 
=====1.3.4.3.  Semiotic Equivalence Relations=====
 
 
If one examines the sign relations <math>L_\text{A}</math> and <math>L_\text{B}</math> that are associated with the interpreters <math>\text{A}</math> and <math>\text{B}</math>, 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 <math>L_\text{A}</math> and <math>L_\text{B}</math> is that their connotative components <math>\text{A}_{SI}</math> and <math>\text{B}_{SI}</math> constitute a pair of [[equivalence relation]]s on their common syntactic domain <math>S = I</math>.  It is convenient to refer to such structures as ''[[semiotic equivalence relation]]s'' (SERs) since they equate signs that mean the same thing to somebody.  Each of the SERs, <math>\text{A}_{SI}, \text{B}_{SI} \subseteq S \times I = S \times S</math>, partitions the whole collection of signs into ''[[semiotic equivalence class]]es'' (SECs).  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'' (SEPs) of the syntactic domain.
 
 
The main trouble with this notion of semantics in the present situation is that the two semiotic partitions for <math>\text{A}</math> and <math>\text{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 different forms of semiotic equivalence induced by the interpreters <math>\text{A}</math> and <math>\text{B}</math> is summarized in Tables&nbsp;3 and 4.  The form of these Tables should suffice to explain what is meant by saying that the SEPs for <math>\text{A}</math> and <math>\text{B}</math> are orthogonal to each other.
 
 
<br>
 
 
{| align="center" border="1" cellpadding="12" cellspacing="0" style="text-align:center; width:60%"
 
|+ style="height:30px" | <math>\text{Table 3.} ~~ \text{Semiotic Partition of Interpreter A}</math>
 
|
 
{| align="center" border="0" cellpadding="4" cellspacing="0" style="text-align:center; width:100%"
 
| width="50%" | <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}</math>
 
| width="50%" | <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}</math>
 
|}
 
|-
 
|
 
{| align="center" border="0" cellpadding="4" cellspacing="0" style="text-align:center; width:100%"
 
| width="50%" | <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}</math>
 
| width="50%" | <math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}</math>
 
|}
 
|}
 
 
<br>
 
 
{| align="center" border="1" cellpadding="12" cellspacing="0" style="text-align:center; width:60%"
 
|+ style="height:30px" | <math>\text{Table 4.} ~~ \text{Semiotic Partition of Interpreter B}</math>
 
|
 
{| align="center" border="0" cellpadding="12" cellspacing="0" style="text-align:center; width:50%"
 
| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}</math>
 
|-
 
| <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}</math>
 
|}
 
|
 
{| align="center" border="0" cellpadding="12" cellspacing="0" style="text-align:center; width:50%"
 
| <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}</math>
 
|-
 
| <math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}</math>
 
|}
 
|}
 
 
<br>
 
 
To discuss these types of situations further, I introduce the square bracket notation <math>[x]_E</math> for ''the equivalence class of the element <math>x</math> under the equivalence relation <math>E</math>''.  A statement that the elements <math>x</math> and <math>y</math> are equivalent under <math>E</math> is called an ''equation'', and can be written in either one of two ways, as <math>[x]_E = [y]_E</math> or as <math>x =_E y</math>.
 
 
In the application to sign relations I extend this notation in the following ways.  When <math>L</math> is a sign relation whose ''syntactic projection'' or connotative component <math>L_{SI}</math> is an equivalence relation on <math>S</math>, I write <math>[s]_L</math> for ''the equivalence class of <math>s</math> under <math>L_{SI}</math>''.  A statement that the signs <math>x</math> and <math>y</math> are synonymous under a semiotic equivalence relation <math>L_{SI}</math> is called a ''semiotic equation'' (SEQ), and can be written in either of the forms:  <math>[x]_L = [y]_L</math> or <math>x =_L y</math>.
 
 
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 <math>(o, s, i) \in L</math>, it is permissible to use <math>[o]_L</math> to mean the same thing 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.
 
 
In these terms, the SER for interpreter <math>\text{A}</math> yields the semiotic equations:
 
 
{| cellpadding="10"
 
| width="10%" | &nbsp;
 
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime}]_\text{A}</math>
 
| <math>=</math>
 
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime}]_\text{A}</math>
 
| width="20%" | &nbsp;
 
| <math>[{}^{\backprime\backprime} \text{B} {}^{\prime\prime}]_\text{A}</math>
 
| <math>=</math>
 
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime}]_\text{A}</math>
 
|-
 
| width="10%" | or
 
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}</math>
 
| <math>=_\text{A}</math>
 
| &nbsp;<math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}</math>
 
| width="20%" | &nbsp;
 
| &nbsp;<math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}</math>
 
| <math>=_\text{A}</math>
 
| &nbsp;<math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}</math>
 
|}
 
 
and the semiotic partition:  <math>\{ \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime} \} , \{ {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \} \}</math>.
 
 
In contrast, the SER for interpreter <math>\text{B}</math> yields the semiotic equations:
 
 
{| cellpadding="10"
 
| width="10%" | &nbsp;
 
| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime}]_\text{B}</math>
 
| <math>=</math>
 
| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime}]_\text{B}</math>
 
| width="20%" | &nbsp;
 
| <math>[{}^{\backprime\backprime} \text{B} {}^{\prime\prime}]_\text{B}</math>
 
| <math>=</math>
 
| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime}]_\text{B}</math>
 
|-
 
| width="10%" | or
 
| &nbsp;<math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime}</math>
 
| <math>=_\text{B}</math>
 
| &nbsp;<math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime}</math>
 
| width="20%" | &nbsp;
 
| &nbsp;<math>{}^{\backprime\backprime} \text{B} {}^{\prime\prime}</math>
 
| <math>=_\text{B}</math>
 
| &nbsp;<math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime}</math>
 
|}
 
 
and the semiotic partition:  <math>\{ \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \} , \{ {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime} \} \}</math>.
 

Latest revision as of 12:54, 19 April 2012

Discussion

Work Area