Line 4,137: |
Line 4,137: |
| If the world of <math>\text{A}\!</math> and <math>\text{B},\!</math> the set <math>W = \{ \text{A}, \text{B}, {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \},\!</math> is viewed abstractly, as an arbitrary set of six atomic points, then there are exactly <math>2^6 = 64\!</math> ''abstract properties'' or ''potential attributes'' that might be applied to or recognized in these points. The elements of <math>W\!</math> that possess a given property form a subset of <math>W\!</math> called the ''extension'' of that property. Thus the extensions of abstract properties are exactly the subsets of <math>W.\!</math> The set of all subsets of <math>W\!</math> is called the ''power set'' of <math>W,\!</math> notated as <math>\operatorname{Pow}(W)\!</math> or <math>\mathcal{P}(W).\!</math> In order to make this way of talking about properties consistent with the previous definition of reality, it is necessary to say that one potential property is never realized, since no point has it, and its extension is the empty set <math>\varnothing = \{ \}.\!</math> All the ''natural'' properties of points that one observes in a concrete situation, properties whose extensions are known as ''natural kinds'', can be recognized among the ''abstract'', ''arbitrary'', or ''set-theoretic'' properties that are systematically generated in this way. Typically, however, many of these abstract properties will not be recognized as falling among the more natural kinds. | | If the world of <math>\text{A}\!</math> and <math>\text{B},\!</math> the set <math>W = \{ \text{A}, \text{B}, {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \},\!</math> is viewed abstractly, as an arbitrary set of six atomic points, then there are exactly <math>2^6 = 64\!</math> ''abstract properties'' or ''potential attributes'' that might be applied to or recognized in these points. The elements of <math>W\!</math> that possess a given property form a subset of <math>W\!</math> called the ''extension'' of that property. Thus the extensions of abstract properties are exactly the subsets of <math>W.\!</math> The set of all subsets of <math>W\!</math> is called the ''power set'' of <math>W,\!</math> notated as <math>\operatorname{Pow}(W)\!</math> or <math>\mathcal{P}(W).\!</math> In order to make this way of talking about properties consistent with the previous definition of reality, it is necessary to say that one potential property is never realized, since no point has it, and its extension is the empty set <math>\varnothing = \{ \}.\!</math> All the ''natural'' properties of points that one observes in a concrete situation, properties whose extensions are known as ''natural kinds'', can be recognized among the ''abstract'', ''arbitrary'', or ''set-theoretic'' properties that are systematically generated in this way. Typically, however, many of these abstract properties will not be recognized as falling among the more natural kinds. |
| | | |
− | <pre> | + | <pre> |
| Tables 54.1, 54.2, and 54.3 show three different ways of representing the elements of the world set W as vectors in the coordinate space W and as singular propositions in the universe of discourse W[]. Altogether, these Tables present the "literal" codes for the elements of W and W[] in their "mnemonic", "pragmatic", and "abstract" versions, respectively. In each Table, Column 1 lists the element w C W, while Column 2 gives the corresponding coordinate vector w C W in the form of a bit string. The next two Columns represent each w C W as a proposition in W[], in effect, reconstituting it as a function w : W >B. Column 3 shows the propositional expression of each element in the form of a conjunct term, in other words, as a logical product of positive and negative features. Column 4 gives the compact code for each element, using a conjunction of positive features in subscripted angle brackets to represent the singular proposition corresponding to each element. | | Tables 54.1, 54.2, and 54.3 show three different ways of representing the elements of the world set W as vectors in the coordinate space W and as singular propositions in the universe of discourse W[]. Altogether, these Tables present the "literal" codes for the elements of W and W[] in their "mnemonic", "pragmatic", and "abstract" versions, respectively. In each Table, Column 1 lists the element w C W, while Column 2 gives the corresponding coordinate vector w C W in the form of a bit string. The next two Columns represent each w C W as a proposition in W[], in effect, reconstituting it as a function w : W >B. Column 3 shows the propositional expression of each element in the form of a conjunct term, in other words, as a logical product of positive and negative features. Column 4 gives the compact code for each element, using a conjunction of positive features in subscripted angle brackets to represent the singular proposition corresponding to each element. |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 54.1 Mnemonic Literal Codes for Interpreters A & B | | Table 54.1 Mnemonic Literal Codes for Interpreters A & B |
| Element Vector Conjunct Term Code | | Element Vector Conjunct Term Code |
Line 4,148: |
Line 4,152: |
| "i" 000010 (A)(B)(a)(b) i (u) <i>W | | "i" 000010 (A)(B)(a)(b) i (u) <i>W |
| "u" 000001 (A)(B)(a)(b)(i) u <u>W | | "u" 000001 (A)(B)(a)(b)(i) u <u>W |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 54.2 Pragmatic Literal Codes for Interpreters A & B | | Table 54.2 Pragmatic Literal Codes for Interpreters A & B |
| Element Vector Conjunct Term Code | | Element Vector Conjunct Term Code |
Line 4,157: |
Line 4,165: |
| "i" 000010 (o1)(o2)(s1)(s2) s3 (s4) <s3>W | | "i" 000010 (o1)(o2)(s1)(s2) s3 (s4) <s3>W |
| "u" 000001 (o1)(o2)(s1)(s2)(s3) s4 <s4>W | | "u" 000001 (o1)(o2)(s1)(s2)(s3) s4 <s4>W |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 54.3 Abstract Literal Codes for Interpreters A & B | | Table 54.3 Abstract Literal Codes for Interpreters A & B |
| Element Vector Conjunct Term Code | | Element Vector Conjunct Term Code |
Line 4,166: |
Line 4,178: |
| "i" 000010 (w1)(w2)(w3)(w4) w5 (w6) <w5>W | | "i" 000010 (w1)(w2)(w3)(w4) w5 (w6) <w5>W |
| "u" 000001 (w1)(w2)(w3)(w4)(w5) w6 <w6>W | | "u" 000001 (w1)(w2)(w3)(w4)(w5) w6 <w6>W |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 55.1 LIR1 (A): Literal Representation of A | | Table 55.1 LIR1 (A): Literal Representation of A |
| Object Sign Interpretant | | Object Sign Interpretant |
Line 4,177: |
Line 4,193: |
| <B>W <u>W <b>W | | <B>W <u>W <b>W |
| <B>W <u>W <u>W | | <B>W <u>W <u>W |
| + | </pre> |
| + | |
| + | <br> |
| | | |
| + | <pre> |
| Table 55.2 LIR1 (Den A): Denotative Component of A | | Table 55.2 LIR1 (Den A): Denotative Component of A |
| Object Sign Transition | | Object Sign Transition |
Line 4,184: |
Line 4,204: |
| <B>W <b>W <<b>W, <B>W> | | <B>W <b>W <<b>W, <B>W> |
| <B>W <u>W <<u>W, <B>W> | | <B>W <u>W <<u>W, <B>W> |
| + | </pre> |
| + | |
| + | <br> |
| | | |
| + | <pre> |
| Table 55.3 LIR1 (Con A): Connotative Component of A | | Table 55.3 LIR1 (Con A): Connotative Component of A |
| Sign Interpretant Transition | | Sign Interpretant Transition |
Line 4,195: |
Line 4,219: |
| <u>W <b>W <db du>dW | | <u>W <b>W <db du>dW |
| <u>W <u>W <>dW | | <u>W <u>W <>dW |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 56.1 LIR1 (B): Literal Representation of B | | Table 56.1 LIR1 (B): Literal Representation of B |
| Object Sign Interpretant | | Object Sign Interpretant |
Line 4,206: |
Line 4,234: |
| <B>W <i>W <b>W | | <B>W <i>W <b>W |
| <B>W <i>W <i>W | | <B>W <i>W <i>W |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 56.2 LIR1 (Den B): Denotative Component of B | | Table 56.2 LIR1 (Den B): Denotative Component of B |
| Object Sign Transition | | Object Sign Transition |
Line 4,213: |
Line 4,245: |
| <B>W <b>W <<b>W, <B>W> | | <B>W <b>W <<b>W, <B>W> |
| <B>W <i>W <<i>W, <B>W> | | <B>W <i>W <<i>W, <B>W> |
| + | </pre> |
| | | |
| + | <br> |
| + | |
| + | <pre> |
| Table 56.3 LIR1 (Con B): Connotative Component of B | | Table 56.3 LIR1 (Con B): Connotative Component of B |
| Sign Interpretant Transition | | Sign Interpretant Transition |
Line 4,224: |
Line 4,260: |
| <i>W <b>W <db di>dW | | <i>W <b>W <db di>dW |
| <i>W <i>W <>dW | | <i>W <i>W <>dW |
| + | </pre> |
| + | |
| + | <br> |
| | | |
| + | <pre> |
| 1b. lateral coding | | 1b. lateral coding |
| | | |