A System of Logic, Ratiocinative and Inductive. John Stuart Mill
on the connotation of names, except to free its language from the assumption of what are called Abstract Ideas, which unfortunately is involved in the phraseology, though not necessarily connected with the thoughts contained in that immortal Third Book.40 But besides nominal essences, he admitted real essences, or essences of individual objects, which he supposed to be the causes of the sensible properties of those objects. We know not (said he) what these are (and this acknowledgment rendered the fiction comparatively innocuous); but if we did, we could, from them alone, demonstrate the sensible properties of the object, as the properties of the triangle are demonstrated from the definition of the triangle. I shall have occasion to revert to this theory in treating of Demonstration, and of the conditions under which one property of a thing admits of being demonstrated from another property. It is enough here to remark that, according to this definition, the real essence of an object has, in the progress of physics, come to be conceived as nearly equivalent, in the case of bodies, to their corpuscular structure: what it is now supposed to mean in the case of any other entities, I would not take upon myself to define.
§ 4. An essential proposition, then, is one which is purely verbal; which asserts of a thing under a particular name, only what is asserted of it in the fact of calling it by that name; and which, therefore, either gives no information, or gives it respecting the name, not the thing. Non-essential, or accidental propositions, on the contrary, may be called Real Propositions, in opposition to Verbal. They predicate of a thing some fact not involved in the signification of the name by which the proposition speaks of it; some attribute not connoted by that name. Such are all propositions concerning things individually designated, and all general or particular propositions in which the predicate connotes any attribute not connoted by the subject. All these, if true, add to our knowledge: they convey information, not already involved in the names employed. When I am told that all, or even that some objects, which have certain qualities, or which stand in certain relations, have also certain other qualities, or stand in certain other relations, I learn from this proposition a new fact; a fact not included in my knowledge of the meaning of the words, nor even of the existence of Things answering to the signification of those words. It is this class of propositions only which are in themselves instructive, or from which any instructive propositions can be inferred.41
Nothing has probably contributed more to the opinion so long prevalent of the futility of the school logic, than the circumstance that almost all the examples used in the common school books to illustrate the doctrine of [pg 093] predication and that of the syllogism, consist of essential propositions. They were usually taken either from the branches or from the main trunk of the Predicamental Tree, which included nothing but what was of the essence of the species: Omne corpus est substantia, Omne animal est corpus, Omnis homo est corpus, Omnis homo est animal, Omnis homo est rationalis, and so forth. It is far from wonderful that the syllogistic art should have been thought to be of no use in assisting correct reasoning, when almost the only propositions which, in the hands of its professed teachers, it was employed to prove, were such as every one assented to without proof the moment he comprehended the meaning of the words; and stood exactly on a level, in point of evidence, with the premises from which they were drawn. I have, therefore, throughout this work, avoided the employment of essential propositions as examples, except where the nature of the principle to be illustrated specifically required them.
§ 5. With respect to propositions which do convey information—which assert something of a Thing, under a name that does not already presuppose what is about to be asserted; there are two different aspects in which these, or rather such of them as are general propositions, may be considered: we may either look at them as portions of speculative truth, or as memoranda for practical use. According as we consider propositions in one or the other of these lights, their import may be conveniently expressed in one or in the other of two formulas.
According to the formula which we have hitherto employed, and which is best adapted to express the import of the proposition as a portion of our theoretical knowledge, All men are mortal, means that the attributes of man are always accompanied by the attribute mortality: No men are gods, means that the attributes of man are never accompanied by the attributes, or at least never by all the attributes, signified by the word god. But when the proposition is considered as a memorandum for practical use, we shall find a different mode of expressing the same meaning better adapted to indicate the office which the proposition performs. The practical use of a proposition is, to apprise or remind us what we have to expect, in any individual case which comes within the assertion contained in the proposition. In reference to this purpose, the proposition, All men are mortal, means that the attributes of man are evidence of, are a mark of, mortality; an indication by which the presence of that attribute is made manifest. No men are gods, means that the attributes of man are a mark or evidence that some or all of the attributes understood to belong to a god are not there; that where the former are, we need not expect to find the latter.
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 [pg 094] 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 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 many cases, come into view at all.
Although, however, Predication does not presuppose Classification, and though the theory of Names and of Propositions is not cleared up, but only encumbered, by intruding the idea of classification into it, there is nevertheless a close connection between Classification and the employment of General Names. By every general name which we introduce, we create a class, if there be any things, real or imaginary, to compose it; that is, any Things corresponding to the signification of the name. Classes, therefore, mostly owe their existence to general language. But general language, also, though that is not the most common case, sometimes owes its existence to classes. A general, which is as much as to say a significant,