§ 1. The metaphysical inquiry into the nature and composition of what have been called Abstract Ideas, or in other words, of the notions which answer in the mind to classes and to general names, belongs not to Logic, but to a different science, and our purpose does not require that we should enter upon it here. We are only concerned with the universally acknowledged fact, that such notions or conceptions do exist. The mind can conceive a multitude of individual things as one assemblage or class; and general names do really suggest to us certain ideas or mental representations, otherwise we could not use the names with consciousness of a meaning. Whether the idea called up by a general name is composed of the various circumstances in which all the individuals denoted by the name agree, and of no others, (which is the doctrine of Locke, Brown, and the Conceptualists;) or whether it be the idea of some one of those individuals, clothed in its individualizing peculiarities, but with the accompanying knowledge that those peculiarities are not properties of the class, (which is the doctrine of Berkeley, Mr. Bailey,[2] and the modern Nominalists;) or whether (as held by Mr. James Mill) the idea of the class is that of a miscellaneous assemblage of individuals belonging to the class; or whether, finally, (what appears to be the truest opinion,) it be any one or any other of all these, according to the accidental circumstances of the case; certain it is, that _some_ idea or mental conception is suggested by a general name, whenever we either hear it or employ it with consciousness of a meaning. And this, which we may call if we please a general idea, _represents_ in our minds the whole class of things to which the name is applied. Whenever we think or reason concerning the class, we do so by means of this idea. And the voluntary power which the mind has, of attending to one part of what is present to it at any moment, and neglecting another part, enables us to keep our reasonings and conclusions respecting the class unaffected by anything in the idea or mental image which is not really, or at least which we do not really believe to be, common to the whole class.[3] There are, then, such things as general conceptions, or conceptions by means of which we can think generally: and when we form a set of phenomena into a class, that is, when we compare them with one another to ascertain in what they agree, some general conception is implied in this mental operation. And inasmuch as such a comparison is a necessary preliminary to Induction, it is most true that Induction could not go on without general conceptions.