A System of Logic, Ratiocinative and Inductive · John Stuart Mill
FOOTNOTES
I grant that the _decision_ of questions of Existence usually if not always depends on a previous question of either Causation or Co-existence. But Existence is nevertheless a different thing from Causation or Co-existence, and can be predicated apart from them. The meaning of the abstract name Existence, and the connotation of the concrete name Being, consist, like the meaning of all other names, in sensations or states of consciousness: their peculiarity is that to exist, is to excite, or be capable of exciting, _any_ sensations or states of consciousness: no matter what, but it is indispensable that there should be some. It was from overlooking this that Hegel, finding that Being is an abstraction reached by thinking away all particular attributes, arrived at the self-contradictory proposition on which he founded all his philosophy, that Being is the same as Nothing. It is really the name of Something, taken in the most comprehensive sense of the word. 37 Book iv., chap. vii. _ 38 Logic_, i., 103–105. 39 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 afterward 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.
40 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. 41 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. 42 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.
43 Professor Bain, in his Logic, takes a peculiar view of Definition. He holds (i., 71) with the present work, that “the definition in its full import, is the sum of all the properties connoted by the name; it exhausts the meaning of a word.” But he regards the meaning of a general name as including, not indeed all the common properties of the class named, but all of them that are ultimate properties, not resolvable into one another. “The enumeration of the attributes of oxygen, of gold, of man, should be an enumeration of the final (so far as can be made out), the underivable, powers or functions of each,” and nothing less than this is a complete Definition (i., 75). An independent property, not derivable from other properties, even if previously unknown, yet as soon as discovered becomes, according to him, part of the meaning of the term, and should be included in the definition. “When we are told that diamond, which we know to be a transparent, glittering, hard, and high-priced substance, is composed of carbon, and is combustible, we must put these additional properties on the same level as the rest; to us they are henceforth connoted by the name” (i., 73). Consequently the propositions that diamond is composed of carbon, and that it is combustible, are regarded by Mr. Bain as merely verbal propositions. He carries this doctrine so far as to say that unless mortality can be shown to be a consequence of the ultimate laws of animal organization, mortality is connoted by man, and “Man is Mortal” is a merely verbal proposition. And one of the peculiarities (I think a disadvantageous peculiarity) of his able and valuable treatise, is the large number of propositions requiring proof, and learned by experience, which, in conformity with this doctrine, he considers as not real, but verbal, propositions.
The objection I have to this language is that it confounds, or at least confuses, a much more important distinction than that which it draws. The only reason for dividing Propositions into real and verbal, is in order to discriminate propositions which convey information about facts, from those which do not. A proposition which affirms that an object has a given attribute, while designating the object by a name which already signifies the attribute, adds no information to that which was already possessed by all who understood the name. But when this is said, it is implied that, by the signification of a name, is meant the signification attached to it in the common usage of life. I can not think we ought to say that the meaning of a word includes matters of fact which are unknown to every person who uses the word unless he has learned them by special study of a particular department of Nature; or that because a few persons are aware of these matters of fact, the affirmation of them is a proposition conveying no information. I hold that (special scientific connotation apart) a name means, or connotes, only the properties which it is a mark of in the general mind; and that in the case of any additional properties, however uniformly found to accompany these, it remains possible that a thing which did not possess the properties might still be thought entitled to the name. Ruminant, according to Mr. Bain’s use of language, connotes cloven-hoofed, since the two properties are always found together, and no connection has ever been discovered between them: but ruminant does not mean cloven-hoofed; and were an animal to be discovered which chews the cud, but has its feet undivided, I venture to say that it would still be called ruminant.
44 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 any thing _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 every thing 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 fulfill 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. 45 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, A dragon is a thing which breathes flame, A dragon is a serpent, Therefore some serpent or serpents breathe flame, “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 can not 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 can not be the definition, which is true, but the statement of fact, which is false.
46 “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 connection, 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 vainglory 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.” 47 The different cases of Equipollency, or “Equivalent Propositional Forms,” are set forth with some fullness in Professor Bain’s _Logic_. One of the commonest of these changes of expression, that from affirming a proposition to denying its negative, or _vicè versa_, Mr. Bain designates, very happily, by the name Obversion.
48 As Sir William Hamilton has pointed out, “Some A is not B” may also be converted in the following form: “No B is _some_ A.” Some men are not negroes; therefore, No negroes are _some_ men (_e.g._, Europeans). 49 Contraries: All A is B No A is B Subtraries: Some A is B Some A is not B Contradictories: All A is B Some A is not B Also contradictories: No A is B Some A is B Respectively subalternate: All A is B and No A is B Some A is B and Some A is not B 50 Professor Bain denies the claim of Singular Propositions to be classed, for the purposes of ratiocination, with Universal; though they come within the designation which he himself proposes as an equivalent for Universal, that of Total. He would even, to use his own expression, banish them entirely from the syllogism. He takes as an example, Socrates is wise, Socrates is poor, therefore Some poor men are wise, or more properly (as he observes) “one poor man is wise.” “Now, if wise, poor, and a man, are attributes belonging to the meaning of the word Socrates, there is then no march of reasoning at all. We have given in Socrates, _inter alia_, the facts wise, poor, and a man, and we merely repeat the concurrence which is selected from the whole aggregate of properties making up the whole, Socrates. The case is one under the head ‘Greater and Less Connotation’ in Equivalent Propositional Forms, or Immediate Inference.
“But the example in this form does not do justice to the syllogism of singulars. We must suppose both propositions to be real, the predicates being in no way involved in the subject. Thus Socrates was the master of Plato, Socrates fought at Delium, The master of Plato fought at Delium. “It may fairly be doubted whether the transitions, in this instance, are any thing more than equivalent forms. For the proposition ‘Socrates was the master of Plato and fought at Delium,’ compounded out of the two premises, is obviously nothing more than a grammatical abbreviation. No one can say that there is here any change of meaning, or any thing beyond a verbal modification of the original form. The next step is, ‘The master of Plato fought at Delium,’ which is the previous statement cut down by the omission of Socrates. It contents itself with reproducing a part of the meaning, or saying less than had been previously said. The full equivalent of the affirmation is, ‘The master of Plato fought at Delium, and the master of Plato was Socrates:’ the new form omits the last piece of information, and gives only the first. Now, we never consider that we have made a real inference, a step in advance, when we repeat _less_ than we are entitled to say, or drop from a complex statement some portion not desired at the moment. Such an operation keeps strictly within the domain of equivalence, or Immediate Inference. In no way, therefore, can a syllogism with two singular premises be viewed as a genuine syllogistic or deductive inference.” (_Logic_, i., 159.)
All bees are intelligent, All bees are insects, therefore Some insects are intelligent: one might use the same liberty taken by Mr. Bain, of joining together the two premises as if they were one—“All bees are insects and intelligent”—and might say that in omitting the middle term _bees_ we make no real inference, but merely reproduce part of what had been previously said. Mr. Bain’s is really an objection to the syllogism itself, or at all events to the third figure: it has no special applicability to singular propositions. 51 His conclusions are, “The first figure is suited to the discovery or proof of the properties of a thing; the second to the discovery or proof of the distinctions between things; the third to the discovery or proof of instances and exceptions; the fourth to the discovery, or exclusion, of the different species of a genus.” The reference of syllogisms in the last three figures to the _dictum de omni et nullo_ is, in Lambert’s opinion, strained and unnatural: to each of the three belongs, according to him, a separate axiom, co-ordinate and of equal authority with that _dictum_, and to which he gives the names of _dictum de diverso_ for the second figure, _dictum de exemplo_ for the third, and _dictum de reciproco_ for the fourth. See part i., or _Dianoiologie_, chap, iv., § 229 _et seqq._ Mr. Bailey (_Theory of Reasoning_, 2d ed., pp. 70–74) takes a similar view of the subject.
52 Since this chapter was written, two treatises have appeared (or rather a treatise and a fragment of a treatise), which aim at a further improvement in the theory of the forms of ratiocination: Mr. De Morgan’s “Formal Logic; or, the Calculus of Inference, Necessary and Probable;” and the “New Analytic of Logical Forms,” attached as an Appendix to Sir William Hamilton’s _Discussions on Philosophy_, and at greater length, to his posthumous _Lectures on Logic_. In Mr. De Morgan’s volume—abounding, in its more popular parts, with valuable observations felicitously expressed—the principal feature of originality is an attempt to bring within strict technical rules the cases in which a conclusion can be drawn from premises of a form usually classed as particular. Mr. De Morgan observes, very justly, that from the premises most Bs are Cs, most Bs are As, it may be concluded with certainty that some As are Cs, since two portions of the class B, each of them comprising more than half, must necessarily in part consist of the same individuals. Following out this line of thought, it is equally evident that if we knew exactly what proportion the “most” in each of the premises bear to the entire class B, we could increase in a corresponding degree the definiteness of the conclusion. Thus if 60 per cent. of B are included in C, and 70 per cent. in A, 30 per cent. at least must be common to both; in other words, the number of As which are Cs, and of Cs which are As, must be at least equal to 30 per cent. of the class B. Proceeding on this conception of “numerically definite propositions,” and extending it to such forms as these:—“45 Xs (or more) are each of them one of 70 Ys,” or “45 Xs (or more) are no one of them to be found among 70 Ys,” and examining what inferences admit of being drawn from the various combinations which may be made of premises of this description, Mr. De Morgan establishes universal formulæ for such inferences; creating for that purpose not only a new technical language, but a formidable array of symbols analogous to those of algebra.
Since it is undeniable that inferences, in the cases examined by Mr. De Morgan, can legitimately be drawn, and that the ordinary theory takes no account of them, I will not say that it was not worth while to show in detail how these also could be reduced to formulæ as rigorous as those of Aristotle. What Mr. De Morgan has done was worth doing once (perhaps more than once, as a school exercise); but I question if its results are worth studying and mastering for any practical purpose. The practical use of technical forms of reasoning is to bar out fallacies: but the fallacies which require to be guarded against in ratiocination properly so called, arise from the incautious use of the common forms of language; and the logician must track the fallacy into that territory, instead of waiting for it on a territory of his own. While he remains among propositions which have acquired the numerical precision of the Calculus of Probabilities, the enemy is left in possession of the only ground on which he can be formidable. And since the propositions (short of universal) on which a thinker has to depend, either for purposes of speculation or of practice, do not, except in a few peculiar cases, admit of any numerical precision; common reasoning can not be translated into Mr. De Morgan’s forms, which therefore can not serve any purpose as a test of it.
“The revocation of the two terms of a Proposition to their true relation; a proposition being always an _equation_ of its subject and its predicate. “The consequent reduction of the Conversion of Propositions from three species to one—that of Simple Conversion. “The reduction of all the _General Laws_ of Categorical Syllogisms to a single Canon. “The evolution from that one canon of all the Species and varieties of Syllogisms. “The abrogation of all the _Special Laws_ of Syllogism. “A demonstration of the exclusive possibility of Three Syllogistic Figures; and (on new grounds) the scientific and final abolition of the Fourth. “A manifestation that Figure is an unessential variation in syllogistic form; and the consequent absurdity of Reducing the syllogisms of the other figures to the first. “An enouncement of _one Organic Principle_ for each Figure. “A determination of the true number of the Legitimate Moods; with “Their amplification in number (thirty-six); “Their numerical equality under all the figures; and “Their relative equivalence, or virtual identity, throughout every schematic difference. “That, in the second and third figures, the extremes holding both the same relation to the middle term, there is not, as in the first, an opposition and subordination between a term major and a term minor, mutually containing and contained, in the counter wholes of Extension and Comprehension. “Consequently, in the second and third figures, there is no determinate major and minor premises, and there are two indifferent conclusions: whereas in the first the premises are determinate, and there is a single proximate conclusion.”
This doctrine, like that of Mr. De Morgan previously noticed, is a real addition to the syllogistic theory; and has moreover this advantage over Mr. De Morgan’s “numerically definite Syllogism,” that the forms it supplies are really available as a test of the correctness of ratiocination; since propositions in the common form may always have their predicates quantified, and so be made amenable to Sir W. Hamilton’s rules. Considered, however, as a contribution to the _Science_ of Logic, that is, to the analysis of the mental processes concerned in reasoning, the new doctrine appears to me, I confess, not merely superfluous, but erroneous; since the form in which it clothes propositions does not, like the ordinary form, express what is in the mind of the speaker when he enunciates the proposition. I can not think Sir William Hamilton right in maintaining that the quantity of the predicate is “always understood in thought.” It is implied, but is not present to the mind of the person who asserts the proposition. The quantification of the predicate, instead of being a means of bringing out more clearly the meaning of the proposition, actually leads the mind out of the proposition, into another order of ideas. For when we say, All men are mortal, we simply mean to affirm the attribute mortality of all men; without thinking at all of the _class_ mortal in the concrete, or troubling ourselves about whether it contains any other beings or not. It is only for some artificial purpose that we ever look at the proposition in the aspect in which the predicate also is thought of as a class-name, either including the subject only, or the subject and something more. (See above, p. 77, 78.)
For a fuller discussion of this subject, see the twenty-second chapter of a work already referred to, “An Examination of Sir William Hamilton’s Philosophy.” 53 Mr. Herbert Spencer (_Principles of Psychology_, pp. 125–7), though his theory of the syllogism coincides with all that is essential of mine, thinks it a logical fallacy to present the two axioms in the text, as the regulating principles of syllogism. He charges me with falling into the error pointed out by Archbishop Whately and myself, of confounding exact likeness with literal identity; and maintains, that we ought not to say that Socrates possesses _the same_ attributes which are connoted by the word Man, but only that he possesses attributes _exactly like_ them: according to which phraseology, Socrates, and the attribute mortality, are not two things co-existing with the same thing, as the axiom asserts, but two things coexisting with two different things.
Text from Project Gutenberg, public domain in the United States.