12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5 (view source)
Revision as of 14:52, 24 February 2012
, 14:52, 24 February 2012→5.3.1. Looking Back: markup
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 “intentional context” that is signaled by the verb ''thinks'', normally “opaque” to all distributions of contextual information from any point outside its frame, to be treated as “transparent” 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 “intentional context” that is signaled by the verb ''thinks'', normally “opaque” to all distributions of contextual information from any point outside its frame, to be treated as “transparent” 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>
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.