Changes

|}

|}

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_1, t_2, t_3, t_4, t_5, t_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>

===Discussion===

===Discussion===