A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) 📕

a horse ever coexist with web-feet. It is scarcely necessary to apply the same analysis to Particular affirmations and negations. "Some birds are web-footed," affirms that, with the attributes connoted by bird, the phenomenon web-feet is sometimes co-existent: "Some birds are not web-footed," asserts that there are other instances in which this coexistence does not have place. Any further explanation of a thing which, if the previous exposition has been assented to, is so obvious, may here be spared.

CHAPTER VI.
OF PROPOSITIONS MERELY VERBAL.

§ 1. As a preparation for the inquiry which is the proper object of Logic, namely, in what manner propositions are to be proved, we have found it necessary to inquire what they contain which requires, or is susceptible of, proof; or (which is the same thing) what they assert. In the course of this preliminary investigation into the import of Propositions, we examined the opinion of the Conceptualists, that a proposition is the expression of a relation between two ideas; and the doctrine of the Nominalists, that it is the expression of an agreement or disagreement between the meanings of two names. We decided that, as general theories, both of these are erroneous; and that, though propositions may be made both respecting names and respecting ideas, neither the one nor the other are the subject-matter of Propositions considered generally. We then examined the different kinds of Propositions, and found that, with the exception of those which are merely verbal, they assert five different kinds of matters of fact, namely, Existence, Order in Place, Order in Time, Causation, and Resemblance; that in every proposition one of these five is either affirmed, or denied, of some fact or phenomenon, or of some object the unknown source of a fact or phenomenon.

In distinguishing, however, the different kinds of matters of fact asserted in propositions, we reserved one class of propositions, which do not relate to any matter of fact, in the proper sense of the term, at all, but to the meaning of names. Since names and their signification are entirely arbitrary, such propositions are not, strictly speaking, susceptible of truth or falsity, but only of conformity or disconformity to usage or convention; and all the proof they are capable of, is proof of usage; proof that the words have been employed by others in the acceptation in which the speaker or writer desires to use them. These propositions occupy, however, a conspicuous place in philosophy; and their nature and characteristics are of as much importance in logic, as those of any of the other classes of propositions previously adverted to.

If all propositions respecting the signification of words were as simple and unimportant as those which served us for examples when examining Hobbes' theory of predication, viz. those of which the subject and predicate are proper names, and which assert only that those names have, or that they have not, been conventionally assigned to the same individual, there would be little to attract to such propositions the attention of philosophers. But the class of merely verbal propositions embraces not only much more than these, but much more than any propositions which at first sight present themselves as verbal; comprehending a kind of assertions which have been regarded not only as relating to things, but as having actually a more intimate relation with them than any other propositions whatever. The student in philosophy will perceive that I allude to the distinction on which so much stress was laid by the schoolmen, and which has been retained either under the same or under other names by most metaphysicians to the present day, viz. between what were called essential, and what were called accidental, propositions, and between essential and accidental properties or attributes.

§ 2. Almost all metaphysicians prior to Locke, as well as many since his time, have made a great mystery of Essential Predication, and of predicates which are said to be of the essence of the subject. The essence of a thing, they said, was that without which the thing could neither be, nor be conceived to be. Thus, rationality was of the essence of man, because without rationality, man could not be conceived to exist. The different attributes which made up the essence of the thing were called its essential properties; and a proposition in which any of these were predicated of it was called an Essential Proposition, and was considered to go deeper into the nature of the thing, and to convey more important information respecting it, than any other proposition could do. All properties, not of the essence of the thing, were called its accidents; were supposed to have nothing at all, or nothing comparatively, to do with its inmost nature; and the propositions in which any of these were predicated of it were called Accidental Propositions. A connexion may be traced between this distinction, which originated with the schoolmen, and the well-known dogmas of substantiæ secundæ or general substances, and substantial forms, doctrines which under varieties of language pervaded alike the Aristotelian and the Platonic schools, and of which more of the spirit has come down to modern times than might be conjectured from the disuse of the phraseology. The false views of the nature of classification and generalization which prevailed among the schoolmen, and of which these dogmas were the technical expression, afford the only explanation which can be given of their having misunderstood the real nature of those Essences which held so conspicuous a place in their philosophy. They said, truly, that man cannot be conceived without rationality. But though man cannot, a being may be conceived exactly like a man in all points except that one quality, and those others which are the conditions or consequences of it. All therefore which is really true in the assertion that man cannot be conceived without rationality, is only, that if he had not rationality, he would not be reputed a man. There is no impossibility in conceiving the thing, nor, for aught we know, in its existing: the impossibility is in the conventions of language, which will not allow the thing, even if it exist, to be called by the name which is reserved for rational beings. Rationality, in short, is involved in the meaning of the word man: is one of the attributes connoted by the name. The essence of man, simply means the whole of the attributes connoted by the word; and any one of those attributes taken singly, is an essential property of man.

But these reflections, so easy to us, would have been difficult to persons who thought, as most of the later Aristotelians did, that objects were made what they were called, that gold (for instance) was made gold, not by the possession of certain properties to which mankind have chosen to attach that name, but by participation in the nature of a certain general substance, called gold in general, which substance, together with all the properties that belonged to it, inhered in every individual piece of gold.[23] As they did not consider these universal substances to be attached to all general names, but only to some, they thought that an object borrowed only a part of its properties from an universal substance, and that the rest belonged to it individually: the former they called its essence, and the latter its accidents. The scholastic doctrine of essences long survived the theory on which it rested, that of the existence of real entities corresponding to general terms; and it was reserved for Locke at the end of the seventeenth century, to convince philosophers that the supposed essences of classes were merely the signification of their names; nor, among the signal services which his writings rendered to philosophy, was there one more needful or more valuable.

Now, as the most familiar of the general names by which an object is designated usually connotes not one only, but several attributes of the object, each of which attributes separately forms also the bond of union of some class, and the meaning of some general name; we may predicate of a name which connotes a variety of attributes, another name which connotes only one of these attributes, or some smaller number of them than all. In such cases, the universal affirmative proposition will be true; since whatever possesses the whole of any set of attributes, must possess any part of that same set. A proposition of this sort, however, conveys no information to any one who previously understood the whole meaning of the terms. The propositions, Every man is a corporeal being, Every man is a living creature, Every man is rational, convey no knowledge to any one who was already aware of the entire meaning of the word man, for the meaning of the word includes all this: and that every man has the attributes connoted by all these predicates, is already asserted when he is called a man. Now, of this nature are all the propositions which have been called essential. They are, in fact, identical propositions.

It is true that a proposition which predicates any attribute, even though it be one implied in the name, is in most cases understood to involve a tacit assertion that there exists a thing corresponding to the name, and possessing the attributes connoted by it; and this implied assertion may convey information, even to those who understood the meaning of the name. But all information of this sort, conveyed by all the essential propositions of which man can be made the subject, is included in the assertion, Men exist. And this assumption of real existence is, after all, the result of an imperfection of language. It arises from the ambiguity of the copula, which, in addition to its proper office of a mark to show that an assertion is made, is also, as formerly remarked, a concrete word connoting existence. The actual existence of the subject of the proposition is therefore only apparently, not really, implied in the predication, if an essential one: we may say, A ghost is a disembodied spirit, without believing in ghosts. But an accidental, or non-essential, affirmation, does imply the real existence of the subject, because in the case of a non-existent subject there is nothing for the proposition to assert. Such a proposition as, The ghost of a murdered person haunts the couch of the murderer, can only have a meaning if understood as implying a belief in ghosts; for since the signification of the word ghost implies nothing of the kind, the speaker either means nothing, or means to assert a thing which he wishes to be believed to have really taken place.

It will be hereafter seen that when any important consequences seem to follow, as in mathematics, from an essential proposition, or, in other words, from a proposition involved in the meaning of a name, what they really flow from is the tacit assumption of the real existence of the objects so named. Apart from this assumption of real existence, the class of propositions in which the predicate is of the essence of the subject (that is, in which the predicate connotes the whole or part of what the subject connotes, but nothing besides) answer no purpose but that of unfolding the whole or some part of the meaning of the name, to those who did not previously know it. Accordingly, the most useful, and in strictness the only useful kind of essential propositions, are Definitions: which, to be complete, should unfold the whole of what is involved in the meaning of the word defined; that is, (when it is a connotative word,) the whole of what it connotes. In defining a name, however, it is not usual to specify its entire connotation, but so much only as is sufficient to mark out the objects usually