The figure below shows the resulting
Form-Diagram D:
In order to understand the construction of a Limit-type
Form L from this
diagram we first recall specific hermeneutic activity that likely motivates such
a diagram. In order to describe dependencies between
Denotators, that
are formally expressed in the arrows of the diagram D, a hermeneutician
would base his observations on the free product of F1, F2 and F3, i.e., on a
diagram D0 having three nodes loaded with F1, F2 and F3, but not having
arrows.11
- This is reflected in Mazzola’s convention for the notation of Coordinators of Limit and Colimit
type: Form Diagrams without arrows are written as a lists of Forms. Their positions in the list
represent the nodes of the diagram. The 12 Cofactors of the TwelveTone-
Form correspond
to nodes of a diagram without arrows, each being loaded with the SingleTone- Form.
|
In his discourse the hermeneutician refers to specific denotators

which attracted his interest because of an observation, that is expressed in the following
predicate
P:
The idealized dogmatist would therefore limit the scope of his interest from all possible
F123-
Denotators to those for which the predicate P is true and therefore aquires the
ability to filter them out – even those that practically would never have been observed
by a hermeneutician. He turns the predicate P into a system of equations for
Forms
The variable
Form X of this system of equations involves three variable set-maps
pi : FS(X)
Ai i = 1,2,3 from the FrameSet FS(X) of X into the AmbientSets of
F1, F2 and F3 and the equations read as follows: