12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 16:30, 22 May 2012
, 16:30, 22 May 2012→6.11. Higher Order Sign Relations : Application: markup
What are the roles of the signs <math>{}^{\backprime\backprime} \operatorname{De} {}^{\prime\prime},\!</math> <math>{}^{\backprime\backprime} q {}^{\prime\prime},\!</math> <math>{}^{\backprime\backprime} L {}^{\prime\prime}\!</math> and what are they supposed to mean to <math>Q\!</math>? Evidently, <math>{}^{\backprime\backprime} \operatorname{De} {}^{\prime\prime}\!</math> is a constant name that refers to a particular function, <math>{}^{\backprime\backprime} q {}^{\prime\prime}\!</math> is a variable name that makes a PIR to a collection of signs, and <math>{}^{\backprime\backprime} L {}^{\prime\prime}\!</math> is a variable name that makes a PIR to a collection of sign relations.
What are the roles of the signs <math>{}^{\backprime\backprime} \operatorname{De} {}^{\prime\prime},\!</math> <math>{}^{\backprime\backprime} q {}^{\prime\prime},\!</math> <math>{}^{\backprime\backprime} L {}^{\prime\prime}\!</math> and what are they supposed to mean to <math>Q\!</math>? Evidently, <math>{}^{\backprime\backprime} \operatorname{De} {}^{\prime\prime}\!</math> is a constant name that refers to a particular function, <math>{}^{\backprime\backprime} q {}^{\prime\prime}\!</math> is a variable name that makes a PIR to a collection of signs, and <math>{}^{\backprime\backprime} L {}^{\prime\prime}\!</math> is a variable name that makes a PIR to a collection of sign relations.
This is not the place to take up the possibility of an ideal, universal, or even a very comprehensive interpreter for the language indicated here, so I specialize the account to consider an interpreter <math>Q_{\text{AB}} = Q(\text{A}, \text{B})\!</math> that is competent to cover the initial level of reflections that arise from the dialogue of <math>\text{A}\!</math> and <math>\text{B}.\!</math>
<pre>
<pre>
For the interpreter QAB, the sign variable q need only range over the syntactic domain S = {"A", "B", "i", "u"} and the relation variable R need only range over the object domain O = {A, B}, so long as the latter objects remain subject to analysis as sign relations. These requirements can be accomplished as follows:
For the interpreter QAB, the sign variable q need only range over the syntactic domain S = {"A", "B", "i", "u"} and the relation variable R need only range over the object domain O = {A, B}, so long as the latter objects remain subject to analysis as sign relations. These requirements can be accomplished as follows: