A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

So absurd a doctrine will be owned by nobody when thus nakedly stated; but if the commonly received explanations of classification and naming do not imply this theory, it requires to be shown how they admit of being reconciled with any other.

General names are not marks put upon definite objects; classes are not made by drawing a line round a given number of assignable individuals. The objects which compose any given class are perpetually fluctuating. We may frame a class without knowing the individuals, or even any of the individuals, of which it may be composed; we may do so while believing that no such individuals exist. If by the meaning of a general name are to be understood the things which it is the name of, no general name, except by accident, has a fixed meaning at all, or ever long retains the same meaning. The only mode in which any general name has a definite meaning, is by being a name of an indefinite variety of things; namely, of all things, known or unknown, past, present, or future, which possess certain definite attributes. When, by studying not the meaning of words, but the phenomena of nature, we discover that these attributes are possessed by some object not previously known to possess them (as when chemists found that the diamond was combustible), we include this new object in the class; but it did not already belong to the class. We place the individual in the class because the proposition is true; the proposition is not true because the object is placed in the class.[31]

It will appear hereafter, in treating of reasoning, how much the theory of that intellectual process has been vitiated by the influence of these erroneous notions, and by the habit which they exemplify of assimilating all the operations of the human understanding which have truth for their object, to processes of mere classification and naming. Unfortunately, the minds which have been entangled in this net are precisely those which have escaped the other cardinal error commented upon in the beginning of the present chapter. Since the revolution which dislodged Aristotle from the schools, logicians may almost be divided into those who have looked upon reasoning as essentially an affair of Ideas, and those who have looked upon it as essentially an affair of Names.

Although, however, Hobbes’s theory of Predication, according to the well-known remark of Leibnitz, and the avowal of Hobbes himself,[32] renders truth and falsity completely arbitrary, with no standard but the will of men, it must not be concluded that either Hobbes, or any of the other thinkers who have in the main agreed with him, did in fact consider the distinction between truth and error as less real, or attached less importance to it, than other people. To suppose that they did so would argue total unacquaintance with their other speculations. But this shows how little hold their doctrine possessed over their own minds. No person, at bottom, ever imagined that there was nothing more in truth than propriety of expression; than using language in conformity to a previous convention. When the inquiry was brought down from generals to a particular case, it has always been acknowledged that there is a distinction between verbal and real questions; that some false propositions are uttered from ignorance of the meaning of words, but that in others the source of the error is a misapprehension of things; that a person who has not the use of language at all may form propositions mentally, and that they may be untrue—that is, he may believe as matters of fact what are not really so. This last admission can not be made in stronger terms than it is by Hobbes himself,[33] though he will not allow such erroneous belief to be called falsity, but only error. And he has himself laid down, in other places, doctrines in which the true theory of predication is by implication contained. He distinctly [pg 080] says that general names are given to things on account of their attributes, and that abstract names are the names of those attributes. “Abstract is that which in any subject denotes the cause of the concrete name.... And these causes of names are the same with the causes of our conceptions, namely, some power of action, or affection, of the thing conceived, which some call the manner by which any thing works upon our senses, but by most men they are called accidents.”[34] It is strange that having gone so far, he should not have gone one step further, and seen that what he calls the cause of the concrete name, is in reality the meaning of it; and that when we predicate of any subject a name which is given because of an attribute (or, as he calls it, an accident), our object is not to affirm the name, but, by means of the name, to affirm the attribute.

§ 4. Let the predicate be, as we have said, a connotative term; and to take the simplest case first, let the subject be a proper name: “The summit of Chimborazo is white.” The word white connotes an attribute which is possessed by the individual object designated by the words “summit of Chimborazo;” which attribute consists in the physical fact, of its exciting in human beings the sensation which we call a sensation of white. It will be admitted that, by asserting the proposition, we wish to communicate information of that physical fact, and are not thinking of the names, except as the necessary means of making that communication. The meaning of the proposition, therefore, is, that the individual thing denoted by the subject, has the attributes connoted by the predicate.

If we now suppose the subject also to be a connotative name, the meaning expressed by the proposition has advanced a step further in complication. Let us first suppose the proposition to be universal, as well as affirmative: “All men are mortal.” In this case, as in the last, what the proposition asserts (or expresses a belief of) is, of course, that the objects denoted by the subject (man) possess the attributes connoted by the predicate (mortal). But the characteristic of this case is, that the objects are no longer individually designated. They are pointed out only by some of their attributes: they are the objects called men, that is, possessing the attributes connoted by the name man; and the only thing known of them may be those attributes: indeed, as the proposition is general, and the objects denoted by the subject are therefore indefinite in number, most of them are not known individually at all. The assertion, therefore, is not, as before, that the attributes which the predicate connotes are possessed by any given individual, or by any number of individuals previously known as John, Thomas, etc., but that those attributes are possessed by each and every individual possessing certain other attributes; that whatever has the attributes connoted by the subject, has also those connoted by the predicate; that the latter set of attributes constantly accompany the former set. Whatever has the attributes of man has the attribute of mortality; mortality constantly accompanies the attributes of man.[35]

If it be remembered that every attribute is grounded on some fact or phenomenon, either of outward sense or of inward consciousness, and that to possess an attribute is another phrase for being the cause of, or forming part of, the fact or phenomenon upon which the attribute is grounded; we may add one more step to complete the analysis. The proposition which asserts that one attribute always accompanies another attribute, really asserts thereby no other thing than this, that one phenomenon always accompanies another phenomenon; insomuch that where we find the latter, we have assurance of the existence of the former. Thus, in the proposition, All men are mortal, the word man connotes the attributes which we ascribe to a certain kind of living creatures, on the ground of certain phenomena which they exhibit, and which are partly physical phenomena, namely the impressions made on our senses by their bodily form and structure, and partly mental phenomena, namely the sentient and intellectual life which they have of their own. All this is understood when we utter the word man, by any one to whom the meaning of the word is known. Now, when we say, Man is mortal, we mean that wherever these various physical and mental phenomena are all found, there we have assurance that the other physical and mental phenomenon, called death, will not fail to take place. The proposition does not affirm when; for the connotation of the word mortal goes no further than to the occurrence of the phenomenon at some time or other, leaving the particular time undecided.

§ 5. We have already proceeded far enough, not only to demonstrate the error of Hobbes, but to ascertain the real import of by far the most numerous class of propositions. The object of belief in a proposition, when it asserts any thing more than the meaning of words, is generally, as in the cases which we have examined, either the co-existence or the sequence of two phenomena. At the very commencement of our inquiry, we found that every act of belief implied two Things: we have now ascertained what, in the most frequent case, these two things are, namely, two Phenomena; in other words, two states of consciousness; and what it is which the proposition affirms (or denies) to subsist between them, namely, either succession or co-existence. And this case includes innumerable instances which no one, previous to reflection, would think of referring to it. Take the following example: A generous person is worthy of honor. Who would expect to recognize here a case of co-existence between phenomena? But so it is. The attribute which causes a person to be termed generous, is ascribed to him on the ground of states of his mind, and particulars of his conduct: both are phenomena: the former are facts of internal consciousness; the latter, so far as distinct from the former, are physical facts, or perceptions of the senses. Worthy of honor admits of a similar analysis. Honor, as here used, means a state of approving and admiring emotion, followed on occasion by corresponding outward acts. “Worthy of honor” connotes all this, together with our approval of the act of showing honor. All these are phenomena; states of internal consciousness, accompanied or followed by physical facts. When we say, A generous person is worthy of honor, [pg 082] we affirm co-existence between the two complicated phenomena connoted by the two terms respectively. We affirm, that wherever and whenever the inward feelings and outward facts implied in the word generosity have place, then and there the existence and manifestation of an inward feeling, honor, would be followed in our minds by another inward feeling, approval.

After the analysis, in a former chapter, of the import of names, many examples are not needed to illustrate the import of propositions. When there is any obscurity, or difficulty, it does not lie in the meaning of the proposition, but in the meaning of the names which compose it; in the extremely complicated connotation of many words; the immense multitude and prolonged series of facts which often constitute the phenomenon connoted by a name. But where it is seen what the phenomenon is, there is seldom any difficulty in seeing that the assertion conveyed by the proposition is, the co-existence of one such phenomenon with another; or the succession of one such phenomenon to another: so that where the one is found, we may calculate on finding the other, though perhaps not conversely.

This, however, though the most common, is not the only meaning which propositions are ever intended to convey. In the first place, sequences and co-existences are not only asserted respecting Phenomena; we make propositions also respecting those hidden causes of phenomena, which are named substances and attributes. A substance, however, being to us nothing but either that which causes, or that which is conscious of, phenomena; and the same being true, mutatis mutandis, of attributes; no assertion can be made, at least with a meaning, concerning these unknown and unknowable entities, except in virtue of the Phenomena by which alone they manifest themselves to our faculties. When we say Socrates was contemporary with the Peloponnesian war, the foundation of this assertion, as of all assertions concerning substances, is an assertion concerning the phenomena which they exhibit—namely, that the series of facts by which Socrates manifested himself to mankind, and the series of mental states which constituted his sentient existence, went on simultaneously with the series of facts known by the name of the Peloponnesian war. Still, the proposition as commonly understood does not assert that alone; it asserts that the Thing in itself, the noumenon Socrates, was existing, and doing or experiencing those various facts during the same time. Co-existence and sequence, therefore, may be affirmed or denied not only between phenomena, but between noumena, or between a noumenon and phenomena. And both of noumena and of phenomena we may affirm simple existence. But what is a noumenon? An unknown cause. In affirming, therefore, the existence of a noumenon, we affirm causation. Here, therefore, are two additional kinds of fact, capable of being asserted in a proposition. Besides the propositions which assert Sequence or Co-existence, there are some which assert simple Existence;[36] and others assert Causation, which, subject to the explanations [pg 083] which will follow in the Third Book, must be considered provisionally as a distinct and peculiar kind of assertion.