MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search
75 bytes added
, 22:08, 18 January 2009
Line 3,203: |
Line 3,203: |
| In order to deal with the higher order sign relations that are involved in this situation, I introduce a couple of new notations: | | In order to deal with the higher order sign relations that are involved in this situation, I introduce a couple of new notations: |
| | | |
− | # To mark the relation of denotation between a sentence <math>s\!</math> and the proposition that it denotes, let the ''floor'' notation <math>\lfloor s \rfloor</math> be used for ''the indicator function denoted by the sentence <math>s.\!</math>'' | + | # To mark the relation of denotation between a sentence <math>s\!</math> and the proposition that it denotes, let the ''drop'' notation <math>\downharpoonleft s \downharpoonright</math> be used for ''the indicator function denoted by the sentence <math>s.\!</math>'' |
− | # To mark the relation of denotation between a proposition <math>p\!</math> and the set that it indicates, let the ''ceiling'' notation <math>\lceil X \rceil</math> be used for ''the indicator function of the set <math>X.\!</math>'' | + | # To mark the relation of denotation between a proposition <math>p\!</math> and the set that it indicates, let the ''lift'' notation <math>\upharpoonleft X \upharpoonright</math> be used for ''the indicator function of the set <math>X.\!</math>'' |
| | | |
− | Notice that the floor operator <math>\lfloor ~ \rfloor</math> takes one "downstream", in accord with the direction of denotation, from a sign to its object, while the ceiling operator <math>\lceil ~ \rceil</math> takes one "upstream", against the direction of denotation, and thus from an object to its sign. | + | Notice that the drop operator <math>\downharpoonleft \cdots \downharpoonright</math> takes one "downstream", in accord with the direction of denotation, from a sign to its object, while the lift operator <math>\upharpoonleft \cdots \upharpoonright</math> takes one "upstream", against the direction of denotation, and thus from an object to its sign. |
| | | |
| In order to make these notations useful in practice, it is necessary to note of a couple of their finer points, points that might otherwise seem too fine to take much trouble over. For this reason, I express their usage a bit more carefully as follows: | | In order to make these notations useful in practice, it is necessary to note of a couple of their finer points, points that might otherwise seem too fine to take much trouble over. For this reason, I express their usage a bit more carefully as follows: |