12,089
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 14:42, 21 April 2012
, 14:42, 21 April 2012→6.4. A Formal Point of View: {| align="center" cellpadding="8" width="90%"
In order to continue formalizing the discussion of POVs and PODs within the text that uses them, I introduce the following notations:
In order to continue formalizing the discussion of POVs and PODs within the text that uses them, I introduce the following notations:
{| align="center" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
<math>\begin{array}{lcccr}
<math>\begin{array}{lcccr}
All these expressions are intended to indicate a set of circumstances that could otherwise be described as follows:
All these expressions are intended to indicate a set of circumstances that could otherwise be described as follows:
{| align="center" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>j ~\text{appears to see a distinction between}~ x ~\text{and}~ y.</math>
| <math>j ~\text{appears to see a distinction between}~ x ~\text{and}~ y.</math>
|-
|-
Dual to the statements of momentary interpretive distinctions (MIDs) are the respective statements of momentary interpretive coincidences (MICs):
Dual to the statements of momentary interpretive distinctions (MIDs) are the respective statements of momentary interpretive coincidences (MICs):
{| align="center" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
<math>\begin{array}{lcccr}
<math>\begin{array}{lcccr}
Each of these expressions is intended to indicate a set of circumstances that could otherwise be rendered by any one of the following, logically equivalent statements:
Each of these expressions is intended to indicate a set of circumstances that could otherwise be rendered by any one of the following, logically equivalent statements:
{| align="center" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>j ~\text{appears to see a coincidence between}~ x ~\text{and}~ y.</math>
| <math>j ~\text{appears to see a coincidence between}~ x ~\text{and}~ y.</math>
|-
|-
In a related usage, one is permitted to reparse the ''anonymous'' or ''passive'' form of assignment statement,
In a related usage, one is permitted to reparse the ''anonymous'' or ''passive'' form of assignment statement,
{| align="center" width="90%"
{| align="center" cellpadding="8" width="90%"
| width="15%" | <math>{}^{\backprime\backprime} x := y {}^{\prime\prime},</math>
| width="15%" | <math>{}^{\backprime\backprime} x := y {}^{\prime\prime},</math>
| width="10%" | read as
| width="10%" | read as
converting it into the corresponding ''attributive'' or ''active'' form of assignment statement,
converting it into the corresponding ''attributive'' or ''active'' form of assignment statement,
{| align="center" width="90%"
{| align="center" cellpadding="8" width="90%"
| width="15%" | <math>{}^{\backprime\backprime} j : x = y {}^{\prime\prime},</math>
| width="15%" | <math>{}^{\backprime\backprime} j : x = y {}^{\prime\prime},</math>
| width="10%" | read as
| width="10%" | read as