12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 15:10, 28 August 2007
, 15:10, 28 August 2007→1.3.4.13. Formalization of OF : Objective Levels: markup
One way to approach the formalization of an objective genre ''G'' is through an indexed collection of dyadic relations:
One way to approach the formalization of an objective genre ''G'' is through an indexed collection of dyadic relations:
: ''G'' = {''G''<sub>''j''</sub>} = {''G''<sub>''j''</sub> : ''j'' ∈ ''J''} with ''G''<sub>''j''</sub> ⊆ ''P''<sub>''j''</sub> × ''Q''<sub>''j''</sub> for all ''j'' ∈ ''J''.
: <math>G = \{ G_j \} = \{ G_j : j \in J \}\ \mbox{with}\ G_j \subseteq P_j \times Q_j\ \mbox{for all}\ j \in J .</math>
Here, ''J'' is a set of actual (not formal) parameters used to index the OG, while ''P''<sub>''j''</sub> and ''Q''<sub>''j''</sub> are domains of objects (initially in the informal sense) that enter into the dyadic relations ''G''<sub>''j''</sub>.
Here, ''J'' is a set of actual (not formal) parameters used to index the OG, while ''P''<sub>''j''</sub> and ''Q''<sub>''j''</sub> are domains of objects (initially in the informal sense) that enter into the dyadic relations ''G''<sub>''j''</sub>.