Changes

Line 146: Line 146:  
Figure 1 depicts the situation that is being contemplated here.
 
Figure 1 depicts the situation that is being contemplated here.
   −
<br><center><pre>
+
{| align="center" cellspacing="6" width="90%"
 +
| align="center" |
 +
<pre>
 
o---------------------------------------------------------------------o
 
o---------------------------------------------------------------------o
 
|                                                                    |
 
|                                                                    |
Line 173: Line 175:  
o---------------------------------------------------------------------o
 
o---------------------------------------------------------------------o
 
Figure 1.  Conjunctive Term z, Taken as Predicate
 
Figure 1.  Conjunctive Term z, Taken as Predicate
</pre></center><br>
+
</pre>
 +
|}
    
What Peirce is saying about <math>z\!</math> not being a genuinely useful symbol can be explained in terms of the gap between the logical conjunction <math>z,\!</math> in lattice terms, the ''greatest lower bound'' (''glb'') of the conjoined terms, <math>z = \operatorname{glb}( \{ t_j : j = 1 ~\text{to}~ 6 \}),</math> and what we might regard as the ''natural conjunction'' or the ''natural glb'' of these terms, namely, <math>y := \text{an orange}.\!</math>  That is to say, there is an extra measure of constraint that goes into forming the natural kinds lattice from the free lattice that logic and set theory would otherwise impose.  The local manifestations of this global information are meted out over the structure of the natural lattice by just such abductive gaps as the one between <math>z\!</math> and <math>y.\!</math>
 
What Peirce is saying about <math>z\!</math> not being a genuinely useful symbol can be explained in terms of the gap between the logical conjunction <math>z,\!</math> in lattice terms, the ''greatest lower bound'' (''glb'') of the conjoined terms, <math>z = \operatorname{glb}( \{ t_j : j = 1 ~\text{to}~ 6 \}),</math> and what we might regard as the ''natural conjunction'' or the ''natural glb'' of these terms, namely, <math>y := \text{an orange}.\!</math>  That is to say, there is an extra measure of constraint that goes into forming the natural kinds lattice from the free lattice that logic and set theory would otherwise impose.  The local manifestations of this global information are meted out over the structure of the natural lattice by just such abductive gaps as the one between <math>z\!</math> and <math>y.\!</math>
12,080

edits