In the special case where <math>x\!</math> is a sign or expression in the syntactic domain, then <math>\operatorname{Gno}_i (x) = {}^{\langle} x, i {}^{\rangle}\!</math> is tantamount to the quotation of <math>x\!</math> by and for the use of the interpreter <math>i,\!</math> in short, the nominal sign to <math>i\!</math> that makes <math>x\!</math> an object for <math>i.\!</math> For signs and expressions, it is usually only the quoting function that makes them objects. But nothing is an object in any sense for an interpreter unless it is an object of a sign relation for that interpreter. Therefore, … | In the special case where <math>x\!</math> is a sign or expression in the syntactic domain, then <math>\operatorname{Gno}_i (x) = {}^{\langle} x, i {}^{\rangle}\!</math> is tantamount to the quotation of <math>x\!</math> by and for the use of the interpreter <math>i,\!</math> in short, the nominal sign to <math>i\!</math> that makes <math>x\!</math> an object for <math>i.\!</math> For signs and expressions, it is usually only the quoting function that makes them objects. But nothing is an object in any sense for an interpreter unless it is an object of a sign relation for that interpreter. Therefore, … |