Sir William Hamilton states that up to his time logicians recognised but one type of proposition—that called by him the proposition 'in extension,' which means the classifying of the subject. He announced that he intended to introduce a proposition 'in comprehension,' meaning a judgment in the category of inherence—as for instance, 'man is responsible.' He further said that he recognised a third type of proposition, that concerning 'cause and effect.'
But in the course of working out these logical novelties he seems to have discovered that they were irreconcilable with conversion, and so he dropped them. The judgment in comprehension, he then declared, was to all intents and purposes the same as one in extension, and as to causation—why, a cause is a class, and an effect is an individual belonging to that class![22]
Let us see what is the result of treating applicates as general ideas. Take an example in each of the categories.
'The paper is white.' This means that the paper has the property or attribute of whiteness. In logic it is interpreted to mean that paper is an individual of the class white. This is wrong, for there is no such class. No sane person would form a class out of salt, snow, milk, china, silver, the moon, and other white things; for though they have a common property it is not the sign of a common human utility.
The confusing a single property with a class is not always owing to exigencies of syllogism. It pervades the writings of most Western metaphysicians, and may be accounted for in this manner.
General ideas and abstract properties or ideas have in common that they are partial recognitions of what we perceive (xiv). The partition in each is however made in a different way, and for a different purpose. In generalisation the selection is done almost mechanically. We see many things that have some common relation, function, or utility for us, and we remember only so much of them as appears to be necessary for the recognition of that relation or utility—just so much of the Intellectual experience as has always accompanied the Sentimental experience. The process is very like that of putting a piece of wood or ivory in a turning-lathe, and whittling off all that we do not want. A general idea is the useful core of a multitude of superposed observations, each of which had something irrelevant—something which it is better to forget. We whittle this off and remember only the core.
Abstraction, on the other hand, is a conscious and deliberate operation from beginning to end. It consists in distinguishing one by one the properties of a thing, and even treating each property as if it had an independent existence. For this exercise it is not necessary to observe many things: we can analyse one alone, though an acquaintance with other cognate objects is sometimes necessary to call our attention to single properties. We need the shock of difference to be able to distinguish well a fine abstraction—the difference between shades of colours, for example. Abstraction is thus a minute attention to individuals, and need not for a moment be confounded with generalisation.
Another cause of the confusion in question can be traced to the use of the verb 'is' to represent both the relation of a thing to the general idea it has contributed to form, and the relation of a single property to the thing in which it inheres. We say 'The man is a British subject'—classifying him; we say also 'The man is cold'—mentioning one of his attributes. There is no class of cold men, and the two relations have nothing in common. A class does not inhere in a man as cold inheres in him. There is no object corresponding to class—it is a conceptual creation.
The ambiguity of 'is' favours the syllogistic doctrine of predication, and there is a rule to the effect that in syllogising propositions, all verbs are to be converted into 'is' (or its conjugates) with a participle or noun, so that if they were not before statements of classification they now become such. 'He walks' is clearly no classification; but 'he is walking' is assimilated by false analogy to such a classification as 'he is human,' and so is treated as a classification by those who reason according to the Letter.