12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 17:21, 2 May 2012
, 17:21, 2 May 2012→6.10. Higher Order Sign Relations : Examples: markup
In ordinary discourse HA signs are usually generated by means of linguistic devices for quoting pieces of text. In computational frameworks these quoting mechanisms are implemented as functions that map syntactic arguments into numerical or syntactic values. A quoting function, given a sign or expression as its single argument, needs to accomplish two things: first, to defer the reference of that sign, in other words, to inhibit, delay, or prevent the evaluation of its argument expression, and then, to exhibit or produce another sign whose object is precisely that argument expression.
In ordinary discourse HA signs are usually generated by means of linguistic devices for quoting pieces of text. In computational frameworks these quoting mechanisms are implemented as functions that map syntactic arguments into numerical or syntactic values. A quoting function, given a sign or expression as its single argument, needs to accomplish two things: first, to defer the reference of that sign, in other words, to inhibit, delay, or prevent the evaluation of its argument expression, and then, to exhibit or produce another sign whose object is precisely that argument expression.
The rest of this section considers the development of sign relations that have moderate capacities to reference their own signs as objects. In each case, these extensions are assumed to begin with sign relations like <math>L(A)\!</math> and <math>L(B)\!</math> that have disjoint sets of objects and signs and thus have no reflective capacity at the outset. The status of <math>L(A)\!</math> and <math>L(B)\!</math> as the reflective origins of the associated reflective developments is recalled by saying that <math>L(A)\!</math> and <math>L(B)\!</math> themselves are the ''zeroth order reflective extensions'' of <math>L(A)\!</math> and <math>L(B),\!</math> in symbols, <math>L(A) = \operatorname{Ref}^0 L(A)\!</math> and <math>L(B) = \operatorname{Ref}^0 L(B).\!</math>
<pre>
<pre>
The following set of Tables illustrates a few the most common ways that sign relations can begin to develop reflective extensions. For ease of reference, Tables 40 and 41 repeat the contents of Tables 1 and 2, respectively, merely replacing ordinary quotes with arch quotes.
The following set of Tables illustrates a few the most common ways that sign relations can begin to develop reflective extensions. For ease of reference, Tables 40 and 41 repeat the contents of Tables 1 and 2, respectively, merely replacing ordinary quotes with arch quotes.