These two forms of expression are at bottom equivalent; but the one points the attention more directly to what a proposition means, the latter to the manner in which it is to be used.
Now it is to be observed that Reasoning (the subject to which we are next to proceed) is a process into which propositions enter not as ultimate results, but as means to the establishment of other propositions. We may expect, therefore, that the mode of exhibiting the import of a general proposition which shows it in its application to practical use, will best express the function which propositions perform in Reasoning. And accordingly, in the theory of Reasoning, the mode of viewing the subject which considers a Proposition as asserting that one fact or phenomenon is a _mark_ or _evidence_ of another fact or phenomenon, will be found almost indispensable. For the purposes of that Theory, the best mode of defining the import of a proposition is not the mode which shows most clearly what it is in itself, but that which most distinctly suggests the manner in which it may be made available for advancing from it to other propositions.
CHAPTER VII. OF THE NATURE OF CLASSIFICATION, AND THE FIVE PREDICABLES.
§ 1. In examining into the nature of general propositions, we have adverted much less than is usual with Logicians, to the ideas of a Class, and Classification; ideas which, since the Realist doctrine of General Substances went out of vogue, have formed the basis of almost every attempt at a philosophical theory of general terms and general propositions. We have considered general names as having a meaning, quite independently of their being the names of classes. That circumstance is in truth accidental, it being wholly immaterial to the signification of the name whether there are many objects or only one to which it happens to be applicable, or whether there be any at all. God is as much a general term to the Christian or the Jew as to the Polytheist; and dragon, hippogriff, chimera, mermaid, ghost, are as much so as if real objects existed, corresponding to those names. Every name the signification of which is constituted by attributes, is potentially a name of an indefinite number of objects; but it needs not be actually the name of any; and if of any, it may be the name of only one. As soon as we employ a name to connote attributes, the things, be they more or fewer, which happen to possess those attributes, are constituted, _ipso facto_, a class. But in predicating the name we predicate only the attributes; and the fact of belonging to a class does not, in ordinary cases, come into view at all.