12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 10:04, 17 December 2008
, 10:04, 17 December 2008→1.3.4.13. Formalization of OF : Objective Levels: reset box display
Assertions of these relations can be read in various ways, for example:
Assertions of these relations can be read in various ways, for example:
{| align="center" border="1" cellpadding="0" cellspacing="0" style="text-align:left; width:96%"
<br>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:left; width:100%"
|
|
{| align="center" border="0" cellpadding="4" cellspacing="0" style="text-align:left; width:100%"
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:ghostwhite; text-align:left; width:100%"
|- style="background:whitesmoke"
|-
| <math>j : x \lessdot y</math>
| width="50%" | <math>j : x \lessdot y</math>
| <math>j : y \gtrdot x</math>
| width="50%" | <math>j : y \gtrdot x</math>
|- style="background:whitesmoke"
|-
| <math>x \lessdot_j y</math>
| <math>x \lessdot_j y</math>
| <math>y \gtrdot_j x</math>
| <math>y \gtrdot_j x</math>
|- style="background:whitesmoke"
|-
| <math>x \lessdot y : j</math>
| <math>x \lessdot y : j</math>
| <math>y \gtrdot x : j</math>
| <math>y \gtrdot x : j</math>
|-
|}
| ''j'' sets ''x'' in ''y''.
|-
| ''j'' sets ''y'' on ''x''.
|
{| align="center" border="0" cellpadding="4" cellspacing="0" style="text-align:left; width:100%"
| width="50%" | <math>j\ \text{sets}\ x\ \text{in}\ y.</math>
| width="50%" | <math>j\ \text{sets}\ y\ \text{on}\ x.</math>
|-
|-
| ''j'' makes ''x'' an instance of ''y''.
| <math>j\ \text{makes}\ x\ \text{an instance of}\ y.</math>
| ''j'' makes ''y'' a property of ''x''.
| <math>j\ \text{makes}\ y\ \text{a property of}\ x.</math>
|-
|-
| ''j'' thinks ''x'' an instance of ''y''.
| <math>j\ \text{thinks}\ x\ \text{an instance of}\ y.</math>
| ''j'' thinks ''y'' a property of ''x''.
| <math>j\ \text{thinks}\ y\ \text{a property of}\ x.</math>
|-
|-
| ''j'' attests ''x'' an instance of ''y''.
| <math>j\ \text{attests}\ x\ \text{an instance of}\ y.</math>
| ''j'' attests ''y'' a property of ''x''.
| <math>j\ \text{attests}\ y\ \text{a property of}\ x.</math>
|-
|-
| ''j'' appoints ''x'' an instance of ''y''.
| <math>j\ \text{appoints}\ x\ \text{an instance of}\ y.</math>
| ''j'' appoints ''y'' a property of ''x''.
| <math>j\ \text{appoints}\ y\ \text{a property of}\ x.</math>
|-
|-
| ''j'' witnesses ''x'' an instance of ''y''.
| <math>j\ \text{witnesses}\ x\ \text{an instance of}\ y.</math>
| ''j'' witnesses ''y'' a property of ''x''.
| <math>j\ \text{witnesses}\ y\ \text{a property of}\ x.</math>
|-
|-
| ''j'' interprets ''x'' an instance of ''y''.
| <math>j\ \text{interprets}\ x\ \text{an instance of}\ y.</math>
| ''j'' interprets ''y'' a property of ''x''.
| <math>j\ \text{interprets}\ y\ \text{a property of}\ x.</math>
|-
|-
| ''j'' contributes ''x'' to ''y''.
| <math>j\ \text{contributes}\ x\ \text{to}\ y.</math>
| ''j'' attributes ''y'' to ''x''.
| <math>j\ \text{attributes}\ y\ \text{to}\ x.</math>
|-
|-
| ''j'' determines ''x'' an example of ''y''.
| <math>j\ \text{determines}\ x\ \text{an example of}\ y.</math>
| ''j'' determines ''y'' a quality of ''x''.
| <math>j\ \text{determines}\ y\ \text{a quality of}\ x.</math>
|-
|-
| ''j'' evaluates ''x'' an example of ''y''.
| <math>j\ \text{evaluates}\ x\ \text{an example of}\ y.</math>
| ''j'' evaluates ''y'' a quality of ''x''.
| <math>j\ \text{evaluates}\ y\ \text{a quality of}\ x.</math>
|-
|-
| ''j'' proposes ''x'' an example of ''y''.
| <math>j\ \text{proposes}\ x\ \text{an example of}\ y.</math>
| ''j'' proposes ''y'' a quality of ''x''.
| <math>j\ \text{proposes}\ y\ \text{a quality of}\ x.</math>
|-
|-
| ''j'' musters ''x'' under ''y''.
| <math>j\ \text{musters}\ x\ \text{under}\ y.</math>
| ''j'' marshals ''y'' over ''x''.
| <math>j\ \text{marshals}\ y\ \text{over}\ x.</math>
|-
|-
| ''j'' indites ''x'' among ''y''.
| <math>j\ \text{indites}\ x\ \text{among}\ y.</math>
| ''j'' ascribes ''y'' about ''x''.
| <math>j\ \text{ascribes}\ y\ \text{about}\ x.</math>
|-
|-
| ''j'' imputes ''x'' among ''y''.
| <math>j\ \text{imputes}\ x\ \text{among}\ y.</math>
| ''j'' imputes ''y'' about ''x''.
| <math>j\ \text{imputes}\ y\ \text{about}\ x.</math>
|-
|-
| ''j'' judges ''x'' beneath ''y''.
| <math>j\ \text{judges}\ x\ \text{beneath}\ y.</math>
| ''j'' judges ''y'' beyond ''x''.
| <math>j\ \text{judges}\ y\ \text{beyond}\ x.</math>
|-
|-
| ''j'' finds ''x'' preceding ''y''.
| <math>j\ \text{finds}\ x\ \text{preceding}\ y.</math>
| ''j'' finds ''y'' succeeding ''x''.
| <math>j\ \text{finds}\ y\ \text{succeeding}\ x.</math>
|-
|-
| ''j'' poses ''x'' before ''y''.
| <math>j\ \text{poses}\ x\ \text{before}\ y.</math>
| ''j'' poses ''y'' after ''x''.
| <math>j\ \text{poses}\ y\ \text{after}\ x.</math>
|-
|-
| ''j'' forms ''x'' below ''y''.
| <math>j\ \text{forms}\ x\ \text{below}\ y.</math>
| ''j'' forms ''y'' above ''x''.
| <math>j\ \text{forms}\ y\ \text{above}\ x.</math>
|}
|}
|}
|}
<br>
In making these free interpretations of genres and motifs, one needs to read them in a ''logical'' rather than a ''cognitive'' sense. A statement like "''j'' thinks ''x'' an instance of ''y'' " should be understood as saying that "''j'' is a thought with the logical import that ''x'' is an instance of ''y'' ", and a statement like "''j'' proposes ''y'' a property of ''x'' " should be taken to mean that "''j'' is a proposition to the effect that ''y'' is a property of ''x'' ".
In making these free interpretations of genres and motifs, one needs to read them in a ''logical'' rather than a ''cognitive'' sense. A statement like "''j'' thinks ''x'' an instance of ''y'' " should be understood as saying that "''j'' is a thought with the logical import that ''x'' is an instance of ''y'' ", and a statement like "''j'' proposes ''y'' a property of ''x'' " should be taken to mean that "''j'' is a proposition to the effect that ''y'' is a property of ''x'' ".