Is it necessary to intertwine the notions of completeness with the notion of purity, or is a matter of taste?
I disagree with Peirce's association of logical relations with the =
universal quantity per se -- I would associate them with a logical =
quantity which is essentially the universe of discourse, the total =
population, the gamut, etc., _as_ a logical quantity, but it lacks a =
technical name. But I very much hold with associating =
predicate-formative and propositional-formative functors such as "not" =
and "and" (e.g., from "red," the "not" forms the predicate "not-red") =
with the kind of copula which joins subject to predicate. This is about =
attribution as opposed to the attribute -- the predication as opposed to =
the predicate -- etc. It is about a kind of transformation of the =
predicate (e.g., from "red" to "not-red") which does not end up =
referencing the same quality or particular kind of the same quality -- =
it is not about adverbs of manner or other ways of "further modifying" a =
same qualitative predicate. Instead it's about transformations of the =
predicate as marking a division of a universe of discourse, switching, =
for instance, in the case of "not" from that which is red to that which =
is not red. I mean, "not red" is not a species of "red." "Probably red" =
is not a species of "red." And so on. I think it can also be a "switch" =
to a distributional frequency, amount of distinctness (information), =
etc. They're intension-switchers or intension-transformers. Ultimately, =
in my view, a major division of research, usually regarded as "applied" =
mathematics but also simultaneously as deep or nontrivial mathematics, =
is about these sorts of relations -- the deductive mathematical theories =
and areas of logic, information, probability, optimization, and whatever =
else deals with such "valuations" of propositions, predicates, etc. and =
draws deductive conclusions, particularly non-reversibly deductive =
conclusions. (Deductive math of info theory, however, for historical =
reasons, has considerable overlap into abstract algebra and so is less =
likely to fit entirely within the foregoing characterization.) =20
Ben - I am not yet ready to tackle the semantic fillers of the alphabetic forms of symbolic logic.