It is apt to be supposed that the copula is something more than a mere sign of predication; that it also signifies existence. In the proposition, Socrates is just, it may seem to be implied not only that the quality just can be affirmed of Socrates, but moreover that Socrates is, that is to say, exists. This, however, only shows that there is an ambiguity in the word is; a word which not only performs the function of the copula in affirmations, but has also a meaning of its own, in virtue of which it may itself be made the predicate of a proposition. That the employment of it as a copula does not necessarily include the affirmation of existence, appears from such a proposition as this, A centaur is a fiction of the poets; where it can not possibly be implied that a centaur exists, since the proposition itself expressly asserts that the thing has no real existence.

Many volumes might be filled with the frivolous speculations concerning the nature of Being (το ὄν, οὐσία, Ens, Entitas, Essentia, and the like), which have arisen from overlooking this double meaning of the word to be; from supposing that when it signifies to exist, and when it signifies to be some specified thing, as to be a man, to be Socrates, to be seen or spoken of, to be a phantom, even to be a nonentity, it must still, at bottom, answer to the same idea; and that a meaning must be found for it which shall suit all these cases. The fog which rose from this narrow spot diffused itself at an early period over the whole surface of metaphysics. Yet it becomes us not to triumph over the great intellects of Plato and Aristotle because we are now able to preserve ourselves from many errors into which they, perhaps inevitably, fell. The fire-teazer of a modern steam-engine produces by his exertions far greater effects than Milo of Crotona could, but he is not therefore a stronger man. The Greeks seldom knew any language but their own. This rendered it far more difficult for them than it is for us, to acquire a readiness in detecting ambiguities. One of the advantages of having accurately studied a plurality of languages, especially of those languages which eminent thinkers have used as the vehicle of their thoughts, is the practical lesson we learn respecting the ambiguities of words, by finding that the same word in one language corresponds, on different occasions, to different words in another. When not thus exercised, even the strongest understandings find it difficult to believe that things which have a common name, have not in some respect or other a common nature; and often expend much labor very unprofitably (as was frequently done by the two philosophers just mentioned) in vain attempts to discover in what this common nature consists. But, the habit once formed, intellects much inferior are capable of detecting even ambiguities which are common to many languages: and it is surprising that the one now under consideration, though it exists in the modern languages as well as in the ancient, should have been overlooked by almost all authors. The quantity of futile speculation which had been caused by a misapprehension of the nature of the copula, was hinted at by Hobbes; but Mr. James Mill(25) was, I believe, the first who distinctly characterized the ambiguity, and pointed out how many errors in the received systems of philosophy it has had to answer for. It has, indeed, misled the moderns scarcely less than the ancients, though their mistakes, because our understandings are not yet so completely emancipated from their influence, do not appear equally irrational.

We shall now briefly review the principal distinctions which exist among propositions, and the technical terms most commonly in use to express those distinctions.

2. A proposition being a portion of discourse in which something is affirmed or denied of something, the first division of propositions is into affirmative and negative. An affirmative proposition is that in which the predicate is affirmed of the subject; as, Caesar is dead. A negative proposition is that in which the predicate is denied of the subject; as, Caesar is not dead. The copula, in this last species of proposition, consists of the words is not, which are the sign of negation; is being the sign of affirmation.

Some logicians, among whom may be mentioned Hobbes, state this distinction differently; they recognize only one form of copula, is, and attach the negative sign to the predicate. "Caesar is dead," and "Caesar is not dead," according to these writers, are propositions agreeing not in the subject and predicate, but in the subject only. They do not consider "dead," but "not dead," to be the predicate of the second proposition, and they accordingly define a negative proposition to be one in which the predicate is a negative name. The point, though not of much practical moment, deserves notice as an example (not unfrequent in logic) where by means of an apparent simplification, but which is merely verbal, matters are made more complex than before. The notion of these writers was, that they could get rid of the distinction between affirming and denying, by treating every case of denying as the affirming of a negative name. But what is meant by a negative name? A name expressive of the absence of an attribute. So that when we affirm a negative name, what we are really predicating is absence and not presence; we are asserting not that any thing is, but that something is not; to express which operation no word seems so proper as the word denying. The fundamental distinction is between a fact and the non-existence of that fact; between seeing something and not seeing it, between Caesar's being dead and his not being dead; and if this were a merely verbal distinction, the generalization which brings both within the same form of assertion would be a real simplification: the distinction, however, being real, and in the facts, it is the generalization confounding the distinction that is merely verbal; and tends to obscure the subject, by treating the difference between two kinds of truths as if it were only a difference between two kinds of words. To put things together, and to put them or keep them asunder, will remain different operations, whatever tricks we may play with language.

A remark of a similar nature may be applied to most of those distinctions among propositions which are said to have reference to their modality; as, difference of tense or time; the sun did rise, the sun is rising, the sun will rise. These differences, like that between affirmation and negation, might be glossed over by considering the incident of time as a mere modification of the predicate: thus, The sun is an object having risen, The sun is an object now rising, The sun is an object to rise hereafter. But the simplification would be merely verbal. Past, present, and future, do not constitute so many different kinds of rising; they are designations belonging to the event asserted, to the sun's rising to-day. They affect, not the predicate, but the applicability of the predicate to the particular subject. That which we affirm to be past, present, or future, is not what the subject signifies, nor what the predicate signifies, but specifically and expressly what the predication signifies; what is expressed only by the proposition as such, and not by either or both of the terms. Therefore the circumstance of time is properly considered as attaching to the copula, which is the sign of predication, and not to the predicate. If the same can not be said of such modifications as these, Caesar may be dead; Caesar is perhaps dead; it is possible that Caesar is dead; it is only because these fall altogether under another head, being properly assertions not of any thing relating to the fact itself, but of the state of our own mind in regard to it; namely, our absence of disbelief of it. Thus "Caesar may be dead" means "I am not sure that Caesar is alive."

3. The next division of propositions is into Simple and Complex; more aptly (by Professor Bain(26)) termed Compound. A simple proposition is that in which one predicate is affirmed or denied of one subject. A compound proposition is that in which there is more than one predicate, or more than one subject, or both.

At first sight this division has the air of an absurdity; a solemn distinction of things into one and more than one; as if we were to divide horses into single horses and teams of horses. And it is true that what is called a complex (or compound) proposition is often not a proposition at all, but several propositions, held together by a conjunction. Such, for example, is this: Caesar is dead, and Brutus is alive: or even this, Caesar is dead, but Brutus is alive. There are here two distinct assertions; and we might as well call a street a complex house, as these two propositions a complex proposition. It is true that the syncategorematic words and and but have a meaning; but that meaning is so far from making the two propositions one, that it adds a third proposition to them. All particles are abbreviations, and generally abbreviations of propositions; a kind of short-hand, whereby something which, to be expressed fully, would have required a proposition or a series of propositions, is suggested to the mind at once. Thus the words, Caesar is dead and Brutus is alive, are equivalent to these: Caesar is dead; Brutus is alive; it is desired that the two preceding propositions should be thought of together. If the words were, Caesar is dead, but Brutus is alive, the sense would be equivalent to the same three propositions together with a fourth; "between the two preceding propositions there exists a contrast:" viz., either between the two facts themselves, or between the feelings with which it is desired that they should be regarded.

In the instances cited the two propositions are kept visibly distinct, each subject having its separate predicate, and each predicate its separate subject. For brevity, however, and to avoid repetition, the propositions are often blended together: as in this, "Peter and James preached at Jerusalem and in Galilee," which contains four propositions: Peter preached at Jerusalem, Peter preached in Galilee, James preached at Jerusalem, James preached in Galilee.

We have seen that when the two or more propositions comprised in what is called a complex proposition are stated absolutely, and not under any condition or proviso, it is not a proposition at all, but a plurality of propositions; since what it expresses is not a single assertion, but several assertions, which, if true when joined, are true also when separated. But there is a kind of proposition which, though it contains a plurality of subjects and of predicates, and may be said in one sense of the word to consist of several propositions, contains but one assertion; and its truth does not at all imply that of the simple propositions which compose it. An example of this is, when the simple propositions are connected by the particle or; as, either A is B or C is D; or by the particle if; as, A is B if C is D. In the former case, the proposition is called disjunctive, in the latter, conditional: the name hypothetical was originally common to both.

As has been well remarked by Archbishop Whately and others, the disjunctive form is resolvable into the conditional; every disjunctive proposition being equivalent to two or more conditional ones. "Either A is B or C is D," means, "if A is not B, C is D; and if C is not D, A is B." All hypothetical propositions, therefore, though disjunctive in form, are conditional in meaning; and the words hypothetical and conditional may be, as indeed they generally are, used synonymously. Propositions in which the assertion is not dependent on a condition, are said, in the language of logicians, to be categorical.

A hypothetical proposition is not, like the pretended complex propositions which we previously considered, a mere aggregation of simple propositions. The simple propositions which form part of the words in which it is couched, form no part of the assertion which it conveys. When we say, If the Koran comes from God, Mohammed is the prophet of God, we do not intend to affirm either that the Koran does come from God, or that Mohammed is really his prophet. Neither of these simple propositions may be true, and yet the truth of the hypothetical proposition may be indisputable. What is asserted is not the truth of either of the propositions, but the inferribility of the one from the other. What, then, is the subject, and what the predicate of the hypothetical proposition? "The Koran" is not the subject of it, nor is "Mohammed:" for nothing is affirmed or denied either of the Koran or of Mohammed. The real subject of the predication is the entire proposition, "Mohammed is the prophet of God;" and the affirmation is, that this is a legitimate inference from the proposition, "The Koran comes from God." The subject and predicate, therefore, of a hypothetical proposition are names of propositions. The subject is some one proposition. The predicate is a general relative name applicable to propositions; of this form—"an inference from so and so." A fresh instance is here afforded of the remark, that particles are abbreviations; since "If A is B, C is D," is found to be an abbreviation of the following: "The proposition C is D, is a legitimate inference from the proposition A is B."

The distinction, therefore, between hypothetical and categorical propositions is not so great as it at first appears. In the conditional, as well as in the categorical form, one predicate is affirmed of one subject, and no more: but a conditional proposition is a proposition concerning a proposition; the subject of the assertion is itself an assertion. Nor is this a property peculiar to hypothetical propositions. There are other classes of assertions concerning propositions. Like other things, a proposition has attributes which may be predicated of it. The attribute predicated of it in a hypothetical proposition, is that of being an inference from a certain other proposition. But this is only one of many attributes that might be predicated. We may say, That the whole is greater than its part, is an axiom in mathematics: That the Holy Ghost proceeds from the Father alone, is a tenet of the Greek Church: The doctrine of the divine right of kings was renounced by Parliament at the Revolution: The infallibility of the Pope has no countenance from Scripture. In all these cases the subject of the predication is an entire proposition. That which these different predicates are affirmed of, is the proposition, "the whole is greater than its part;" the proposition, "the Holy Ghost proceeds from the Father alone;" the proposition, "kings have a divine right;" the proposition, "the Pope is infallible."

Seeing, then, that there is much less difference between hypothetical propositions and any others, than one might be led to imagine from their form, we should be at a loss to account for the conspicuous position which they have been selected to fill in treatises on logic, if we did not remember that what they predicate of a proposition, namely, its being an inference from something else, is precisely that one of its attributes with which most of all a logician is concerned.

4. The next of the common divisions of Propositions is into Universal, Particular, Indefinite, and Singular: a distinction founded on the degree of generality in which the name, which is the subject of the proposition, is to be understood. The following are examples:

All men are mortal—Universal. Some men are mortal—Particular. Man is mortal—Indefinite. Julius Caesar is mortal—Singular.

The proposition is Singular, when the subject is an individual name. The individual name needs not be a proper name. "The Founder of Christianity was crucified," is as much a singular proposition as "Christ was crucified."

When the name which is the subject of the proposition is a general name, we may intend to affirm or deny the predicate, either of all the things that the subject denotes, or only of some. When the predicate is affirmed or denied of all and each of the things denoted by the subject, the proposition is universal; when of some undefined portion of them only, it is particular. Thus, All men are mortal; Every man is mortal; are universal propositions. No man is immortal, is also a universal proposition, since the predicate, immortal, is denied of each and every individual denoted by the term man; the negative proposition being exactly equivalent to the following, Every man is not-immortal. But "some men are wise," "some men are not wise," are particular propositions; the predicate wise being in the one case affirmed and in the other denied not of each and every individual denoted by the term man, but only of each and every one of some portion of those individuals, without specifying what portion; for if this were specified, the proposition would be changed either into a singular proposition, or into a universal proposition with a different subject; as, for instance, "all properly instructed men are wise." There are other forms of particular propositions; as, "Most men are imperfectly educated:" it being immaterial how large a portion of the subject the predicate is asserted of, as long as it is left uncertain how that portion is to be distinguished from the rest.(27)

When the form of the expression does not clearly show whether the general name which is the subject of the proposition is meant to stand for all the individuals denoted by it, or only for some of them, the proposition is, by some logicians, called Indefinite; but this, as Archbishop Whately observes, is a solecism, of the same nature as that committed by some grammarians when in their list of genders they enumerate the doubtful gender. The speaker must mean to assert the proposition either as a universal or as a particular proposition, though he has failed to declare which: and it often happens that though the words do not show which of the two he intends, the context, or the custom of speech, supplies the deficiency. Thus, when it is affirmed that "Man is mortal," nobody doubts that the assertion is intended of all human beings; and the word indicative of universality is commonly omitted, only because the meaning is evident without it. In the proposition, "Wine is good," it is understood with equal readiness, though for somewhat different reasons, that the assertion is not intended to be universal, but particular.(28) As is observed by Professor Bain,(29) the chief examples of Indefinite propositions occur "with names of material, which are the subjects sometimes of universal, and at other times of particular predication. 'Food is chemically constituted by carbon, oxygen, etc.,' is a proposition of universal quantity; the meaning is all food—all kinds of food. 'Food is necessary to animal life' is a case of particular quantity; the meaning is some sort of food, not necessarily all sorts. 'Metal is requisite in order to strength' does not mean all kinds of metal. 'Gold will make a way,' means a portion of gold."

When a general name stands for each and every individual which it is a name of, or in other words, which it denotes, it is said by logicians to be distributed, or taken distributively. Thus, in the proposition, All men are mortal, the subject, Man, is distributed, because mortality is affirmed of each and every man. The predicate, Mortal, is not distributed, because the only mortals who are spoken of in the proposition are those who happen to be men; while the word may, for aught that appears, and in fact does, comprehend within it an indefinite number of objects besides men. In the proposition, Some men are mortal, both the predicate and the subject are undistributed. In the following, No men have wings, both the predicate and the subject are distributed. Not only is the attribute of having wings denied of the entire class Man, but that class is severed and cast out from the whole of the class Winged, and not merely from some part of that class.

This phraseology, which is of great service in stating and demonstrating the rules of the syllogism, enables us to express very concisely the definitions of a universal and a particular proposition. A universal proposition is that of which the subject is distributed; a particular proposition is that of which the subject is undistributed.

There are many more distinctions among propositions than those we have here stated, some of them of considerable importance. But, for explaining and illustrating these, more suitable opportunities will occur in the sequel.



Chapter V.

Of The Import Of Propositions.

1. An inquiry into the nature of propositions must have one of two objects: to analyze the state of mind called Belief, or to analyze what is believed. All language recognizes a difference between a doctrine or opinion, and the fact of entertaining the opinion; between assent, and what is assented to.

Logic, according to the conception here formed of it, has no concern with the nature of the act of judging or believing; the consideration of that act, as a phenomenon of the mind, belongs to another science. Philosophers, however, from Descartes downward, and especially from the era of Leibnitz and Locke, have by no means observed this distinction; and would have treated with great disrespect any attempt to analyze the import of Propositions, unless founded on an analysis of the act of Judgment. A proposition, they would have said, is but the expression in words of a Judgment. The thing expressed, not the mere verbal expression, is the important matter. When the mind assents to a proposition, it judges. Let us find out what the mind does when it judges, and we shall know what propositions mean, and not otherwise.

Conformably to these views, almost all the writers on Logic in the last two centuries, whether English, German, or French, have made their theory of Propositions, from one end to the other, a theory of Judgments. They considered a Proposition, or a Judgment, for they used the two words indiscriminately, to consist in affirming or denying one idea of another. To judge, was to put two ideas together, or to bring one idea under another, or to compare two ideas, or to perceive the agreement or disagreement between two ideas: and the whole doctrine of Propositions, together with the theory of Reasoning (always necessarily founded on the theory of Propositions), was stated as if Ideas, or Conceptions, or whatever other term the writer preferred as a name for mental representations generally, constituted essentially the subject-matter and substance of those operations.

It is, of course, true, that in any case of judgment, as for instance when we judge that gold is yellow, a process takes place in our minds, of which some one or other of these theories is a partially correct account. We must have the idea of gold and the idea of yellow, and these two ideas must be brought together in our mind. But in the first place, it is evident that this is only a part of what takes place; for we may put two ideas together without any act of belief; as when we merely imagine something, such as a golden mountain; or when we actually disbelieve: for in order even to disbelieve that Mohammed was an apostle of God, we must put the idea of Mohammed and that of an apostle of God together. To determine what it is that happens in the case of assent or dissent besides putting two ideas together, is one of the most intricate of metaphysical problems. But whatever the solution may be, we may venture to assert that it can have nothing whatever to do with the import of propositions; for this reason, that propositions (except sometimes when the mind itself is the subject treated of) are not assertions respecting our ideas of things, but assertions respecting the things themselves. In order to believe that gold is yellow, I must, indeed, have the idea of gold, and the idea of yellow, and something having reference to those ideas must take place in my mind; but my belief has not reference to the ideas, it has reference to the things. What I believe, is a fact relating to the outward thing, gold, and to the impression made by that outward thing upon the human organs; not a fact relating to my conception of gold, which would be a fact in my mental history, not a fact of external nature. It is true, that in order to believe this fact in external nature, another fact must take place in my mind, a process must be performed upon my ideas; but so it must in every thing else that I do. I can not dig the ground unless I have the idea of the ground, and of a spade, and of all the other things I am operating upon, and unless I put those ideas together.(30) But it would be a very ridiculous description of digging the ground to say that it is putting one idea into another. Digging is an operation which is performed upon the things themselves, though it can not be performed unless I have in my mind the ideas of them. And in like manner, believing is an act which has for its subject the facts themselves, though a previous mental conception of the facts is an indispensable condition. When I say that fire causes heat, do I mean that my idea of fire causes my idea of heat? No: I mean that the natural phenomenon, fire, causes the natural phenomenon, heat. When I mean to assert any thing respecting the ideas, I give them their proper name, I call them ideas: as when I say, that a child's idea of a battle is unlike the reality, or that the ideas entertained of the Deity have a great effect on the characters of mankind.

The notion that what is of primary importance to the logician in a proposition, is the relation between the two ideas corresponding to the subject and predicate (instead of the relation between the two phenomena which they respectively express), seems to me one of the most fatal errors ever introduced into the philosophy of Logic; and the principal cause why the theory of the science has made such inconsiderable progress during the last two centuries. The treatises on Logic, and on the branches of Mental Philosophy connected with Logic, which have been produced since the intrusion of this cardinal error, though sometimes written by men of extraordinary abilities and attainments, almost always tacitly imply a theory that the investigation of truth consists in contemplating and handling our ideas, or conceptions of things, instead of the things themselves: a doctrine tantamount to the assertion, that the only mode of acquiring knowledge of nature is to study it at second hand, as represented in our own minds. Meanwhile, inquiries into every kind of natural phenomena were incessantly establishing great and fruitful truths on most important subjects, by processes upon which these views of the nature of Judgment and Reasoning threw no light, and in which they afforded no assistance whatever. No wonder that those who knew by practical experience how truths are arrived at, should deem a science futile, which consisted chiefly of such speculations. What has been done for the advancement of Logic since these doctrines came into vogue, has been done not by professed logicians, but by discoverers in the other sciences; in whose methods of investigation many principles of logic, not previously thought of, have successively come forth into light, but who have generally committed the error of supposing that nothing whatever was known of the art of philosophizing by the old logicians, because their modern interpreters have written to so little purpose respecting it.

We have to inquire, then, on the present occasion, not into Judgment, but judgments; not into the act of believing, but into the thing believed. What is the immediate object of belief in a Proposition? What is the matter of fact signified by it? What is it to which, when I assert the proposition, I give my assent, and call upon others to give theirs? What is that which is expressed by the form of discourse called a Proposition, and the conformity of which to fact constitutes the truth of the proposition?

2. One of the clearest and most consecutive thinkers whom this country or the world has produced, I mean Hobbes, has given the following answer to this question. In every proposition (says he) what is signified is, the belief of the speaker that the predicate is a name of the same thing of which the subject is a name; and if it really is so, the proposition is true. Thus the proposition, All men are living beings (he would say) is true, because living being is a name of every thing of which man is a name. All men are six feet high, is not true, because six feet high is not a name of every thing (though it is of some things) of which man is a name.

What is stated in this theory as the definition of a true proposition, must be allowed to be a property which all true propositions possess. The subject and predicate being both of them names of things, if they were names of quite different things the one name could not, consistently with its signification, be predicated of the other. If it be true that some men are copper-colored, it must be true—and the proposition does really assert—that among the individuals denoted by the name man, there are some who are also among those denoted by the name copper-colored. If it be true that all oxen ruminate, it must be true that all the individuals denoted by the name ox are also among those denoted by the name ruminating; and whoever asserts that all oxen ruminate, undoubtedly does assert that this relation subsists between the two names.

The assertion, therefore, which, according to Hobbes, is the only one made in any proposition, really is made in every proposition: and his analysis has consequently one of the requisites for being the true one. We may go a step further; it is the only analysis that is rigorously true of all propositions without exception. What he gives as the meaning of propositions, is part of the meaning of all propositions, and the whole meaning of some. This, however, only shows what an extremely minute fragment of meaning it is quite possible to include within the logical formula of a proposition. It does not show that no proposition means more. To warrant us in putting together two words with a copula between them, it is really enough that the thing or things denoted by one of the names should be capable, without violation of usage, of being called by the other name also. If, then, this be all the meaning necessarily implied in the form of discourse called a Proposition, why do I object to it as the scientific definition of what a proposition means? Because, though the mere collocation which makes the proposition a proposition, conveys no more than this scanty amount of meaning, that same collocation combined with other circumstances, that form combined with other matter, does convey more, and the proposition in those other circumstances does assert more, than merely that relation between the two names.

The only propositions of which Hobbes's principle is a sufficient account, are that limited and unimportant class in which both the predicate and the subject are proper names. For, as has already been remarked, proper names have strictly no meaning; they are mere marks for individual objects: and when a proper name is predicated of another proper name, all the signification conveyed is, that both the names are marks for the same object. But this is precisely what Hobbes produces as a theory of predication in general. His doctrine is a full explanation of such predications as these: Hyde was Clarendon, or, Tully is Cicero. It exhausts the meaning of those propositions. But it is a sadly inadequate theory of any others. That it should ever have been thought of as such, can be accounted for only by the fact, that Hobbes, in common with the other Nominalists, bestowed little or no attention upon the connotation of words; and sought for their meaning exclusively in what they denote: as if all names had been (what none but proper names really are) marks put upon individuals; and as if there were no difference between a proper and a general name, except that the first denotes only one individual, and the last a greater number.

It has been seen, however, that the meaning of all names, except proper names and that portion of the class of abstract names which are not connotative, resides in the connotation. When, therefore, we are analyzing the meaning of any proposition in which the predicate and the subject, or either of them, are connotative names, it is to the connotation of those terms that we must exclusively look, and not to what they denote, or in the language of Hobbes (language so far correct) are names of.

In asserting that the truth of a proposition depends on the conformity of import between its terms, as, for instance, that the proposition, Socrates is wise, is a true proposition, because Socrates and wise are names applicable to, or, as he expresses it, names of, the same person; it is very remarkable that so powerful a thinker should not have asked himself the question, But how came they to be names of the same person? Surely not because such was the intention of those who invented the words. When mankind fixed the meaning of the word wise, they were not thinking of Socrates, nor, when his parents gave him the name of Socrates, were they thinking of wisdom. The names happen to fit the same person because of a certain fact, which fact was not known, nor in being, when the names were invented. If we want to know what the fact is, we shall find the clue to it in the connotation of the names.

A bird or a stone, a man, or a wise man, means simply, an object having such and such attributes. The real meaning of the word man, is those attributes, and not Smith, Brown, and the remainder of the individuals. The word mortal, in like manner connotes a certain attribute or attributes; and when we say, All men are mortal, the meaning of the proposition is, that all beings which possess the one set of attributes, possess also the other. If, in our experience, the attributes connoted by man are always accompanied by the attribute connoted by mortal, it will follow as a consequence, that the class man will be wholly included in the class mortal, and that mortal will be a name of all things of which man is a name: but why? Those objects are brought under the name, by possessing the attributes connoted by it: but their possession of the attributes is the real condition on which the truth of the proposition depends; not their being called by the name. Connotative names do not precede, but follow, the attributes which they connote. If one attribute happens to be always found in conjunction with another attribute, the concrete names which answer to those attributes will of course be predicable of the same subjects, and may be said, in Hobbes's language (in the propriety of which on this occasion I fully concur), to be two names for the same things. But the possibility of a concurrent application of the two names, is a mere consequence of the conjunction between the two attributes, and was, in most cases, never thought of when the names were introduced and their signification fixed. That the diamond is combustible, was a proposition certainly not dreamed of when the words Diamond and Combustible first received their meaning; and could not have been discovered by the most ingenious and refined analysis of the signification of those words. It was found out by a very different process, namely, by exerting the senses, and learning from them, that the attribute of combustibility existed in the diamonds upon which the experiment was tried; the number or character of the experiments being such, that what was true of those individuals might be concluded to be true of all substances "called by the name," that is, of all substances possessing the attributes which the name connotes. The assertion, therefore, when analyzed, is, that wherever we find certain attributes, there will be found a certain other attribute: which is not a question of the signification of names, but of laws of nature; the order existing among phenomena.

3. Although Hobbes's theory of Predication has not, in the terms in which he stated it, met with a very favorable reception from subsequent thinkers, a theory virtually identical with it, and not by any means so perspicuously expressed, may almost be said to have taken the rank of an established opinion. The most generally received notion of Predication decidedly is that it consists in referring something to a class, i.e., either placing an individual under a class, or placing one class under another class. Thus, the proposition, Man is mortal, asserts, according to this view of it, that the class man is included in the class mortal. "Plato is a philosopher," asserts that the individual Plato is one of those who compose the class philosopher. If the proposition is negative, then instead of placing something in a class, it is said to exclude something from a class. Thus, if the following be the proposition, The elephant is not carnivorous; what is asserted (according to this theory) is, that the elephant is excluded from the class carnivorous, or is not numbered among the things comprising that class. There is no real difference, except in language, between this theory of Predication and the theory of Hobbes. For a class is absolutely nothing but an indefinite number of individuals denoted by a general name. The name given to them in common, is what makes them a class. To refer any thing to a class, therefore, is to look upon it as one of the things which are to be called by that common name. To exclude it from a class, is to say that the common name is not applicable to it.

How widely these views of predication have prevailed, is evident from this, that they are the basis of the celebrated dictum de omni et nullo. When the syllogism is resolved, by all who treat of it, into an inference that what is true of a class is true of all things whatever that belong to the class; and when this is laid down by almost all professed logicians as the ultimate principle to which all reasoning owes its validity; it is clear that in the general estimation of logicians, the propositions of which reasonings are composed can be the expression of nothing but the process of dividing things into classes, and referring every thing to its proper class.

This theory appears to me a signal example of a logical error very often committed in logic, that of ὕστερον προτέρον, or explaining a thing by something which presupposes it. When I say that snow is white, I may and ought to be thinking of snow as a class, because I am asserting a proposition as true of all snow: but I am certainly not thinking of white objects as a class; I am thinking of no white object whatever except snow, but only of that, and of the sensation of white which it gives me. When, indeed, I have judged, or assented to the propositions, that snow is white, and that several other things are also white, I gradually begin to think of white objects as a class, including snow and those other things. But this is a conception which followed, not preceded, those judgments, and therefore can not be given as an explanation of them. Instead of explaining the effect by the cause, this doctrine explains the cause by the effect, and is, I conceive, founded on a latent misconception of the nature of classification.

There is a sort of language very generally prevalent in these discussions, which seems to suppose that classification is an arrangement and grouping of definite and known individuals: that when names were imposed, mankind took into consideration all the individual objects in the universe, distributed them into parcels or lists, and gave to the objects of each list a common name, repeating this operation toties quoties until they had invented all the general names of which language consists; which having been once done, if a question subsequently arises whether a certain general name can be truly predicated of a certain particular object, we have only (as it were) to read the roll of the objects upon which that name was conferred, and see whether the object about which the question arises is to be found among them. The framers of language (it would seem to be supposed) have predetermined all the objects that are to compose each class, and we have only to refer to the record of an antecedent decision.

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 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, 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 which will follow in the Third Book, must be considered provisionally as a distinct and peculiar kind of assertion.

6. To these four kinds of matter-of-fact or assertion, must be added a fifth, Resemblance. This was a species of attribute which we found it impossible to analyze; for which no fundamentum, distinct from the objects themselves, could be assigned. Besides propositions which assert a sequence or co-existence between two phenomena, there are therefore also propositions which assert resemblance between them; as, This color is like that color; The heat of to-day is equal to the heat of yesterday. It is true that such an assertion might with some plausibility be brought within the description of an affirmation of sequence, by considering it as an assertion that the simultaneous contemplation of the two colors is followed by a specific feeling termed the feeling of resemblance. But there would be nothing gained by incumbering ourselves, especially in this place, with a generalization which may be looked upon as strained. Logic does not undertake to analyze mental facts into their ultimate elements. Resemblance between two phenomena is more intelligible in itself than any explanation could make it, and under any classification must remain specifically distinct from the ordinary cases of sequence and co-existence.

It is sometimes said, that all propositions whatever, of which the predicate is a general name, do, in point of fact, affirm or deny resemblance. All such propositions affirm that a thing belongs to a class; but things being classed together according to their resemblance, every thing is of course classed with the things which it is supposed to resemble most; and thence, it may be said, when we affirm that Gold is a metal, or that Socrates is a man, the affirmation intended is, that gold resembles other metals, and Socrates other men, more nearly than they resemble the objects contained in any other of the classes co-ordinate with these.

There is some slight degree of foundation for this remark, but no more than a slight degree. The arrangement of things into classes, such as the class metal, or the class man, is grounded indeed on a resemblance among the things which are placed in the same class, but not on a mere general resemblance: the resemblance it is grounded on consists in the possession by all those things, of certain common peculiarities; and those peculiarities it is which the terms connote, and which the propositions consequently assert; not the resemblance. For though when I say, Gold is a metal, I say by implication that if there be any other metals it must resemble them, yet if there were no other metals I might still assert the proposition with the same meaning as at present, namely, that gold has the various properties implied in the word metal; just as it might be said, Christians are men, even if there were no men who were not Christians. Propositions, therefore, in which objects are referred to a class because they possess the attributes constituting the class, are so far from asserting nothing but resemblance, that they do not, properly speaking, assert resemblance at all.

But we remarked some time ago (and the reasons of the remark will be more fully entered into in a subsequent Book(37)) that there is sometimes a convenience in extending the boundaries of a class so as to include things which possess in a very inferior degree, if in any, some of the characteristic properties of the class—provided they resemble that class more than any other, insomuch that the general propositions which are true of the class, will be nearer to being true of those things than any other equally general propositions. For instance, there are substances called metals which have very few of the properties by which metals are commonly recognized; and almost every great family of plants or animals has a few anomalous genera or species on its borders, which are admitted into it by a sort of courtesy, and concerning which it has been matter of discussion to what family they properly belonged. Now when the class-name is predicated of any object of this description, we do, by so predicating it, affirm resemblance and nothing more. And in order to be scrupulously correct it ought to be said, that in every case in which we predicate a general name, we affirm, not absolutely that the object possesses the properties designated by the name, but that it either possesses those properties, or if it does not, at any rate resembles the things which do so, more than it resembles any other things. In most cases, however, it is unnecessary to suppose any such alternative, the latter of the two grounds being very seldom that on which the assertion is made: and when it is, there is generally some slight difference in the form of the expression, as, This species (or genus) is considered, or may be ranked, as belonging to such and such a family: we should hardly say positively that it does belong to it, unless it possessed unequivocally the properties of which the class-name is scientifically significant.

There is still another exceptional case, in which, though the predicate is the name of a class, yet in predicating it we affirm nothing but resemblance, the class being founded not on resemblance in any given particular, but on general unanalyzable resemblance. The classes in question are those into which our simple sensations, or other simple feelings, are divided. Sensations of white, for instance, are classed together, not because we can take them to pieces, and say they are alike in this, and not alike in that, but because we feel them to be alike altogether, though in different degrees. When, therefore, I say, The color I saw yesterday was a white color, or, The sensation I feel is one of tightness, in both cases the attribute I affirm of the color or of the other sensation is mere resemblance—simple likeness to sensations which I have had before, and which have had those names bestowed upon them. The names of feelings, like other concrete general names, are connotative; but they connote a mere resemblance. When predicated of any individual feeling, the information they convey is that of its likeness to the other feelings which we have been accustomed to call by the same name. Thus much may suffice in illustration of the kind of propositions in which the matter-of-fact asserted (or denied) is simple Resemblance.

Existence, Co-existence, Sequence, Causation, Resemblance: one or other of these is asserted (or denied) in every proposition which is not merely verbal. This five-fold division is an exhaustive classification of matters-of-fact; of all things that can be believed, or tendered for belief; of all questions that can be propounded, and all answers that can be returned to them.

Professor Bain(38) distinguishes two kinds of Propositions of Co-existence. "In the one kind, account is taken of Place; they may be described as propositions of Order in Place." In the other kind, the co-existence which is predicated is termed by Mr. Bain Co-inherence of Attributes. "This is a distinct variety of Propositions of Co-existence. Instead of an arrangement in place with numerical intervals, we have the concurrence of two or more attributes or powers in the same part or locality. A mass of gold contains, in every atom, the concurring attributes that mark the substance—weight, hardness, color, lustre, incorrosibility, etc. An animal, besides having parts situated in place, has co-inhering functions in the same parts, exerted by the very same masses and molecules of its substance.... The Mind, which affords no Propositions of Order in Place, has co-inhering functions. We affirm mind to contain Feeling, Will, and Thought, not in local separation, but in commingling exercise. The concurring properties of minerals, of plants, and of the bodily and the mental structure of animals, are united in affirmations of co-inherence."

The distinction is real and important. But, as has been seen, an Attribute, when it is any thing but a simple unanalyzable Resemblance between the subject and some other things, consists in causing impressions of some sort on consciousness. Consequently, the co-inherence of two attributes is but the co-existence of the two states of consciousness implied in their meaning: with the difference, however, that this co-existence is sometimes potential only, the attribute being considered as in existence, though the fact on which it is grounded may not be actually, but only potentially present. Snow, for instance, is, with great convenience, said to be white even in a state of total darkness, because, though we are not now conscious of the color, we shall be conscious of it as soon as morning breaks. Co-inherence of attributes is therefore still a case, though a complex one, of co-existence of states of consciousness; a totally different thing, however, from Order in Place. Being a part of simultaneity, it belongs not to Place but to Time.

We may therefore (and we shall sometimes find it a convenience) instead of Co-existence and Sequence, say, for greater particularity, Order in Place and Order in Time: Order in Place being a specific mode of co-existence, not necessary to be more particularly analyzed here; while the mere fact of co-existence, whether between actual sensations, or between the potentialities of causing them, known by the name of attributes, may be classed, together with Sequence, under the head of Order in Time.

7. In the foregoing inquiry into the import of propositions, we have thought it necessary to analyze directly those alone, in which the terms of the proposition (or the predicate at least) are concrete terms. But, in doing so, we have indirectly analyzed those in which the terms are abstract. The distinction between an abstract term and its corresponding concrete, does not turn upon any difference in what they are appointed to signify; for the real signification of a concrete general name is, as we have so often said, its connotation; and what the concrete term connotes, forms the entire meaning of the abstract name. Since there is nothing in the import of an abstract name which is not in the import of the corresponding concrete, it is natural to suppose that neither can there be any thing in the import of a proposition of which the terms are abstract, but what there is in some proposition which can be framed of concrete terms.

And this presumption a closer examination will confirm. An abstract name is the name of an attribute, or combination of attributes. The corresponding concrete is a name given to things, because of, and in order to express, their possessing that attribute, or that combination of attributes. When, therefore, we predicate of any thing a concrete name, the attribute is what we in reality predicate of it. But it has now been shown that in all propositions of which the predicate is a concrete name, what is really predicated is one of five things: Existence, Co-existence, Causation, Sequence, or Resemblance. An attribute, therefore, is necessarily either an existence, a co-existence, a causation, a sequence, or a resemblance. When a proposition consists of a subject and predicate which are abstract terms, it consists of terms which must necessarily signify one or other of these things. When we predicate of any thing an abstract name, we affirm of the thing that it is one or other of these five things; that it is a case of Existence, or of Co-existence, or of Causation, or of Sequence, or of Resemblance.

It is impossible to imagine any proposition expressed in abstract terms, which can not be transformed into a precisely equivalent proposition in which the terms are concrete; namely, either the concrete names which connote the attributes themselves, or the names of the fundamenta of those attributes; the facts or phenomena on which they are grounded. To illustrate the latter case, let us take this proposition, of which the subject only is an abstract name, "Thoughtlessness is dangerous." Thoughtlessness is an attribute, grounded on the facts which we call thoughtless actions; and the proposition is equivalent to this, Thoughtless actions are dangerous. In the next example the predicate as well as the subject are abstract names: "Whiteness is a color;" or "The color of snow is a whiteness." These attributes being grounded on sensations, the equivalent propositions in the concrete would be, The sensation of white is one of the sensations called those of color—The sensation of sight, caused by looking at snow, is one of the sensations called sensations of white. In these propositions, as we have before seen, the matter-of-fact asserted is a Resemblance. In the following examples, the concrete terms are those which directly correspond to the abstract names; connoting the attribute which these denote. "Prudence is a virtue:" this may be rendered, "All prudent persons, in so far as prudent, are virtuous:" "Courage is deserving of honor;" thus, "All courageous persons are deserving of honor in so far as they are courageous:" which is equivalent to this—"All courageous persons deserve an addition to the honor, or a diminution of the disgrace, which would attach to them on other grounds."

In order to throw still further light upon the import of propositions of which the terms are abstract, we will subject one of the examples given above to a minuter analysis. The proposition we shall select is the following: "Prudence is a virtue." Let us substitute for the word virtue an equivalent but more definite expression, such as "a mental quality beneficial to society," or "a mental quality pleasing to God," or whatever else we adopt as the definition of virtue. What the proposition asserts is a sequence, accompanied with causation; namely, that benefit to society, or that the approval of God, is consequent on, and caused by, prudence. Here is a sequence; but between what? We understand the consequent of the sequence, but we have yet to analyze the antecedent. Prudence is an attribute; and, in connection with it, two things besides itself are to be considered; prudent persons, who are the subjects of the attribute, and prudential conduct, which may be called the foundation of it. Now is either of these the antecedent? and, first, is it meant, that the approval of God, or benefit to society, is attendant upon all prudent persons? No; except in so far as they are prudent; for prudent persons who are scoundrels can seldom, on the whole, be beneficial to society, nor can they be acceptable to a good being. Is it upon prudential conduct, then, that divine approbation and benefit to mankind are supposed to be invariably consequent? Neither is this the assertion meant, when it is said that prudence is a virtue; except with the same reservation as before, and for the same reason, namely, that prudential conduct, although in so far as it is prudential it is beneficial to society, may yet, by reason of some other of its qualities, be productive of an injury outweighing the benefit, and deserve a displeasure exceeding the approbation which would be due to the prudence. Neither the substance, therefore (viz., the person), nor the phenomenon (the conduct), is an antecedent on which the other term of the sequence is universally consequent. But the proposition, "Prudence is a virtue," is a universal proposition. What is it, then, upon which the proposition affirms the effects in question to be universally consequent? Upon that in the person, and in the conduct, which causes them to be called prudent, and which is equally in them when the action, though prudent, is wicked; namely, a correct foresight of consequences, a just estimation of their importance to the object in view, and repression of any unreflecting impulse at variance with the deliberate purpose. These, which are states of the person's mind, are the real antecedent in the sequence, the real cause in the causation, asserted by the proposition. But these are also the real ground, or foundation, of the attribute Prudence; since wherever these states of mind exist we may predicate prudence, even before we know whether any conduct has followed. And in this manner every assertion respecting an attribute, may be transformed into an assertion exactly equivalent respecting the fact or phenomenon which is the ground of the attribute. And no case can be assigned, where that which is predicated of the fact or phenomenon, does not belong to one or other of the five species formerly enumerated: it is either simple Existence, or it is some Sequence, Co-existence, Causation, or Resemblance.

And as these five are the only things which can be affirmed, so are they the only things which can be denied. "No horses are web-footed" denies that the attributes of a horse ever co-exist 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 co-existence 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 extreme 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's 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 connection may be traced between this distinction, which originated with the schoolmen, and the well-known dogmas of substantiae secundae 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 can not be conceived without rationality. But though man can not, 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 can not 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 general substance, called gold in general, which substance, together with all the properties that belonged to it, inhered in every individual piece of gold.(39) 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 a 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 denoted by it from all other known objects. And sometimes a merely accidental property, not involved in the meaning of the name, answers this purpose equally well. The various kinds of definition which these distinctions give rise to, and the purposes to which they are respectively subservient, will be minutely considered in the proper place.

3. According to the above view of essential propositions, no proposition can be reckoned such which relates to an individual by name, that is, in which the subject is a proper name. Individuals have no essences. When the schoolmen talked of the essence of an individual, they did not mean the properties implied in its name, for the names of individuals imply no properties. They regarded as of the essence of an individual, whatever was of the essence of the species in which they were accustomed to place that individual; i.e., of the class to which it was most familiarly referred, and to which, therefore, they conceived that it by nature belonged. Thus, because the proposition Man is a rational being, was an essential proposition, they affirmed the same thing of the proposition, Julius Caesar is a rational being. This followed very naturally if genera and species were to be considered as entities, distinct from, but inhering in, the individuals composing them. If man was a substance inhering in each individual man, the essence of man (whatever that might mean) was naturally supposed to accompany it; to inhere in John Thompson, and to form the common essence of Thompson and Julius Caesar. It might then be fairly said, that rationality, being of the essence of Man, was of the essence also of Thompson. But if Man altogether be only the individual men and a name bestowed upon them in consequence of certain common properties, what becomes of John Thompson's essence?

A fundamental error is seldom expelled from philosophy by a single victory. It retreats slowly, defends every inch of ground, and often, after it has been driven from the open country, retains a footing in some remote fastness. The essences of individuals were an unmeaning figment arising from a misapprehension of the essences of classes, yet even Locke, when he extirpated the parent error, could not shake himself free from that which was its fruit. He distinguished two sorts of essences, Real and Nominal. His nominal essences were the essences of classes, explained nearly as we have now explained them. Nor is any thing wanting to render the third book of Locke's Essay a nearly unexceptional treatise 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 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 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, name, is indeed mostly introduced because we have a signification to express by it; because we need a word by means of which to predicate the attributes which it connotes. But it is also true that a name is sometimes introduced because we have found it convenient to create a class; because we have thought it useful for the regulation of our mental operations, that a certain group of objects should be thought of together. A naturalist, for purposes connected with his particular science, sees reason to distribute the animal or vegetable creation into certain groups rather than into any others, and he requires a name to bind, as it were, each of his groups together. It must not, however, be supposed that such names, when introduced, differ in any respect, as to their mode of signification, from other connotative names. The classes which they denote are, as much as any other classes, constituted by certain common attributes, and their names are significant of those attributes, and of nothing else. The names of Cuvier's classes and orders, Plantigrades, Digitigrades, etc., are as much the expression of attributes as if those names had preceded, instead of grown out of, his classification of animals. The only peculiarity of the case is, that the convenience of classification was here the primary motive for introducing the names; while in other cases the name is introduced as a means of predication, and the formation of a class denoted by it is only an indirect consequence.