Changes

MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)

Revision as of 18:34, 14 April 2013

167 bytes added ,  18:34, 14 April 2013
→‎6.43. Reflective Extensions: segment
Line 9,699: Line 9,699:  
This section takes up the topic of reflective extensions in a more systematic fashion, starting from the sign relations A and B once again and keeping its focus within their vicinity, but exploring the space of nearby extensions in greater detail.
 
This section takes up the topic of reflective extensions in a more systematic fashion, starting from the sign relations A and B once again and keeping its focus within their vicinity, but exploring the space of nearby extensions in greater detail.
   −
Tables 77 and 78 show one way that the sign relations A and B can be extended in a reflective sense through the use of quotational devices, yielding the "first order reflective extensions", Ref1(A) and Ref1(B).
+
Tables 80 and 81 show one way that the sign relations A and B can be extended in a reflective sense through the use of quotational devices, yielding the "first order reflective extensions", Ref1(A) and Ref1(B).
 +
</pre>
   −
Table 77.  Reflective Extension Ref1(A)
+
<br>
 +
 
 +
<pre>
 +
Table 80.  Reflective Extension Ref1(A)
 
Object Sign Interpretant
 
Object Sign Interpretant
 
A <A> <A>
 
A <A> <A>
Line 9,715: Line 9,719:  
<i> <<i>> <<i>>
 
<i> <<i>> <<i>>
 
<u> <<u>> <<u>>
 
<u> <<u>> <<u>>
 +
</pre>
 +
 +
<br>
   −
Table 78.  Reflective Extension Ref1(B)
+
<pre>
 +
Table 81.  Reflective Extension Ref1(B)
 
Object Sign Interpretant
 
Object Sign Interpretant
 
A <A> <A>
 
A <A> <A>
Line 9,730: Line 9,738:  
<i> <<i>> <<i>>
 
<i> <<i>> <<i>>
 
<u> <<u>> <<u>>
 
<u> <<u>> <<u>>
 +
</pre>
 +
 +
<br>
    +
<pre>
 
The common "world" = {objects} U {signs} of the reflective extensions Ref1 (A) and Ref1 (B) is the set of 10 elements:
 
The common "world" = {objects} U {signs} of the reflective extensions Ref1 (A) and Ref1 (B) is the set of 10 elements:
   Line 9,812: Line 9,824:  
Against this background, other varieties of reflective extension can be specified by means of semantic equations (SEQs) that are considered to be imposed on the elements of F.  Taking the reflective extensions Ref1 (A) and Ref1 (B) as the first orders of a "free" project toward reflective closure, variant extensions can be described by relating their entries with those of comparable members in the standard sequences Refn (A) and Refn (B).
 
Against this background, other varieties of reflective extension can be specified by means of semantic equations (SEQs) that are considered to be imposed on the elements of F.  Taking the reflective extensions Ref1 (A) and Ref1 (B) as the first orders of a "free" project toward reflective closure, variant extensions can be described by relating their entries with those of comparable members in the standard sequences Refn (A) and Refn (B).
   −
A variant pair of reflective extensions, Ref1(A|E1) and Ref1(B|E1), are presented in Tables 79 and 80, respectively.  These are identical to the corresponding "free" variants, Ref1(A) and Ref1(B), with the exception of those entries that are constrained by the system of semantic equations:
+
A variant pair of reflective extensions, Ref1(A|E1) and Ref1(B|E1), are presented in Tables&nbsp;82 and 83, respectively.  These are identical to the corresponding "free" variants, Ref1(A) and Ref1(B), with the exception of those entries that are constrained by the system of semantic equations:
    
E1: <<A>> = <A>, <<B>> = <B>, <<i>> = <i>, <<u>> = <u>.
 
E1: <<A>> = <A>, <<B>> = <B>, <<i>> = <i>, <<u>> = <u>.
Line 9,821: Line 9,833:     
??? Redo F(S) over W ??? Use WF = O U F ???
 
??? Redo F(S) over W ??? Use WF = O U F ???
 +
</pre>
 +
 +
<br>
   −
Table 79.  Reflective Extension Ref1(A|E1)
+
<pre>
 +
Table 82.  Reflective Extension Ref1(A|E1)
 
Object Sign Interpretant
 
Object Sign Interpretant
 
A <A> <A>
 
A <A> <A>
Line 9,836: Line 9,852:  
<i> <i> <i>
 
<i> <i> <i>
 
<u> <u> <u>
 
<u> <u> <u>
 +
</pre>
 +
 +
<br>
   −
Table 80.  Reflective Extension Ref1(B|E1)
+
<pre>
 +
Table 83.  Reflective Extension Ref1(B|E1)
 
Object Sign Interpretant
 
Object Sign Interpretant
 
A <A> <A>
 
A <A> <A>
Line 9,851: Line 9,871:  
<i> <i> <i>
 
<i> <i> <i>
 
<u> <u> <u>
 
<u> <u> <u>
 +
</pre>
 +
 +
<br>
   −
Another pair of reflective extensions, Ref1(A|E2) and Ref1(B|E2), are presented in Tables 81 and 82, respectively.  These are identical to the corresponding "free" variants, Ref1(A) and Ref1(B), except for the entries constrained by the following semantic equations:
+
<pre>
 +
Another pair of reflective extensions, Ref1(A|E2) and Ref1(B|E2), are presented in Tables&nbsp;84 and 85, respectively.  These are identical to the corresponding "free" variants, Ref1(A) and Ref1(B), except for the entries constrained by the following semantic equations:
    
E2: <<A>> = A, <<B>> = B, <<i>> = i, <<u>> = u.
 
E2: <<A>> = A, <<B>> = B, <<i>> = i, <<u>> = u.
 +
</pre>
 +
 +
<br>
   −
Table 81.  Reflective Extension Ref1(A|E2)
+
<pre>
 +
Table 84.  Reflective Extension Ref1(A|E2)
 
Object Sign Interpretant
 
Object Sign Interpretant
 
A <A> <A>
 
A <A> <A>
Line 9,870: Line 9,898:  
<i> A A
 
<i> A A
 
<u> B B
 
<u> B B
 +
</pre>
 +
 +
<br>
   −
Table 82.  Reflective Extension Ref1(B|E2)
+
<pre>
 +
Table 85.  Reflective Extension Ref1(B|E2)
 
Object Sign Interpretant
 
Object Sign Interpretant
 
A <A> <A>
 
A <A> <A>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/176629"

Navigation menu