A System of Logic, Ratiocinative and Inductive. John Stuart Mill
that same name or another relative name which is said to be the correlative of the former. Thus, when we call any person a son, we [pg 043] suppose other persons who must be called parents. When we call any event a cause, we suppose another event which is an effect. When we say of any distance that it is longer, we suppose another distance which is shorter. When we say of any object that it is like, we mean that it is like some other object, which is also said to be like the first. In this last case both objects receive the same name; the relative term is its own correlative.
It is evident that these words, when concrete, are, like other concrete general names, connotative; they denote a subject, and connote an attribute; and each of them has, or might have, a corresponding abstract name, to denote the attribute connoted by the concrete. Thus the concrete like has its abstract likeness; the concretes, father and son, have, or might have, the abstracts, paternity, and filiety, or sonship. The concrete name connotes an attribute, and the abstract name which answers to it denotes that attribute. But of what nature is the attribute? Wherein consists the peculiarity in the connotation of a relative name?
The attribute signified by a relative name, say some, is a relation; and this they give, if not as a sufficient explanation, at least as the only one attainable. If they are asked, What then is a relation? they do not profess to be able to tell. It is generally regarded as something peculiarly recondite and mysterious. I can not, however, perceive in what respect it is more so than any other attribute; indeed, it appears to me to be so in a somewhat less degree. I conceive rather, that it is by examining into the signification of relative names, or, in other words, into the nature of the attribute which they connote, that a clear insight may best be obtained into the nature of all attributes: of all that is meant by an attribute.
It is obvious, in fact, that if we take any two correlative names, father and son for instance, though the objects denoted by the names are different, they both, in a certain sense, connote the same thing. They can not, indeed, be said to connote the same attribute: to be a father, is not the same thing as to be a son. But when we call one man a father, another a son, what we mean to affirm is a set of facts, which are exactly the same in both cases. To predicate of A that he is the father of B, and of B that he is the son of A, is to assert one and the same fact in different words. The two propositions are exactly equivalent: neither of them asserts more or asserts less than the other. The paternity of A and the filiety of B are not two facts, but two modes of expressing the same fact. That fact, when analysed, consists of a series of physical events or phenomena, in which both A and B are parties concerned, and from which they both derive names. What those names really connote, is this series of events: that is the meaning, and the whole meaning, which either of them is intended to convey. The series of events may be said to constitute the relation; the schoolmen called it the foundation of the relation, fundamentum relationis.
In this manner any fact, or series of facts, in which two different objects are implicated, and which is therefore predicable of both of them, may be either considered as constituting an attribute of the one, or an attribute of the other. According as we consider it in the former, or in the latter aspect, it is connoted by the one or the other of the two correlative names. Father connotes the fact, regarded as constituting an attribute of A; son connotes the same fact, as constituting an attribute of B. It may evidently be regarded with equal propriety in either light. And all that appears necessary to account for the existence of relative names, is, that whenever there is a fact in which two individuals are concerned, an attribute grounded on that fact may be ascribed to either of these individuals.
[pg 044]
A name, therefore, is said to be relative, when, over and above the object which it denotes, it implies in its signification the existence of another object, also deriving a denomination from the same fact which is the ground of the first name. Or (to express the same meaning in other words) a name is relative, when, being the name of one thing, its signification can not be explained but by mentioning another. Or we may state it thus—when the name can not be employed in discourse so as to have a meaning, unless the name of some other thing than what it is itself the name of, be either expressed or understood. These definitions are all, at bottom, equivalent, being modes of variously expressing this one distinctive circumstance—that every other attribute of an object might, without any contradiction, be conceived still to exist if no object besides that one had ever existed;16 but those of its attributes which are expressed by relative names, would on that supposition be swept away.
§ 8. Names have been further distinguished into univocal and æquivocal: these, however, are not two kinds of names, but two different modes of employing names. A name is univocal, or applied univocally, with respect to all things of which it can be predicated in the same sense; it is æquivocal, or applied æquivocally, as respects those things of which it is predicated in different senses. It is scarcely necessary to give instances of a fact so familiar as the double meaning of a word. In reality, as has been already observed, an æquivocal or ambiguous word is not one name, but two names, accidentally coinciding in sound. File meaning a steel instrument, and file meaning a line of soldiers, have no more title to be considered one word, because written alike, than grease and Greece have, because they are pronounced alike. They are one sound, appropriated to form two different words.
An intermediate case is that of a name used analogically or metaphorically; that is, a name which is predicated of two things, not univocally, or exactly in the same signification, but in significations somewhat similar, and which being derived one from the other, one of them may be considered the primary, and the other a secondary signification. As when we speak of a brilliant light and a brilliant achievement. The word is not applied in the same sense to the light and to the achievement; but having been applied to the light in its original sense, that of brightness to the eye, it is transferred to the achievement in a derivative signification, supposed to be somewhat like the primitive one. The word, however, is just as properly two names instead of one, in this case, as in that of the most perfect ambiguity. And one of the commonest forms of fallacious reasoning arising from ambiguity, is that of arguing from a metaphorical expression as if it were literal; that is, as if a word, when applied metaphorically, were the same name as when taken in its original sense: which will be seen more particularly in its place.
[pg 045]
Chapter III.
Of The Things Denoted By Names.
§ 1. Looking back now to the commencement of our inquiry, let us attempt to measure how far it has advanced. Logic, we found, is the Theory of Proof. But proof supposes something provable, which must be a Proposition or Assertion; since nothing but a Proposition can be an object of belief, or therefore of proof. A Proposition is, discourse which affirms or denies something of some other thing. This is one step: there must, it seems, be two things concerned in every act of belief. But what are these Things? They can be no other than those signified by the two names, which being joined together by a copula constitute the Proposition. If, therefore, we knew what all names signify, we should know every thing which, in the existing state of human knowledge, is capable either of being made a subject of affirmation or denial, or of being itself affirmed or denied of a subject. We have accordingly, in the preceding chapter, reviewed the various kinds of Names, in order to ascertain what is signified by each of them. And we have now carried this survey far enough to be able to take an account of its results, and to exhibit an enumeration of all kinds of Things which are capable of being made predicates, or of having any thing predicated of them: after which to determine the import of Predication, that is, of Propositions, can be no arduous task.
The necessity of an enumeration of Existences, as the basis of Logic, did not escape the attention of the schoolmen, and of their master Aristotle, the most comprehensive, if not also the most sagacious, of the ancient philosophers. The Categories, or Predicaments—the former a Greek word, the latter its literal