Changes

| <math>\operatorname{then}~ [| f |] ~=~ f^{-1} (\underline{1}) ~=~ \{ x \in X : f(x) = \underline{1} \}.</math>

| <math>\operatorname{then}~ [| f |] ~=~ f^{-1} (\underline{1}) ~=~ \{ x \in X : f(x) = \underline{1} \}.</math>

|}

|}

The definition of a fiber, in either the general or the boolean case, is a purely nominal convenience for referring to the antecedent subset, the inverse image under a function, or the pre-image of a functional value.  The definition of an operator on propositions, signified by framing the signs of propositions with fiber bars or ground signs, remains a purely notational device, and yet the notion of a fiber in a logical context serves to raise an interesting point.  By way of illustration, it is legitimate to rewrite the above definition in the following form:

The definition of a fiber, in either the general or the boolean case, is a purely nominal convenience for referring to the antecedent subset, the inverse image under a function, or the pre-image of a functional value.  The definition of an operator on propositions, signified by framing the signs of propositions with fiber bars or ground signs, remains a purely notational device, and yet the notion of a fiber in a logical context serves to raise an interesting point.  By way of illustration, it is legitimate to rewrite the above definition in the following form:

|}

|}

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 grammatical sentence or a sentential clause 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 initial 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 will appear 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 context, frame, and reception.

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.

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.