MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
387 bytes added
, 20:30, 4 May 2012
Line 2,580: |
Line 2,580: |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
| + | |
| + | 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. |
| | | |
| <pre> | | <pre> |
− | What are the roles of the signs "De", "q", "R" and what are they supposed to mean to Q? Evidently, "De" is a constant name that refers to a particular function, "q" is a variable name that makes a PIR to a collection of signs, and "R" 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 QAB = Q(A, B) that is competent to cover the initial level of reflections that arise from the dialogue of A and B. | | 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 QAB = Q(A, B) that is competent to cover the initial level of reflections that arise from the dialogue of A and B. |
| | | |