Changes

When the arity of a relation is a finite number <math>k,\!</math> then the relation is called a <math>k\!</math>-place relation.  In this case, the elementary relations are just the <math>k\!</math>-tuples belonging to the relation.  In the finite case, for example, a ''non-trivial properly partial transaction'' is a <math>j\!</math>-tuple extracted from a <math>k\!</math>-tuple of the relation, where <math>1 < j < k.\!</math>  The first element of an elementary relation is called its ''object'' or ''relate'', while the remaining elements are called its ''correlates''.

When the arity of a relation is a finite number <math>k,\!</math> then the relation is called a <math>k\!</math>-place relation.  In this case, the elementary relations are just the <math>k\!</math>-tuples belonging to the relation.  In the finite case, for example, a ''non-trivial properly partial transaction'' is a <math>j\!</math>-tuple extracted from a <math>k\!</math>-tuple of the relation, where <math>1 < j < k.\!</math>  The first element of an elementary relation is called its ''object'' or ''relate'', while the remaining elements are called its ''correlates''.

# Signs that denote single correlates of an object in a relation are called '''higher&nbsp;ascent''' (HA) signs.

1. Signs that denote single correlates of an object in a relation are called "higher ascent" (HA) signs.

# Signs that denote properties or classes of relations are called '''higher&nbsp;yclept''' (HY) signs.

Whenever the sense is clear, it is usually convenient to stick with the more generic terms for higher order signs and higher order sign relations, letting context determine the appropriate meaning.  For the rest of this section, it is mainly the categories of higher ascent signs and higher import signs that come into play.

 

 

 

 

Whenever the sense is clear, it is usually convenient to stick with the more generic terms for HO signs and HO sign relations, letting context determine the appropriate meaning.  For the rest of this section, it is mainly the categories of HA signs and HI signs that come into play.

The inquiry into inquiry is not pursued for reasons of sheer narcissism, but because it is unavoidably a part of the inquiry into anything else, since critical reflection on the methods employed is implicit in the task.  This means that the inquiry into inquiry must be able to formulate and critique alternative descriptions of inquiry in general, including itself.  Thus, there are notions of "entelechy", of a self referent objective, a completion in self description, or an end to self actualization, that are intrinsic to the conception of inquiry, whether or not its ends in view are ever achieved.  If inquiry, as a manner of thinking, is carried on in sign relations and is ever to be supported by computational means, then these reflections raise the issue of self describing sign relations and self documenting data structures.

The inquiry into inquiry is not pursued for reasons of sheer narcissism, but because it is unavoidably a part of the inquiry into anything else, since critical reflection on the methods employed is implicit in the task.  This means that the inquiry into inquiry must be able to formulate and critique alternative descriptions of inquiry in general, including itself.  Thus, there are notions of "entelechy", of a self referent objective, a completion in self description, or an end to self actualization, that are intrinsic to the conception of inquiry, whether or not its ends in view are ever achieved.  If inquiry, as a manner of thinking, is carried on in sign relations and is ever to be supported by computational means, then these reflections raise the issue of self describing sign relations and self documenting data structures.