Changes

Line 2,725: Line 2,725:     
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>
    
<pre>
 
<pre>
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 "j : x = y" to mean that "j sets x equal to y", to read this as a statement about a system j and two of its stores x and y, 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 "x := y".
  −
   
The rudimentary parallels between these different distinctions should not be treated too rigidly, as a number of finer points about their true relationship remain to be sorted out.  The next few remarks are given just to provide a hint of what is involved.
 
The rudimentary parallels between these different distinctions should not be treated too rigidly, as a number of finer points about their true relationship remain to be sorted out.  The next few remarks are given just to provide a hint of what is involved.
  
12,080

edits