12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 04:00, 13 January 2009
, 04:00, 13 January 2009→1.3.10.3. Propositions and Sentences: mathematical markup
The set-builder frame <math>\{ x \in X : \underline{~~~} \}</math> requires a sentence to fill in the blank, as with the sentence <math>^{\backprime\backprime} f(x) = \underline{1} ^{\prime\prime}</math> that serves to fill the frame in the first definition of a logical fiber. And what is a sentence but the expression of a proposition, in other words, the name of an indicator function? As it happens, the sign <math>^{\backprime\backprime} f(x) ^{\prime\prime}</math> and the sentence <math>^{\backprime\backprime} f(x) = \underline{1} ^{\prime\prime}</math> represent the very same value to this context, for all <math>x\!</math> in <math>X,\!</math> that is, they are equal in their truth or falsity to any reasonable interpreter of signs or sentences in this context, and so either one of them can be tendered for the other, in effect, exchanged for the other, within this frame.
The set-builder frame <math>\{ x \in X : \underline{~~~} \}</math> requires a sentence to fill in the blank, as with the sentence <math>^{\backprime\backprime} f(x) = \underline{1} ^{\prime\prime}</math> that serves to fill the frame in the first definition of a logical fiber. And what is a sentence but the expression of a proposition, in other words, the name of an indicator function? As it happens, the sign <math>^{\backprime\backprime} f(x) ^{\prime\prime}</math> and the sentence <math>^{\backprime\backprime} f(x) = \underline{1} ^{\prime\prime}</math> represent the very same value to this context, for all <math>x\!</math> in <math>X,\!</math> that is, they are equal in their truth or falsity to any reasonable interpreter of signs or sentences in this context, and so either one of them can be tendered for the other, in effect, exchanged for the other, within this frame.
The sign <math>^{\backprime\backprime} f(x) ^{\prime\prime}</math> manifestly names the value <math>f(x).\!</math> This is a value that can be seen in many lights. It is, at turns: (1) the value that the proposition <math>f\!</math> has at the point <math>x,\!</math> in other words, that it bears at the point where it is evaluated, and that it takes on with respect to the argument or the object that the whole proposition is taken to be about, (2) the value that the proposition <math>f\!</math> not only takes up the point <math>x,\!</math> but that it carries, conveys, transfers, or transports into the setting <math>^{\backprime\backprime} \{ x \in X : \underline{~~~} \} ^{\prime\prime}</math> or into any other context of discourse where <math>f\!</math> is meant to be evaluated, (3) the value that the sign <math>^{\backprime\backprime} f(x) ^{\prime\prime}</math> has in the context where it is placed, that it stands for in the context where it stands, and that it continues to stand for in this context just so long as the same proposition <math>f\!</math> and the same object <math>x\!</math> are borne in mind, and last but not least, (4) the value that the sign <math>^{\backprime\backprime} f(x) ^{\prime\prime}</math> represents to its full interpretive context as being its own logical interpretant, namely, the value that it signifies as its canonical connotation to any interpreter of the sign that is cognizant of the context in which it appears.
<pre>
<pre>
The sentence "f(u) = 1" indirectly names what the sign "f(u)" more directly names, that is, the value f(u). In other words, the sentence "f(u) = 1" has the same value to its interpretive context that the sign "f(u)" imparts to any comparable context, each by way of its respective evaluation for the same u ? U.
The sentence "f(u) = 1" indirectly names what the sign "f(u)" more directly names, that is, the value f(u). In other words, the sentence "f(u) = 1" has the same value to its interpretive context that the sign "f(u)" imparts to any comparable context, each by way of its respective evaluation for the same u ? U.