Changes

When one says that a POV is associated with a particular proposition, whether containing it or instancing it, one always means a POV as it exists at a particular POD, or through a particular range of its PODs.  For example, if I say <math>{}^{\backprime\backprime}J ~\text{thinks}~ K ~\text{is smarter than}~ L{}^{\prime\prime},\!</math> then I am implicating a POV that <math>J\!</math> has at a particular POD, assumed to be capable of specification.  Moreover, I am relying on the specific information inherent in this POD to index the particular persons <math>K\!</math> and <math>L\!</math> that I am assuming <math>J\!</math> has in mind at that POD.  In technical terms, this requires the &ldquo;intentional context&rdquo; that is signaled by the verb ''thinks'', normally &ldquo;opaque&rdquo; to all distributions of contextual information from any point outside its frame, to be treated as &ldquo;transparent&rdquo; to the packet of information that is assumed to be represented by the POD in question.

When one says that a POV is associated with a particular proposition, whether containing it or instancing it, one always means a POV as it exists at a particular POD, or through a particular range of its PODs.  For example, if I say <math>{}^{\backprime\backprime}J ~\text{thinks}~ K ~\text{is smarter than}~ L{}^{\prime\prime},\!</math> then I am implicating a POV that <math>J\!</math> has at a particular POD, assumed to be capable of specification.  Moreover, I am relying on the specific information inherent in this POD to index the particular persons <math>K\!</math> and <math>L\!</math> that I am assuming <math>J\!</math> has in mind at that POD.  In technical terms, this requires the &ldquo;intentional context&rdquo; that is signaled by the verb ''thinks'', normally &ldquo;opaque&rdquo; to all distributions of contextual information from any point outside its frame, to be treated as &ldquo;transparent&rdquo; to the packet of information that is assumed to be represented by the POD in question.

In the application of mediate interest to this project, a POV corresponds to a computational system, while a POD corresponds to one of its states.  It is desirable to have a way of referring to the system as a whole, but in ways that are implicitly quantified by the relevant classes of states.  For example, I want to have a system of interpretation in place where it is possible to write <math>{}^{\backprime\backprime}j : x = y{}^{\prime\prime}\!</math> to mean that <math>{}^{\backprime\backprime}j ~\text{sets}~ x ~\text{equal to}~ y{}^{\prime\prime},\!</math> to read this as a statement about a system <math>j\!</math> and two of its stores <math>x\!</math> and <math>y,\!</math> and to understand this as a statement that implicitly refers to a set of states that makes it true.  Further, I want to recognize this statement as the active voice, attributed account, or authorized version of the more familiar, but passive, anonymous, or unavowed species of assignment statement <math>{}^{\backprime\backprime}x = y.{}^{\prime\prime}\!</math>

In the application of mediate interest to this project, a POV corresponds to a computational system, while a POD corresponds to one of its states.  It is desirable to have a way of referring to the system as a whole, but in ways that are implicitly quantified by the relevant classes of states.  For example, I want to have a system of interpretation in place where it is possible to write <math>{}^{\backprime\backprime}j : x = y{}^{\prime\prime}\!</math> to mean that <math>{}^{\backprime\backprime}j ~\text{sets}~ x ~\text{equal to}~ y{}^{\prime\prime},\!</math> to read this as a statement about a system <math>j\!</math> and two of its stores <math>x\!</math> and <math>y,\!</math> and to understand this as a statement that implicitly refers to a set of states that makes it true.  Further, I want to recognize this statement as the active voice, attributed account, or authorized version of the more familiar, but passive, anonymous, or unavowed species of assignment statement <math>{}^{\backprime\backprime}x := y.{}^{\prime\prime}\!</math>

<pre>

<pre>