I. _That the Predicate term may be regarded as a class in or from which the Subject is included or excluded._ Known as the Class-Inclusion, Class-Reference, or Denotative view. This way of analysing propositions is possible, as we have seen, because every statement implies a general name, and the extension or denotation of a general name is a class defined by the common attribute or attributes. It is useful for syllogistic purposes: certain relations among propositions can be most simply exhibited in this way. But if this is called a Theory of Predication or Judgment, and taken psychologically as a theory of what is in men's minds whenever they utter a significant Sentence, it is manifestly wrong. When discussed as such, it is very properly rejected. When a man says "P struck Q," he has not necessarily a class of "strikers of Q" definitely in his mind. What he has in his mind is the logical equivalent of this, but it is not this directly. Similarly, Mr. Bradley would be quite justified in speaking of Two Terms and a Copula as a superstition, if it were meant that these analytic elements are present to the mind of an ordinary speaker. II. _That every Proposition may be regarded as affirming or denying an attribute of a subject._ Known sometimes as the Connotative or the Denotative-Connotative view. This also follows from the implicit presence of a general name in every sentence. But it should not be taken as meaning that the man who says: "Tom came here yesterday," or "James generally sits there," has a clearly analysed Subject and Attribute in his mind. Otherwise it is as far wrong as the other view. III. _That every proposition may be regarded as an equation between two terms._ Known as the Equational View. This is obviously not true for common speech or ordinary thought. But it is a possible way of regarding the analytic components of a proposition, legitimate enough if it serves any purpose. It is a modification of the Class-Reference analysis, obtained by what is known as Quantification of the Predicate. In "All S is in P," P is undistributed, and has no symbol of Quantity. But since the proposition imports that All S is a part of P, _i.e._, Some P, we may, if we choose, prefix the symbol of Quantity, and then the proposition may be read "All S = Some P". And so with the other forms. Is there any advantage in this? Yes: it enables us to subject the formulae to algebraic manipulation. But any logical advantage--any help to thinking? None whatever. The elaborate syllogistic systems of Boole, De Morgan, and Jevons are not of the slightest use in helping men to reason correctly. The value ascribed to them is merely an illustration of the Bias of Happy Exercise. They are beautifully ingenious, but they leave every recorded instance of learned Scholastic trifling miles behind. IV. _That every proposition is the expression of a comparison between concepts._ Sometimes called the Conceptualist View.