CHAPTER V.
Of the Quantification of the Predicate.
§ 295. The rules that have been given for the distribution of terms, together with the fourfold division of propositions into A, E, 1, 0, are based on the assumption that it is the distribution or non-distribution of the subject only that needs to be taken into account in estimating the quantity of a proposition.
§ 296. But some logicians have maintained that the predicate, though seldom quantified in expression, must always be quantified in thought—in other words, that when we say, for instance, 'All A is B,' we must mean either that 'All A is all B' or only that 'All A is some B.'
§ 297. If this were so, it is plain that the number of possible propositions would be exactly doubled, and that, instead of four forms, we should now have to recognise eight, which may be expressed as follows—
1. All A is all B. ([upsilon]).
2. All A is some B. ([Lambda]).
3. No A is any B. ([Epsilon]).
4. No A is some B. ([eta]).
5. Some A is all B. ([Upsilon]).