This proposition, considered only as a definition, is indisputably correct. A dragon is a serpent breathing flame: the word means that. The tacit assumption, indeed, (if there were any such understood assertion), of the existence of an object with properties corresponding to the definition, would, in the present instance, be false. Out of this definition we may carve the premises of the following syllogism:
From which the conclusion is,
an unexceptionable syllogism in the first mode of the third figure, in which both premises are true and yet the conclusion false; which every logician knows to be an absurdity. The conclusion being false and the syllogism correct, the premises cannot be true. But the premises, considered as parts of a definition, are true. Therefore, the premises considered as parts of a definition cannot be the real ones. The real premises must be—
which implied premises being false, the falsity of the conclusion presents no absurdity.
If we would determine what conclusion follows from the same ostensible premises when the tacit assumption of real existence is left out, let us, according to the recommendation in a previous page, substitute means for is. We then have—
From which the conclusion is,
where the conclusion (as well as the premises) is true, and is the only kind of conclusion which can ever follow from a definition, namely, a proposition relating to the meaning of words.
There is still another shape into which we may transform this syllogism. We may suppose the middle term to be the designation neither of a thing nor of a name, but of an idea. We then have—
Here the conclusion is true, and also the premises; but the premises are not definitions. They are propositions affirming that an idea existing in the mind, includes certain ideal elements. The truth of the conclusion follows from the existence of the psychological phenomenon called the idea of a dragon; and therefore still from the tacit assumption of a matter of fact.[28]
When, as in this last syllogism, the conclusion is a proposition respecting an idea, the assumption on which it depends may be merely that of the existence of an idea. But when the conclusion is a proposition concerning a Thing, the postulate involved in the definition which stands as the apparent premise, is the existence of a thing conformable to the definition, and not merely of an idea conformable to it. This assumption of real existence will always convey the impression that we intend to make, when we profess to define any name which is already known to be a name of really existing objects. On this account it is, that the assumption was not necessarily implied in the definition of a dragon, while there was no doubt of its being included in the definition of a circle.
§ 6. One of the circumstances which have contributed to keep up the notion, that demonstrative truths follow from definitions rather than from the postulates implied in those definitions, is, that the postulates, even in those sciences which are considered to surpass all others in demonstrative certainty, are not always exactly true. It is not true that a circle exists, or can be described, which has all its radii exactly equal. Such accuracy is ideal only; it is not found in nature, still less can it be realized by art. People had a difficulty, therefore, in conceiving that the most certain of all conclusions could rest on premises which, instead of being certainly true, are certainly not true to the full extent asserted. This apparent paradox will be examined when we come to treat of Demonstration; where we shall be able to show that as much of the postulate is true, as is required to support as much as is true of the conclusion. Philosophers, however, to whom this view had not occurred, or whom it did not satisfy, have thought it indispensable that there should be found in definitions something more certain, or at least more accurately true, than the implied postulate of the real existence of a corresponding object. And this something they flattered themselves they had found, when they laid it down that a definition is a statement and analysis not of the mere meaning of a word, nor yet of the nature of a thing, but of an idea. Thus, the proposition, "A circle is a plane figure bounded by a line all the points of which are at an equal distance from a given point within it," was considered by them, not as an assertion that any real circle has that property, (which would not be exactly true,) but that we conceive a circle as having it; that our abstract idea of a circle is an idea of a figure with its radii exactly equal.
Conformably to this it is said, that the subject-matter of mathematics, and of every other demonstrative science, is not things as they really exist, but abstractions of the mind. A geometrical line is a line without breadth; but no such line exists in nature; it is a notion merely suggested to the mind by its experience of nature. The definition (it is said) is a definition of this mental line, not of any actual line: and it is only of the mental line, not of any line existing in nature, that the theorems of geometry are accurately true.
Allowing this doctrine respecting the nature of demonstrative truth to be correct (which, in a subsequent place, I shall endeavour to prove that it is not;) even on that supposition, the conclusions which seem to follow from a definition, do not follow from the definition as such, but from an implied postulate. Even if it be true that there is no object in nature answering to the definition of a line, and that the geometrical properties of lines are not true of any lines in nature, but only of the idea of a line; the definition, at all events, postulates the real existence of such an idea: it assumes that the mind can frame, or rather has framed, the notion of length without breadth, and without any other sensible property whatever. To me, indeed, it appears that the mind cannot form any such notion; it cannot conceive length without breadth; it can only, in contemplating objects, attend to their length, exclusively of their other sensible qualities, and so determine what properties may be predicated of them in virtue of their length alone. If this be true, the postulate involved in the geometrical definition of a line, is the real existence, not of length without breadth, but merely of length, that is, of long objects. This is quite enough to support all the truths of geometry, since every property of a geometrical line is really a property of all physical objects in so far as possessing length. But even what I hold to be the false doctrine on the subject, leaves the conclusion that our reasonings are grounded on the matters of fact postulated in definitions, and not on the definitions themselves, entirely unaffected; and accordingly this conclusion is one which I have in common with Dr. Whewell, in his Philosophy of the Inductive Sciences: though, on the nature of demonstrative truth, Dr. Whewell's opinions are greatly at variance with mine. And here, as in many other instances, I gladly acknowledge that his writings are eminently serviceable in clearing from confusion the initial steps in the analysis of the mental processes, even where his views respecting the ultimate analysis are such as (though with unfeigned respect) I cannot but regard as fundamentally erroneous.
§ 7. Although, according to the opinion here presented, Definitions are properly of names only, and not of things, it does not follow from this that definitions are arbitrary. How to define a name, may not only be an inquiry of considerable difficulty and intricacy, but may involve considerations going deep into the nature of the things which are denoted by the name. Such, for instance, are the inquiries which form the subjects of the most important of Plato's Dialogues; as, "What is rhetoric?" the topic of the Gorgias, or "What is justice?" that of the Republic. Such, also, is the question scornfully asked by Pilate, "What is truth?" and the fundamental question with speculative moralists in all ages, "What is virtue?"
It would be a mistake to represent these difficult and noble inquiries as having nothing in view beyond ascertaining the conventional meaning of a name. They are inquiries not so much to determine what is, as what should be, the meaning of a name; which, like other practical questions of terminology, requires for its solution that we should enter, and sometimes enter very deeply, into the properties not merely of names but of the things named.
Although the meaning of every concrete general name resides in the attributes which it connotes, the objects were named before the attributes; as appears from the fact that in all languages, abstract names are mostly compounds or other derivatives of the concrete names which correspond to them. Connotative names, therefore, were, after proper names, the first which were used: and in the simpler cases, no doubt, a distinct connotation was present to the minds of those who first used the name, and was distinctly intended by them to be conveyed by it. The first person who used the word white, as applied to snow or to any other object, knew, no doubt, very well what quality he intended to predicate, and had a perfectly distinct conception in his mind of the attribute signified by the name.
But where the resemblances and differences on which our classifications are founded are not of this palpable and easily determinable kind; especially where they consist not in any one quality but in a number of qualities, the effects of which being blended together are not very easily discriminated, and referred each to its true source; it often happens that names are applied to nameable objects, with no distinct connotation present to the minds of those who apply them. They are only influenced by a general resemblance between the new object and all or some of the old familiar objects which they have been accustomed to call by that name. This, as we have seen, is the law which even the mind of the philosopher must follow, in giving names to the simple elementary feelings of our nature: but, where the things to be named are complex wholes, a philosopher is not content with noticing a general resemblance; he examines what the resemblance consists in: and he only gives the same name to things which resemble one another in the same definite particulars. The philosopher, therefore, habitually employs his general names with a definite connotation. But language was not made, and can only in some small degree be mended, by philosophers. In the minds of the real arbiters of language, general names, especially where the classes they denote cannot be brought before the tribunal of the outward senses to be identified and discriminated, connote little more than a vague gross resemblance to the things which they were earliest, or have been most, accustomed to call by those names. When, for instance, ordinary persons predicate the words just or unjust of any action, noble or mean of any sentiment, expression, or demeanour, statesman or charlatan of any personage figuring in politics, do they mean to affirm of those various subjects any determinate attributes, of whatever kind? No: they merely recognise, as they think, some likeness, more or less vague and loose, between these and some other things which they have been accustomed to denominate or to hear denominated by those appellations.
Language, as Sir James Mackintosh used to say of governments, "is not made, but grows." A name is not imposed at once and by previous purpose upon a class of objects, but is first applied to one thing, and then extended by a series of transitions to another and another. By this process (as has been remarked by several writers, and illustrated with great force and clearness by Dugald Stewart in his Philosophical Essays) a name not unfrequently passes by successive links of resemblance from one object to another, until it becomes applied to things having nothing in common with the first things to which the name was given; which, however, do not, for that reason, drop the name; so that it at last denotes a confused huddle of objects, having nothing whatever in common; and connotes nothing, not even a vague and general resemblance. When a name has fallen into this state, in which by predicating it of any object we assert literally nothing about the object, it has become unfit for the purposes either of thought or of the communication of thought; and can only be made serviceable by stripping it of some part of its multifarious denotation, and confining it to objects possessed of some attributes in common, which it may be made to connote. Such are the inconveniences of a language which "is not made, but grows." Like the governments which are in a similar case, it may be compared to a road which is not made but has made itself: it requires continual mending in order to be passable.
From this it is already evident, why the question respecting the definition of an abstract name is often one of so much difficulty. The question, What is justice? is, in other words, What is the attribute which mankind mean to predicate when they call an action just? To which the first answer is, that having come to no precise agreement on the point, they do not mean to predicate distinctly any attribute at all. Nevertheless, all believe that there is some common attribute belonging to all the actions which they are in the habit of calling just. The question then must be, whether there is any such common attribute? and, in the first place, whether mankind agree sufficiently with one another as to the particular actions which they do or do not call just, to render the inquiry, what quality those actions have in common, a possible one: if so, whether the actions really have any quality in common; and if they have, what it is. Of these three, the first alone is an inquiry into usage and convention; the other two are inquiries into matters of fact. And if the second question (whether the actions form a class at all) has been answered negatively, there remains a fourth, often more arduous than all the rest, namely, how best to form a class artificially, which the name may denote.
And here it is fitting to remark, that the study of the spontaneous growth of languages is of the utmost importance to those who would logically remodel them. The classifications rudely made by established language, when retouched, as they almost all require to be, by the hands of the logician, are often in themselves excellently suited to his purposes. As compared with the classifications of a philosopher, they are like the customary law of a country, which has grown up as it were spontaneously, compared with laws methodized and digested into a code: the former are a far less perfect instrument than the latter; but being the result of a long, though unscientific, course of experience, they contain a mass of materials which may be made very usefully available in the formation of the systematic body of written law. In like manner, the established grouping of objects under a common name, even when founded only on a gross and general resemblance, is evidence, in the first place, that the resemblance is obvious, and therefore considerable; and, in the next place, that it is a resemblance which has struck great numbers of persons during a series of years and ages. Even when a name, by successive extensions, has come to be applied to things among which there does not exist this gross resemblance common to them all, still at every step in its progress we shall find such a resemblance. And these transitions of the meaning of words are often an index to real connexions between the things denoted by them, which might otherwise escape the notice of thinkers; of those at least who, from using a different language, or from any difference in their habitual associations, have fixed their attention in preference on some other aspect of the things. The history of philosophy abounds in examples of such oversights, committed for want of perceiving the hidden link that connected together the seemingly disparate meanings of some ambiguous word.[29]
Whenever the inquiry into the definition of the name of any real object consists of anything else than a mere comparison of authorities, we tacitly assume that a meaning must be found for the name, compatible with its continuing to denote, if possible all, but at any rate the greater or the more important part, of the things of which it is commonly predicated. The inquiry, therefore, into the definition, is an inquiry into the resemblances and differences among those things: whether there be any resemblance running through them all; if not, through what portion of them such a general resemblance can be traced: and finally, what are the common attributes, the possession of which gives to them all, or to that portion of them, the character of resemblance which has led to their being classed together. When these common attributes have been ascertained and specified, the name which belongs in common to the resembling objects acquires a distinct instead of a vague connotation; and by possessing this distinct connotation, becomes susceptible of definition.
In giving a distinct connotation to the general name, the philosopher will endeavour to fix upon such attributes as, while they are common to all the things usually denoted by the name, are also of greatest importance in themselves; either directly, or from the number, the conspicuousness, or the interesting character, of the consequences to which they lead. He will select, as far as possible, such differentiæ as lead to the greatest number of interesting propria. For these, rather than the more obscure and recondite qualities on which they often depend, give that general character and aspect to a set of objects, which determine the groups into which they naturally fall. But to penetrate to the more hidden agreement on which these obvious and superficial agreements depend, is often one of the most difficult of scientific problems. As it is among the most difficult, so it seldom fails to be among the most important. And since upon the result of this inquiry respecting the causes of the properties of a class of things, there incidentally depends the question what shall be the meaning of a word; some of the most profound and most valuable investigations which philosophy presents to us, have been introduced by, and have offered themselves under the guise of, inquiries into the definition of a name.
FOOTNOTES:
[1] Computation or Logic, chap. ii.
[2] In the original "had, or had not." These last words, as involving a subtlety foreign to our present purpose, I have forborne to quote.
[3] Vide infra, note at the end of § 3, book ii. ch. ii.
[4] Notare, to mark; connotare, to mark along with; to mark one thing with or in addition to another.
[5] Archbishop Whately, who, in the later editions of his Elements of Logic, aided in reviving the important distinction treated of in the text, proposes the term "Attributive" as a substitute for "Connotative" (p. 22, 9th ed.) The expression is, in itself, appropriate; but as it has not the advantage of being connected with any verb, of so markedly distinctive a character as "to connote," it is not, I think, fitted to supply the place of the word Connotative in scientific use.
[6] A writer who entitles his book Philosophy; or, the Science of Truth, charges me in his very first page (referring at the foot of it to this passage) with asserting that general names have properly no signification. And he repeats this statement many times in the course of his volume, with comments, not at all flattering, thereon. It is well to be now and then reminded to how great a length perverse misquotation (for, strange as it appears, I do not believe that the writer is dishonest) can sometimes go. It is a warning to readers, when they see an author accused, with volume and page referred to, and the apparent guarantee of inverted commas, of maintaining something more than commonly absurd, not to give implicit credence to the assertion without verifying the reference.
[7] Before quitting the subject of connotative names, it is proper to observe, that the first writer who, in our times, has adopted from the schoolmen the word to connote, Mr. James Mill, in his Analysis of the Phenomena of the Human Mind, employs it in a signification different from that in which it is here used. He uses the word in a sense coextensive with its etymology, applying it to every case in which a name, while pointing directly to one thing, (which is consequently termed its signification,) includes also a tacit reference to some other thing. In the case considered in the text, that of concrete general names, his language and mine are the converse of one another. Considering (very justly) the signification of the name to lie in the attribute, he speaks of the word as noting the attribute, and connoting the things possessing the attribute. And he describes abstract names as being properly concrete names with their connotation dropped: whereas, in my view, it is the denotation which would be said to be dropped, what was previously connoted becoming the whole signification.
In adopting a phraseology at variance with that which so high an authority, and one which I am less likely than any other person to undervalue, has deliberately sanctioned, I have been influenced by the urgent necessity for a term exclusively appropriated to express the manner in which a concrete general name serves to mark the attributes which are involved in its signification. This necessity can scarcely be felt in its full force by any one who has not found by experience how vain is the attempt to communicate clear ideas on the philosophy of language without such a word. It is hardly an exaggeration to say, that some of the most prevalent of the errors with which logic has been infected, and a large part of the cloudiness and confusion of ideas which have enveloped it, would, in all probability, have been avoided, if a term had been in common use to express exactly what I have signified by the term to connote. And the schoolmen, to whom we are indebted for the greater part of our logical language, gave us this also, and in this very sense. For though some of their general expressions countenance the use of the word in the more extensive and vague acceptation in which it is taken by Mr. Mill, yet when they had to define it specifically as a technical term, and to fix its meaning as such, with that admirable precision which always characterizes their definitions, they clearly explained that nothing was said to be connoted except forms, which word may generally, in their writings, be understood as synonymous with attributes.
Now, if the word to connote, so well suited to the purpose to which they applied it, be diverted from that purpose by being taken to fulfil another, for which it does not seem to me to be at all required; I am unable to find any expression to replace it, but such as are commonly employed in a sense so much more general, that it would be useless attempting to associate them peculiarly with this precise idea. Such are the words, to involve, to imply, &c. By employing these, I should fail of attaining the object for which alone the name is needed, namely, to distinguish this particular kind of involving and implying from all other kinds, and to assure to it the degree of habitual attention which its importance demands.
[8] Or rather, all objects except itself and the percipient mind; for, as we shall see hereafter, to ascribe any attribute to an object, necessarily implies a mind to perceive it.
The simple and clear explanation given in the text, of relation and relative names, a subject so long the opprobrium of metaphysics, was given (as far as I know) for the first time, by Mr. James Mill, in his Analysis of the Phenomena of the Human Mind.
[9] Philosophy of the Inductive Sciences, vol. i. p. 40.
[10] Discussions on Philosophy, &c. Appendix I. pp. 643-4.
[11] It is to be regretted that Sir William Hamilton, though he often strenuously insists on this doctrine, and though, in the passage quoted, he states it with a comprehensiveness and force which leave nothing to be desired, did not consistently adhere to his own doctrine, but maintained along with it opinions with which it is utterly irreconcileable. See the third and other chapters of An Examination of Sir William Hamilton's Philosophy.
[12] "Nous savons qu'il existe quelque chose hors de nous, parceque nous ne pouvons expliquer nos perceptions sans les rattacher à des causes distinctes de nous-mêmes; nous savons de plus que ces causes, dont nous ne connaissons pas d'ailleurs l'essence, produisent les effets les plus variables, les plus divers, et même les plus contraires, selon qu'elles rencontrent telle nature ou telle disposition du sujet. Mais savons-nous quelque chose de plus? et même, vu le caractère indéterminé des causes que nous concevons dans les corps, y a-t-il quelque chose de plus à savoir? Y a-t-il lieu de nous enquérir si nous percevons les choses telles qu'elles sont? Non évidemment.... Je ne dis pas que le problème est insoluble, je dis qu'il est absurde et enferme une contradiction. Nous ne savons pas ce que ces causes sont en elles-mêmes, et la raison nous défend de chercher à le connaître: mais il est bien évident à priori, qu'elles ne sont pas en elles-mêmes ce qu'elles sont par rapport à nous, puisque la présence du sujet modifie nécessairement leur action. Supprimez tout sujet sentant, il est certain que ces causes agiraient encore puisqu'elles continueraient d'exister; mais elles agiraient autrement; elles seraient encore des qualités et des propriétés, mais qui ne ressembleraient à rien de ce que nous connaissons. Le feu ne manifesterait plus aucune des propriétés que nous lui connaissons: que serait-il? C'est ce que nous ne saurons jamais. C'est d'ailleurs peut-être un problème qui ne répugne pas seulement à la nature de notre esprit, mais à l'essence même des choses. Quand même en effet on supprimerait par la pensée tous les sujets sentants, il faudrait encore admettre que nul corps ne manifesterait ses propriétés autrement qu'en relation avec un sujet quelconque, et dans ce cas ses propriétés ne seraient encore que relatives: en sorte qu'il me paraît fort raisonnable d'admettre que les propriétés déterminées des corps n'existent pas indépendamment d'un sujet quelconque, et que quand on demande si les propriétés de la matière sont telles que nous les percevons, il faudrait voir auparavant si elles sont en tant que déterminées, et dans quel sens il est vrai de dire qu'elles sont."—Cours d'Histoire de la Philosophie Morale au 18me siècle, 8me leçon.
[13] An attempt, indeed, has been made by Reid and others, to establish that although some of the properties we ascribe to objects exist only in our sensations, others exist in the things themselves, being such as cannot possibly be copies of any impression upon the senses; and they ask, from what sensations our notions of extension and figure have been derived? The gauntlet thrown down by Reid was taken up by Brown, who, applying greater powers of analysis than had previously been applied to the notions of extension and figure, pointed out that the sensations from which those notions are derived, are sensations of touch, combined with sensations of a class previously too little adverted to by metaphysicians, those which have their seat in our muscular frame. His analysis, which was adopted and followed up by James Mill, has been further and greatly improved upon in Professor Bain's profound work, The Senses and the Intellect, and in the chapters on "Perception" of a work of eminent analytic power, Mr. Herbert Spencer's Principles of Psychology.
On this point M. Cousin may again be cited in favour of the better doctrine. M. Cousin recognises, in opposition to Reid, the essential subjectivity of our conceptions of what are called the primary qualities of matter, as extension, solidity, &c., equally with those of colour, heat, and the remainder of the so-called secondary qualities.—Cours, ut supra, 9me leçon.
[14] This doctrine, which is the most complete form of the philosophical theory known as the Relativity of Human Knowledge, has, since the recent revival in this country of an active interest in metaphysical speculation, been the subject of a greatly increased amount of discussion and controversy; and dissentients have manifested themselves in considerably greater number than I had any knowledge of when the passage in the text was written. The doctrine has been attacked from two sides. Some thinkers, among whom are the late Professor Ferrier, in his Institutes of Metaphysic, and Professor John Grote in his Exploratio Philosophica, appear to deny altogether the reality of Noumena, or Things in themselves—of an unknowable substratum or support for the sensations which we experience, and which, according to the theory, constitute all our knowledge of an external world. It seems to me, however, that in Professor Grote's case at least, the denial of Noumena is only apparent, and that he does not essentially differ from the other class of objectors, including Mr. Bailey in his valuable Letters on the Philosophy of the Human Mind, and (in spite of the striking passage quoted in the text) also Sir William Hamilton, who contend for a direct knowledge by the human mind of more than the sensations—of certain attributes or properties as they exist not in us, but in the Things themselves.
With the first of these opinions, that which denies Noumena, I have, as a metaphysician, no quarrel; but, whether it be true or false, it is irrelevant to Logic. And since all the forms of language are in contradiction to it, nothing but confusion could result from its unnecessary introduction into a treatise, every essential doctrine of which could stand equally well with the opposite and accredited opinion. The other and rival doctrine, that of a direct perception or intuitive knowledge of the outward object as it is in itself, considered as distinct from the sensations we receive from it, is of far greater practical moment. But even this question, depending on the nature and laws of Intuitive Knowledge, is not within the province of Logic. For the grounds of my own opinion concerning it, I must content myself with referring to a work already mentioned—An Examination of Sir William Hamilton's Philosophy; several chapters of which are devoted to a full discussion of the questions and theories relating to the supposed direct perception of external objects.
[15] Analysis of the Human Mind, i. 126 et seq.
[16] It may, however, be considered as equivalent to an universal proposition with a different predicate, viz. "All wine is good quâ wine," or "is good in respect of the qualities which constitute it wine."
[17] Dr. Whewell (Philosophy of Discovery, p. 242) questions this statement, and asks, "Are we to say that a mole cannot dig the ground, except he has an idea of the ground, and of the snout and paws with which he digs it?" I do not know what passes in a mole's mind, nor what amount of mental apprehension may or may not accompany his instinctive actions. But a human being does not use a spade by instinct; and he certainly could not use it unless he had knowledge of a spade, and of the earth which he uses it upon.
[18] "From hence also this may be deduced, that the first truths were arbitrarily made by those that first of all imposed names upon things, or received them from the imposition of others. For it is true (for example) that man is a living creature, but it is for this reason, that it pleased men to impose both these names on the same thing."—Computation or Logic, ch. iii. sect. 8.
[19] "Men are subject to err not only in affirming and denying, but also in perception, and in silent cogitation.... Tacit errors, or the errors of sense and cogitation, are made by passing from one imagination to the imagination of another different thing; or by feigning that to be past, or future, which never was, nor ever shall be; as when by seeing the image of the sun in water, we imagine the sun itself to be there; or by seeing swords, that there has been, or shall be, fighting, because it uses to be so for the most part; or when from promises we feign the mind of the promiser to be such and such; or, lastly, when from any sign we vainly imagine something to be signified which is not. And errors of this sort are common to all things that have sense."—Computation or Logic, ch. v. sect. 1.
[20] Ch. iii. sect. 3.
[21] To the preceding statement it has been objected, that "we naturally construe the subject of a proposition in its extension, and the predicate (which therefore may be an adjective) in its intension, (connotation): and that consequently coexistence of attributes does not, any more than the opposite theory of equation of groups, correspond with the living processes of thought and language." I acknowledge the distinction here drawn, which, indeed, I had myself laid down and exemplified a few pages back (p. 104). But though it is true that we naturally "construe the subject of a proposition in its extension," this extension, or in other words, the extent of the class denoted by the name, is not apprehended or indicated directly. It is both apprehended and indicated solely through the attributes. In the "living processes of thought and language" the extension, though in this case really thought of (which in the case of the predicate it is not), is thought of only through the medium of what my acute and courteous critic terms the "intension."
For further illustrations of this subject, see Examination of Sir William Hamilton's Philosophy, ch. xxii.
[22] Book iv. ch. vii.
[23] The doctrines which prevented the real meaning of Essences from being understood, had not assumed so settled a shape in the time of Aristotle and his immediate followers, as was afterwards given to them by the Realists of the middle ages. Aristotle himself (in his Treatise on the Categories) expressly denies that the δεύτεραι οὔσιαι, or Substantiæ Secundæ, inhere in a subject. They are only, he says, predicated of it.
[24] The always acute and often profound author of An Outline of Sematology (Mr. B. H. Smart) justly says, "Locke will be much more intelligible if, in the majority of places, we substitute 'the knowledge of' for what he calls 'the Idea of'" (p. 10). Among the many criticisms on Locke's use of the word Idea, this is the one which, as it appears to me, most nearly hits the mark; and I quote it for the additional reason that it precisely expresses the point of difference respecting the import of Propositions, between my view and what I have spoken of as the Conceptualist view of them. Where a Conceptualist says that a name or a proposition expresses our Idea of a thing, I should generally say (instead of our Idea) our Knowledge, or Belief, concerning the thing itself.
[25] This distinction corresponds to that which is drawn by Kant and other metaphysicians between what they term analytic, and synthetic, judgments; the former being those which can be evolved from the meaning of the terms used.
[26] If we allow a differentia to what is not really a species. For the distinction of Kinds, in the sense explained by us, not being in any way applicable to attributes, it of course follows that although attributes may be put into classes, those classes can be admitted to be genera or species only by courtesy.
[27] In the fuller discussion which Archbishop Whately has given to this subject in his later editions, he almost ceases to regard the definitions of names and those of things as, in any important sense, distinct. He seems (9th ed. p. 145) to limit the notion of a Real Definition to one which "explains anything more of the nature of the thing than is implied in the name;" (including under the word "implied," not only what the name connotes, but everything which can be deduced by reasoning from the attributes connoted). Even this, as he adds, is usually called, not a Definition, but a Description; and (as it seems to me) rightly so called. A Description, I conceive, can only be ranked among Definitions, when taken (as in the case of the zoological definition of man) to fulfil the true office of a Definition, by declaring the connotation given to a word in some special use, as a term of science or art: which special connotation of course would not be expressed by the proper definition of the word in its ordinary employment.
Mr. De Morgan, exactly reversing the doctrine of Archbishop Whately, understands by a Real Definition one which contains less than the Nominal Definition, provided only that what it contains is sufficient for distinction. "By real definition I mean such an explanation of the word, be it the whole of the meaning or only part, as will be sufficient to separate the things contained under that word from all others. Thus the following, I believe, is a complete definition of an elephant: An animal which naturally drinks by drawing the water into its nose, and then spurting it into its mouth."—Formal Logic, p. 36. Mr. De Morgan's general proposition and his example are at variance; for the peculiar mode of drinking of the elephant certainly forms no part of the meaning of the word elephant. It could not be said, because a person happened to be ignorant of this property, that he did not know what an elephant means.
[28] In the only attempt which, so far as I know, has been made to refute the preceding argumentation, it is maintained that in the first form of the syllogism,
"there is just as much truth in the conclusion as there is in the premises, or rather, no more in the latter than in the former. If the general name serpent includes both real and imaginary serpents, there is no falsity in the conclusion; if not, there is falsity in the minor premise."
Let us, then, try to set out the syllogism on the hypothesis that the name serpent includes imaginary serpents. We shall find that it is now necessary to alter the predicates; for it cannot be asserted that an imaginary creature breathes flame: in predicating of it such a fact, we assert by the most positive implication that it is real and not imaginary. The conclusion must run thus, "Some serpent or serpents either do or are imagined to breathe flame." And to prove this conclusion by the instance of dragons, the premises must be, A dragon is imagined as breathing flame, A dragon is a (real or imaginary) serpent: from which it undoubtedly follows, that there are serpents which are imagined to breathe flame; but the major premise is not a definition, nor part of a definition; which is all that I am concerned to prove.
Let us now examine the other assertion—that if the word serpent stands for none but real serpents, the minor premise (a dragon is a serpent) is false. This is exactly what I have myself said of the premise, considered as a statement of fact: but it is not false as part of the definition of a dragon; and since the premises, or one of them, must be false, (the conclusion being so,) the real premise cannot be the definition, which is true, but the statement of fact, which is false.
[29] "Few people" (I have said in another place) "have reflected how great a knowledge of Things is required to enable a man to affirm that any given argument turns wholly upon words. There is, perhaps, not one of the leading terms of philosophy which is not used in almost innumerable shades of meaning, to express ideas more or less widely different from one another. Between two of these ideas a sagacious and penetrating mind will discern, as it were intuitively, an unobvious link of connexion, upon which, though perhaps unable to give a logical account of it, he will found a perfectly valid argument, which his critic, not having so keen an insight into the Things, will mistake for a fallacy turning on the double meaning of a term. And the greater the genius of him who thus safely leaps over the chasm, the greater will probably be the crowing and vain-glory of the mere logician, who, hobbling after him, evinces his own superior wisdom by pausing on its brink, and giving up as desperate his proper business of bridging it over."
BOOK II.
OF REASONING.
Διωρισμένων δε τούτων λέγωμεν ἤδη, διὰ τίνων, καὶ πότε, καὶ πῶς γίνεται πᾶς συλλογισμός ὕστερον δὲ λεκτέον περὶ ἀποδείξεως. Πρότερον γὰρ περὶ συλλογισμοῦ λεκτέον, ἢ περὶ ἀποδείξεως, διὰ τὸ καθόλου μᾶλλον εἰναὶ τὸν συλλογισμόν. Ἡ μὲν γὰρ ἀπόδειξις, συλλογισμός τις; ὁ συλλογισμός δὲ οὐ πᾶς, ἀπόδειξις.
Arist. Analyt. Prior. l. i. cap. 4.
CHAPTER I.
OF INFERENCE, OR REASONING, IN GENERAL.
§ 1. In the preceding Book, we have been occupied not with the nature of Proof, but with the nature of Assertion: the import conveyed by a Proposition, whether that Proposition be true or false; not the means by which to discriminate true from false Propositions. The proper subject, however, of Logic is Proof. Before we could understand what Proof is, it was necessary to understand what that is to which proof is applicable; what that is which can be a subject of belief or disbelief, of affirmation or denial; what, in short, the different kinds of Propositions assert.
This preliminary inquiry we have prosecuted to a definite result. Assertion, in the first place, relates either to the meaning of words, or to some property of the things which words signify. Assertions respecting the meaning of words, among which definitions are the most important, hold a place, and an indispensable one, in philosophy; but as the meaning of words is essentially arbitrary, this class of assertions are not susceptible of truth or falsity, nor therefore of proof or disproof. Assertions respecting Things, or what may be called Real Propositions, in contradistinction to verbal ones, are of various sorts. We have analysed the import of each sort, and have ascertained the nature of the things they relate to, and the nature of what they severally assert respecting those things. We found that whatever be the form of the proposition, and whatever its nominal subject or predicate, the real subject of every proposition is some one or more facts or phenomena of consciousness, or some one or more of the hidden causes or powers to which we ascribe those facts; and that what is predicated or asserted, either in the affirmative or negative, of those phenomena or those powers, is always either Existence, Order in Place, Order in Time, Causation, or Resemblance. This, then, is the theory of the Import of Propositions, reduced to its ultimate elements: but there is another and a less abstruse expression for it, which, though stopping short in an earlier stage of the analysis, is sufficiently scientific for many of the purposes for which such a general expression is required. This expression recognises the commonly received distinction between Subject and Attribute, and gives the following as the analysis of the meaning of propositions:—Every Proposition asserts, that some given subject does or does not possess some attribute; or that some attribute is or is not (either in all or in some portion of the subjects in which it is met with) conjoined with some other attribute.
We shall now for the present take our leave of this portion of our inquiry, and proceed to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analysed the import, are proved or disproved; such of them, at least, as, not being amenable to direct consciousness or intuition, are appropriate subjects of proof.
We say of a fact or statement, that it is proved, when we believe its truth by reason of some other fact or statement from which it is said to follow. Most of the propositions, whether affirmative or negative, universal, particular, or singular, which we believe, are not believed on their own evidence, but on the ground of something previously assented to, from which they are said to be inferred. To infer a proposition from a previous proposition or propositions; to give credence to it, or claim credence for it, as a conclusion from something else; is to reason, in the most extensive sense of the term. There is a narrower sense, in which the name reasoning is confined to the form of inference which is termed ratiocination, and of which the syllogism is the general type. The reasons for not conforming to this restricted use of the term were stated in an earlier stage of our inquiry, and additional motives will be suggested by the considerations on which we are now about to enter.
§ 2. In proceeding to take into consideration the cases in which inferences can legitimately be drawn, we shall first mention some cases in which the inference is apparent, not real; and which require notice chiefly that they may not be confounded with cases of inference properly so called. This occurs when the proposition ostensibly inferred from another, appears on analysis to be merely a repetition of the same, or part of the same, assertion, which was contained in the first. All the cases mentioned in books of Logic as examples of æquipollency or equivalence of propositions, are of this nature. Thus, if we were to argue, No man is incapable of reason, for every man is rational; or, All men are mortal, for no man is exempt from death; it would be plain that we were not proving the proposition, but only appealing to another mode of wording it, which may or may not be more readily comprehensible by the hearer, or better adapted to suggest the real proof, but which contains in itself no shadow of proof.
Another case is where, from an universal proposition, we affect to infer another which differs from it only in being particular: as All A is B, therefore Some A is B: No A is B, therefore Some A is not B. This, too, is not to conclude one proposition from another, but to repeat a second time something which had been asserted at first; with the difference, that we do not here repeat the whole of the previous assertion, but only an indefinite part of it.
A third case is where, the antecedent having affirmed a predicate of a given subject, the consequent affirms of the same subject something already connoted by the former predicate: as, Socrates is a man, therefore Socrates is a living creature; where all that is connoted by living creature was affirmed of Socrates when he was asserted to be a man. If the propositions are negative, we must invert their order, thus: Socrates is not a living creature, therefore he is not a man; for if we deny the less, the greater, which includes it, is already denied by implication. These, therefore, are not really cases of inference; and yet the trivial examples by which, in manuals of Logic, the rules of the syllogism are illustrated, are often of this ill-chosen kind; formal demonstrations of conclusions to which whoever understands the terms used in the statement of the data, has already, and consciously, assented.
The most complex case of this sort of apparent inference is what is called the Conversion of propositions; which consists in turning the predicate into a subject, and the subject into a predicate, and framing out of the same terms thus reversed, another proposition, which must be true if the former is true. Thus, from the particular affirmative proposition, Some A is B, we may infer that Some B is A. From the universal negative, No A is B, we may conclude that No B is A. From the universal affirmative proposition, All A is B, it cannot be inferred that all B is A; though all water is liquid, it is not implied that all liquid is water; but it is implied that some liquid is so; and hence the proposition, All A is B, is legitimately convertible into Some B is A. This process, which converts an universal proposition into a particular, is termed conversion per accidens. From the proposition, Some A is not B, we cannot even infer that some B is not A; though some men are not Englishmen, it does not follow that some Englishmen are not men. The only mode usually recognised of converting a particular negative proposition, is in the form, Some A is not B, therefore, something which is not B is A; and this is termed conversion by contraposition. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some A is not B, is first changed into a proposition æquipollent with it, Some A is "a thing which is not B;" and the proposition, being now no longer a particular negative, but a particular affirmative, admits of conversion in the first mode, or as it is called, simple conversion.[1]
In all these cases there is not really any inference; there is in the conclusion no new truth, nothing but what was already asserted in the premises, and obvious to whoever apprehends them. The fact asserted in the conclusion is either the very same fact, or part of the fact asserted in the original proposition. This follows from our previous analysis of the Import of Propositions. When we say, for example, that some lawful sovereigns are tyrants, what is the meaning of the assertion? That the attributes connoted by the term "lawful sovereign," and the attributes connoted by the term "tyrant," sometimes coexist in the same individual. Now this is also precisely what we mean, when we say that some tyrants are lawful sovereigns; which, therefore, is not a second proposition inferred from the first, any more than the English translation of Euclid's Elements is a collection of theorems different from, and consequences of, those contained in the Greek original. Again, if we assert that no great general is a rash man, we mean that the attributes connoted by "great general," and those connoted by "rash," never coexist in the same subject; which is also the exact meaning which would be expressed by saying, that no rash man is a great general. When we say that all quadrupeds are warm-blooded, we assert, not only that the attributes connoted by "quadruped" and those connoted by "warm-blooded" sometimes coexist, but that the former never exist without the latter: now the proposition, Some warm-blooded creatures are quadrupeds, expresses the first half of this meaning, dropping the latter half; and therefore has been already affirmed in the antecedent proposition, All quadrupeds are warm-blooded. But that all warm-blooded creatures are quadrupeds, or, in other words, that the attributes connoted by "warm-blooded" never exist without those connoted by "quadruped," has not been asserted, and cannot be inferred. In order to reassert, in an inverted form, the whole of what was affirmed in the proposition, All quadrupeds are warm-blooded, we must convert it by contraposition, thus, Nothing which is not warm-blooded is a quadruped. This proposition, and the one from which it is derived, are exactly equivalent, and either of them may be substituted for the other; for, to say that when the attributes of a quadruped are present, those of a warm-blooded creature are present, is to say that when the latter are absent the former are absent.
In a manual for young students, it would be proper to dwell at greater length on the conversion and æquipollency of propositions. For, though that cannot be called reasoning or inference which is a mere reassertion in different words of what had been asserted before, there is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language. That important chapter in logical treatises which relates to the Opposition of Propositions, and the excellent technical language which logic provides for distinguishing the different kinds or modes of opposition, are of use chiefly for this purpose. Such considerations as these, that contrary propositions may both be false, but cannot both be true; that subcontrary propositions may both be true, but cannot both be false; that of two contradictory propositions one must be true and the other false; that of two subalternate propositions the truth of the universal proves the truth of the particular, and the falsity of the particular proves the falsity of the universal, but not vice versâ;[2] are apt to appear, at first sight, very technical and mysterious, but when explained, seem almost too obvious to require so formal a statement, since the same amount of explanation which is necessary to make the principles intelligible, would enable the truths which they convey to be apprehended in any particular case which can occur. In this respect, however, these axioms of logic are on a level with those of mathematics. That things which are equal to the same thing are equal to one another, is as obvious in any particular case as it is in the general statement: and if no such general maxim had ever been laid down, the demonstrations in Euclid would never have halted for any difficulty in stepping across the gap which this axiom at present serves to bridge over. Yet no one has ever censured writers on geometry, for placing a list of these elementary generalizations at the head of their treatises, as a first exercise to the learner of the faculty which will be required in him at every step, that of apprehending a general truth. And the student of logic, in the discussion even of such truths as we have cited above, acquires habits of circumspect interpretation of words, and of exactly measuring the length and breadth of his assertions, which are among the most indispensable conditions of any considerable mental attainment, and which it is one of the primary objects of logical discipline to cultivate.
§ 3. Having noticed, in order to exclude from the province of Reasoning or Inference properly so called, the cases in which the progression from one truth to another is only apparent, the logical consequent being a mere repetition of the logical antecedent; we now pass to those which are cases of inference in the proper acceptation of the term, those in which we set out from known truths, to arrive at others really distinct from them.
Reasoning, in the extended sense in which I use the term, and in which it is synonymous with Inference, is popularly said to be of two kinds: reasoning from particulars to generals, and reasoning from generals to particulars; the former being called Induction, the latter Ratiocination or Syllogism. It will presently be shown that there is a third species of reasoning, which falls under neither of these descriptions, and which, nevertheless, is not only valid, but is the foundation of both the others.
It is necessary to observe, that the expressions, reasoning from particulars to generals, and reasoning from generals to particulars, are recommended by brevity rather than by precision, and do not adequately mark, without the aid of a commentary, the distinction between Induction (in the sense now adverted to) and Ratiocination. The meaning intended by these expressions is, that Induction is inferring a proposition from propositions less general than itself, and Ratiocination is inferring a proposition from propositions equally or more general. When, from the observation of a number of individual instances, we ascend to a general proposition, or when, by combining a number of general propositions, we conclude from them another proposition still more general, the process, which is substantially the same in both instances, is called Induction. When from a general proposition, not alone (for from a single proposition nothing can be concluded which is not involved in the terms), but by combining it with other propositions, we infer a proposition of the same degree of generality with itself, or a less general proposition, or a proposition merely individual, the process is Ratiocination. When, in short, the conclusion is more general than the largest of the premises, the argument is commonly called Induction; when less general, or equally general, it is Ratiocination.
As all experience begins with individual cases, and proceeds from them to generals, it might seem most conformable to the natural order of thought that Induction should be treated of before we touch upon Ratiocination. It will, however, be advantageous, in a science which aims at tracing our acquired knowledge to its sources, that the inquirer should commence with the latter rather than with the earlier stages of the process of constructing our knowledge; and should trace derivative truths backward to the truths from which they are deduced, and on which they depend for their evidence, before attempting to point out the original spring from which both ultimately take their rise. The advantages of this order of proceeding in the present instance will manifest themselves as we advance, in a manner superseding the necessity of any further justification or explanation.
Of Induction, therefore, we shall say no more at present, than that it at least is, without doubt, a process of real inference. The conclusion in an induction embraces more than is contained in the premises. The principle or law collected from particular instances, the general proposition in which we embody the result of our experience, covers a much larger extent of ground than the individual experiments which form its basis. A principle ascertained by experience, is more than a mere summing up of what has been specifically observed in the individual cases which have been examined; it is a generalization grounded on those cases, and expressive of our belief, that what we there found true is true in an indefinite number of cases which we have not examined, and are never likely to examine. The nature and grounds of this inference, and the conditions necessary to make it legitimate, will be the subject of discussion in the Third Book: but that such inference really takes place is not susceptible of question. In every induction we proceed from truths which we knew, to truths which we did not know; from facts certified by observation, to facts which we have not observed, and even to facts not capable of being now observed; future facts, for example; but which we do not hesitate to believe on the sole evidence of the induction itself.
Induction, then, is a real process of Reasoning or Inference. Whether, and in what sense, as much can be said of the Syllogism, remains to be determined by the examination into which we are about to enter.
CHAPTER II.
OF RATIOCINATION, OR SYLLOGISM.
§ 1. The analysis of the Syllogism has been so accurately and fully performed in the common manuals of Logic, that in the present work, which is not designed as a manual, it is sufficient to recapitulate, memoriæ causâ, the leading results of that analysis, as a foundation for the remarks to be afterwards made on the functions of the syllogism, and the place which it holds in science.
To a legitimate syllogism it is essential that there should be three, and no more than three, propositions, namely, the conclusion, or proposition to be proved, and two other propositions which together prove it, and which are called the premises. It is essential that there should be three, and no more than three, terms, namely, the subject and predicate of the conclusion, and another called the middleterm, which must be found in both premises, since it is by means of it that the other two terms are to be connected together. The predicate of the conclusion is called the major term of the syllogism; the subject of the conclusion is called the minor term. As there can be but three terms, the major and minor terms must each be found in one, and only one, of the premises, together with the middleterm which is in them both. The premise which contains the middleterm and the major term is called the major premise; that which contains the middleterm and the minor term is called the minor premise.
Syllogisms are divided by some logicians into three figures, by others into four, according to the position of the middleterm, which may either be the subject in both premises, the predicate in both, or the subject in one and the predicate in the other. The most common case is that in which the middleterm is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middleterm is the predicate in both premises, the syllogism belongs to the second figure; when it is the subject in both, to the third. In the fourth figure the middleterm is the subject of the minor premise and the predicate of the major. Those writers who reckon no more than three figures, include this case in the first.
Each figure is divided into moods, according to what are called the quantity and quality of the propositions, that is, according as they are universal or particular, affirmative or negative. The following are examples of all the legitimate moods, that is, all those in which the conclusion correctly follows from the premises. A is the minor term, C the major, B the middleterm.
First Figure.