Changes

|}

|}

However, it serves a purpose of this project to preserve the individual indexing of relational domains for while longer, or at least to keep this usage available as an alternative formulation.  Generally speaking, it is always possible in principle to form the union required by the RUI, or without loss of generality to assume the equality imposed by the RUE.  The problem is that the unions and equalities invoked by these rubrics may not be effectively definable or testable in a computational context.  Further, even when these sets or tests can be constructed or certified by some computational agent or another, the pertinent question at any interpretive moment is whether each collection or constraint is actively being apprehended or warranted by the particular interpreter charged with responsibility for it by the indicated assignment of domains.

However, it serves a purpose of this project to preserve the individual indexing of relational domains for while longer, or at least to keep this usage available as an alternative formulation.  Generally speaking, it is always possible in principle to form the union required by the universal inclusion convention, or without loss of generality to assume the equality imposed by the universal equality convention.  The problem is that the unions and equalities invoked by these rubrics may not be effectively definable or testable in a computational context.  Further, even when these sets or tests can be constructed or certified by some computational agent or another, the pertinent question at any interpretive moment is whether each collection or constraint is actively being apprehended or warranted by the particular interpreter charged with responsibility for it by the indicated assignment of domains.

But an overall purpose of this formalism is to represent the objects and constituencies ''known to'' specific interpreters at definite moments of their interpretive proceedings, in other words, to depict the information about objective existence and constituent structure that is possessed, recognized, responded to, acted on, and followed up by concrete agents as they move through their immediate contexts of activity.  Accordingly, keeping individual tabs on the relational domains ''P''_''j'' and ''Q''_''j'' , though it does not solve this array of problems, does serve to mark the concern with particularity and to keep before the mind the issues of individual attention and responsibility that are appropriate to interpretive agents.  In short, whether or not domains appear with explicit subscripts, one should always be ready to answer ''Who subscribes to these domains?''

But an overall purpose of this formalism is to represent the objects and constituencies ''known to'' specific interpreters at definite moments of their interpretive proceedings, in other words, to depict the information about objective existence and constituent structure that is possessed, recognized, responded to, acted on, and followed up by concrete agents as they move through their immediate contexts of activity.  Accordingly, keeping individual tabs on the relational domains <math>P_j\!</math> and <math>Q_j\!</math>, though it does not solve this array of problems, does serve to mark the concern with particularity and to keep before the mind the issues of individual attention and responsibility that are appropriate to interpretive agents.  In short, whether or not domains appear with explicit subscripts, one should always be ready to answer ''Who subscribes to these domains?''

It is important to emphasize that the index set ''J'' and the particular attachments of indices to dyadic relations are part and parcel to ''G'', befitting the concrete character intended for the concept of an OG, which is expected to realistically embody in the character of each ''G''_''j'' both ''a local habitation and a name''.  For this reason, among others, the ''G''_''j'' can safely be referred to as ''individual dyadic relations'' (IDR's).  Since the classical notion of an ''individual'' as a ''perfectly determinate entity'' has no application in finite information contexts, it is safe to recycle this term to distinguish the ''terminally informative particulars'' (TIP's) that a concrete index ''j'' adds to its thematic object ''G''_''j''&nbsp;, whether parenthetically or paraphatically.

It is important to emphasize that the index set <math>J\!</math> and the particular attachments of indices to dyadic relations are part and parcel to <math>G\!</math>, befitting the concrete character intended for the concept of an objective genre, which is expected to realistically embody in the character of each <math>G_j\!</math> both ''a local habitation and a name''.  For this reason, among others, the <math>G_j\!</math> can safely be referred to as ''individual dyadic relations''.  Since the classical notion of an ''individual'' as a ''perfectly determinate entity'' has no application in finite information contexts, it is safe to recycle this term to distinguish the ''terminally informative particulars'' that a concrete index <math>j\!</math> adds to its thematic object <math>G_j\!</math>.

Depending on the prevailing direction of interest in the genre ''G'', "<math>\lessdot</math>" or "<math>\gtrdot</math>", the same symbol is used equivocally for all the relations ''G''_''j''&nbsp;.  The ''G''_''j'' can be regarded as formalizing the OM's that make up the genre ''G'', provided it is understood that the information corresponding to the parameter ''j'' constitutes an integral part of the ''motive'' or ''motif'' of ''G''_''j''&nbsp;.

Depending on the prevailing direction of interest in the genre ''G'', <math>\lessdot</math> or <math>\gtrdot</math>, the same symbol is used equivocally for all the relations <math>G_j\!</math>.  The <math>G_j\!</math> can be regarded as formalizing the objective motives that make up the genre <math>G\!</math>, provided it is understood that the information corresponding to the parameter <math>j\!</math> constitutes an integral part of the ''motive'' or ''motif'' of <math>G_j\!</math>.

In this formulation, ''G'' constitutes an ''ontological hierarchy'' (OH) of a plenary and potentiating type, one that determines the complete array of objects and relationships that are conceivably available and describably ''effable'' within a given discussion.  Operating with reference to the global field of possibilities presented by ''G'', each ''G''_''j'' corresponds to the specialized competence of a particular agent, selecting out the objects and links of the generic hierarchy that are known to, owing to, or owned by a given interpreter.

In this formulation, <math>G\!</math> constitutes ''ontological hierarchy'' of a plenary type, one that determines the complete array of objects and relationships that are conceivable and describable within a given discussion.  Operating with reference to the global field of possibilities presented by <math>G\!</math>, each <math>G_j\!</math> corresponds to the specialized competence of a particular agent, selecting out the objects and links of the generic hierarchy that are known to, owing to, or owned by a given interpreter.

Another way to formalize the defining structure of an OG can be posed in terms of a ''relative membership relation'' or a notion of ''relative elementhood''.  The constitutional structure of a particular OG can be set up in a flexible manner by taking it in two stages, starting from the level of finer detail and working up to the big picture:

Another way to formalize the defining structure of an objective genre can be posed in terms of a ''relative membership relation'' or a notion of ''relative elementhood''.  The constitutional structure of a particular genre can be set up in a flexible manner by taking it in two stages, starting from the level of finer detail and working up to the big picture:

1.  Each OM is constituted by what it means to be an object within it.  What constitutes an object in a given OM can be fixed as follows:

1.  Each OM is constituted by what it means to be an object within it.  What constitutes an object in a given OM can be fixed as follows: