Kant, may meet and join hands. Particular and detached opinions of all these thinkers will no doubt occasionally be controverted, since all of them were logicians as well as metaphysicians; but the field on which their principal battles have been fought, lies beyond the boundaries of our science.
It can not, indeed, be pretended that logical principles can be altogether irrelevant to those more abstruse discussions; nor is it possible but that the view we are led to take of the problem which logic proposes, must have a tendency favorable to the adoption of some one opinion, on these controverted subjects, rather than another. For metaphysics, in endeavoring to solve its own peculiar problem, must employ means, the validity of which falls under the cognizance of logic. It proceeds, no doubt, as far as possible, merely by a closer and more attentive interrogation of our consciousness, or more properly speaking, of our memory; and so far is not amenable to logic. But wherever this method is insufficient to attain the end of its inquiries, it must proceed, like other sciences, by means of evidence. Now, the moment this science begins to draw inferences from evidence, logic becomes the sovereign judge whether its inferences are well grounded, or what other inferences would be so.
This, however, constitutes no nearer or other relation between logic and metaphysics, than that which exists between logic and every other science.
And I can conscientiously affirm that no one proposition laid down in this work has been adopted for the sake of establishing, or with any reference to its fitness for being employed in establishing, preconceived opinions in any department of knowledge or of inquiry on which the speculative world is still undecided.(6) Book I.
OF NAMES AND PROPOSITIONS.
“La scolastique, qui produisit dans la logique, comme dans la morale, et dans une partie de la métaphysique, une subtilité, une précision d’idées, dont l’habitude inconnue aux anciens, a contribué plus qu’on ne croit au progrès de la bonne philosophie.”—CONDORCET, _Vie de Turgot_.
“To the schoolmen the vulgar languages are principally indebted for what precision and analytic subtlety they possess.”—SIR W. HAMILTON, Chapter I.
Of The Necessity Of Commencing With An Analysis Of Language.
§ 1. It is so much the established practice of writers on logic to commence their treatises by a few general observations (in most cases, it is true, rather meagre) on Terms and their varieties, that it will, perhaps, scarcely be required from me, in merely following the common usage, to be as particular in assigning my reasons, as it is usually expected that those should be who deviate from it.
The practice, indeed, is recommended by considerations far too obvious to require a formal justification. Logic is a portion of the Art of Thinking: Language is evidently, and by the admission of all philosophers, one of the principal instruments or helps of thought; and any imperfection in the instrument, or in the mode of employing it, is confessedly liable, still more than in almost any other art, to confuse and impede the process, and destroy all ground of confidence in the result. For a mind not previously versed in the meaning and right use of the various kinds of words, to attempt the study of methods of philosophizing, would be as if some one should attempt to become an astronomical observer, having never learned to adjust the focal distance of his optical instruments so as to see distinctly.
Since Reasoning, or Inference, the principal subject of logic, is an operation which usually takes place by means of words, and in complicated cases can take place in no other way; those who have not a thorough insight into the signification and purposes of words, will be under chances, amounting almost to certainty, of reasoning or inferring incorrectly. And logicians have generally felt that unless, in the very first stage, they removed this source of error; unless they taught their pupil to put away the glasses which distort the object, and to use those which are adapted to his purpose in such a manner as to assist, not perplex, his vision; he would not be in a condition to practice the remaining part of their discipline with any prospect of advantage.
Therefore it is that an inquiry into language, so far as is needful to guard against the errors to which it gives rise, has at all times been deemed a necessary preliminary to the study of logic.
But there is another reason, of a still more fundamental nature, why the import of words should be the earliest subject of the logician’s consideration: because without it he can not examine into the import of Propositions. Now this is a subject which stands on the very threshold of the science of logic.
The object of logic, as defined in the Introductory Chapter, is to ascertain how we come by that portion of our knowledge (much the greatest portion) which is not intuitive: and by what criterion we can, in matters not self-evident, distinguish between things proved and things not proved, between what is worthy and what is unworthy of belief. Of the various questions which present themselves to our inquiring faculties, some receive an answer from direct consciousness, others, if resolved at all, can only be resolved by means of evidence. Logic is concerned with these last. But before inquiring into the mode of resolving questions, it is necessary to inquire what are those which offer themselves; what questions are conceivable; what inquiries are there, to which mankind have either obtained, or been able to imagine it possible that they should obtain, an answer. This point is best ascertained by a survey and analysis of Propositions.
§ 2. The answer to every question which it is possible to frame, must be contained in a Proposition, or Assertion. Whatever can be an object of belief, or even of disbelief, must, when put into words, assume the form of a proposition. All truth and all error lie in propositions. What, by a convenient misapplication of an abstract term, we call a Truth, means simply a True Proposition; and errors are false propositions. To know the import of all possible propositions would be to know all questions which can be raised, all matters which are susceptible of being either believed or disbelieved. How many kinds of inquiries can be propounded; how many kinds of judgments can be made; and how many kinds of propositions it is possible to frame with a meaning, are but different forms of one and the same question. Since, then, the objects of all Belief and of all Inquiry express themselves in propositions, a sufficient scrutiny of Propositions and of their varieties will apprise us what questions mankind have actually asked of themselves, and what, in the nature of answers to those questions, they have actually thought they had grounds to believe.
Now the first glance at a proposition shows that it is formed by putting together two names. A proposition, according to the common simple definition, which is sufficient for our purpose is, _discourse, in which something is affirmed or denied of something_. Thus, in the proposition, Gold is yellow, the quality yellow is affirmed of the substance _gold_. In the proposition, Franklin was not born in England, the fact expressed by the words _born in England_ is denied of the man Franklin.
Every proposition consists of three parts: the Subject, the Predicate, and the Copula. The predicate is the name denoting that which is affirmed or denied. The subject is the name denoting the person or thing which something is affirmed or denied of. The copula is the sign denoting that there is an affirmation or denial, and thereby enabling the hearer or reader to distinguish a proposition from any other kind of discourse.
Thus, in the proposition, The earth is round, the Predicate is the word _round_, which denotes the quality affirmed, or (as the phrase is) predicated: _the earth_, words denoting the object which that quality is affirmed of, compose the Subject; the word _is_, which serves as the connecting mark between the subject and predicate, to show that one of them is affirmed of the other, is called the Copula.
Dismissing, for the present, the copula, of which more will be said hereafter, every proposition, then, consists of at least two names—brings together two names, in a particular manner. This is already a first step toward what we are in quest of. It appears from this, that for an act of belief, _one_ object is not sufficient; the simplest act of belief supposes, and has something to do with, _two_ objects—two names, to say the least; and (since the names must be names of something) two _namable things_. A large class of thinkers would cut the matter short by saying, two _ideas_. They would say, that the subject and predicate are both of them names of ideas; the idea of gold, for instance, and the idea of yellow; and that what takes place (or part of what takes place) in the act of belief consists in bringing (as it is often expressed) one of these ideas under the other. But this we are not yet in a condition to say: whether such be the correct mode of describing the phenomenon, is an after consideration. The result with which for the present we must be contented, is, that in every act of belief _two_ objects are in some manner taken cognizance of; that there can be no belief claimed, or question propounded, which does not embrace two distinct (either material or intellectual) subjects of thought; each of them capable, or not, of being conceived by itself, but incapable of being believed by itself.
I may say, for instance, “the sun.” The word has a meaning, and suggests that meaning to the mind of any one who is listening to me. But suppose I ask him, Whether it is true: whether he believes it? He can give no answer. There is as yet nothing to believe, or to disbelieve. Now, however, let me make, of all possible assertions respecting the sun, the one which involves the least of reference to any object besides itself; let me say, “the sun exists.” Here, at once, is something which a person can say he believes. But here, instead of only one, we find two distinct objects of conception: the sun is one object; existence is another. Let it not be said that this second conception, existence, is involved in the first; for the sun may be conceived as no longer existing. “The sun” does not convey all the meaning that is conveyed by “the sun exists:” “my father” does not include all the meaning of “my father exists,” for he may be dead; “a round square” does not include the meaning of “a round square exists,” for it does not and can not exist. When I say “the sun,” “my father,” or a “round square,” I do not call upon the hearer for any belief or disbelief, nor can either the one or the other be afforded me; but if I call for belief; and should, in the first of the three instances, meet with it; in the second, with belief or disbelief, as the case might be; in the third, with disbelief.
§ 3. This first step in the analysis of the object of belief, which, though so obvious, will be found to be not unimportant, is the only one which we shall find it practicable to make without a preliminary survey of language. If we attempt to proceed further in the same path, that is, to analyze any further the import of Propositions; we find forced upon us, as a subject of previous consideration, the import of Names. For every proposition consists of two names; and every proposition affirms or denies one of these names, of the other. Now what we do, what passes in our mind, when we affirm or deny two names of one another, must depend on what they are names of; since it is with reference to that, and not to the mere names themselves, that we make the affirmation or denial. Here, therefore, we find a new reason why the signification of names, and the relation generally between names and the things signified by them, must occupy the preliminary stage of the inquiry we are engaged in.
It may be objected that the meaning of names can guide us at most only to the opinions, possibly the foolish and groundless opinions, which mankind have formed concerning things, and that as the object of philosophy is truth, not opinion, the philosopher should dismiss words and look into things themselves, to ascertain what questions can be asked and answered in regard to them. This advice (which no one has it in his power to follow) is in reality an exhortation to discard the whole fruits of the labors of his predecessors, and conduct himself as if he were the first person who had ever turned an inquiring eye upon nature. What does any one’s personal knowledge of Things amount to, after subtracting all which he has acquired by means of the words of other people? Even after he has learned as much as people usually do learn from others, will the notions of things contained in his individual mind afford as sufficient a basis for a _catalogue raisonné_ as the notions which are in the minds of all mankind?
In any enumeration and classification of Things, which does not set out from their names, no varieties of things will of course be comprehended but those recognized by the particular inquirer; and it will still remain to be established, by a subsequent examination of names, that the enumeration has omitted nothing which ought to have been included. But if we begin with names, and use them as our clue to the things, we bring at once before us all the distinctions which have been recognized, not by a single inquirer, but by all inquirers taken together. It doubtless may, and I believe it will, be found, that mankind have multiplied the varieties unnecessarily, and have imagined distinctions among things, where there were only distinctions in the manner of naming them. But we are not entitled to assume this in the commencement. We must begin by recognizing the distinctions made by ordinary language. If some of these appear, on a close examination, not to be fundamental, the enumeration of the different kinds of realities may be abridged accordingly. But to impose upon the facts in the first instance the yoke of a theory, while the grounds of the theory are reserved for discussion in a subsequent stage, is not a course which a logician can reasonably adopt.
Chapter II.
Of Names.
§ 1. “A name,” says Hobbes,(7) “is a word taken at pleasure to serve for a mark which may raise in our mind a thought like to some thought we had before, and which being pronounced to others, may be to them a sign of what thought the speaker had(8) before in his mind.” This simple definition of a name, as a word (or set of words) serving the double purpose of a mark to recall to ourselves the likeness of a former thought, and a sign to make it known to others, appears unexceptionable. Names, indeed, do much more than this; but whatever else they do, grows out of, and is the result of this: as will appear in its proper place.
Are names more properly said to be the names of things, or of our ideas of things? The first is the expression in common use; the last is that of some metaphysicians, who conceived that in adopting it they were introducing a highly important distinction. The eminent thinker, just quoted, seems to countenance the latter opinion. “But seeing,” he continues, “names ordered in speech (as is defined) are signs of our conceptions, it is manifest they are not signs of the things themselves; for that the sound of this word _stone_ should be the sign of a stone, can not be understood in any sense but this, that he that hears it collects that he that pronounces it thinks of a stone.”
If it be merely meant that the conception alone, and not the thing itself, is recalled by the name, or imparted to the hearer, this of course can not be denied. Nevertheless, there seems good reason for adhering to the common usage, and calling (as indeed Hobbes himself does in other places) the word _sun_ the name of the sun, and not the name of our idea of the sun. For names are not intended only to make the hearer conceive what we conceive, but also to inform him what we believe. Now, when I use a name for the purpose of expressing a belief, it is a belief concerning the thing itself, not concerning my idea of it. When I say, “the sun is the cause of day,” I do not mean that my idea of the sun causes or excites in me the idea of day; or in other words, that thinking of the sun makes me think of day. I mean, that a certain physical fact, which is called the sun’s presence (and which, in the ultimate analysis, resolves itself into sensations, not ideas) causes another physical fact, which is called day.
It seems proper to consider a word as the _name_ of that which we intend to be understood by it when we use it; of that which any fact that we assert of it is to be understood of; that, in short, concerning which, when we employ the word, we intend to give information. Names, therefore, shall always be spoken of in this work as the names of things themselves, and not merely of our ideas of things.
But the question now arises, of what things? and to answer this it is necessary to take into consideration the different kinds of names.
§ 2. It is usual, before examining the various classes into which names are commonly divided, to begin by distinguishing from names of every description, those words which are not names, but only parts of names.
Among such are reckoned particles, as _of_, _to_, _truly_, _often_; the inflected cases of nouns substantive, as _me_, _him_, _John’s_; and even adjectives, as _large_, _heavy_. These words do not express things of which any thing can be affirmed or denied. We can not say, Heavy fell, or A heavy fell; Truly, or A truly, was asserted; Of, or An of, was in the room. Unless, indeed, we are speaking of the mere words themselves, as when we say, Truly is an English word, or, Heavy is an adjective. In that case they are complete names—viz., names of those particular sounds, or of those particular collections of written characters. This employment of a word to denote the mere letters and syllables of which it is composed, was termed by the schoolmen the _suppositio materialis_ of the word. In any other sense we can not introduce one of these words into the subject of a proposition, unless in combination with other words; as, A heavy _body_ was in the room.
An adjective, however, is capable of standing by itself as the predicate of a proposition; as when we say, Snow is white; and occasionally even as the subject, for we may say, White is an agreeable color. The adjective is often said to be so used by a grammatical ellipsis: Snow is white, instead of Snow is a white object; White is an agreeable color, instead of, A white color, or, The color white, is agreeable. The Greeks and Romans were allowed, by the rules of their language, to employ this ellipsis universally in the subject as well as in the predicate of a proposition.
In English this can not, generally speaking, be done. We may say, The earth is round; but we can not say, Round is easily moved; we must say, A round object. This distinction, however, is rather grammatical than logical. Since there is no difference of meaning between _round_, and _a round object_, it is only custom which prescribes that on any given occasion one shall be used, and not the other. We shall, therefore, without scruple, speak of adjectives as names, whether in their own right, or as representative of the more circuitous forms of expression above exemplified. The other classes of subsidiary words have no title whatever to be considered as names. An adverb, or an accusative case, can not under any circumstances (except when their mere letters and syllables are spoken of) figure as one of the terms of a proposition.
Words which are not capable of being used as names, but only as parts of names, were called by some of the schoolmen Syncategorematic terms: from σὺν, with, and κατηγορέω, to predicate, because it was only _with_ some other word that they could be predicated. A word which could be used either as the subject or predicate of a proposition without being accompanied by any other word, was termed by the same authorities a Categorematic term. A combination of one or more Categorematic, and one or more Syncategorematic words, as A heavy body, or A court of justice, they sometimes called a _mixed_ term; but this seems a needless multiplication of technical expressions. A mixed term is, in the only useful sense of the word, Categorematic. It belongs to the class of what have been called many-worded names.
For, as one word is frequently not a name, but only part of a name, so a number of words often compose one single name, and no more. These words, “The place which the wisdom or policy of antiquity had destined for the residence of the Abyssinian princes,” form in the estimation of the logician only one name; one Categorematic term. A mode of determining whether any set of words makes only one name, or more than one, is by predicating something of it, and observing whether, by this predication, we make only one assertion or several. Thus, when we say, John Nokes, who was the mayor of the town, died yesterday—by this predication we make but one assertion; whence it appears that “John Nokes, who was the mayor of the town,” is no more than one name. It is true that in this proposition, besides the assertion that John Nokes died yesterday, there is included another assertion, namely, that John Nokes was mayor of the town. But this last assertion was already made: we did not make it by adding the predicate, “died yesterday.” Suppose, however, that the words had been, John Nokes _and_ the mayor of the town, they would have formed two names instead of one. For when we say, John Nokes and the mayor of the town died yesterday, we make two assertions: one, that John Nokes died yesterday; the other, that the mayor of the town died yesterday.
It being needless to illustrate at any greater length the subject of many-worded names, we proceed to the distinctions which have been established among names, not according to the words they are composed of, but according to their signification.
§ 3. All names are names of something, real or imaginary; but all things have not names appropriated to them individually. For some individual objects we require, and consequently have, separate distinguishing names; there is a name for every person, and for every remarkable place. Other objects, of which we have not occasion to speak so frequently, we do not designate by a name of their own; but when the necessity arises for naming them, we do so by putting together several words, each of which, by itself, might be and is used for an indefinite number of other objects; as when I say, _this stone_: “this” and “stone” being, each of them, names that may be used of many other objects besides the particular one meant, though the only object of which they can both be used at the given moment, consistently with their signification, may be the one of which I wish to speak.
Were this the sole purpose for which names, that are common to more things than one, could be employed; if they only served, by mutually limiting each other, to afford a designation for such individual objects as have no names of their own: they could only be ranked among contrivances for economizing the use of language. But it is evident that this is not their sole function. It is by their means that we are enabled to assert _general_ propositions; to affirm or deny any predicate of an indefinite number of things at once. The distinction, therefore, between _general_ names, and _individual_ or _singular_ names, is fundamental; and may be considered as the first grand division of names.
A general name is familiarly defined, a name which is capable of being truly affirmed, in the same sense, of each of an indefinite number of things. An individual or singular name is a name which is only capable of being truly affirmed, in the same sense, of one thing.
Thus, _man_ is capable of being truly affirmed of John, George, Mary, and other persons without assignable limit; and it is affirmed of all of them in the same sense; for the word man expresses certain qualities, and when we predicate it of those persons, we assert that they all possess those qualities. But _John_ is only capable of being truly affirmed of one single person, at least in the same sense. For, though there are many persons who bear that name, it is not conferred upon them to indicate any qualities, or any thing which belongs to them in common; and can not be said to be affirmed of them in any _sense_ at all, consequently not in the same sense. “The king who succeeded William the Conqueror,” is also an individual name. For, that there can not be more than one person of whom it can be truly affirmed, is implied in the meaning of the words. Even “_the_ king,” when the occasion or the context defines the individual of whom it is to be understood, may justly be regarded as an individual name.
It is not unusual, by way of explaining what is meant by a general name, to say that it is the name of a _class_. But this, though a convenient mode of expression for some purposes, is objectionable as a definition, since it explains the clearer of two things by the more obscure. It would be more logical to reverse the proposition, and turn it into a definition of the word _class_: “A class is the indefinite multitude of individuals denoted by a general name.”
It is necessary to distinguish _general_ from _collective_ names. A general name is one which can be predicated of _each_ individual of a multitude; a collective name can not be predicated of each separately, but only of all taken together. “The 76th regiment of foot in the British army,” which is a collective name, is not a general but an individual name; for though it can be predicated of a multitude of individual soldiers taken jointly, it can not be predicated of them severally. We may say, Jones is a soldier, and Thompson is a soldier, and Smith is a soldier, but we can not say, Jones is the 76th regiment, and Thompson is the 76th regiment, and Smith is the 76th regiment. We can only say, Jones, and Thompson, and Smith, and Brown, and so forth (enumerating all the soldiers), are the 76th regiment.
“The 76th regiment” is a collective name, but not a general one: “a regiment” is both a collective and a general name. General with respect to all individual regiments, of each of which separately it can be affirmed: collective with respect to the individual soldiers of whom any regiment is composed.
§ 4. The second general division of names is into _concrete_ and _abstract_. A concrete name is a name which stands for a thing; an abstract name is a name which stands for an attribute of a thing. Thus name of a thing, or rather of things. Whiteness, again, is the name of a quality or attribute of those things. Man is a name of many things; humanity is a name of an attribute of those things. _Old_ is a name of things: _old age_ is a name of one of their attributes.
I have used the words concrete and abstract in the sense annexed to them by the schoolmen, who, notwithstanding the imperfections of their philosophy, were unrivaled in the construction of technical language, and whose definitions, in logic at least, though they never went more than a little way into the subject, have seldom, I think, been altered but to be spoiled. A practice, however, has grown up in more modern times, which, if not introduced by Locke, has gained currency chiefly from his example, of applying the expression “abstract name” to all names which are the result of abstraction or generalization, and consequently to all general names, instead of confining it to the names of attributes. The metaphysicians of the Condillac school—whose admiration of Locke, passing over the profoundest speculations of that truly original genius, usually fastens with peculiar eagerness upon his weakest points—have gone on imitating him in this abuse of language, until there is now some difficulty in restoring the word to its original signification. A more wanton alteration in the meaning of a word is rarely to be met with; for the expression _general name_, the exact equivalent of which exists in all languages I am acquainted with, was already available for the purpose to which _abstract_ has been misappropriated, while the misappropriation leaves that important class of words, the names of attributes, without any compact distinctive appellation. The old acceptation, however, has not gone so completely out of use as to deprive those who still adhere to it of all chance of being understood. By _abstract_, then, I shall always, in Logic proper, mean the opposite of _concrete_; by an abstract name, the name of an attribute; by a concrete name, the name of an object.
Do abstract names belong to the class of general, or to that of singular names? Some of them are certainly general. I mean those which are names not of one single and definite attribute, but of a class of attributes.
Such is the word _color_, which is a name common to whiteness, redness, etc. Such is even the word whiteness, in respect of the different shades of whiteness to which it is applied in common: the word magnitude, in respect of the various degrees of magnitude and the various dimensions of space; the word weight, in respect of the various degrees of weight. Such also is the word _attribute_ itself, the common name of all particular attributes. But when only one attribute, neither variable in degree nor in kind, is designated by the name; as visibleness; tangibleness; equality; squareness; milk-whiteness; then the name can hardly be considered general; for though it denotes an attribute of many different objects, the attribute itself is always conceived as one, not many.(9) To avoid needless logomachies, the best course would probably be to consider these names as neither general nor individual, and to place them in a class apart.
It may be objected to our definition of an abstract name, that not only the names which we have called abstract, but adjectives, which we have placed in the concrete class, are names of attributes; that _white_, for example, is as much the name of the color as _whiteness_ is. But (as before remarked) a word ought to be considered as the name of that which we intend to be understood by it when we put it to its principal use, that is, when we employ it in predication. When we say snow is white, milk is white, linen is white, we do not mean it to be understood that snow, or linen, or milk, is a color. We mean that they are things having the color.
The reverse is the case with the word whiteness; what we affirm to _be_ whiteness is not snow, but the color of snow. Whiteness, therefore, is the name of the color exclusively: white is a name of all things whatever having the color; a name, not of the quality whiteness, but of every white object. It is true, this name was given to all those various objects on account of the quality; and we may therefore say, without impropriety, that the quality forms part of its signification; but a name can only be said to stand for, or to be a name of, the things of which it can be predicated. We shall presently see that all names which can be said to have any signification, all names by applying which to an individual we give any information respecting that individual, may be said to _imply_ an attribute of some sort; but they are not names of the attribute; it has its own proper abstract name.
§ 5. This leads to the consideration of a third great division of names, into _connotative_ and _non-connotative_, the latter sometimes, but improperly, called _absolute_. This is one of the most important distinctions which we shall have occasion to point out, and one of those which go deepest into the nature of language.
A non-connotative term is one which signifies a subject only, or an attribute only. A connotative term is one which denotes a subject, and implies an attribute. By a subject is here meant any thing which possesses attributes. Thus John, or London, or England, are names which signify a subject only. Whiteness, length, virtue, signify an attribute only. None of these names, therefore, are connotative. But _white_, _long_, _virtuous_, are connotative. The word white, denotes all white things, as snow, paper, the foam of the sea, etc., and implies, or in the language of the schoolmen, _connotes_,(10) the attribute _whiteness_. The word white is not predicated of the attribute, but of the subjects, snow, etc.; but when we predicate it of them, we convey the meaning that the attribute whiteness belongs to them. The same may be said of the other words above cited. Virtuous, for example, is the name of a class, which includes Socrates, Howard, the Man of Ross, and an undefinable number of other individuals, past, present, and to come. These individuals, collectively and severally, can alone be said with propriety to be denoted by the word: of them alone can it properly be said to be a name. But it is a name applied to all of them in consequence of an attribute which they are supposed to possess in common, the attribute which has received the name of virtue. It is applied to all beings that are considered to possess this attribute; and to none which are not so considered.
All concrete general names are connotative. The word _man_, for example, denotes Peter, Jane, John, and an indefinite number of other individuals, of whom, taken as a class, it is the name. But it is applied to them, because they possess, and to signify that they possess, certain attributes. These seem to be, corporeity, animal life, rationality, and a certain external form, which for distinction we call the human. Every existing thing, which possessed all these attributes, would be called a man; and any thing which possessed none of them, or only one, or two, or even three of them without the fourth, would not be so called. For example, if in the interior of Africa there were to be discovered a race of animals possessing reason equal to that of human beings, but with the form of an elephant, they would not be called men. Swift’s Houyhnhnms would not be so called. Or if such newly-discovered beings possessed the form of man without any vestige of reason, it is probable that some other name than that of man would be found for them. How it happens that there can be any doubt about the matter, will appear hereafter. The word _man_, therefore, signifies all these attributes, and all subjects which possess