12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday October 06, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 14:36, 4 May 2012
, 14:36, 4 May 2012→6.11. Higher Order Sign Relations : Application: markup
===6.11. Higher Order Sign Relations : Application===
===6.11. Higher Order Sign Relations : Application===
Given the language in which a notation like <math>{}^{\backprime\backprime} \operatorname{De}(q, R) {}^{\prime\prime}\!</math> makes sense, or in prospect of being given such a language, it is instructive to ask: “What must be assumed about the context of interpretation in which this language is supposed to make sense?” According to the theory of signs that is being examined here, the relevant formal aspects of that context are embodied in a particular sign relation, call it <math>{}^{\backprime\backprime} Q {}^{\prime\prime}.\!</math> With respect to the hypothetical sign relation <math>Q,\!</math> commonly personified as the prospective reader or the ideal interpreter of the intended language, the denotation of the expression <math>{}^{\backprime\backprime} \operatorname{De}(q, R) {}^{\prime\prime}\!</math> is given by:
Given the language in which a notation like "De (q, R)" makes sense, or in prospect of being given such a language, it is instructive to ask: "What must be assumed about the context of interpretation in which this language is supposed to make sense?" According to the theory of signs that is being examined here, the relevant formal aspects of that context are embodied in a particular sign relation, call it "Q". With respect to the hypothetical sign relation Q, commonly personified as the prospective reader or the ideal interpreter of the intended language, the denotation of the expression "De (q, R)" is given by:
De ("De (q, R)", Q).
{| align="center" cellspacing="8" width="90%"
| <math>\operatorname{De}( {}^{\backprime\backprime} \operatorname{De}(q, R) {}^{\prime\prime}, Q ).\!</math>
|}
<pre>
If Q follows rules that are typical of many species of interpreters, then the value of this expression will depend on the values of the following three expressions:
If Q follows rules that are typical of many species of interpreters, then the value of this expression will depend on the values of the following three expressions:
