12,123
edits
Changes
MyWikiBiz, Author Your Legacy — Monday October 27, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 20:18, 30 April 2012
, 20:18, 30 April 2012→6.9. Higher Order Sign Relations : Introduction: markup
In CL implementations the arch operation is intended to do exactly what the principal uses of ordinary quotes are supposed to do, except that it obeys restrictions that are necessary to make it work as a notation for a computable function on the identified syntactic domain.
In CL implementations the arch operation is intended to do exactly what the principal uses of ordinary quotes are supposed to do, except that it obeys restrictions that are necessary to make it work as a notation for a computable function on the identified syntactic domain.
One further remark on the uses of quotation marks is pertinent here. When using HA signs with high orders of complexity and depth, it is often convenient to revert to the use of ordinary quotes at the outer boundary of a quotational expression, in this way marking a return to the ordinary context of interpretation. For example, one observes the colloquial equivalence: <math>{}^{\langle\langle\langle} x {}^{\rangle\rangle\rangle} ~=~ {}^{\backprime\backprime\langle\langle} x {}^{\rangle\rangle\rangle\prime\prime}.</math>
<pre>
<pre>
In general, a good way to specify the meaning of a new notation is by means of a semantic equation, or a system of semantic equations, that expresses the function of the new signs in terms of familiar operations. If it is merely a matter of introducing new signs for old meanings, then this method is sufficient. In this vein, the intention and use of the "supercilious notation" for reflecting on signs could have its definition approximated in the following way.
In general, a good way to specify the meaning of a new notation is by means of a semantic equation, or a system of semantic equations, that expresses the function of the new signs in terms of familiar operations. If it is merely a matter of introducing new signs for old meanings, then this method is sufficient. In this vein, the intention and use of the "supercilious notation" for reflecting on signs could have its definition approximated in the following way.
