Definitions, in short, are of names, not things: yet they are not therefore arbitrary; and to determine what _should be_ the meaning of a term, it is often necessary to look at the objects. The obscurity as to the connotation arises through the objects being named before the attributes (though it is from the latter that the concrete general terms get their meaning), and through the same name being popularly applied to different objects on the ground of general resemblance, without any distinct perception of their common qualities, especially when these are complex. The philosopher, indeed, uses general names with a definite connotation; but philosophers do not make language--it grows: so that, by degrees, the same name often ceases to connote even general resemblance. The object in remodelling language is to discover if the things denoted have common qualities, i.e. if they form a class; and, if they do not, to form one artificially for them. A language's rude classifications often serve, when retouched, for philosophy. The transitions in signification, which often go on till the different members of the group seem to connote nought in common, indicate, at any rate, a striking resemblance among the objects denoted, and are frequently an index to a real connection; so that arguments turning apparently on the double meaning of a term, may perhaps depend on the connection of two ideas. To ascertain the link of connection, and to procure for the name a distinct connotation, the resemblances of things must be considered. Till the name has got a distinct connotation, it cannot be defined. The philosopher chooses for his connotation of the name the attributes most important, either directly, or as the differentiæ leading to the most interesting propria. The enquiry into the more hidden agreement on which these obvious agreements depend, often itself arises under the guise of enquiries into the definition of a name. BOOK II. REASONING. CHAPTER I. INFERENCE, OR REASONING IN GENERAL. The preceding book treated, not of the proper subject of logic, viz. the nature of proof, but of assertion. Assertions (as, e.g. definitions) which relate to the meaning of words, are, since _that_ is arbitrary, incapable of truth or falsehood, and therefore of proof or disproof. But there are assertions which are subjects for proof or disproof, viz. the propositions (the real, and not the verbal) whose subject is some fact of consciousness, or its hidden cause, about which is predicated, in the affirmative or negative, one of five things, viz. existence, order in place, order in time, causation, resemblance: in which, in short, it is asserted, that some given subject does or does not possess some attribute, or that two attributes, or sets of attributes, do or do not (constantly or occasionally) coexist.