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
194 A System Of Logic, Ratiocinative And Inductive
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 analyzed 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 recognizes 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 analyzed the import, are proved or disproved; such of them, at least,
Chapter I. Of Inference, Or Reasoning, In General. 195
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 equipollency 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.
196 A System Of Logic, Ratiocinative And Inductive
Another case is where, from a 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.47
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.
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.
Chapter I. Of Inference, Or Reasoning, In General. 197
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 can not 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 a universal proposition into a particular, is termed conversion per accidens. From the proposition, Some A is not B, we can not 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 recognized 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 equipollent 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.48
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
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).
198 A System Of Logic, Ratiocinative And Inductive
term "lawful sovereign," and the attributes connoted by the term "tyrant," sometimes co-exist 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 co-exist 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 co-exist, 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 can not be inferred. In order to re-assert, 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 equipollency of propositions. For though that can not be called reasoning or inference which is
Chapter I. Of Inference, Or Reasoning, In General. 199
a mere re-assertion 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 can not both be true; that subcontrary propositions may both be true, but can not 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 vicè versa;49 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
All A is B No A is B
Some A is B
Some A is not B
All A is B
Some A is not B
No A is B
Some A is B
All A is B and No A is B
Some A is B and Some A is not B
200 A System Of Logic, Ratiocinative And Inductive
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,
Chapter I. Of Inference, Or Reasoning, In General. 201
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
202 A System Of Logic, Ratiocinative And Inductive
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.
Of Ratiocination, Or Syllogism.
Chapter II. Of Ratiocination, Or Syllogism. 203
§ 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 afterward 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 middle term, 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 middle term which is in them both. The premise which contains the middle term and the major term is called the major premise; that which contains the middle term 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 middle term, 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 middle term is the subject of the major premise and the predicate of the minor. This is reckoned as the first figure. When the middle term 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 middle term is the subject of the minor premise and
204 A System Of Logic, Ratiocinative And Inductive
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 middle term.
All B is C
All A is B
therefore All A is C
No C is B
All A is B
therefore No A is C
No B is C
All A is B
therefore No A is C
All C is B No A is B
therefore No A is C
All B is C
therefore Some A
No C is B Some A
therefore Some A
is not C
No B is C
therefore Some A
is not C
All C is B Some A
is not B
therefore Some A
is not C
All B is C No B is C Some B All B is C Some B No B is C
is C is not C
All B is A All B is A All B is A Some B All B is A Some B
is A is A
therefore therefore therefore therefore therefore therefore Some A Some A Some A Some A Some A Some A
is C is not C is C is C is not C is not C
Chapter II. Of Ratiocination, Or Syllogism. 205
"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.)
The first argument, as will have been seen, rests upon the supposition that the name Socrates has a meaning; that man, wise, and poor, are parts of this meaning; and that by predicating them of Socrates we convey no information; a view of the signification of names which, for reasons already given (Note to § 4
206 A System Of Logic, Ratiocinative And Inductive
of the chapter on Definition, supra, pp. 110, 111.), I can not admit, and which, as applied to the class of names which Socrates belongs to, is at war with Mr. Bain's own definition of a Proper Name (i., 148), "a single meaningless mark or designation appropriated to the thing." Such names, Mr. Bain proceeded to say, do not necessarily indicate even human beings: much less then does the name Socrates include the meaning of wise or poor. Otherwise it would follow that if Socrates had grown rich, or had lost his mental faculties by illness, he would no longer have been called Socrates.
The second part of Mr. Bain's argument, in which he contends that even when the premises convey real information, the conclusion is merely the premises with a part left out, is applicable, if at all, as much to universal propositions as to singular. In every syllogism the conclusion contains less than is asserted in the two premises taken together. Suppose the syllogism to
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
Chapter II. Of Ratiocination, Or Syllogism. 207
All C is B All C is B Some C No C is B No C is B
All B is A No B is A All B is A All B is A Some B
therefore therefore therefore therefore therefore Some A Some A Some A Some A Some A is C is not C is C is not C is not C
In these exemplars, or blank forms for making syllogisms, no place is assigned to singular propositions; not, of course, because such propositions are not used in ratiocination, but because, their predicate being affirmed or denied of the whole of the subject, they are ranked, for the purposes of the syllogism, with universal
propositions. Thus, these two syllogisms—
All men are mortal, All men are mortal,
All kings are men, Socrates is a man,
All kings are mortal, Socrates is mortal,
are arguments precisely similar, and are both ranked in the first mood of the first figure.50
an objection to the syllogism itself, or at all events to the third figure: it has no special applicability to singular propositions.
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,
208 A System Of Logic, Ratiocinative And Inductive
The reasons why syllogisms in any of the above forms are legitimate, that is, why, if the premises are true, the conclusion must inevitably be so, and why this is not the case in any other possible mood (that is, in any other combination of universal and particular, affirmative and negative propositions), any person taking interest in these inquiries may be presumed to have either learned from the common-school books of the syllogistic logic, or to be capable of discovering for himself. The reader may, however, be referred, for every needful explanation, to Archbishop Whately's Elements of Logic, where he will find stated with philosophical precision, and explained with remarkable perspicuity, the whole of the common doctrine of the syllogism.
All valid ratiocination; all reasoning by which, from general
propositions previously admitted, other propositions equally or less general are inferred; may be exhibited in some of the above forms. The whole of Euclid, for example, might be thrown without difficulty into a series of syllogisms, regular in mood and figure.
Though a syllogism framed according to any of these formulæ is a valid argument, all correct ratiocination admits of being stated in syllogisms of the first figure alone. The rules for throwing an argument in any of the other figures into the first figure, are called rules for the reduction of syllogisms. It is done
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.
Chapter II. Of Ratiocination, Or Syllogism. 209
by the conversion of one or other, or both, of the premises. Thus
an argument in the first mood of the second figure, as—
No C is B
All A is B therefore
No A is C,
may be reduced as follows. The proposition, No C is B, being
a universal negative, admits of simple conversion, and may be changed into No B is C, which, as we showed, is the very same assertion in other words—the same fact differently expressed. This transformation having been effected, the argument assumes
the following form:
No B is C
All A is B therefore
No A is C,
which is a good syllogism in the second mood of the first
figure. Again, an argument in the first mood of the third figure
must resemble the following:
All B is C
All B is A therefore
Some A is C,
where the minor premise, All B is A, conformably to what was
laid down in the last chapter respecting universal affirmatives, does not admit of simple conversion, but may be converted per accidens, thus, Some A is B; which, though it does not express the whole of what is asserted in the proposition All B is A, expresses, as was formerly shown, part of it, and must therefore be true if the whole is true. We have, then, as the result of the reduction, the following syllogism in the third mood of the first
All B is C
Some A is B,
210 A System Of Logic, Ratiocinative And Inductive
from which it obviously follows, that Some A is C.
In the same manner, or in a manner on which after these
examples it is not necessary to enlarge, every mood of the second, third, and fourth figures may be reduced to some one of the four moods of the first. In other words, every conclusion which can be proved in any of the last three figures, may be proved in the first figure from the same premises, with a slight alteration in the mere manner of expressing them. Every valid ratiocination, therefore, may be stated in the first figure, that is,
in one of the following forms:
Every B is C
All A is B,
Some A is B,
All A is C.
Some A is C.
No B is C All A is B,
Some A is B,
No A is C.
Some A is not C.
Or, if more significant symbols are preferred:
To prove an affirmative, the argument must admit of being
stated in this form:
All animals are mortal;
All men/Some men/Socrates are animals;
All men/Some men/Socrates are mortal.
To prove a negative, the argument must be capable of being
expressed in this form:
No one who is capable of self-control is necessarily vicious; No one who is capable of self-control is necessarily vicious;
All negroes/Some negroes/Mr. A's negro are capable of self-
Chapter II. Of Ratiocination, Or Syllogism. 211
No negroes are/Some negroes are not/Mr. A's negro is not necessarily vicious.
Though all ratiocination admits of being thrown into one or
the other of these forms, and sometimes gains considerably by the transformation, both in clearness and in the obviousness of its consequence; there are, no doubt, cases in which the argument falls more naturally into one of the other three figures, and in which its conclusiveness is more apparent at the first glance in those figures, than when reduced to the first. Thus, if the proposition were that pagans may be virtuous, and the evidence to prove it were the example of Aristides; a syllogism in the third
Aristides was virtuous,
Aristides was a pagan,
Some pagan was virtuous,
would be a more natural mode of stating the argument, and
would carry conviction more instantly home, than the same
ratiocination strained into the first figure, thus—
Aristides was virtuous,
Some pagan was Aristides,
Some pagan was virtuous.
A German philosopher, Lambert, whose Neues Organon
(published in the year 1764) contains among other things one of the most elaborate and complete expositions which had ever been made of the syllogistic doctrine, has expressly examined what sort of arguments fall most naturally and suitably into each of the four figures; and his investigation is characterized by great ingenuity and clearness of thought.51 The argument, however, is
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."
212 A System Of Logic, Ratiocinative And Inductive
one and the same, in whichever figure it is expressed; since, as we have already seen, the premises of a syllogism in the second, third, or fourth figure, and those of the syllogism in the first figure to which it may be reduced, are the same premises in every thing except language, or, at least, as much of them as contributes to the proof of the conclusion is the same. We are therefore at liberty, in conformity with the general opinion of logicians, to consider the two elementary forms of the first figure as the universal types of all correct ratiocination; the one, when the conclusion to be proved is affirmative, the other, when it is negative; even though certain arguments may have a tendency to clothe themselves in the forms of the second, third, and fourth figures; which, however, can not possibly happen with the only class of arguments which are of first-rate scientific importance, those in which the conclusion is a universal affirmative, such
conclusions being susceptible of proof in the first figure alone.52
§ 2. On examining, then, these two general formulæ, we
"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
Chapter II. Of Ratiocination, Or Syllogism. 213
find that in both of them, one premise, the major, is a universal proposition; and according as this is affirmative or negative, the conclusion is so too. All ratiocination, therefore, starts from a general proposition, principle, or assumption: a proposition in which a predicate is affirmed or denied of an entire class; that is, in which some attribute, or the negation of some attribute, is asserted of an indefinite number of objects distinguished by a common characteristic, and designated, in consequence, by a common name.
The other premise is always affirmative, and asserts that
something (which may be either an individual, a class, or part of a class) belongs to, or is included in, the class respecting which something was affirmed or denied in the major premise. It follows that the attribute affirmed or denied of the entire class may (if that affirmation or denial was correct) be affirmed or denied of the object or objects alleged to be included in the class:
no place in the ordinary classification of Propositions. All propositions, then, being supposed to be translated into this language, and written each in that one of the preceding forms which answers to its signification, there emerges a new set of syllogistic rules, materially different from the common ones. A general view of the points of difference may be given in the words of Sir W. Hamilton
(Discussions, 2d ed., p. 651):
"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.
214 A System Of Logic, Ratiocinative And Inductive
and this is precisely the assertion made in the conclusion.
Whether or not the foregoing is an adequate account of the constituent parts of the syllogism, will be presently considered; but as far as it goes it is a true account. It has accordingly been generalized, and erected into a logical maxim, on which all ratiocination is said to be founded, insomuch that to reason, and to apply the maxim, are supposed to be one and the same thing. The maxim is, That whatever can be affirmed (or denied) of a class, may be affirmed (or denied) of every thing included in the class. This axiom, supposed to be the basis of the syllogistic theory, is termed by logicians the dictum de omni et nullo.
This maxim, however, when considered as a principle of reasoning, appears suited to a system of metaphysics once indeed generally received, but which for the last two centuries has been considered as finally abandoned, though there have not been wanting in our own day attempts at its revival. So long as what are termed Universals were regarded as a peculiar kind of substances,
"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
"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
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,
Chapter II. Of Ratiocination, Or Syllogism. 215
having an objective existence distinct from the individual objects classed under them, the dictum de omni conveyed an important meaning; because it expressed the intercommunity of nature, which it was necessary on that theory that we should suppose to exist between those general substances and the particular substances which were subordinated to them. That every thing predicable of the universal was predicable of the various individuals contained under it, was then no identical proposition, but a statement of what was conceived as a fundamental law of the universe. The assertion that the entire nature and properties of the substantia secunda formed part of the nature and properties of each of the individual substances called by the same name; that the properties of Man, for example, were properties of all men; was a proposition of real significance when man did not mean all men, but something inherent in men, and vastly superior to them in dignity. Now, however, when it is known that a class, a universal, a genus or species, is not an entity per se, but
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
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
216 A System Of Logic, Ratiocinative And Inductive
neither more nor less than the individual substances themselves which are placed in the class, and that there is nothing real in the matter except those objects, a common name given to them, and common attributes indicated by the name; what, I should be glad to know, do we learn by being told, that whatever can be affirmed of a class, may be affirmed of every object contained in the class? The class is nothing but the objects contained in it: and the dictum de omni merely amounts to the identical proposition, that whatever is true of certain objects, is true of each of those objects. If all ratiocination were no more than the application of this maxim to particular cases, the syllogism would indeed be,
what it has so often been declared to be, solemn trifling. The dictum de omni is on a par with another truth, which in its time was also reckoned of great importance, "Whatever is, is." To give any real meaning to the dictum de omni, we must consider it not as an axiom, but as a definition; we must look upon it as intended to explain, in a circuitous and paraphrastic manner, the
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.
Sir William Hamilton's theory of the "quantification of the predicate" may
be described as follows:
"Logically" (I quote his words) "we ought to take into account the quantity, always understood in thought, but usually, for manifest reasons, elided in its expression, not only of the subject, but also of the predicate of a judgment." All A is B, is equivalent to all A is some B. No A is B, to No A is any B. Some A is B, is tantamount to some A is some B. Some A is not B, to Some A is not any B. As in these forms of assertion the predicate is exactly co-extensive with the subject, they all admit of simple conversion; and by this we obtain two additional forms—Some B is all A, and No B is some A. We may also make the assertion All A is all B, which will be true if the classes A and B are exactly
co-extensive. The last three forms, though conveying real assertions, have
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
Chapter II. Of Ratiocination, Or Syllogism. 217
meaning of the word class.
An error which seemed finally refuted and dislodged from thought, often needs only put on a new suit of phrases, to be welcomed back to its old quarters, and allowed to repose unquestioned for another cycle of ages. Modern philosophers have not been sparing in their contempt for the scholastic dogma that genera and species are a peculiar kind of substances, which general substances being the only permanent things, while the individual substances comprehended under them are in a perpetual flux, knowledge, which necessarily imports stability, can only have relation to those general substances or universals, and not to the facts or particulars included under them. Yet, though nominally rejected, this very doctrine, whether disguised under the Abstract Ideas of Locke (whose speculations, however, it has less vitiated than those of perhaps any other writer who has been infected with it), under the ultra-nominalism of Hobbes and Condillac, or the ontology of the later German schools,
(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 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
218 A System Of Logic, Ratiocinative And Inductive
has never ceased to poison philosophy. Once accustomed to consider scientific investigation as essentially consisting in the study of universals, men did not drop this habit of thought when they ceased to regard universals as possessing an independent existence: and even those who went the length of considering them as mere names, could not free themselves from the notion that the investigation of truth consisted entirely or partly in some kind of conjuration or juggle with those names. When a philosopher adopted fully the Nominalist view of the signification of general language, retaining along with it the dictum de omni as the foundation of all reasoning, two such premises fairly put together were likely, if he was a consistent thinker, to land him in rather startling conclusions. Accordingly it has been seriously held, by writers of deserved celebrity, that the process of arriving at new truths by reasoning consists in the mere substitution of one set of arbitrary signs for another; a doctrine which they suppose to derive irresistible confirmation from the example of algebra. If there were any process in sorcery or necromancy more preternatural than this, I should be much surprised. The culminating point of this philosophy is the noted aphorism of Condillac, that a science is nothing, or scarcely any thing, but une langue bien faite; in other words, that the one sufficient rule for discovering the nature and properties of objects is to name them properly: as if the reverse were not the truth, that it is impossible to name them properly except in proportion as we are already acquainted with their nature and properties. Can it be necessary to say, that none, not even the most trivial knowledge with respect to Things, ever was or could be originally got at by any conceivable manipulation of mere names, as such; and that what can be learned from names, is only what somebody who used the names knew before? Philosophical analysis confirms the indication of common sense, that the function of names is but that of enabling us to remember and to communicate our thoughts. That they also strengthen, even to an incalculable extent, the power of
Chapter II. Of Ratiocination, Or Syllogism. 219
thought itself, is most true: but they do this by no intrinsic and peculiar virtue; they do it by the power inherent in an artificial memory, an instrument of which few have adequately considered the immense potency. As an artificial memory, language truly is, what it has so often been called, an instrument of thought; but it is one thing to be the instrument, and another to be the exclusive subject upon which the instrument is exercised. We think, indeed, to a considerable extent, by means of names, but what we think of, are the things called by those names; and there can not be a greater error than to imagine that thought can be carried on with nothing in our mind but names, or that we can make the names think for us.
§ 3. Those who considered the dictum de omni as the
foundation of the syllogism, looked upon arguments in a manner corresponding to the erroneous view which Hobbes took of propositions. Because there are some propositions which are merely verbal, Hobbes, in order apparently that his definition might be rigorously universal, defined a proposition as if no propositions declared any thing except the meaning of words. If Hobbes was right; if no further account than this could be given of the import of propositions; no theory could be given but the commonly received one, of the combination of propositions in a syllogism. If the minor premise asserted nothing more than that something belongs to a class, and if the major premise asserted nothing of that class except that it is included in another class, the conclusion would only be that what was included in the lower class is included in the higher, and the result, therefore, nothing except that the classification is consistent with itself. But we have seen that it is no sufficient account of the meaning of a proposition, to say that it refers something to, or excludes something from, a class. Every proposition which conveys real information asserts a matter of fact, dependent on the laws of nature, and not on classification. It asserts that a given object does or does not possess a given attribute; or
220 A System Of Logic, Ratiocinative And Inductive
it asserts that two attributes, or sets of attributes, do or do not (constantly or occasionally) co-exist. Since such is the purport of all propositions which convey any real knowledge, and since ratiocination is a mode of acquiring real knowledge, any theory of ratiocination which does not recognize this import of propositions, can not, we may be sure, be the true one.
Applying this view of propositions to the two premises of a
syllogism, we obtain the following results. The major premise, which, as already remarked, is always universal, asserts, that all things which have a certain attribute (or attributes) have or have not along with it, a certain other attribute (or attributes). The minor premise asserts that the thing or set of things which are the subject of that premise, have the first-mentioned attribute; and the conclusion is, that they have (or that they have not), the
second. Thus in our former example,
All men are mortal,
Socrates is a man,
Socrates is mortal,
the subject and predicate of the major premise are connotative
terms, denoting objects and connoting attributes. The assertion in the major premise is, that along with one of the two sets of attributes, we always find the other: that the attributes connoted by "man" never exist unless conjoined with the attribute called mortality. The assertion in the minor premise is that the individual named Socrates possesses the former attributes; and it is concluded that he possesses also the attribute mortality. Or, if
both the premises are general propositions, as
All men are mortal,
All kings are men,
All kings are mortal,
the minor premise asserts that the attributes denoted by
kingship only exist in conjunction with those signified by the
Chapter II. Of Ratiocination, Or Syllogism. 221
word man. The major asserts as before, that the last-mentioned attributes are never found without the attribute of mortality. The conclusion is, that wherever the attributes of kingship are found, that of mortality is found also.
If the major premise were negative, as, No men are omnipotent, it would assert, not that the attributes connoted by "man" never exist without, but that they never exist with, those connoted by "omnipotent:" from which, together with the minor premise, it is concluded, that the same incompatibility exists between the attribute omnipotence and those constituting a king. In a similar manner we might analyze any other example of the syllogism.
If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaning dictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first,
constitutes them men should not be called the same attribute; that because the
humanity of one man and that of another express themselves to our senses not by the same individual sensations but by sensations exactly alike, humanity ought to be regarded as a different attribute in every different man. But on this showing, the humanity even of any one man should be considered as different attributes now and half an hour hence; for the sensations by which it will then manifest itself to my organs will not be a continuation of my present sensations, but a repetition of them; fresh sensations, not identical with, but only exactly like the present. If every general conception, instead of being "the One in the Many," were considered to be as many different conceptions as there are things to which it is applicable, there would be no such thing as general language. A name would have no general meaning if man connoted one thing when predicated of John, and another, though closely resembling, thing when predicated of William. Accordingly a recent pamphlet asserts the impossibility of general knowledge on this precise ground.
The meaning of any general name is some outward or inward phenomenon, consisting, in the last resort, of feelings; and these feelings, if their continuity is for an instant broken, are no longer the same feelings, in the sense of individual identity. What, then, is the common something which gives a meaning to the general name? Mr. Spencer can only say, it is the similarity of the feelings; and I rejoin, the attribute is precisely that similarity. The names of attributes
222 A System Of Logic, Ratiocinative And Inductive
which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and
not conventions are the matter treated of.53
§ 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly
are in their ultimate analysis names for the resemblances of our sensations (or other feelings). Every general name, whether abstract or concrete, denotes or connotes one or more of those resemblances. It will not, probably, be denied, that if a hundred sensations are undistinguishably alike, their resemblance ought to be spoken of as one resemblance, and not a hundred resemblances which merely resemble one another. The things compared are many, but the something common to all of them must be conceived as one, just as the name is conceived as one, though corresponding to numerically different sensations of sound each time it is pronounced. The general term man does not connote the sensations derived once from one man, which, once gone, can no more occur again than the same flash of lightning. It connotes the general type of the sensations derived always from all men, and the power (always thought of as one) of producing sensations of that type. And the axiom might be thus worded: Two types of sensation each of which co-exists with a third type, co-exist with another; or Two powers each of which co-exists with a third power co-exist with one another.
Mr. Spencer has misunderstood me in another particular. He supposes that the co-existence spoken of in the axiom, of two things with the same third thing, means simultaneousness in time. The co-existence meant is that of being jointly attributes of the same subject. The attribute of being born without teeth, and the attribute of having thirty-two teeth in mature age, are in this sense
Chapter II. Of Ratiocination, Or Syllogism. 223
co-existent, both being attributes of man, though ex vi termini never of the same man at the same time.
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.
The question between Mr. Spencer and me is merely one of language; for neither of us (if I understand Mr. Spencer's opinions rightly) believes an attribute to be a real thing, possessed of objective existence; we believe it to be a particular mode of naming our sensations, or our expectations of sensation, when looked at in their relation to an external object which excites them. The question raised by Mr. Spencer does not, therefore, concern the properties of any really existing thing, but the comparative appropriateness, for philosophical purposes, of two different modes of using a name. Considered in this point of view, the phraseology I have employed, which is that commonly
224 A System Of Logic, Ratiocinative And Inductive
remarked54 that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded,
every syllogism comes within the following general formula:
Attribute A is a mark of attribute B,
The given object has the mark A,
The given object has the attribute B.
Referred to this type, the arguments which we have lately
cited as specimens of the syllogism, will express themselves in
the following manner:
The attributes of man are a mark of the attribute mortality,
Socrates has the attributes of man,
Socrates has the attribute mortality.
The attributes of man are a mark of the attribute mortality,
The attributes of a king are a mark of the attributes of man,
The attributes of a king are a mark of the attribute mortality.
used by philosophers, seems to me to be the best. Mr. Spencer is of opinion
that because Socrates and Alcibiades are not the same man, the attribute which
54 Supra, p. 93.
Chapter II. Of Ratiocination, Or Syllogism. 225
The attributes of man are a mark of the absence of the attribute
The attributes of a king are a mark of the attributes of man,
The attributes of a king are a mark of the absence of the attribute signified by the word omnipotent (or, are evidence of the absence of that attribute).
To correspond with this alteration in the form of the
syllogisms, the axioms on which the syllogistic process is founded must undergo a corresponding transformation. In this altered phraseology, both those axioms may be brought under one general expression; namely, that whatever has any mark, has that which it is a mark of. Or, when the minor premise as well as the major is universal, we may state it thus: Whatever is a mark of any mark, is a mark of that which this last is a mark of. To trace the identity of these axioms with those previously laid down, may be left to the intelligent reader. We shall find, as we proceed, the great convenience of the phraseology into which we have last thrown them, and which is better adapted than any I am acquainted with, to express with precision and force what is aimed at, and actually accomplished, in every case
of the ascertainment of a truth by ratiocination.55
Professor Bain (Logic, i., 157) considers the axiom (or rather axioms) here
proposed as a substitute for the dictum de omni, to possess certain advantages, but to be "unworkable as a basis of the syllogism. The fatal defect consists in this, that it is ill-adapted to bring out the difference between total and partial coincidence of terms, the observation of which is the essential precaution in syllogizing correctly. If all the terms were co-extensive, the axiom would flow on admirably; A carries B, all B and none but B; B carries C in the same manner; at once A carries C, without limitation or reserve. But in point of fact, we know that while A carries B, other things carry B also; whence a process of limitation is required, in transferring A to C through B. A (in common with other things) carries B; B (in common with other things) carries C; whence A (in common with other things) carries C. The axiom provides no means of making this limitation; if we were to follow A literally, we should be led to suppose A and C co-extensive: for such is the only obvious meaning of 'the
226 A System Of Logic, Ratiocinative And Inductive
Of The Functions And Logical Value Of The Syllogism.
§ 1. We have shown what is the real nature of the truths with which the Syllogism is conversant, in contradistinction to the more superficial manner in which their import is conceived in the common theory; and what are the fundamental axioms on which its probative force or conclusiveness depends. We have now to inquire, whether the syllogistic process, that of reasoning
not adapted as a foundation for the syllogism." But though it may be proper to
limit the term Deduction to the application of a general principle to a special case, it has never been held that Ratiocination or Syllogism is subject to the same limitation; and the adoption of it would exclude a great amount of valid and conclusive syllogistic reasoning. Moreover, if the dictum de omni makes prominent the fact of the application of a general principle to a particular case, the axiom I propose makes prominent the condition which alone makes that application a real inference.
I conclude, therefore, that both forms have their value, and their place in Logic. The dictum de omni should be retained as the fundamental axiom of the logic of mere consistency, often called Formal Logic; nor have I ever quarreled with the use of it in that character, nor proposed to banish it from treatises on Formal Logic. But the other is the proper axiom for the logic of the pursuit of truth by way of Deduction; and the recognition of it can alone show how it is possible that deductive reasoning can be a road to truth.
attribute A coincides with the attribute C.' "
It is certainly possible that a careless learner here and there may suppose that if A carries B, it follows that B carries A. But if any one is so incautious as to commit this mistake, the very earliest lesson in the logic of inference, the Conversion of propositions, will correct it. The first of the two forms in which I have stated the axiom, is in some degree open to Mr. Bain's criticism:
from generals to particulars, is, or is not, a process of inference; a progress from the known to the unknown: a means of coming to a knowledge of something which we did not know before.
Logicians have been remarkably unanimous in their mode of
answering this question. It is universally allowed that a syllogism is vicious if there be any thing more in the conclusion than was assumed in the premises. But this is, in fact, to say, that nothing ever was, or can be, proved by syllogism, which was not known, or assumed to be known, before. Is ratiocination, then, not a process of inference? And is the syllogism, to which the word reasoning has so often been represented to be exclusively appropriate, not really entitled to be called reasoning at all? This seems an inevitable consequence of the doctrine, admitted by all writers on the subject, that a syllogism can prove no more than is involved in the premises. Yet the acknowledgment so explicitly made, has not prevented one set of writers from continuing to represent the syllogism as the correct analysis of what the mind actually performs in discovering and proving the larger half of the truths, whether of science or of daily life, which we believe; while those who have avoided this inconsistency, and followed out the general theorem respecting the logical value of the syllogism
when B is said to co-exist with A (it must be by a lapsus calami that Mr. Bain uses the word coincide), it is possible, in the absence of warning, to suppose the meaning to be that the two things are only found together. But this misinterpretation is excluded by the other, or practical, form of the maxim; Nota notœ est nota rei ipsius. No one would be in any danger of inferring that because a is a mark of b, b can never exist without a; that because being in a confirmed consumption is a mark of being about to die, no one dies who is not in a consumption; that because being coal is a mark of having come out of the earth, nothing can come out of the earth except coal. Ordinary knowledge of English seems a sufficient protection against these mistakes, since in speaking of a mark of any thing we are never understood as implying reciprocity.
A more fundamental objection is stated by Mr. Bain in a subsequent passage (p. 158). "The axiom does not accommodate itself to the type of Deductive Reasoning as contrasted with Induction—the application of a general principle to a special case. Any thing that fails to make prominent this circumstance is
228 A System Of Logic, Ratiocinative And Inductive
to its legitimate corollary, have been led to impute uselessness and frivolity to the syllogistic theory itself, on the ground of the petitio principii which they allege to be inherent in every syllogism. As I believe both these opinions to be fundamentally erroneous, I must request the attention of the reader to certain considerations, without which any just appreciation of the true character of the syllogism, and the functions it performs in philosophy, appears to me impossible; but which seem to have been either overlooked, or insufficiently adverted to, both by the defenders of the syllogistic theory and by its assailants.
§ 2. It must be granted that in every syllogism, considered as
an argument to prove the conclusion, there is a petitio principii.
When we say,
All men are mortal,
Socrates is a man,
Socrates is mortal;
it is unanswerably urged by the adversaries of the syllogistic
theory, that the proposition, Socrates is mortal, is presupposed in the more general assumption, All men are mortal: that we can not be assured of the mortality of all men, unless we are already certain of the mortality of every individual man: that if it be still doubtful whether Socrates, or any other individual we choose to name, be mortal or not, the same degree of uncertainty must hang over the assertion, All men are mortal: that the general principle, instead of being given as evidence of the particular case, can not itself be taken for true without exception, until every shadow of doubt which could affect any case comprised with it, is dispelled by evidence aliundè; and then what remains for the syllogism to prove? That, in short, no reasoning from generals to particulars can, as such, prove any thing: since from a general principle we can not infer any particulars, but those which the principle itself assumes as known.
This doctrine appears to me irrefragable; and if logicians,
though unable to dispute it, have usually exhibited a strong disposition to explain it away, this was not because they could discover any flaw in the argument itself, but because the contrary opinion seemed to rest on arguments equally indisputable. In the syllogism last referred to, for example, or in any of those which we previously constructed, is it not evident that the conclusion may, to the person to whom the syllogism is presented, be actually and bona fide a new truth? Is it not matter of daily experience that truths previously unthought of, facts which have not been, and can not be, directly observed, are arrived at by way of general reasoning? We believe that the Duke of Wellington is mortal. We do not know this by direct observation, so long as he is not yet dead. If we were asked how, this being the case, we know the duke to be mortal, we should probably answer, Because all men are so. Here, therefore, we arrive at the knowledge of a truth not (as yet) susceptible of observation, by a reasoning
which admits of being exhibited in the following syllogism:
All men are mortal,
The Duke of Wellington is a man,
The Duke of Wellington is mortal.
And since a large portion of our knowledge is thus acquired,
logicians have persisted in representing the syllogism as a process of inference or proof; though none of them has cleared up the difficulty which arises from the inconsistency between that assertion, and the principle, that if there be any thing in the conclusion which was not already asserted in the premises, the argument is vicious. For it is impossible to attach any serious scientific value to such a mere salvo, as the distinction drawn between being involved by implication in the premises, and being directly asserted in them. When Archbishop Whately says56 that the object of reasoning is "merely to expand and
Logic, p. 239 (9th ed.).
230 A System Of Logic, Ratiocinative And Inductive
unfold the assertions wrapped up, as it were, and implied in those with which we set out, and to bring a person to perceive and acknowledge the full force of that which he has admitted," he does not, I think, meet the real difficulty requiring to be explained, namely, how it happens that a science, like geometry, can be all "wrapped up" in a few definitions and axioms. Nor does this defense of the syllogism differ much from what its assailants urge against it as an accusation, when they charge it with being of no use except to those who seek to press the consequences of an admission into which a person has been entrapped without having considered and understood its full force. When you admitted the major premise, you asserted the conclusion; but, says Archbishop Whately, you asserted it by implication merely: this, however, can here only mean that you asserted it unconsciously; that you did not know you were asserting it; but, if so, the difficulty revives in this shape—Ought you not to have known? Were you warranted in asserting the general proposition without having satisfied yourself of the truth of every thing which it fairly includes? And if not, is not the syllogistic art prima facie what its assailants affirm it to be, a contrivance for catching you in a trap, and holding you fast in
It is hardly necessary to say, that I am not contending for any such absurdity
as that we actually "ought to have known" and considered the case of every individual man, past, present, and future, before affirming that all men are mortal: although this interpretation has been, strangely enough, put upon the preceding observations. There is no difference between me and Archbishop Whately, or any other defender of the syllogism, on the practical part of the matter; I am only pointing out an inconsistency in the logical theory of it, as conceived by almost all writers. I do not say that a person who affirmed, before the Duke of Wellington was born, that all men are mortal, knew that the Duke of Wellington was mortal; but I do say that he asserted it; and I ask for an explanation of the apparent logical fallacy, of adducing in proof of the Duke of Wellington's mortality, a general statement which presupposes it. Finding no sufficient resolution of this difficulty in any of the writers on Logic, I have attempted to supply one.
§ 3. From this difficulty there appears to be but one issue. The proposition that the Duke of Wellington is mortal, is evidently an inference; it is got at as a conclusion from something else; but do we, in reality, conclude it from the proposition, All men are mortal? I answer, no.
The error committed is, I conceive, that of overlooking the
distinction between two parts of the process of philosophizing, the inferring part, and the registering part; and ascribing to the latter the functions of the former. The mistake is that of referring a person to his own notes for the origin of his knowledge. If a person is asked a question, and is at the moment unable to answer it, he may refresh his memory by turning to a memorandum which he carries about with him. But if he were asked, how the fact came to his knowledge, he would scarcely answer, because it was set down in his note-book: unless the book was written,
like the Koran, with a quill from the wing of the angel Gabriel.
Assuming that the proposition, The Duke of Wellington is
mortal, is immediately an inference from the proposition, All men are mortal; whence do we derive our knowledge of that general truth? Of course from observation. Now, all which man can observe are individual cases. From these all general truths must be drawn, and into these they may be again resolved; for a general truth is but an aggregate of particular truths; a comprehensive expression, by which an indefinite number of individual facts are affirmed or denied at once. But a general proposition is not merely a compendious form for recording and preserving in the memory a number of particular facts, all of which have been observed. Generalization is not a process of mere naming, it is also a process of inference. From instances which we have observed, we feel warranted in concluding, that what we found true in those instances, holds in all similar ones, past, present, and future, however numerous they may be. We then, by that valuable contrivance of language which enables us to speak of many as if they were one, record all
232 A System Of Logic, Ratiocinative And Inductive
that we have observed, together with all that we infer from our observations, in one concise expression; and have thus only one proposition, instead of an endless number, to remember or to communicate. The results of many observations and inferences, and instructions for making innumerable inferences in unforeseen cases, are compressed into one short sentence.
When, therefore, we conclude from the death of John and
Thomas, and every other person we ever heard of in whose case the experiment had been fairly tried, that the Duke of Wellington is mortal like the rest; we may, indeed, pass through the generalization, All men are mortal, as an intermediate stage; but it is not in the latter half of the process, the descent from all men to the Duke of Wellington, that the inference resides. The inference is finished when we have asserted that all men are mortal. What remains to be performed afterward is merely deciphering our own notes.
Archbishop Whately has contended that syllogizing, or
reasoning from generals to particulars, is not, agreeably to the vulgar idea, a peculiar mode of reasoning, but the philosophical analysis of the mode in which all men reason, and must do so if they reason at all. With the deference due to so high an authority, I can not help thinking that the vulgar notion is, in this case, the more correct. If, from our experience of John, Thomas, etc., who once were living, but are now dead, we are entitled to conclude that all human beings are mortal, we might surely without any logical inconsequence have concluded at once from those instances, that the Duke of Wellington is mortal. The mortality of John, Thomas, and others is, after all, the whole evidence we have for the mortality of the Duke of Wellington. Not one iota is added to the proof by interpolating a general proposition. Since the individual cases are all the evidence we can possess, evidence which no logical form into which we choose to throw it can make greater than it is; and since that evidence is either sufficient in itself, or, if insufficient for the
one purpose, can not be sufficient for the other; I am unable to see why we should be forbidden to take the shortest cut from these sufficient premises to the conclusion, and constrained to travel the "high priori road," by the arbitrary fiat of logicians. I can not perceive why it should be impossible to journey from one place to another unless we "march up a hill, and then march down again." It may be the safest road, and there may be a resting-place at the top of the hill, affording a commanding view of the surrounding country; but for the mere purpose of arriving at our journey's end, our taking that road is perfectly optional; it is a question of time, trouble, and danger.
Not only may we reason from particulars to particulars without
passing through generals, but we perpetually do so reason. All our earliest inferences are of this nature. From the first dawn of intelligence we draw inferences, but years elapse before we learn the use of general language. The child, who, having burned his fingers, avoids to thrust them again into the fire, has reasoned or inferred, though he has never thought of the general maxim, Fire burns. He knows from memory that he has been burned, and on this evidence believes, when he sees a candle, that if he puts his finger into the flame of it, he will be burned again. He believes this in every case which happens to arise; but without looking, in each instance, beyond the present case. He is not generalizing; he is inferring a particular from particulars. In the same way, also, brutes reason. There is no ground for attributing to any of the lower animals the use of signs, of such a nature as to render general propositions possible. But those animals profit by experience, and avoid what they have found to cause them pain, in the same manner, though not always with the same skill, as a human creature. Not only the burned child, but the burned dog, dreads the fire.
I believe that, in point of fact, when drawing inferences from
our personal experience, and not from maxims handed down to us by books or tradition, we much oftener conclude from
234 A System Of Logic, Ratiocinative And Inductive
particulars to particulars directly, than through the intermediate agency of any general proposition. We are constantly reasoning from ourselves to other people, or from one person to another, without giving ourselves the trouble to erect our observations into general maxims of human or external nature. When we conclude that some person will, on some given occasion, feel or act so and so, we sometimes judge from an enlarged consideration of the manner in which human beings in general, or persons of some particular character, are accustomed to feel and act; but much oftener from merely recollecting the feelings and conduct of the same person in some previous instance, or from considering how we should feel or act ourselves. It is not only the village matron, who, when called to a consultation upon the case of a neighbor's child, pronounces on the evil and its remedy simply on the recollection and authority of what she accounts the similar case of her Lucy. We all, where we have no definite maxims to steer by, guide ourselves in the same way: and if we have an extensive experience, and retain its impressions strongly, we may acquire in this manner a very considerable power of accurate judgment, which we may be utterly incapable of justifying or of communicating to others. Among the higher order of practical intellects there have been many of whom it was remarked how admirably they suited their means to their ends, without being able to give any sufficient reasons for what they did; and applied, or seemed to apply, recondite principles which they were wholly unable to state. This is a natural consequence of having a mind stored with appropriate particulars, and having been long accustomed to reason at once from these to fresh particulars, without practicing the habit of stating to one's self or to others the corresponding general propositions. An old warrior, on a rapid glance at the outlines of the ground, is able at once to give the necessary orders for a skillful arrangement of his troops; though if he has received little theoretical instruction, and has seldom been called upon to answer to other people for his conduct, he may
never have had in his mind a single general theorem respecting the relation between ground and array. But his experience of encampments, in circumstances more or less similar, has left a number of vivid, unexpressed, ungeneralized analogies in his mind, the most appropriate of which, instantly suggesting itself, determines him to a judicious arrangement.
The skill of an uneducated person in the use of weapons, or of
tools, is of a precisely similar nature. The savage who executes unerringly the exact throw which brings down his game, or his enemy, in the manner most suited to his purpose, under the operation of all the conditions necessarily involved, the weight and form of the weapon, the direction and distance of the object, the action of the wind, etc., owes this power to a long series of
previous experiments, the results of which he certainly never framed into any verbal theorems or rules. The same thing may generally be said of any other extraordinary manual dexterity. Not long ago a Scotch manufacturer procured from England, at a high rate of wages, a working dyer, famous for producing very fine colors, with the view of teaching to his other workmen the same skill. The workman came; but his mode of proportioning the ingredients, in which lay the secret of the effects he produced, was by taking them up in handfuls, while the common method was to weigh them. The manufacturer sought to make him turn his handling system into an equivalent weighing system, that the general principle of his peculiar mode of proceeding might be ascertained. This, however, the man found himself quite unable to do, and therefore could impart his skill to nobody. He had, from the individual cases of his own experience, established a connection in his mind between fine effects of color, and tactual perceptions in handling his dyeing materials; and from these perceptions he could, in any particular case, infer the means to be employed, and the effects which would be produced, but could not put others in possession of the grounds on which he proceeded, from having never generalized them in his own mind,
236 A System Of Logic, Ratiocinative And Inductive
or expressed them in language.
Almost every one knows Lord Mansfield's advice to a man of practical good sense, who, being appointed governor of a colony, had to preside in its courts of justice, without previous judicial practice or legal education. The advice was to give his decision boldly, for it would probably be right; but never to venture on assigning reasons, for they would almost infallibly be wrong. In cases like this, which are of no uncommon occurrence, it would be absurd to suppose that the bad reason was the source of the good decision. Lord Mansfield knew that if any reason were assigned it would be necessarily an afterthought, the judge being in fact guided by impressions from past experience, without the circuitous process of framing general principles from them, and that if he attempted to frame any such he would assuredly fail. Lord Mansfield, however, would not have doubted that a man of equal experience who had also a mind stored with general propositions derived by legitimate induction from that experience, would have been greatly preferable as a judge, to one, however sagacious, who could not be trusted with the explanation and justification of his own judgments. The cases of men of talent performing wonderful things they know not how, are examples of the rudest and most spontaneous form of the operations of superior minds. It is a defect in them, and often a source of errors, not to have generalized as they went on; but generalization, though a help, the most important indeed of all helps, is not an essential.
Even the scientifically instructed, who possess, in the form
of general propositions, a systematic record of the results of the experience of mankind, need not always revert to those general propositions in order to apply that experience to a new case. It is justly remarked by Dugald Stewart, that though the reasonings in mathematics depend entirely on the axioms, it is by no means necessary to our seeing the conclusiveness of the proof, that the axioms should be expressly adverted to. When it is inferred
that AB is equal to CD because each of them is equal to EF, the most uncultivated understanding, as soon as the propositions were understood, would assent to the inference, without having ever heard of the general truth that "things which are equal to the same thing are equal to one another." This remark of Stewart, consistently followed out, goes to the root, as I conceive, of the philosophy of ratiocination; and it is to be regretted that he himself stopped short at a much more limited application of it. He saw that the general propositions on which a reasoning is said to depend, may, in certain cases, be altogether omitted, without impairing its probative force. But he imagined this to be a peculiarity belonging to axioms; and argued from it, that axioms are not the foundations or first principles of geometry, from which all the other truths of the science are synthetically deduced (as the laws of motion and of the composition of forces in dynamics, the equal mobility of fluids in hydrostatics, the laws of reflection and refraction in optics, are the first principles of those sciences); but are merely necessary assumptions, self-evident indeed, and the denial of which would annihilate all demonstration, but from which, as premises, nothing can be demonstrated. In the present, as in many other instances, this thoughtful and elegant writer has perceived an important truth, but only by halves. Finding, in the case of geometrical axioms, that general names have not any talismanic virtue for conjuring new truths out of the well where they lie hid, and not seeing that this is equally true in every other case of generalization, he contended that axioms are in their nature barren of consequences, and that the really fruitful truths, the real first principles of geometry, are the definitions; that the definition, for example, of the circle is to the properties of the circle, what the laws of equilibrium and of the pressure of the atmosphere are to the rise of the mercury in the Torricellian tube. Yet all that he had asserted respecting the function to which the axioms are confined in the demonstrations of geometry, holds equally true of the definitions. Every demonstration in Euclid
238 A System Of Logic, Ratiocinative And Inductive
might be carried on without them. This is apparent from the ordinary process of proving a proposition of geometry by means of a diagram. What assumption, in fact, do we set out from, to demonstrate by a diagram any of the properties of the circle? Not that in all circles the radii are equal, but only that they are so in the circle ABC. As our warrant for assuming this, we appeal, it is true, to the definition of a circle in general; but it is only necessary that the assumption be granted in the case of the particular circle supposed. From this, which is not a general but a singular proposition, combined with other propositions of a similar kind, some of which when generalized are called definitions, and other axioms, we prove that a certain conclusion is true, not of all circles, but of the particular circle ABC; or at least would be so, if the facts precisely accorded with our assumptions. The enunciation, as it is called, that is, the general theorem which stands at the head of the demonstration, is not the proposition actually demonstrated. One instance only is demonstrated: but the process by which this is done, is a process which, when we consider its nature, we perceive might be exactly copied in an indefinite number of other instances; in every instance which conforms to certain conditions. The contrivance of general language furnishing us with terms which connote these conditions, we are able to assert this indefinite multitude of truths in a single expression, and this expression is the general theorem. By dropping the use of diagrams, and substituting, in the demonstrations, general phrases for the letters of the alphabet, we might prove the general theorem directly, that is, we might demonstrate all the cases at once; and to do this we must, of course, employ as our premises, the axioms and definitions in their general form. But this only means, that if we can prove an individual conclusion by assuming an individual fact, then in whatever case we are warranted in making an exactly similar assumption, we may draw an exactly similar conclusion.
The definition is a sort of notice to ourselves and others, what
assumptions we think ourselves entitled to make. And so in all cases, the general propositions, whether called definitions, axioms, or laws of nature, which we lay down at the beginning of our reasonings, are merely abridged statements, in a kind of short-hand, of the particular facts, which, as occasion arises, we either think we may proceed on as proved, or intend to assume. In any one demonstration it is enough if we assume for a particular case suitably selected, what by the statement of the definition or principle we announce that we intend to assume in all cases which may arise. The definition of the circle, therefore, is to one of Euclid's demonstrations, exactly what, according to Stewart, the axioms are; that is, the demonstration does not depend on it, but yet if we deny it the demonstration fails. The proof does not rest on the general assumption, but on a similar assumption confined to the particular case: that case, however, being chosen as a specimen or paradigm of the whole class of cases included in the theorem, there can be no ground for making the assumption in that case which does not exist in every other; and to deny the assumption as a general truth, is to deny the right of making it in the particular instance.
There are, undoubtedly, the most ample reasons for stating
both the principles and the theorems in their general form, and these will be explained presently, so far as explanation is requisite. But, that unpracticed learners, even in making use of one theorem to demonstrate another, reason rather from particular to particular than from the general proposition, is manifest from the difficulty they find in applying a theorem to a case in which the configuration of the diagram is extremely unlike that of the diagram by which the original theorem was demonstrated. A difficulty which, except in cases of unusual mental power, long practice can alone remove, and removes chiefly by rendering us familiar with all the configurations consistent with the general conditions of the theorem.
§ 4. From the considerations now adduced, the following
240 A System Of Logic, Ratiocinative And Inductive
conclusions seem to be established. All inference is from particulars to particulars: General propositions are merely registers of such inferences already made, and short formulæ for making more: The major premise of a syllogism, consequently, is a formula of this description: and the conclusion is not an inference drawn from the formula, but an inference drawn according to the formula: the real logical antecedent, or premise, being the particular facts from which the general proposition was collected by induction. Those facts, and the individual instances which supplied them, may have been forgotten: but a record remains, not indeed descriptive of the facts themselves, but showing how those cases may be distinguished, respecting which, the facts, when known, were considered to warrant a given inference. According to the indications of this record we draw our conclusion: which is, to all intents and purposes, a conclusion from the forgotten facts. For this it is essential that we should read the record correctly: and the rules of the syllogism are a set of precautions to insure our doing so.
This view of the functions of the syllogism is confirmed
by the consideration of precisely those cases which might be expected to be least favorable to it, namely, those in which ratiocination is independent of any previous induction. We have already observed that the syllogism, in the ordinary course of our reasoning, is only the latter half of the process of traveling from premises to a conclusion. There are, however, some
peculiar cases in which it is the whole process. Particulars alone are capable of being subjected to observation; and all knowledge which is derived from observation, begins, therefore, of necessity, in particulars; but our knowledge may, in cases of certain descriptions, be conceived as coming to us from other sources than observation. It may present itself as coming from testimony, which, on the occasion and for the purpose in hand, is accepted as of an authoritative character: and the information thus communicated, may be conceived to comprise not only
particular facts but general propositions, as when a scientific doctrine is accepted without examination on the authority of writers, or a theological doctrine on that of Scripture. Or the generalization may not be, in the ordinary sense, an assertion at all, but a command; a law, not in the philosophical, but in the moral and political sense of the term: an expression of the desire of a superior, that we, or any number of other persons, shall conform our conduct to certain general instructions. So far as this asserts a fact, namely, a volition of the legislator, that fact is an individual fact, and the proposition, therefore, is not a general proposition. But the description therein contained of the conduct which it is the will of the legislator that his subjects should observe, is general. The proposition asserts, not that all men are any thing, but that all men shall do something.
In both these cases the generalities are the original data,
and the particulars are elicited from them by a process which correctly resolves itself into a series of syllogisms. The real nature, however, of the supposed deductive process, is evident enough. The only point to be determined is, whether the authority which declared the general proposition, intended to include this case in it; and whether the legislator intended his command to apply to the present case among others, or not. This is ascertained by examining whether the case possesses the marks by which, as those authorities have signified, the cases which they meant to certify or to influence may be known. The object of the inquiry is to make out the witness's or the legislator's intention, through the indication given by their words. This is a question, as the Germans express it, of hermeneutics. The operation is not a process of inference, but a process of interpretation.
In this last phrase we have obtained an expression which appears to me to characterize, more aptly than any other, the functions of the syllogism in all cases. When the premises are given by authority, the function of Reasoning is to ascertain the testimony of a witness, or the will of a legislator, by interpreting
242 A System Of Logic, Ratiocinative And Inductive
the signs in which the one has intimated his assertion and the other his command. In like manner, when the premises are derived from observation, the function of Reasoning is to ascertain what we (or our predecessors) formerly thought might be inferred from the observed facts, and to do this by interpreting a memorandum of ours, or of theirs. The memorandum reminds us, that from evidence, more or less carefully weighed, it formerly appeared that a certain attribute might be inferred wherever we perceive a certain mark. The proposition, All men are mortal (for instance) shows that we have had experience from which we thought it followed that the attributes connoted by the term man, are a mark of mortality. But when we conclude that the Duke of Wellington is mortal, we do not infer this from the memorandum, but from the former experience. All that we infer from the memorandum is our own previous belief, (or that of those who transmitted to us the proposition), concerning the inferences which that former
experience would warrant. This view of the nature of the syllogism renders consistent and intelligible what otherwise remains obscure and confused in the theory of Archbishop Whately and other enlightened defenders of the syllogistic doctrine, respecting the limits to which its functions are confined. They affirm in as explicit terms as can be used, that the sole office of general reasoning is to prevent inconsistency in our opinions; to prevent us from assenting to any thing, the truth of which would contradict something to which we had previously on good grounds given our assent. And they tell us, that the sole ground which a syllogism affords for assenting to the conclusion, is that the supposition of its being false, combined with the supposition that the premises are true, would lead to a contradiction in terms. Now this would be but a lame account of the real grounds which we have for believing the facts which we learn from reasoning, in contradistinction to observation. The true reason why we believe that the Duke of Wellington will die, is that his fathers, and our fathers, and
all other persons who were contemporary with them, have died. Those facts are the real premises of the reasoning. But we are not led to infer the conclusion from those premises, by the necessity of avoiding any verbal inconsistency. There is no contradiction in supposing that all those persons have died, and that the Duke of Wellington may, notwithstanding, live forever. But there would be a contradiction if we first, on the ground of those same premises, made a general assertion including and covering the case of the Duke of Wellington, and then refused to stand to it in the individual case. There is an inconsistency to be avoided between the memorandum we make of the inferences which may be justly drawn in future cases, and the inferences we actually draw in those cases when they arise. With this view we interpret our own formula, precisely as a judge interprets a law: in order that we may avoid drawing any inferences not conformable to our former intention, as a judge avoids giving any decision not conformable to the legislator's intention. The rules for this interpretation are the rules of the syllogism: and its sole purpose is to maintain consistency between the conclusions we draw in every particular case, and the previous general directions for drawing them; whether those general directions were framed by ourselves as the result of induction, or were received by us from an authority competent to give them.
§ 5. In the above observations it has, I think, been shown, that,
though there is always a process of reasoning or inference where a syllogism is used, the syllogism is not a correct analysis of that process of reasoning or inference; which is, on the contrary (when not a mere inference from testimony), an inference from particulars to particulars; authorized by a previous inference from particulars to generals, and substantially the same with it; of the nature, therefore, of Induction. But while these conclusions appear to me undeniable, I must yet enter a protest, as strong as that of Archbishop Whately himself, against the doctrine that the syllogistic art is useless for the purposes of reasoning. The
244 A System Of Logic, Ratiocinative And Inductive
reasoning lies in the act of generalization, not in interpreting the record of that act; but the syllogistic form is an indispensable collateral security for the correctness of the generalization itself.
It has already been seen, that if we have a collection of
particulars sufficient for grounding an induction, we need not frame a general proposition; we may reason at once from those particulars to other particulars. But it is to be remarked withal, that whenever, from a set of particular cases, we can legitimately draw
any inference, we may legitimately make our inference a general one. If, from observation and experiment, we can conclude to one new case, so may we to an indefinite number. If that which has held true in our past experience will therefore hold in time to come, it will hold not merely in some individual case, but in all cases of some given description. Every induction, therefore, which suffices to prove one fact, proves an indefinite multitude of facts: the experience which justifies a single prediction must be such as will suffice to bear out a general theorem. This theorem it is extremely important to ascertain and declare, in its broadest form of generality; and thus to place before our minds, in its full extent, the whole of what our evidence must prove if it proves any thing.
This throwing of the whole body of possible inferences from a given set of particulars, into one general expression, operates as a security for their being just inferences, in more ways than one. First, the general principle presents a larger object to the imagination than any of the singular propositions which it contains. A process of thought which leads to a comprehensive generality, is felt as of greater importance than one which terminates in an insulated fact; and the mind is, even unconsciously, led to bestow greater attention upon the process, and to weigh more carefully the sufficiency of the experience appealed to, for supporting the inference grounded upon it. There is another, and a more important, advantage. In reasoning from a course of individual observations to some new and unobserved
case, which we are but imperfectly acquainted with (or we should not be inquiring into it), and in which, since we are inquiring into it, we probably feel a peculiar interest; there is very little to prevent us from giving way to negligence, or to any bias which may affect our wishes or our imagination, and, under that influence, accepting insufficient evidence as sufficient. But if, instead of concluding straight to the particular case, we place before ourselves an entire class of facts—the whole contents of a general proposition, every tittle of which is legitimately inferable from our premises, if that one particular conclusion is so; there is then a considerable likelihood that if the premises are insufficient, and the general inference therefore, groundless, it will comprise within it some fact or facts the reverse of which we already know to be true; and we shall thus discover the error in our generalization by a reductio ad impossibile.
Thus if, during the reign of Marcus Aurelius, a subject of the
Roman empire, under the bias naturally given to the imagination and expectations by the lives and characters of the Antonines, had been disposed to expect that Commodus would be a just ruler; supposing him to stop there, he might only have been undeceived by sad experience. But if he reflected that this expectation could not be justifiable unless from the same evidence he was warranted in concluding some general proposition, as, for instance, that all Roman emperors are just rulers; he would immediately have thought of Nero, Domitian, and other instances, which, showing the falsity of the general conclusion, and therefore the insufficiency of the premises, would have warned him that those premises could not prove in the instance of Commodus, what they were inadequate to prove in any collection of cases in which his was included.
The advantage, in judging whether any controverted inference
is legitimate, of referring to a parallel case, is universally acknowledged. But by ascending to the general proposition, we bring under our view not one parallel case only, but all
246 A System Of Logic, Ratiocinative And Inductive
possible parallel cases at once; all cases to which the same set of evidentiary considerations are applicable.
When, therefore, we argue from a number of known cases to
another case supposed to be analogous, it is always possible, and generally advantageous, to divert our argument into the circuitous channel of an induction from those known cases to a general proposition, and a subsequent application of that general proposition to the unknown case. This second part of the operation, which, as before observed, is essentially a process of interpretation, will be resolvable into a syllogism or a series of syllogisms, the majors of which will be general propositions embracing whole classes of cases; every one of which propositions must be true in all its extent, if the argument is maintainable. If, therefore, any fact fairly coming within the range of one of these general propositions, and consequently asserted by it, is known or suspected to be other than the proposition asserts it to be, this mode of stating the argument causes us to know or to suspect that the original observations, which are the real grounds of our conclusion, are not sufficient to support it. And in proportion to the greater chance of our detecting the inconclusiveness of our evidence, will be the increased reliance we are entitled to place in it if no such evidence of defect shall appear.
The value, therefore, of the syllogistic form, and of the rules for using it correctly, does not consist in their being the form and the rules according to which our reasonings are necessarily, or even usually, made; but in their furnishing us with a mode in which those reasonings may always be represented, and which is admirably calculated, if they are inconclusive, to bring their inconclusiveness to light. An induction from particulars to generals, followed by a syllogistic process from those generals to other particulars, is a form in which we may always state our reasonings if we please. It is not a form in which we must reason, but it is a form in which we may reason, and into which
it is indispensable to throw our reasoning, when there is any doubt of its validity: though when the case is familiar and little complicated, and there is no suspicion of error, we may, and do, reason at once from the known particular cases to unknown
These are the uses of syllogism, as a mode of verifying any
given argument. Its ulterior uses, as respects the general course of our intellectual operations, hardly require illustration, being in fact the acknowledged uses of general language. They amount substantially to this, that the inductions may be made once for all: a single careful interrogation of experience may suffice, and the result may be registered in the form of a general proposition, which is committed to memory or to writing, and from which afterward we have only to syllogize. The particulars of our experiments may then be dismissed from the memory, in which it would be impossible to retain so great a multitude of details; while the knowledge which those details afforded for future use, and which would otherwise be lost as soon as the observations were forgotten, or as their record became too bulky for reference, is retained in a commodious and immediately available shape by means of general language.
Against this advantage is to be set the countervailing inconvenience, that inferences originally made on insufficient evidence become consecrated, and, as it were, hardened into general maxims; and the mind cleaves to them from habit, after it has outgrown any liability to be misled by similar fallacious
58 The language of ratiocination would, I think, be brought into closer agreement with the real nature of the process, if the general propositions employed in reasoning, instead of being in the form All men are mortal, or Every man is mortal, were expressed in the form Any man is mortal. This mode of expression, exhibiting as the type of all reasoning from experience "The men A, B, C, etc., are so and so, therefore any man is so and so," would much better manifest the true idea—that inductive reasoning is always, at bottom, inference from particulars to particulars, and that the whole function of general propositions in reasoning, is to vouch for the legitimacy of such inferences.
248 A System Of Logic, Ratiocinative And Inductive
appearances if they were now for the first time presented; but having forgotten the particulars, it does not think of revising its own former decision. An inevitable drawback, which, however considerable in itself, forms evidently but a small set-off against the immense benefits of general language.
The use of the syllogism is in truth no other than the use of
general propositions in reasoning. We can reason without them; in simple and obvious cases we habitually do so; minds of great sagacity can do it in cases not simple and obvious, provided their experience supplies them with instances essentially similar to every combination of circumstances likely to arise. But other minds, and the same minds where they have not the same pre-eminent advantages of personal experience, are quite helpless without the aid of general propositions, wherever the case presents the smallest complication; and if we made no general propositions, few persons would get much beyond those simple inferences which are drawn by the more intelligent of the brutes. Though not necessary to reasoning, general propositions are necessary to any considerable progress in reasoning. It is, therefore, natural and indispensable to separate the process of investigation into two parts; and obtain general formulæ for determining what inferences may be drawn, before the occasion arises for drawing the inferences. The work of drawing them is then that of applying the formulæ; and the rules of syllogism are a system of securities for the correctness of the application.
§ 6. To complete the series of considerations connected with
the philosophical character of the syllogism, it is requisite to consider, since the syllogism is not the universal type of the reasoning process, what is the real type. This resolves itself into the question, what is the nature of the minor premise, and in what manner it contributes to establish the conclusion: for as to the major, we now fully understand, that the place which it nominally occupies in our reasonings, properly belongs to the individual facts or observations of which it expresses the general result; the
major itself being no real part of the argument, but an intermediate halting-place for the mind, interposed by an artifice of language between the real premises and the conclusion, by way of a security, which it is in a most material degree, for the correctness of the process. The minor, however, being an indispensable part of the syllogistic expression of an argument, without doubt either is, or corresponds to, an equally indispensable part of the argument itself, and we have only to inquire what part.
It is perhaps worth while to notice here a speculation of a philosopher to whom mental science is much indebted, but who, though a very penetrating, was a very hasty thinker, and whose want of due circumspection rendered him fully as remarkable for what he did not see, as for what he saw. I allude to Dr. Thomas Brown, whose theory of ratiocination is peculiar. He saw the petitio principii which is inherent in every syllogism, if we consider the major to be itself the evidence by which the conclusion is proved, instead of being, what in fact it is, an assertion of the existence of evidence sufficient to prove any conclusion of a given description. Seeing this, Dr. Brown not only failed to see the immense advantage, in point of security for correctness, which is gained by interposing this step between the real evidence and the conclusion; but he thought it incumbent on him to strike out the major altogether from the reasoning process, without substituting any thing else, and maintained that our reasonings consist only of the minor premise and the conclusion, Socrates is a man, therefore Socrates is mortal: thus actually suppressing, as an unnecessary step in the argument, the appeal to former experience. The absurdity of this was disguised from him by the opinion he adopted, that reasoning is merely analyzing our own general notions, or abstract ideas; and that the proposition, Socrates is mortal, is evolved from the proposition, Socrates is a man, simply by recognizing the notion of mortality as already contained in the notion we form of a man.
After the explanations so fully entered into on the subject of
250 A System Of Logic, Ratiocinative And Inductive
propositions, much further discussion can not be necessary to make the radical error of this view of ratiocination apparent. If the word man connoted mortality; if the meaning of "mortal" were involved in the meaning of "man;" we might, undoubtedly, evolve the conclusion from the minor alone, because the minor would have already asserted it. But if, as is in fact the case, the word man does not connote mortality, how does it appear that in the mind of every person who admits Socrates to be a man, the idea of man must include the idea of mortality? Dr. Brown could not help seeing this difficulty, and in order to avoid it, was led, contrary to his intention, to re-establish, under another name, that step in the argument which corresponds to the major, by affirming the necessity of previously perceiving the relation between the idea of man and the idea of mortal. If the reasoner has not previously perceived this relation, he will not, says Dr. Brown, infer because Socrates is a man, that Socrates is mortal. But even this admission, though amounting to a surrender of the doctrine that an argument consists of the minor and the conclusion alone, will not save the remainder of Dr. Brown's theory. The failure of assent to the argument does not take place merely because the reasoner, for want of due analysis, does not perceive that his idea of man includes the idea of mortality; it takes place, much more commonly, because in his mind that relation between the two ideas has never existed. And in truth it never does exist, except as the result of experience. Consenting, for the sake of the argument, to discuss the question on a supposition of which we have recognized the radical incorrectness, namely, that the meaning of a proposition relates to the ideas of the things spoken of, and not to the things themselves; I must yet observe, that the idea of man, as a universal idea, the common property of all rational creatures, can not involve any thing but what is strictly implied in the name. If any one includes in his own private idea of man, as no doubt is always the case, some other attributes, such for instance as mortality, he does
so only as the consequence of experience, after having satisfied himself that all men possess that attribute: so that whatever the idea contains, in any person's mind, beyond what is included in the conventional signification of the word, has been added to it as the result of assent to a proposition; while Dr. Brown's theory requires us to suppose, on the contrary, that assent to the proposition is produced by evolving, through an analytic process, this very element out of the idea. This theory, therefore, may be considered as sufficiently refuted; and the minor premise must be regarded as totally insufficient to prove the conclusion, except with the assistance of the major, or of that which the major represents, namely, the various singular propositions expressive of the series of observations, of which the generalization called the major premise is the result.
In the argument, then, which proves that Socrates is mortal, one indispensable part of the premises will be as follows: "My father, and my father's father, A, B, C, and an indefinite number of other persons, were mortal;" which is only an expression in different words of the observed fact that they have died. This is the major premise divested of the petitio principii, and cut down to as much as is really known by direct evidence.
In order to connect this proposition with the conclusion Socrates is mortal, the additional link necessary is such a proposition as the following: "Socrates resembles my father, and my father's father, and the other individuals specified." This proposition we assert when we say that Socrates is a man. By saying so we likewise assert in what respect he resembles them, namely, in the attributes connoted by the word man. And we conclude that he further resembles them in the attribute mortality.
§ 7. We have thus obtained what we were seeking, a universal
type of the reasoning process. We find it resolvable in all cases into the following elements: Certain individuals have a given attribute; an individual or individuals resemble the former in certain other attributes; therefore they resemble them also in the
252 A System Of Logic, Ratiocinative And Inductive
given attribute. This type of ratiocination does not claim, like the syllogism, to be conclusive from the mere form of the expression; nor can it possibly be so. That one proposition does or does not assert the very fact which was already asserted in another, may appear from the form of the expression, that is, from a comparison of the language; but when the two propositions assert facts which are bona fide different, whether the one fact proves the other or not can never appear from the language, but must depend on other considerations. Whether, from the attributes in which Socrates resembles those men who have heretofore died, it is allowable to infer that he resembles them also in being mortal, is a question of Induction; and is to be decided by the principles or canons which we shall hereafter recognize as tests of the correct performance of that great mental operation.
Meanwhile, however, it is certain, as before remarked, that if
this inference can be drawn as to Socrates, it can be drawn as to all others who resemble the observed individuals in the same attributes in which he resembles them; that is (to express the thing concisely) of all mankind. If, therefore, the argument be admissible in the case of Socrates, we are at liberty, once for all, to treat the possession of the attributes of man as a mark, or satisfactory evidence, of the attribute of mortality. This we do by laying down the universal proposition, All men are mortal, and interpreting this, as occasion arises, in its application to Socrates and others. By this means we establish a very convenient division of the entire logical operation into two steps; first, that of ascertaining what attributes are marks of mortality; and, secondly, whether any given individuals possess those marks. And it will generally be advisable, in our speculations on the reasoning process, to consider this double operation as in fact taking place, and all reasoning as carried on in the form into which it must necessarily be thrown to enable us to apply to it any test of its correct performance.
Although, therefore, all processes of thought in which the
ultimate premises are particulars, whether we conclude from particulars to a general formula, or from particulars to other particulars according to that formula, are equally Induction; we shall yet, conformably to usage, consider the name Induction as more peculiarly belonging to the process of establishing the general proposition, and the remaining operation, which is substantially that of interpreting the general proposition, we shall call by its usual name, Deduction. And we shall consider every process by which any thing is inferred respecting an unobserved case, as consisting of an Induction followed by a Deduction; because, although the process needs not necessarily be carried on in this form, it is always susceptible of the form, and must be thrown into it when assurance of scientific accuracy is needed and desired.
§ 8. The theory of the syllogism laid down in the preceding
pages, has obtained, among other important adhesions, three of peculiar value: those of Sir John Herschel,59 Dr. Whewell,60 and Mr. Bailey;61 Sir John Herschel considering the doctrine, though not strictly "a discovery," having been anticipated by Berkeley,62 to be "one of the greatest steps which have yet been made in the philosophy of Logic." "When we consider" (to quote the further words of the same authority) "the inveteracy of the habits and prejudices which it has cast to the winds," there is no cause for misgiving in the fact that other thinkers, no less entitled to
60 Review of Quetelet on Probabilities, Essays, p. 367. Philosophy of Discovery, p. 289.
61 Theory of Reasoning, chap. iv., to which I may refer for an able statement
and enforcement of the grounds of the doctrine.
62 On a recent careful reperusal of Berkeley's whole works, I have been unable
to find this doctrine in them. Sir John Herschel probably meant that it is implied in Berkeley's argument against abstract ideas. But I can not find that Berkeley saw the implication, or had ever asked himself what bearing his argument had on the theory of the syllogism. Still less can I admit that the doctrine is (as has been affirmed by one of my ablest and most candid critics) "among the
standing marks of what is called the empirical philosophy."
254 A System Of Logic, Ratiocinative And Inductive
consideration, have formed a very different estimate of it. Their principal objection can not be better or more succinctly stated than by borrowing a sentence from Archbishop Whately.63 "In every case where an inference is drawn from Induction (unless that name is to be given to a mere random guess without any grounds at all) we must form a judgment that the instance or instances adduced are sufficient to authorize the conclusion; that it is allowable to take these instances as a sample warranting an inference respecting the whole class;" and the expression of this judgment in words (it has been said by several of my critics) is the major premise.
I quite admit that the major is an affirmation of the sufficiency
of the evidence on which the conclusion rests. That it is so, is the very essence of my own theory. And whoever admits that the
major premise is only this, adopts the theory in its essentials.
But I can not concede that this recognition of the sufficiency
of the evidence—that is, of the correctness of the induction—is a part of the induction itself; unless we ought to say that it is a part of every thing we do, to satisfy ourselves that it has been done rightly. We conclude from known instances to unknown by the impulse of the generalizing propensity; and (until after a considerable amount of practice and mental discipline) the question of the sufficiency of the evidence is only raised by a retrospective act, turning back upon our own footsteps, and examining whether we were warranted in doing what we have provisionally done. To speak of this reflex operation as part of the original one, requiring to be expressed in words in order that the verbal formula may correctly represent the psychological process, appears to me false psychology.64 We review our syllogistic as well as our inductive processes, and recognize that
they have been correctly performed; but logicians do not add a
63 Logic, book iv., chap. i., sect. 1.
64 See the important chapter on Belief, in Professor Bain's great treatise, The Emotions and the Will, pp. 581-4.
third premise to the syllogism, to express this act of recognition. A careful copyist verifies his transcript by collating it with the original; and if no error appears, he recognizes that the transcript has been correctly made. But we do not call the examination of the copy a part of the act of copying.
The conclusion in an induction is inferred from the evidence
itself, and not from a recognition of the sufficiency of the evidence; as I infer that my friend is walking toward me because I see him, and not because I recognize that my eyes are open, and that eyesight is a means of knowledge. In all operations which require care, it is good to assure ourselves that the process has been performed accurately; but the testing of the process is not the process itself; and, besides, may have been omitted altogether, and yet the process be correct. It is precisely because that operation is omitted in ordinary unscientific reasoning, that there is any thing gained in certainty by throwing reasoning into the syllogistic form. To make sure, as far as possible, that it shall not be omitted, we make the testing operation a part of the reasoning process itself. We insist that the inference from particulars to particulars shall pass through a general proposition. But this is a security for good reasoning, not a condition of all reasoning; and in some cases not even a security. Our most familiar inferences are all made before we learn the use of general propositions; and a person of untutored sagacity will skillfully apply his acquired experience to adjacent cases, though he would bungle grievously in fixing the limits of the appropriate general theorem. But though he may conclude rightly, he never, properly speaking, knows whether he has done so or not; he has not tested his reasoning. Now, this is precisely what forms of reasoning do for us. We do not need them to enable us to reason, but to enable us to know whether we reason correctly.
In still further answer to the objection, it may be added
that—even when the test has been applied, and the sufficiency of the evidence recognized—if it is sufficient to support the general
256 A System Of Logic, Ratiocinative And Inductive
proposition, it is sufficient also to support an inference from particulars to particulars without passing through the general proposition. The inquirer who has logically satisfied himself that the conditions of legitimate induction were realized in the cases A, B, C, would be as much justified in concluding directly to the Duke of Wellington as in concluding to all men. The general conclusion is never legitimate, unless the particular one would be so too; and in no sense, intelligible to me, can the particular conclusion be said to be drawn from the general one. Whenever there is ground for drawing any conclusion at all from particular instances, there is ground for a general conclusion; but that this general conclusion should be actually drawn, however useful, can not be an indispensable condition of the validity of the inference in the particular case. A man gives away sixpence by the same power by which he disposes of his whole fortune; but it is not necessary to the legality of the smaller act, that he should make a formal assertion of his right to the greater one.
only advise him to reconsider the subject until he does: after which he will be a
better judge of the success or failure of an attempt to remove the difficulty. That he had reflected very little on the point when he wrote his remarks, is shown by his oversight respecting the dictum de omni et nullo. He acknowledges that this maxim as commonly expressed—"Whatever is true of a class, is true of every thing included in the class," is a mere identical proposition, since the class is nothing but the things included in it. But he thinks this defect would be cured by wording the maxim thus—"Whatever is true of a class, is true of every thing which can be shown to be a member of the class:" as if a thing could "be shown" to be a member of the class without being one. If a class means the sum of all the things included in the class, the things which can "be shown" to be included in it are part of the sum, and the dictum is as much an identical proposition with respect to them as to the rest. One would almost imagine that, in the reviewer's opinion, things are not members of a class until they are called up publicly to take their place in it—that so long, in fact, as Socrates is not known to be a man, he is not a man, and any assertion which can be made concerning men does not at all regard him, nor is affected as to its truth or falsity by any thing in which he is concerned.
The difference between the reviewer's theory and mine may be thus stated. Both admit that when we say, All men are mortal, we make an assertion reaching beyond the sphere of our knowledge of individual cases; and that
Some additional remarks, in reply to minor objections, are appended.65
§ 9. The preceding considerations enable us to understand the true nature of what is termed, by recent writers, Formal Logic, and the relation between it and Logic in the widest sense. Logic, as I conceive it, is the entire theory of the ascertainment of reasoned or inferred truth. Formal Logic, therefore, which Sir William Hamilton from his own point of view, and Archbishop Whately from his, have represented as the whole of Logic properly so called, is really a very subordinate part of it, not being directly concerned with the process of Reasoning or Inference in the sense in which that process is a part of the Investigation of Truth. What, then, is Formal Logic? The name seems to be properly applied to all that portion of doctrine which relates to the equivalence of different modes of expression; the rules for determining when assertions in a given form imply or suppose the truth or falsity of other assertions.
position is that this assertion can not be a necessary part of the argument. It
can not be a necessary condition of reasoning that we should begin by making an assertion, which is afterward to be employed in proving a part of itself. I can conceive only one way out of this difficulty, viz., that what really forms the proof is the other part of the assertion: the portion of it, the truth of which has been ascertained previously: and that the unproved part is bound up in one formula with the proved part in mere anticipation, and as a memorandum of the nature of the conclusions which we are prepared to prove.
With respect to the minor premise in its formal shape, the minor as it stands in the syllogism, predicating of Socrates a definite class name, I readily admit that it is no more a necessary part of reasoning than the major. When there is a major, doing its work by means of a class name, minors are needed to interpret it: but reasoning can be carried on without either the one or the other. They are not the conditions of reasoning, but a precaution against erroneous reasoning. The only minor premise necessary to reasoning in the example under consideration, is, Socrates is like A, B, C, and the other individuals who are known to have died. And this is the only universal type of that step in the reasoning process which is represented by the minor. Experience, however, of the uncertainty of this loose mode of inference, teaches the expediency of determining beforehand what kind of likeness to the cases observed, is necessary to bring an unobserved case within the same predicate; and the
258 A System Of Logic, Ratiocinative And Inductive
This includes the theory of the Import of Propositions, and of their Conversion, Æquipollence, and Opposition; of those falsely
answer to this question is the major. The minor then identifies the precise kind of likeness possessed by Socrates, as being the kind required by the formula. Thus the syllogistic major and the syllogistic minor start into existence together, and are called forth by the same exigency. When we conclude from personal experience without referring to any record—to any general theorems, either written, or traditional, or mentally registered by ourselves as conclusions of our own drawing—we do not use, in our thoughts, either a major or a minor, such as the syllogism puts into words. When, however, we revise this rough inference from particulars to particulars, and substitute a careful one, the revision consists in selecting two syllogistic premises. But this neither alters nor adds to the evidence we had before; it only puts us in a better position for judging whether our inference from particulars to particulars is well grounded.
65 A writer in the "British Quarterly Review" (August, 1846), in a review
of this treatise, endeavors to show that there is no petitio principii in the syllogism, by denying that the proposition, All men are mortal, asserts or assumes that Socrates is mortal. In support of this denial, he argues that we may, and in fact do, admit the general proposition that all men are mortal, without having particularly examined the case of Socrates, and even without knowing whether the individual so named is a man or something else. But this of course was never denied. That we can and do draw conclusions concerning cases specifically unknown to us, is the datum from which all who discuss this
subject must set out. The question is, in what terms the evidence, or ground, on which we draw these conclusions, may best be designated—whether it is most correct to say, that the unknown case is proved by known cases, or that it is proved by a general proposition including both sets of cases, the unknown and the known? I contend for the former mode of expression. I hold it an abuse of language to say, that the proof that Socrates is mortal, is that all men are mortal. Turn it in what way we will, this seems to me to be asserting that a thing is the proof of itself. Whoever pronounces the words, All men are mortal, has affirmed that Socrates is mortal, though he may never have heard
of Socrates; for since Socrates, whether known to be so or not, really is a man,
he is included in the words, All men, and in every assertion of which they are the subject. If the reviewer does not see that there is a difficulty here, I can
when a new individual, Socrates, is brought within the field of our knowledge
by means of the minor premise, we learn that we have already made an assertion respecting Socrates without knowing it: our own general formula being, to that extent, for the first time interpreted to us. But according to the reviewer's theory, the smaller assertion is proved by the larger: while I contend, that both assertions are proved together, by the same evidence, namely, the grounds of experience on which the general assertion was made, and by which it must be justified.
The reviewer says, that if the major premise included the conclusion, "we
260 A System Of Logic, Ratiocinative And Inductive
called Inductions (to be hereafter spoken of)66, in which the apparent generalization is a mere abridged statement of cases known individually; and finally, of the syllogism: while the theory of Naming, and of (what is inseparably connected with it) Definition, though belonging still more to the other and larger kind of logic than to this, is a necessary preliminary to this. The end aimed at by Formal Logic, and attained by the observance of its precepts, is not truth, but consistency. It has been seen that this is the only direct purpose of the rules of the syllogism; the intention and effect of which is simply to keep our inferences or conclusions in complete consistency with our general formulæ or directions for drawing them. The Logic of Consistency is a necessary auxiliary to the logic of truth, not only because what is inconsistent with itself or with other truths can not be true, but also because truth can only be successfully pursued by drawing inferences from experience, which, if warrantable at all, admit of being generalized, and, to test their warrantableness, require to be exhibited in a generalized form; after which the correctness of their application to particular cases is a question which specially concerns the Logic of Consistency. This Logic, not requiring any preliminary knowledge of the processes or conclusions of the various sciences, may be studied with benefit in a much earlier
should be able to affirm the conclusion without the intervention of the minor premise; but every one sees that that is impossible." A similar argument is urged by Mr. De Morgan (Formal Logic, p. 259): "The whole objection tacitly assumes the superfluity of the minor; that is, tacitly assumes we know Socrates (Mr. De Morgan says 'Plato,' but to prevent confusion I have kept to my own exemplum.) to be a man as soon as we know him to be Socrates." The objection would be well grounded if the assertion that the major premise includes the conclusion, meant that it individually specifies all it includes. As, however, the only indication it gives is a description by marks, we have still to compare any new individual with the marks; and to show that this comparison has been made, is the office of the minor. But since, by supposition, the new individual has the marks, whether we have ascertained him to have them or not; if we
have affirmed the major premise, we have asserted him to be mortal. Now my
66 Infra, book iii., chap. ii.
stage of education than the Logic of Truth: and the practice which has empirically obtained of teaching it apart, through elementary treatises which do not attempt to include any thing else, though the reasons assigned for the practice are in general very far from philosophical, admits of philosophical justification.
Of Trains Of Reasoning, And Deductive Sciences.
§ 1. In our analysis of the syllogism, it appeared that the minor premise always affirms a resemblance between a new case and some cases previously known; while the major premise asserts something which, having been found true of those known cases, we consider ourselves warranted in holding true of any other case resembling the former in certain given particulars.
If all ratiocinations resembled, as to the minor premise, the
examples which were exclusively employed in the preceding chapter; if the resemblance, which that premise asserts, were obvious to the senses, as in the proposition "Socrates is a man," or were at once ascertainable by direct observation; there would be no necessity for trains of reasoning, and Deductive or Ratiocinative Sciences would not exist. Trains of reasoning exist only for the sake of extending an induction founded, as all inductions must be, on observed cases, to other cases in which we not only can not directly observe the fact which is to be proved, but can not directly observe even the mark which is to prove it.
262 A System Of Logic, Ratiocinative And Inductive
§ 2. Suppose the syllogism to be, All cows ruminate, the animal which is before me is a cow, therefore it ruminates. The minor, if true at all, is obviously so: the only premise the establishment of which requires any anterior process of inquiry, is the major; and provided the induction of which that premise is the expression was correctly performed, the conclusion respecting the animal now present will be instantly drawn; because, as soon as she is compared with the formula, she will be identified as being included in it. But suppose the syllogism to be the following: All arsenic is poisonous, the substance which is before me is arsenic, therefore it is poisonous. The truth of the minor may not here be obvious at first sight; it may not be intuitively evident, but may itself be known only by inference. It may be the conclusion of another argument, which, thrown into the syllogistic form, would stand thus: Whatever when lighted produces a dark spot on a piece of white porcelain held in the flame, which spot is soluble in hypochloride of calcium, is arsenic; the substance before me conforms to this condition; therefore it is arsenic. To establish, therefore, the ultimate conclusion, The substance before me is poisonous, requires a process, which, in order to be syllogistically expressed, stands in need of two syllogisms; and we have a Train of Reasoning.
When, however, we thus add syllogism to syllogism, we are
really adding induction to induction. Two separate inductions must have taken place to render this chain of inference possible; inductions founded, probably, on different sets of individual instances, but which converge in their results, so that the instance which is the subject of inquiry comes within the range of them both. The record of these inductions is contained in the majors of the two syllogisms. First, we, or others for us, have examined various objects which yielded under the given circumstances a
 dark spot with the given property, and found that they possessed
the properties connoted by the word arsenic; they were metallic, volatile, their vapor had a smell of garlic, and so forth. Next,
we, or others for us, have examined various specimens which possessed this metallic and volatile character, whose vapor had this smell, etc., and have invariably found that they were poisonous. The first observation we judge that we may extend to all substances whatever which yield that particular kind of dark spot; the second, to all metallic and volatile substances resembling those we examined; and consequently, not to those only which are seen to be such, but to those which are concluded to be such by the prior induction. The substance before us is only seen to come within one of these inductions; but by means of this one, it is brought within the other. We are still, as before, concluding from particulars to particulars; but we are now concluding from particulars observed, to other particulars which are not, as in the simple case, seen to resemble them in material points, but inferred to do so, because resembling them in something else, which we have been led by quite a different set of instances to consider as a mark of the former resemblance.
This first example of a train of reasoning is still extremely
simple, the series consisting of only two syllogisms. The following is somewhat more complicated: No government, which earnestly seeks the good of its subjects, is likely to be overthrown; some particular government earnestly seeks the good of its subjects, therefore it is not likely to be overthrown. The major premise in this argument we shall suppose not to be derived from considerations a priori, but to be a generalization from history, which, whether correct or erroneous, must have been founded on observation of governments concerning whose desire of the good of their subjects there was no doubt. It has been found, or thought to be found, that these were not easily overthrown, and it has been deemed that those instances warranted an extension of the same predicate to any and every government which resembles them in the attribute of desiring earnestly the good of its subjects. But does the government in question thus resemble them? This may be debated pro and con by many arguments, and must, in
264 A System Of Logic, Ratiocinative And Inductive
any case, be proved by another induction; for we can not directly observe the sentiments and desires of the persons who carry on the government. To prove the minor, therefore, we require an argument in this form: Every government which acts in a certain manner, desires the good of its subjects; the supposed government acts in that particular manner, therefore it desires the good of its subjects. But is it true that the government acts in the manner supposed? This minor also may require proof; still another induction, as thus: What is asserted by intelligent and disinterested witnesses, may be believed to be true; that the government acts in this manner, is asserted by such witnesses, therefore it may be believed to be true. The argument hence consists of three steps. Having the evidence of our senses that the case of the government under consideration resembles a number of former cases, in the circumstance of having something asserted respecting it by intelligent and disinterested witnesses, we infer, first, that, as in those former instances, so in this instance, the assertion is true. Secondly, what was asserted of the government being that it acts in a particular manner, and other governments or persons having been observed to act in the same manner, the government in question is brought into known resemblance with those other governments or persons; and since they were known to desire the good of the people, it is thereupon,
by a second induction, inferred that the particular government spoken of, desires the good of the people. This brings that government into known resemblance with the other governments which were thought likely to escape revolution, and thence, by a third induction, it is concluded that this particular government is also likely to escape. This is still reasoning from particulars to particulars, but we now reason to the new instance from three distinct sets of former instances: to one only of those sets of instances do we directly perceive the new one to be similar; but from that similarity we inductively infer that it has the attribute by which it is assimilated to the next set, and brought within the
corresponding induction; after which by a repetition of the same operation we infer it to be similar to the third set, and hence a third induction conducts us to the ultimate conclusion.
§ 3. Notwithstanding the superior complication of these
examples, compared with those by which in the preceding chapter we illustrated the general theory of reasoning, every doctrine which we then laid down holds equally true in these more intricate cases. The successive general propositions are not steps in the reasoning, are not intermediate links in the chain of inference, between the particulars observed and those to which we apply the observation. If we had sufficiently capacious memories, and a sufficient power of maintaining order among a huge mass of details, the reasoning could go on without any general propositions; they are mere formulæ for inferring particulars from particulars. The principle of general reasoning is (as before explained), that if, from observation of certain known particulars, what was seen to be true of them can be inferred to be true of any others, it may be inferred of all others which are of a certain description. And in order that we may never fail to draw this conclusion in a new case when it can be drawn correctly, and may avoid drawing it when it can not, we determine once for all what are the distinguishing marks by which such cases may be recognized. The subsequent process is merely that of identifying an object, and ascertaining it to have those marks; whether we identify it by the very marks themselves, or by others which we have ascertained (through another and a similar process) to be marks of those marks. The real inference is always from particulars to particulars, from the observed instances to an unobserved one: but in drawing this inference, we conform to a formula which we have adopted for our guidance in such operations, and which is a record of the criteria by which we thought we had ascertained that we might distinguish when the inference could, and when it could not, be drawn. The real premises are the individual observations, even though they may
266 A System Of Logic, Ratiocinative And Inductive
have been forgotten, or, being the observations of others and not of ourselves, may, to us, never have been known: but we have before us proof that we or others once thought them sufficient for an induction, and we have marks to show whether any new case is one of those to which, if then known, the induction would have been deemed to extend. These marks we either recognize at once, or by the aid of other marks, which by another previous induction we collected to be marks of the first. Even these marks of marks may only be recognized through a third set of marks; and we may have a train of reasoning, of any length, to bring a new case within the scope of an induction grounded on particulars its similarity to which is only ascertained in this indirect manner.
Thus, in the preceding example, the ultimate inductive inference was, that a certain government was not likely to
be overthrown; this inference was drawn according to a formula in which desire of the public good was set down as a mark of not being likely to be overthrown; a mark of this mark was, acting in a particular manner; and a mark of acting in that manner was, being asserted to do so by intelligent and disinterested witnesses: this mark, the government under discussion was recognized by the senses as possessing. Hence that government fell within the last induction, and by it was brought within all the others. The perceived resemblance of the case to one set of observed particular cases, brought it into known resemblance with another set, and that with a third.
In the more complex branches of knowledge, the deductions seldom consist, as in the examples hitherto exhibited, of a single chain, a a mark of b, b of c, c of d, therefore a a mark of d. They consist (to carry on the same metaphor) of several chains united at the extremity, as thus: a a mark of d, b of e, c of f, d e f of n, therefore a b c a mark of n. Suppose, for example, the following combination of circumstances: 1st, rays of light impinging on a reflecting surface; 2d, that surface parabolic; 3d, those rays parallel to each other and to the axis of the surface. It
is to be proved that the concourse of these three circumstances is a mark that the reflected rays will pass through the focus of the parabolic surface. Now, each of the three circumstances is singly a mark of something material to the case. Rays of light impinging on a reflecting surface are a mark that those rays will be reflected at an angle equal to the angle of incidence. The parabolic form of the surface, is a mark that, from any point of it, a line drawn to the focus and a line parallel to the axis will make equal angles with the surface. And finally, the parallelism of the rays to the axis is a mark that their angle of incidence coincides with one of these equal angles. The three marks taken together are therefore a mark of all these three things united. But the three united are evidently a mark that the angle of reflection must coincide with the other of the two equal angles, that formed by a line drawn to the focus; and this again, by the fundamental axiom concerning straight lines, is a mark that the reflected rays pass through the focus. Most chains of physical deduction are of this more complicated type; and even in mathematics such are abundant, as in all propositions where the hypothesis includes numerous conditions: "If a circle be taken, and if within that circle a point be taken, not the centre, and if straight lines be drawn from that point to the circumference, then," etc.
§ 4. The considerations now stated remove a serious difficulty
from the view we have taken of reasoning; which view might otherwise have seemed not easily reconcilable with the fact that there are Deductive or Ratiocinative Sciences. It might seem to follow, if all reasoning be induction, that the difficulties of philosophical investigation must lie in the inductions exclusively, and that when these were easy, and susceptible of no doubt or hesitation, there could be no science, or, at least, no difficulties in science. The existence, for example, of an extensive Science of Mathematics, requiring the highest scientific genius in those who contributed to its creation, and calling for a most continued and vigorous exertion of intellect in order to appropriate it when
268 A System Of Logic, Ratiocinative And Inductive
created, may seem hard to be accounted for on the foregoing theory. But the considerations more recently adduced remove the mystery, by showing, that even when the inductions themselves are obvious, there may be much difficulty in finding whether the particular case which is the subject of inquiry comes within them; and ample room for scientific ingenuity in so combining
various inductions, as, by means of one within which the case evidently falls, to bring it within others in which it can not be directly seen to be included.
When the more obvious of the inductions which can be made in any science from direct observations, have been made, and general formulas have been framed, determining the limits within which these inductions are applicable; as often as a new case can be at once seen to come within one of the formulas, the induction is applied to the new case, and the business is ended. But new cases are continually arising, which do not obviously come within any formula whereby the question we want solved in respect of them could be answered. Let us take an instance from geometry: and as it is taken only for illustration, let the reader concede to us for the present, what we shall endeavor to prove in the next chapter, that the first principles of geometry are results of induction. Our example shall be the fifth proposition of the first book of Euclid. The inquiry is, Are the angles at the base of an isosceles triangle equal or unequal? The first thing to be considered is, what inductions we have, from which we can infer equality or inequality. For inferring equality we have the following formulæ: Things which being applied to each other coincide, are equals. Things which are equal to the same thing are equals. A whole and the sum of its parts are equals. The sums of equal things are equals. The differences of equal things are equals. There are no other original formulæ to prove equality. For inferring inequality we have the following: A whole and its parts are unequals. The sums of equal things and unequal things are unequals. The differences of equal things and unequal
things are unequals. In all, eight formulæ. The angles at the base of an isosceles triangle do not obviously come within any of these. The formulæ specify certain marks of equality and of inequality, but the angles can not be perceived intuitively to have any of those marks. On examination it appears that they have; and we ultimately succeed in bringing them within the formula, "The differences of equal things are equal." Whence comes the difficulty of recognizing these angles as the differences of equal things? Because each of them is the difference not of one pair only, but of innumerable pairs of angles; and out of these we had to imagine and select two, which could either be intuitively perceived to be equals, or possessed some of the marks of equality set down in the various formulæ. By an exercise of ingenuity, which, on the part of the first inventor, deserves to be regarded as considerable, two pairs of angles were hit upon, which united these requisites. First, it could be perceived intuitively that their differences were the angles at the base; and, secondly, they possessed one of the marks of equality, namely, coincidence when applied to one another. This coincidence, however, was not perceived intuitively, but inferred, in conformity to another formula.
For greater clearness, I subjoin an analysis of the demonstration. Euclid, it will be remembered, demonstrates his fifth proposition by means of the fourth. This it is not allowable for us to do, because we are undertaking to trace deductive truths not to prior deductions, but to their original inductive foundation. We must, therefore, use the premises of the fourth proposition instead of its conclusion, and prove the fifth directly from first principles. To do so requires six formulas. (We presuppose an equilateral triangle, whose vertices are A, D, E, with point B on the side AD, and point C on the side AE, such that BC is parallel to DE. We must begin, as in Euclid, by prolonging the equal sides AB, AC, to equal distances, and
joining the extremities BE, DC.)
270 A System Of Logic, Ratiocinative And Inductive
FIRST FORMULA.—The sums of equals are equal.
AD and AE are sums of equals by the supposition. Having
that mark of equality, they are concluded by this formula to be equal.
SECOND FORMULA.—Equal straight lines or angles, being
applied to one another, coincide.
AC, AB, are within this formula by supposition; AD, AE,
have been brought within it by the preceding step. The angle at A considered as an angle of the triangle ABE, and the same angle considered as an angle of the triangle ACD, are of course within the formula. All these pairs, therefore, possess the property which, according to the second formula, is a mark that when applied to one another they will coincide. Conceive them, then, applied to one another, by turning over the triangle ABE, and laying it on the triangle ACD in such a manner that AB of the one shall lie upon AC of the other. Then, by the equality of the angles, AE will lie on AD. But AB and AC, AE and AD are equals; therefore they will coincide altogether, and of course at their extremities, D, E, and B, C.
THIRD FORMULA.—Straight lines, having their extremities
BE and CD have been brought within this formula by the
preceding induction; they will, therefore, coincide.
FOURTH FORMULA.—Angles, having their sides coincident,
The third induction having shown that BE and CD coincide,
and the second that AB, AC, coincide, the angles ABE and ACD are thereby brought within the fourth formula, and accordingly coincide.
FIFTH FORMULA.—Things which coincide are equal.
The angles ABE and ACD are brought within this formula
by the induction immediately preceding. This train of reasoning being also applicable, mutatis mutandis, to the angles EBC, DCB,
these also are brought within the fifth formula. And, finally,
SIXTH FORMULA.—The differences of equals are equal.
The angle ABC being the difference of ABE, CBE, and the
angle ACB being the difference of ACD, DCB; which have been proved to be equals; ABC and ACB are brought within the last formula by the whole of the previous process.
The difficulty here encountered is chiefly that of figuring to
ourselves the two angles at the base of the triangle ABC as remainders made by cutting one pair of angles out of another, while each pair shall be corresponding angles of triangles which have two sides and the intervening angle equal. It is by this happy contrivance that so many different inductions are brought to bear upon the same particular case. And this not being at all an obvious thought, it may be seen from an example so near the threshold of mathematics, how much scope there may well be for scientific dexterity in the higher branches of that and other sciences, in order so to combine a few simple inductions, as to bring within each of them innumerable cases which are not obviously included in it; and how long, and numerous, and complicated may be the processes necessary for bringing the inductions together, even when each induction may itself be very easy and simple. All the inductions involved in all geometry are comprised in those simple ones, the formulæ of which are the Axioms, and a few of the so-called Definitions. The remainder of the science is made up of the processes employed for bringing unforeseen cases within these inductions; or (in syllogistic language) for proving the minors necessary to complete the syllogisms; the majors being the definitions and axioms. In those definitions and axioms are laid down the whole of the marks, by an artful combination of which it has been found possible to discover and prove all that is proved in geometry. The marks being so few, and the inductions which furnish them being so obvious and familiar; the connecting of several of them together, which constitutes Deductions, or Trains of Reasoning, forms the whole difficulty of the science, and, with a trifling exception, its whole bulk; and
272 A System Of Logic, Ratiocinative And Inductive
hence Geometry is a Deductive Science.
§ 5. It will be seen hereafter67 that there are weighty scientific
reasons for giving to every science as much of the character of a Deductive Science as possible; for endeavoring to construct the science from the fewest and the simplest possible inductions, and to make these, by any combinations however complicated, suffice for proving even such truths, relating to complex cases, as could be proved, if we chose, by inductions from specific experience. Every branch of natural philosophy was originally experimental; each generalization rested on a special induction, and was derived from its own distinct set of observations and experiments. From being sciences of pure experiment, as the phrase is, or, to speak more correctly, sciences in which the reasonings mostly consist of no more than one step, and are expressed by single syllogisms, all these sciences have become to some extent, and some of them in nearly the whole of their extent, sciences of pure reasoning; whereby multitudes of truths, already known by induction from as many different sets of experiments, have come to be exhibited as deductions or corollaries from inductive propositions of a simpler and more universal character. Thus mechanics, hydrostatics, optics, acoustics, thermology, have successively been rendered mathematical; and astronomy was brought by Newton within the laws of general mechanics. Why it is that the substitution of this circuitous mode of proceeding for a process apparently much easier and more natural, is held, and justly, to be the greatest triumph of the investigation of nature, we are not, in this stage of our inquiry, prepared to examine. But it is necessary to remark, that although, by this progressive transformation, all sciences tend to become more and more Deductive, they are not, therefore, the less Inductive; every step in the Deduction is still an Induction. The opposition is not between the terms Deductive and Inductive, but between Deductive and Experimental. A
67 Infra, book iii., ch. iv., § 3, and elsewhere.
science is experimental, in proportion as every new case, which presents any peculiar features, stands in need of a new set of observations and experiments—a fresh induction. It is deductive, in proportion as it can draw conclusions, respecting cases of a new kind, by processes which bring those cases under old inductions; by ascertaining that cases which can not be observed to have the requisite marks, have, however, marks of those marks.
We can now, therefore, perceive what is the generic distinction between sciences which can be made Deductive, and those which must as yet remain Experimental. The difference consists in our having been able, or not yet able, to discover marks of marks. If by our various inductions we have been able to proceed no further than to such propositions as these, a a mark of b, or a and b marks of one another, c a mark of d, or c and d marks of one another, without any thing to connect a or b with c or d; we have a science of detached and mutually independent generalizations, such as these, that acids redden vegetable blues, and that alkalies color them green; from neither of which propositions could we, directly or indirectly, infer the other: and a science, so far as it is composed of such propositions, is purely experimental. Chemistry, in the present state of our knowledge, has not yet thrown off this character. There are other sciences, however, of which the propositions are of this kind: a a mark of b, b a mark of c, c of d, d of e, etc. In these sciences we can mount the ladder from a to e by a process of ratiocination; we can conclude that a is a mark of e, and that every object which has the mark a has the property e, although, perhaps, we never were able to observe a and e together, and although even d, our only direct mark of e, may not be perceptible in those objects, but only inferable. Or, varying the first metaphor, we may be said to get from a to e underground: the marks b, c, d, which indicate the route, must all be possessed somewhere by the objects concerning which we are inquiring; but they are below the surface: a is the only mark that is visible, and by it we are able to trace in succession all the
274 A System Of Logic, Ratiocinative And Inductive
§ 6. We can now understand how an experimental may
transform itself into a deductive science by the mere progress of experiment. In an experimental science, the inductions, as we have said, lie detached, as, a a mark of b, c a mark of d, e a mark of f, and so on: now, a new set of instances, and a consequent new induction, may at any time bridge over the interval between two of these unconnected arches; b, for example, may be ascertained to be a mark of c, which enables us thenceforth to prove deductively that a is a mark of c. Or, as sometimes happens, some comprehensive induction may raise an arch high in the air, which bridges over hosts of them at once; b, d, f, and all the rest, turning out to be marks of some one thing, or of things between which a connection has already been traced. As when Newton discovered that the motions, whether regular or apparently anomalous, of all the bodies of the solar system (each of which motions had been inferred by a separate logical operation, from separate marks), were all marks of moving round a common centre, with a centripetal force varying directly as the mass, and inversely as the square of the distance from that centre. This is the greatest example which has yet occurred of the transformation, at one stroke, of a science which was still to a great degree merely experimental, into a deductive science.
Transformations of the same nature, but on a smaller scale,
continually take place in the less advanced branches of physical knowledge, without enabling them to throw off the character of experimental sciences. Thus with regard to the two unconnected propositions before cited, namely, Acids redden vegetable blues, Alkalies make them green; it is remarked by Liebig, that all blue coloring matters which are reddened by acids (as well as, reciprocally, all red coloring matters which are rendered blue by alkalies) contain nitrogen: and it is quite possible that this circumstance may one day furnish a bond of connection between the two propositions in question, by showing that the antagonistic
action of acids and alkalies in producing or destroying the color blue, is the result of some one, more general, law. Although this connecting of detached generalizations is so much gain, it tends but little to give a deductive character to any science as a whole; because the new courses of observation and experiment, which thus enable us to connect together a few general truths, usually make known to us a still greater number of unconnected new ones. Hence chemistry, though similar extensions and simplifications of its generalizations are continually taking place, is still in the main an experimental science; and is likely so to continue unless some comprehensive induction should be hereafter arrived at, which, like Newton's, shall connect a vast number of the smaller known inductions together, and change the whole method of the science at once. Chemistry has already one great generalization, which, though relating to one of the subordinate aspects of chemical phenomena, possesses within its limited sphere this comprehensive character; the principle of Dalton, called the atomic theory, or the doctrine of chemical equivalents: which by enabling us to a certain extent to foresee the proportions in which two substances will combine, before the experiment has been tried, constitutes undoubtedly a source of new chemical truths obtainable by deduction, as well as a connecting principle for all truths of the same description previously obtained by experiment.
§ 7. The discoveries which change the method of a science
from experimental to deductive, mostly consist in establishing, either by deduction or by direct experiment, that the varieties of a particular phenomenon uniformly accompany the varieties of some other phenomenon better known. Thus the science of sound, which previously stood in the lowest rank of merely experimental science, became deductive when it was proved by experiment that every variety of sound was consequent on, and therefore a mark of, a distinct and definable variety of oscillatory motion among the particles of the transmitting medium. When this was ascertained, it followed that every relation of succession or co-
276 A System Of Logic, Ratiocinative And Inductive
existence which obtained between phenomena of the more known class, obtained also between the phenomena which correspond to them in the other class. Every sound, being a mark of a particular oscillatory motion, became a mark of every thing which, by the laws of dynamics, was known to be inferable from that motion; and every thing which by those same laws was a mark of any oscillatory motion among the particles of an elastic medium, became a mark of the corresponding sound. And thus many truths, not before suspected, concerning sound, become deducible from the known laws of the propagation of motion through an elastic medium; while facts already empirically known respecting sound, become an indication of corresponding properties of vibrating bodies, previously undiscovered.
But the grand agent for transforming experimental into
deductive sciences, is the science of number. The properties of number, alone among all known phenomena, are, in the most rigorous sense, properties of all things whatever. All things are not colored, or ponderable, or even extended; but all things are numerable. And if we consider this science in its whole extent, from common arithmetic up to the calculus of variations, the truths already ascertained seem all but infinite, and admit of indefinite extension.
These truths, though affirmable of all things whatever, of
course apply to them only in respect of their quantity. But if it comes to be discovered that variations of quality in any class of
phenomena, correspond regularly to variations of quantity either in those same or in some other phenomena; every formula of mathematics applicable to quantities which vary in that particular manner, becomes a mark of a corresponding general truth, respecting the variations in quality which accompany them: and the science of quantity being (as far as any science can be) altogether deductive, the theory of that particular kind of qualities becomes, to this extent, deductive likewise.
The most striking instance in point which history affords
(though not an example of an experimental science rendered deductive, but of an unparalleled extension given to the deductive process in a science which was deductive already), is the revolution in geometry which originated with Descartes, and was completed by Clairaut. These great mathematicians pointed out the importance of the fact, that to every variety of position in points, direction in lines, or form in curves or surfaces (all of which are Qualities), there corresponds a peculiar relation of quantity between either two or three rectilineal co-ordinates; insomuch that if the law were known according to which those co- ordinates vary relatively to one another, every other geometrical property of the line or surface in question, whether relating to quantity or quality, would be capable of being inferred. Hence it followed that every geometrical question could be solved, if the corresponding algebraical one could; and geometry received an accession (actual or potential) of new truths, corresponding to every property of numbers which the progress of the calculus had brought, or might in future bring, to light. In the same general manner, mechanics, astronomy, and in a less degree, every branch of natural philosophy commonly so called, have been made algebraical. The varieties of physical phenomena with which those sciences are conversant, have been found to answer to determinable varieties in the quantity of some circumstance or other; or at least to varieties of form or position, for which corresponding equations of quantity had already been, or were susceptible of being, discovered by geometers.
In these various transformations, the propositions of the
science of number do but fulfill the function proper to all propositions forming a train of reasoning, viz., that of enabling us to arrive in an indirect method, by marks of marks, at such of the properties of objects as we can not directly ascertain (or not so conveniently) by experiment. We travel from a given visible or tangible fact, through the truths of numbers, to the facts sought. The given fact is a mark that a certain relation subsists between
278 A System Of Logic, Ratiocinative And Inductive
the quantities of some of the elements concerned; while the fact sought presupposes a certain relation between the quantities of some other elements: now, if these last quantities are dependent in some known manner upon the former, or vicè versa, we can argue from the numerical relation between the one set of quantities, to determine that which subsists between the other set; the theorems of the calculus affording the intermediate links. And thus one of the two physical facts becomes a mark of the other, by being a mark of a mark of a mark of it.
Of Demonstration, And Necessary Truths.
§ 1. If, as laid down in the two preceding chapters, the foundation of all sciences, even deductive or demonstrative sciences, is Induction; if every step in the ratiocinations even of geometry is an act of induction; and if a train of reasoning is but bringing many inductions to bear upon the same subject of inquiry, and drawing a case within one induction by means of another; wherein lies the peculiar certainty always ascribed to the sciences which are entirely, or almost entirely, deductive? Why are they called the Exact Sciences? Why are mathematical certainty, and the evidence of demonstration, common phrases to express the very highest degree of assurance attainable by reason? Why are mathematics by almost all philosophers, and (by some) even those branches of natural philosophy which, through the medium of mathematics, have been converted into deductive sciences, considered to be independent of the evidence
Chapter V. Of Demonstration, And Necessary Truths. 279
of experience and observation, and characterized as systems of
The answer I conceive to be, that this character of necessity,
ascribed to the truths of mathematics, and (even with some reservations to be hereafter made) the peculiar certainty attributed to them, is an illusion; in order to sustain which, it is necessary to suppose that those truths relate to, and express the properties of, purely imaginary objects. It is acknowledged that the conclusions of geometry are deduced, partly at least, from the so-called Definitions, and that those definitions are assumed to be correct representations, as far as they go, of the objects with which geometry is conversant. Now we have pointed out that, from a definition as such, no proposition, unless it be one concerning the meaning of a word, can ever follow; and that what apparently follows from a definition, follows in reality from an implied assumption that there exists a real thing conformable thereto. This assumption, in the case of the definitions of geometry, is not strictly true: there exist no real things exactly conformable to the definitions. There exist no points without magnitude; no lines without breadth, nor perfectly straight; no circles with all their radii exactly equal, nor squares with all their angles perfectly right. It will perhaps be said that the assumption does not extend to the actual, but only to the possible, existence of such things. I answer that, according to any test we have of possibility, they are not even possible. Their existence, so far as we can form any judgment, would seem to be inconsistent with the physical constitution of our planet at least, if not of the universe. To get rid of this difficulty, and at the same time to save the credit of the supposed system of necessary truth, it is customary to say that the points, lines, circles, and squares which are the subject of geometry, exist in our conceptions merely, and are part of our minds; which minds, by working on their own materials, construct an a priori science, the evidence of which is purely mental, and has nothing whatever to do with
280 A System Of Logic, Ratiocinative And Inductive
outward experience. By howsoever high authorities this doctrine may have been sanctioned, it appears to me psychologically incorrect. The points, lines, circles, and squares which any one has in his mind, are (I apprehend) simply copies of the points, lines, circles, and squares which he has known in his experience. Our idea of a point, I apprehend to be simply our idea of the minimum visibile, the smallest portion of surface which we can see. A line, as defined by geometers, is wholly inconceivable. We can reason about a line as if it had no breadth; because we have a power, which is the foundation of all the control we can exercise over the operations of our minds; the power, when a perception is present to our senses, or a conception to our intellects, of attending to a part only of that perception or conception, instead of the whole. But we can not conceive a line without breadth; we can form no mental picture of such a line: all the lines which we have in our minds are lines possessing breadth. If any one doubts this, we may refer him to his own experience. I much question if any one who fancies that he can conceive what is called a mathematical line, thinks so from the evidence of his consciousness: I suspect it is rather because he supposes that unless such a conception were possible, mathematics could not exist as a science: a supposition which there will be no difficulty in showing to be entirely groundless.
Since, then, neither in nature, nor in the human mind, do there exist any objects exactly corresponding to the definitions of geometry, while yet that science can not be supposed to be conversant about nonentities; nothing remains but to consider geometry as conversant with such lines, angles, and figures, as really exist; and the definitions, as they are called, must be regarded as some of our first and most obvious generalizations concerning those natural objects. The correctness of those generalizations, as generalizations, is without a flaw: the equality of all the radii of a circle is true of all circles, so far as it is true of any one: but it is not exactly true of any circle; it is only
Chapter V. Of Demonstration, And Necessary Truths. 281
nearly true; so nearly that no error of any importance in practice will be incurred by feigning it to be exactly true. When we have occasion to extend these inductions, or their consequences, to cases in which the error would be appreciable—to lines of perceptible breadth or thickness, parallels which deviate sensibly from equidistance, and the like—we correct our conclusions, by combining with them a fresh set of propositions relating to the aberration; just as we also take in propositions relating to the physical or chemical properties of the material, if those properties happen to introduce any modification into the result; which they easily may, even with respect to figure and magnitude, as in the case, for instance, of expansion by heat. So long, however, as there exists no practical necessity for attending to any of the properties of the object except its geometrical properties, or to any of the natural irregularities in those, it is convenient to neglect the consideration of the other properties and of the irregularities, and to reason as if these did not exist: accordingly, we formally announce in the definitions, that we intend to proceed on this plan. But it is an error to suppose, because we resolve to confine our attention to a certain number of the properties of an object, that we therefore conceive, or have an idea of, the object, denuded of its other properties. We are thinking, all the time, of precisely such objects as we have seen and touched, and with all the properties which naturally belong to them; but, for scientific convenience, we feign them to be divested of all properties, except those which are material to our purpose, and in regard to which we design to consider them.
The peculiar accuracy, supposed to be characteristic of the first principles of geometry, thus appears to be fictitious. The assertions on which the reasonings of the science are founded, do not, any more than in other sciences, exactly correspond with the fact; but we suppose that they do so, for the sake of tracing the consequences which follow from the supposition. The opinion of Dugald Stewart respecting the foundations of geometry, is, I
282 A System Of Logic, Ratiocinative And Inductive
conceive, substantially correct; that it is built on hypotheses; that it owes to this alone the peculiar certainty supposed to distinguish it; and that in any science whatever, by reasoning from a set of hypotheses, we may obtain a body of conclusions as certain as those of geometry, that is, as strictly in accordance with the hypotheses, and as irresistibly compelling assent, on condition
that those hypotheses are true.68
When, therefore, it is affirmed that the conclusions of geometry are necessary truths, the necessity consists in reality only in this, that they correctly follow from the suppositions from which they are deduced. Those suppositions are so far from being necessary, that they are not even true; they purposely depart, more or less widely, from the truth. The only sense in which necessity can be ascribed to the conclusions of any scientific investigation, is that of legitimately following from some assumption, which, by the conditions of the inquiry, is not to be questioned. In this relation, of course, the derivative truths of every deductive science must stand to the inductions, or assumptions, on which the science is founded, and which, whether true or untrue, certain or doubtful in themselves, are always supposed certain for the purposes of the
68 It is justly remarked by Professor Bain (Logic, ii., 134) that the word Hypothesis is here used in a somewhat peculiar sense. An hypothesis, in science, usually means a supposition not proved to be true, but surmised to be so, because if true it would account for certain known facts; and the final result of the speculation may be to prove its truth. The hypotheses spoken of in the text are of a different character; they are known not to be literally true, while as much of them as is true is not hypothetical, but certain. The two cases, however, resemble in the circumstance that in both we reason, not from a truth, but from an assumption, and the truth therefore of the conclusions is conditional, not categorical. This suffices to justify, in point of logical propriety, Stewart's use of the term. It is of course needful to bear in mind that the hypothetical element in the definitions of geometry is the assumption that what is very nearly true is exactly so. This unreal exactitude might be called a fiction, as properly as an hypothesis; but that appellation, still more than the other, would fail to point out the close relation which exists between the fictitious point or line and the points and lines of which we have experience.
Chapter V. Of Demonstration, And Necessary Truths. 283
particular science. And therefore the conclusions of all deductive sciences were said by the ancients to be necessary propositions. We have observed already that to be predicated necessarily was characteristic of the predicable Proprium, and that a proprium was any property of a thing which could be deduced from its essence, that is, from the properties included in its definition.
§ 2. The important doctrine of Dugald Stewart, which I have endeavored to enforce, has been contested by Dr. Whewell, both in the dissertation appended to his excellent Mechanical Euclid, and in his elaborate work on the Philosophy of the Inductive Sciences; in which last he also replies to an article in the Edinburgh Review (ascribed to a writer of great scientific eminence), in which Stewart's opinion was defended against his former strictures. The supposed refutation of Stewart consists in proving against him (as has also been done in this work) that the premises of geometry are not definitions, but assumptions of the real existence of things corresponding to those definitions. This, however, is doing little for Dr. Whewell's purpose; for it is these very assumptions which are asserted to be hypotheses, and which he, if he denies that geometry is founded on hypotheses, must show to be absolute truths. All he does, however, is to observe, that they, at any rate, are not arbitrary hypotheses; that we should not be at liberty to substitute other hypotheses for them; that not only "a definition, to be admissible, must necessarily refer to and agree with some conception which we can distinctly frame in our thoughts," but that the straight lines, for instance, which we define, must be "those by which angles are contained, those by which triangles are bounded, those of which parallelism may be predicated, and the like."69 And this is true; but this has never been contradicted. Those who say that the premises of geometry are hypotheses, are not bound to maintain them to be hypotheses which have no relation whatever to fact. Since
69 Mechanical Euclid, pp. 149 et seqq.
284 A System Of Logic, Ratiocinative And Inductive
an hypothesis framed for the purpose of scientific inquiry must relate to something which has real existence (for there can be no science respecting nonentities), it follows that any hypothesis we make respecting an object, to facilitate our study of it, must not involve any thing which is distinctly false, and repugnant to its real nature: we must not ascribe to the thing any property which it has not; our liberty extends only to slightly exaggerating some of those which it has (by assuming it to be completely what it really is very nearly), and suppressing others, under the indispensable obligation of restoring them whenever, and in as far as, their presence or absence would make any material difference in the truth of our conclusions. Of this nature, accordingly, are the first principles involved in the definitions of geometry. That the hypotheses should be of this particular character, is, however, no further necessary, than inasmuch as no others could enable us to deduce conclusions which, with due corrections, would be true of real objects: and in fact, when our aim is only to illustrate truths, and not to investigate them, we are not under any such restriction. We might suppose an imaginary animal, and work out by deduction, from the known laws of physiology, its natural history; or an imaginary commonwealth, and from the elements composing it, might argue what would be its fate. And the conclusions which we might thus draw from purely arbitrary hypotheses, might form a highly useful intellectual exercise: but as they could only teach us what would be the properties of objects which do not really exist, they would not constitute any addition to our knowledge of nature: while, on the contrary, if the hypothesis merely divests a real object of some portion of its properties, without clothing it in false ones, the conclusions will always express, under known liability to correction, actual truth.
§ 3. But though Dr. Whewell has not shaken Stewart's
doctrine as to the hypothetical character of that portion of the first principles of geometry which are involved in the so-called definitions, he has, I conceive, greatly the advantage of Stewart
Chapter V. Of Demonstration, And Necessary Truths. 285
on another important point in the theory of geometrical reasoning; the necessity of admitting, among those first principles, axioms as well as definitions. Some of the axioms of Euclid might, no doubt, be exhibited in the form of definitions, or might be deduced, by reasoning, from propositions similar to what are so called. Thus, if instead of the axiom, Magnitudes which can be made to coincide are equal, we introduce a definition, "Equal magnitudes are those which may be so applied to one another as to coincide;" the three axioms which follow (Magnitudes which are equal to the same are equal to one another—If equals are added to equals, the sums are equal—If equals are taken from equals,
the remainders are equal), may be proved by an imaginary superposition, resembling that by which the fourth proposition of the first book of Euclid is demonstrated. But though these and several others may be struck out of the list of first principles, because, though not requiring demonstration, they are susceptible of it; there will be found in the list of axioms two or three fundamental truths, not capable of being demonstrated: among which must be reckoned the proposition that two straight lines can not inclose a space (or its equivalent, Straight lines which coincide in two points coincide altogether), and some property of parallel lines, other than that which constitutes their definition: one of the most suitable for the purpose being that selected by Professor Playfair: "Two straight lines which intersect each other
can not both of them be parallel to a third straight line."70
70 We might, it is true, insert this property into the definition of parallel lines, framing the definition so as to require, both that when produced indefinitely they shall never meet, and also that any straight line which intersects one of them shall, if prolonged, meet the other. But by doing this we by no means get rid of the assumption; we are still obliged to take for granted the geometrical truth, that all straight lines in the same plane, which have the former of these properties, have also the latter. For if it were possible that they should not, that is, if any straight lines in the same plane, other than those which are parallel according to the definition, had the property of never meeting although indefinitely produced, the demonstrations of the subsequent portions of the
286 A System Of Logic, Ratiocinative And Inductive
The axioms, as well those which are indemonstrable as those which admit of being demonstrated, differ from that other class of fundamental principles which are involved in the definitions, in this, that they are true without any mixture of hypothesis. That things which are equal to the same thing are equal to one another, is as true of the lines and figures in nature, as it would be of the imaginary ones assumed in the definitions. In this respect, however, mathematics are only on a par with most other sciences. In almost all sciences there are some general propositions which are exactly true, while the greater part are only more or less distant approximations to the truth. Thus in mechanics, the first law of motion (the continuance of a movement once impressed, until stopped or slackened by some resisting force) is true without qualification or error. The rotation of the earth in twenty-four hours, of the same length as in our time, has gone on since the first accurate observations, without the increase or diminution of one second in all that period. These are inductions which require no fiction to make them be received as accurately true: but along with them there are others, as for instance the propositions respecting the figure of the earth, which are but approximations to the truth; and in order to use them for the further advancement of our knowledge, we must feign that they are exactly true, though they really want something of being so.
§ 4. It remains to inquire, what is the ground of our belief in axioms—what is the evidence on which they rest? I answer, they are experimental truths; generalizations from observation. The proposition, Two straight lines can not inclose a space—or, in other words, Two straight lines which have once met, do not meet again, but continue to diverge—is an induction from the evidence of our senses.
This opinion runs counter to a scientific prejudice of long standing and great strength, and there is probably no proposition enunciated in this work for which a more unfavorable reception
theory of parallels could not be maintained.
Chapter V. Of Demonstration, And Necessary Truths. 287
is to be expected. It is, however, no new opinion; and even if it were so, would be entitled to be judged, not by its novelty, but by the strength of the arguments by which it can be supported. I consider it very fortunate that so eminent a champion of the contrary opinion as Dr. Whewell has found occasion for a most elaborate treatment of the whole theory of axioms, in attempting to construct the philosophy of the mathematical and physical sciences on the basis of the doctrine against which I now contend. Whoever is anxious that a discussion should go to the bottom of the subject, must rejoice to see the opposite side of the question worthily represented. If what is said by Dr. Whewell, in support of an opinion which he has made the foundation of a systematic work, can be shown not to be conclusive, enough will have been done, without going elsewhere in quest of stronger arguments and a more powerful adversary.
It is not necessary to show that the truths which we call axioms
are originally suggested by observation, and that we should never have known that two straight lines can not inclose a space if we had never seen a straight line: thus much being admitted by Dr. Whewell, and by all, in recent times, who have taken his view of the subject. But they contend, that it is not experience which proves the axiom; but that its truth is perceived a priori, by the constitution of the mind itself, from the first moment when the meaning of the proposition is apprehended; and without any necessity for verifying it by repeated trials, as is requisite in the case of truths really ascertained by observation.
They can not, however, but allow that the truth of the axiom,
Two straight lines can not inclose a space, even if evident independently of experience, is also evident from experience. Whether the axiom needs confirmation or not, it receives confirmation in almost every instant of our lives; since we can not look at any two straight lines which intersect one another, without seeing that from that point they continue to diverge more and more. Experimental proof crowds in upon us in such
288 A System Of Logic, Ratiocinative And Inductive
endless profusion, and without one instance in which there can be even a suspicion of an exception to the rule, that we should soon have stronger ground for believing the axiom, even as an experimental truth, than we have for almost any of the general truths which we confessedly learn from the evidence of our senses. Independently of a priori evidence, we should certainly believe it with an intensity of conviction far greater than we accord to any ordinary physical truth: and this too at a time of life much earlier than that from which we date almost any part of our acquired knowledge, and much too early to admit of our retaining any recollection of the history of our intellectual operations at that period. Where then is the necessity for assuming that our recognition of these truths has a different origin from the rest of our knowledge, when its existence is perfectly accounted for by supposing its origin to be the same? when the causes which produce belief in all other instances, exist in this instance, and in a degree of strength as much superior to what exists in other cases, as the intensity of the belief itself is superior? The burden of proof lies on the advocates of the contrary opinion: it is for them to point out some fact, inconsistent with the supposition that this part of our knowledge of nature is derived from the same
sources as every other part.71
power of any two of them approach to zero. The inference that if they had no breadth or flexure at all, they would inclose no space at all, is a correct inductive inference from these facts, conformable to one of the four Inductive Methods hereinafter characterized, the Method of Concomitant Variations; of which the mathematical Doctrine of Limits presents the extreme case.
71 Some persons find themselves prevented from believing that the axiom, Two straight lines can not inclose a space, could ever become known to us through experience, by a difficulty which may be stated as follows: If the straight lines spoken of are those contemplated in the definition—lines absolutely without breadth and absolutely straight—that such are incapable of inclosing a space is not proved by experience, for lines such as these do not present themselves in our experience. If, on the other hand, the lines meant are such straight lines as we do meet with in experience, lines straight enough for practical purposes, but in reality slightly zigzag, and with some, however
Chapter V. Of Demonstration, And Necessary Truths. 289
This, for instance, they would be able to do, if they could prove chronologically that we had the conviction (at least practically) so early in infancy as to be anterior to those impressions on the senses, upon which, on the other theory, the conviction is founded. This, however, can not be proved: the point being too far back to be within the reach of memory, and too obscure for external observation. The advocates of the a priori theory are obliged to have recourse to other arguments. These are reducible to two, which I shall endeavor to state as clearly and as forcibly as possible.
§ 5. In the first place it is said, that if our assent to the
proposition that two straight lines can not inclose a space, were derived from the senses, we could only be convinced of its truth by actual trial, that is, by seeing or feeling the straight lines; whereas, in fact, it is seen to be true by merely thinking of them. That a stone thrown into water goes to the bottom, may be perceived by our senses, but mere thinking of a stone thrown into the water would never have led us to that conclusion: not so, however, with the axioms relating to straight lines: if I could be made to conceive what a straight line is, without having seen one, I should at once recognize that two such lines can not inclose a space. Intuition is "imaginary looking;"72 but experience must be real looking: if we see a property of straight lines to be true
trifling, breadth; as applied to these lines the axiom is not true, for two of them may, and sometimes do, inclose a small portion of space. In neither case, therefore, does experience prove the axiom.
Those who employ this argument to show that geometrical axioms can not be proved by induction, show themselves unfamiliar with a common and
perfectly valid mode of inductive proof; proof by approximation. Though
experience furnishes us with no lines so unimpeachably straight that two of them are incapable of inclosing the smallest space, it presents us with gradations of lines possessing less and less either of breadth or of flexure, of which series the straight line of the definition is the ideal limit. And observation shows that just as much, and as nearly, as the straight lines of experience approximate to having no breadth or flexure, so much and so nearly does the space-inclosing
72 Whewell's History of Scientific Ideas, i., 140.
290 A System Of Logic, Ratiocinative And Inductive
by merely fancying ourselves to be looking at them, the ground of our belief can not be the senses, or experience; it must be something mental.
To this argument it might be added in the case of this particular
axiom (for the assertion would not be true of all axioms), that the evidence of it from actual ocular inspection is not only unnecessary, but unattainable. What says the axiom? That two straight lines can not inclose a space; that after having once intersected, if they are prolonged to infinity they do not meet, but continue to diverge from one another. How can this, in any single case, be proved by actual observation? We may follow the lines to any distance we please; but we can not follow them to infinity: for aught our senses can testify, they may, immediately beyond the farthest point to which we have traced them, begin to approach, and at last meet. Unless, therefore, we had some other proof of the impossibility than observation affords us, we should have no ground for believing the axiom at all.
To these arguments, which I trust I can not be accused of understating, a satisfactory answer will, I conceive, be found, if we advert to one of the characteristic properties of geometrical forms—their capacity of being painted in the imagination with a distinctness equal to reality: in other words, the exact resemblance
of our ideas of form to the sensations which suggest them. This, in the first place, enables us to make (at least with a little practice) mental pictures of all possible combinations of lines and angles, which resemble the realities quite as well as any which we could make on paper; and in the next place, make those pictures just as fit subjects of geometrical experimentation as the realities themselves; inasmuch as pictures, if sufficiently accurate, exhibit of course all the properties which would be manifested by the realities at one given instant, and on simple inspection: and in geometry we are concerned only with such properties, and not with that which pictures could not exhibit, the mutual action of bodies one upon another. The foundations
Chapter V. Of Demonstration, And Necessary Truths. 291
of geometry would therefore be laid in direct experience, even if the experiments (which in this case consist merely in attentive contemplation) were practiced solely upon what we call our ideas, that is, upon the diagrams in our minds, and not upon outward objects. For in all systems of experimentation we take some objects to serve as representatives of all which resemble them; and in the present case the conditions which qualify a real object to be the representative of its class, are completely fulfilled by an object existing only in our fancy. Without denying, therefore, the possibility of satisfying ourselves that two straight lines can not inclose a space, by merely thinking of straight lines without actually looking at them; I contend, that we do not believe this truth on the ground of the imaginary intuition simply, but because we know that the imaginary lines exactly resemble real ones, and that we may conclude from them to real ones with quite as much certainty as we could conclude from one real line to another. The conclusion, therefore, is still an induction from observation. And we should not be authorized to substitute observation of the image in our mind, for observation of the reality, if we had not learned by long-continued experience that the properties of the reality are faithfully represented in the image; just as we should be scientifically warranted in describing an animal which we have never seen, from a picture made of it with a daguerreotype; but not until we had learned by ample experience, that observation of such a picture is precisely equivalent to observation of the original.
These considerations also remove the objection arising from
the impossibility of ocularly following the lines in their prolongation to infinity. For though, in order actually to see that two given lines never meet, it would be necessary to follow them to infinity; yet without doing so we may know that if they ever do meet, or if, after diverging from one another, they begin again to approach, this must take place not at an infinite, but at a finite distance. Supposing, therefore, such to be the case, we can
292 A System Of Logic, Ratiocinative And Inductive
transport ourselves thither in imagination, and can frame a mental image of the appearance which one or both of the lines must present at that point, which we may rely on as being precisely similar to the reality. Now, whether we fix our contemplation upon this imaginary picture, or call to mind the generalizations we have had occasion to make from former ocular observation, we learn by the evidence of experience, that a line which, after diverging from another straight line, begins to approach to it, produces the impression on our senses which we describe by the expression, "a bent line," not by the expression, "a straight
line."73 The preceding argument, which is, to my mind unanswerable, merges, however, in a still more comprehensive one, which is stated most clearly and conclusively by Professor Bain. The psychological reason why axioms, and indeed many propositions not ordinarily classed as such, may be learned from the idea only
true of their external prototypes. A person in whom, either from natural gift or from cultivation, the impressions of color were peculiarly vivid and distinct, if asked which of two blue flowers was of the darkest tinge, though he might never have compared the two, or even looked at them together, might be able to give a confident answer on the faith of his distinct recollection of the colors; that is, he might examine his mental pictures, and find there a property of the outward objects. But in hardly any case except that of simple geometrical forms, could this be done by mankind generally, with a degree of assurance equal to that which is given by a contemplation of the objects themselves. Persons differ most widely in the precision of their recollection, even of forms: one person, when he has looked any one in the face for half a minute, can draw an accurate likeness of him from memory; another may have seen him every day for six months, and hardly know whether his nose is long or short. But every body has a perfectly distinct mental image of a straight line, a circle, or a rectangle. And every one concludes confidently from these mental images to the corresponding outward things. The truth is, that we may, and continually do, study nature in our recollections, when the objects themselves are absent; and in the case of geometrical forms we can perfectly, but in most other cases only imperfectly, trust our recollections.
73 Dr. Whewell (Philosophy of Discovery, p. 289) thinks it unreasonable to contend that we know by experience, that our idea of a line exactly resembles
Chapter V. Of Demonstration, And Necessary Truths. 293
without referring to the fact, is that in the process of acquiring the idea we have learned the fact. The proposition is assented to as soon as the terms are understood, because in learning to understand the terms we have acquired the experience which proves the proposition to be true. "We required," says Mr. Bain,74 "concrete experience in the first instance, to attain to the notion of whole and part; but the notion, once arrived at, implies that the whole is greater. In fact, we could not have the notion without an experience tantamount to this conclusion.... When we have mastered the notion of straightness, we have also mastered that aspect of it expressed by the affirmation that two straight lines can not inclose a space. No intuitive or innate powers or perceptions are needed in such case.... We can not have the full meaning of Straightness, without going through a comparison of straight objects among themselves, and with their opposites, bent or crooked objects. The result of this comparison is, inter
a real line. "It does not appear," he says, "how we can compare our ideas with the realities, since we know the realities only by our ideas." We know the realities by our sensations. Dr. Whewell surely does not hold the "doctrine of perception by means of ideas," which Reid gave himself so much trouble to refute. If Dr. Whewell doubts whether we compare our ideas with the corresponding sensations, and assume that they resemble, let me ask on what evidence do we judge that a portrait of a person not present is like the original. Surely because it is like our idea, or mental image of the person, and because our idea is like the man himself.
Dr. Whewell also says, that it does not appear why this resemblance of ideas to the sensations of which they are copies, should be spoken of as if it were a peculiarity of one class of ideas, those of space. My reply is, that I do not so speak of it. The peculiarity I contend for is only one of degree. All our ideas of sensation of course resemble the corresponding sensations, but they do so with very different degrees of exactness and of reliability. No one, I presume, can recall in imagination a color or an odor with the same distinctness and accuracy with which almost every one can mentally reproduce an image of a straight line or a triangle. To the extent, however, of their capabilities of accuracy, our recollections of colors or of odors may serve as subjects of experimentation, as well as those of lines and spaces, and may yield conclusions which will be
74 Logic, i., 222.
294 A System Of Logic, Ratiocinative And Inductive
alia, that straightness in two lines is seen to be incompatible with inclosing a space; the inclosure of space involves crookedness in at least one of the lines." And similarly, in the case of every first principle,75 "the same knowledge that makes it understood, suffices to verify it." The more this observation is considered the more (I am convinced) it will be felt to go to the very root of the controversy.
§ 6. The first of the two arguments in support of the theory
that axioms are a priori truths, having, I think, been sufficiently answered; I proceed to the second, which is usually the most
relied on. Axioms (it is asserted) are conceived by us not only as true, but as universally and necessarily true. Now, experience can not possibly give to any proposition this character. I may have seen snow a hundred times, and may have seen that it was white, but this can not give me entire assurance even that all snow is white; much less that snow must be white. "However many instances we may have observed of the truth of a proposition, there is nothing to assure us that the next case shall not be an exception to the rule. If it be strictly true that every ruminant animal yet known has cloven hoofs, we still can not be sure that some creature will not hereafter be discovered which has the first of these attributes, without having the other.... Experience must always consist of a limited number of observations; and, however numerous these may be, they can show nothing with regard to the infinite number of cases in which the experiment has not been made." Besides, Axioms are not only universal, they are also necessary. Now "experience can not offer the smallest ground for the necessity of a proposition. She can observe and record what has happened; but she can not find, in any case, or in any accumulation of cases, any reason for what must happen. She may see objects side by side; but she can not see a reason why they must ever be side by side. She finds certain events to occur
75 Ibid., 226.
Chapter V. Of Demonstration, And Necessary Truths. 295
in succession; but the succession supplies, in its occurrence, no reason for its recurrence. She contemplates external objects; but she can not detect any internal bond, which indissolubly connects the future with the past, the possible with the real. To learn a proposition by experience, and to see it to be necessarily true, are two altogether different processes of thought."76 And Dr. Whewell adds, "If any one does not clearly comprehend this distinction of necessary and contingent truths, he will not be able to go along with us in our researches into the foundations of human knowledge; nor, indeed, to pursue with success any
speculation on the subject."77
In the following passage, we are told what the distinction is, the
non-recognition of which incurs this denunciation. "Necessary truths are those in which we not only learn that the proposition is true, but see that it must be true; in which the negation of the truth is not only false, but impossible; in which we can not, even by an effort of imagination, or in a supposition, conceive the reverse of that which is asserted. That there are such truths can not be doubted. We may take, for example, all relations of number. Three and Two added together make Five. We can not conceive it to be otherwise. We can not, by any freak of thought,
imagine Three and Two to make Seven."78
Although Dr. Whewell has naturally and properly employed
a variety of phrases to bring his meaning more forcibly home, he would, I presume, allow that they are all equivalent; and that what he means by a necessary truth, would be sufficiently defined, a proposition the negation of which is not only false but inconceivable. I am unable to find in any of his expressions, turn them what way you will, a meaning beyond this, and I do not believe he would contend that they mean any thing more.
This, therefore, is the principle asserted: that propositions, the
77 78 History of Scientific Ideas, i., 65-67. Ibid., i., 60. Ibid., 58, 59.
296 A System Of Logic, Ratiocinative And Inductive
negation of which is inconceivable, or in other words, which we can not figure to ourselves as being false, must rest on evidence of a higher and more cogent description than any which experience can afford.
Now I can not but wonder that so much stress should be laid
on the circumstance of inconceivableness, when there is such
ample experience to show, that our capacity or incapacity of conceiving a thing has very little to do with the possibility of the thing in itself; but is in truth very much an affair of accident, and depends on the past history and habits of our own minds. There is no more generally acknowledged fact in human nature, than the extreme difficulty at first felt in conceiving any thing as possible, which is in contradiction to long established and familiar experience; or even to old familiar habits of thought. And this difficulty is a necessary result of the fundamental laws of the human mind. When we have often seen and thought of two things together, and have never in any one instance either seen or thought of them separately, there is by the primary law of association an increasing difficulty, which may in the end become insuperable, of conceiving the two things apart. This is most of all conspicuous in uneducated persons, who are in general utterly unable to separate any two ideas which have once become firmly associated in their minds; and if persons of cultivated intellect have any advantage on the point, it is only because, having seen and heard and read more, and being more accustomed to exercise their imagination, they have experienced their sensations and thoughts in more varied combinations, and have been prevented from forming many of these inseparable associations. But this advantage has necessarily its limits. The most practiced intellect is not exempt from the universal laws of our conceptive faculty. If daily habit presents to any one for a long period two facts in combination, and if he is not led during that period either by accident or by his voluntary mental operations to think of them apart, he will probably in time become incapable of doing so even
Chapter V. Of Demonstration, And Necessary Truths. 297
by the strongest effort; and the supposition that the two facts can be separated in nature, will at last present itself to his mind with all the characters of an inconceivable phenomenon.79 There are remarkable instances of this in the history of science: instances in which the most instructed men rejected as impossible, because inconceivable, things which their posterity, by earlier practice and longer perseverance in the attempt, found it quite easy to conceive, and which every body now knows to be true. There was a time when men of the most cultivated intellects, and the most emancipated from the dominion of early prejudice, could not credit the existence of antipodes; were unable to conceive, in opposition to old association, the force of gravity acting upward instead of downward. The Cartesians long rejected the Newtonian doctrine of the gravitation of all bodies toward one another, on the faith of a general proposition, the reverse of which seemed to them to be inconceivable—the proposition that a body can not act where it is not. All the cumbrous machinery of imaginary vortices, assumed without the smallest particle of evidence, appeared to these philosophers a more rational mode of explaining the heavenly motions, than one which involved
what seemed to them so great an absurdity.80
79 "If all mankind had spoken one language, we can not doubt that there would have been a powerful, perhaps a universal, school of philosophers, who would have believed in the inherent connection between names and things, who would have taken the sound man to be the mode of agitating the air which is essentially communicative of the ideas of reason, cookery, bipedality, etc."—De Morgan, Formal Logic, p. 246.
80 It would be difficult to name a man more remarkable at once for the
greatness and the wide range of his mental accomplishments, than Leibnitz. Yet this eminent man gave as a reason for rejecting Newton's scheme of the solar system, that God could not make a body revolve round a distant centre, unless either by some impelling mechanism, or by miracle: "Tout ce qui n'est pas explicable," says he in a letter to the Abbé Conti, "par la nature des créatures, est miraculeux. Il ne suffit pas de dire: Dieu a fait une telle loi de nature; donc la chose est naturelle. Il faut que la loi soit exécutable par les natures des créatures. Si Dien donnait cette loi, par exemple, à un corps
298 A System Of Logic, Ratiocinative And Inductive
And they no doubt found it as impossible to conceive that a body should act upon the earth from the distance of the sun or moon, as we find it to conceive an end to space or time, or two straight lines inclosing a space. Newton himself had not been able to realize the conception, or we should not have had his hypothesis of a subtle ether, the occult cause of gravitation; and his writings prove, that though he deemed the particular nature of the intermediate agency a matter of conjecture, the necessity of some such agency appeared to him indubitable.
If, then, it be so natural to the human mind, even in a high
state of culture, to be incapable of conceiving, and on that ground to believe impossible, what is afterward not only found to be conceivable but proved to be true; what wonder if in cases where the association is still older, more confirmed, and more familiar, and in which nothing ever occurs to shake our conviction, or even suggest to us any conception at variance with the association, the acquired incapacity should continue, and be mistaken for a natural incapacity? It is true, our experience of the varieties in nature enables us, within certain limits, to conceive other varieties analogous to them. We can conceive the sun or moon falling; for though we never saw them fall, nor ever, perhaps, imagined them falling, we have seen so many other things fall, that we have innumerable familiar analogies to assist the conception; which, after all, we should probably have some difficulty in framing, were we not well accustomed to see the sun and moon move (or appear to move), so that we are only called upon to conceive a slight change in the direction of motion, a circumstance familiar to our experience. But when experience affords no model on which to shape the new conception, how is it possible for us to
libre, de tourner à l'entour d'un certain centre, il faudrait ou qu'il y joignît d'autres corps qui par leur impulsion l'obligeassent de rester toujours dans son orbite circulaire, ou qu'il mît un ange à ses trousses, ou enfin il faudrait qu'il y concourût extraordinairement; car naturellement il s'écartera par la tangente."—Works of Leibnitz, ed. Dutens, iii., 446.
Chapter V. Of Demonstration, And Necessary Truths. 299
form it? How, for example, can we imagine an end to space or time? We never saw any object without something beyond it, nor experienced any feeling without something following it. When, therefore, we attempt to conceive the last point of space, we have the idea irresistibly raised of other points beyond it. When we try to imagine the last instant of time, we can not help conceiving another instant after it. Nor is there any necessity to assume, as is done by a modern school of metaphysicians, a peculiar fundamental law of the mind to account for the feeling of infinity inherent in our conceptions of space and time; that apparent infinity is sufficiently accounted for by simpler and universally acknowledged laws.
Now, in the case of a geometrical axiom, such, for example, as that two straight lines can not inclose a space—a truth which is testified to us by our very earliest impressions of the external world—how is it possible (whether those external impressions be or be not the ground of our belief) that the reverse of the proposition could be otherwise than inconceivable to us? What analogy have we, what similar order of facts in any other branch of our experience, to facilitate to us the conception of two straight lines inclosing a space? Nor is even this all. I have already called attention to the peculiar property of our impressions of form, that the ideas or mental images exactly resemble their prototypes, and adequately represent them for the purposes of scientific observation. From this, and from the intuitive character of the observation, which in this case reduces itself to simple inspection, we can not so much as call up in our imagination two straight lines, in order to attempt to conceive them inclosing a space, without by that very act repeating the scientific experiment which establishes the contrary. Will it really be contended that the inconceivableness of the thing, in such circumstances, proves any thing against the experimental origin of the conviction? Is it not clear that in whichever mode our belief in the proposition may have originated, the impossibility of our conceiving the
300 A System Of Logic, Ratiocinative And Inductive
negative of it must, on either hypothesis, be the same? As, then, Dr. Whewell exhorts those who have any difficulty in recognizing the distinction held by him between necessary and contingent truths, to study geometry—a condition which I can assure him I have conscientiously fulfilled—I, in return, with equal confidence, exhort those who agree with him, to study the general laws of association; being convinced that nothing more is requisite than a moderate familiarity with those laws, to dispel the illusion which ascribes a peculiar necessity to our earliest inductions from experience, and measures the possibility of things in themselves, by the human capacity of conceiving them.
I hope to be pardoned for adding, that Dr. Whewell himself has both confirmed by his testimony the effect of habitual association in giving to an experimental truth the appearance of a necessary one, and afforded a striking instance of that remarkable law in his own person. In his Philosophy of the Inductive Sciences he continually asserts, that propositions which not only are not self-evident, but which we know to have been discovered gradually, and by great efforts of genius and patience, have, when once established, appeared so self-evident that, but for historical proof, it would have been impossible to conceive that they had not been recognized from the first by all persons in a sound state of their faculties. "We now despise those who, in the Copernican controversy, could not conceive the apparent motion of the sun on the heliocentric hypothesis; or those who, in opposition to Galileo, thought that a uniform force might be that which generated a velocity proportional to the space; or those who held there was something absurd in Newton's doctrine of the different refrangibility of differently colored rays; or those who imagined that when elements combine, their sensible qualities must be manifest in the compound; or those who were reluctant to give up the distinction of vegetables into herbs, shrubs, and trees. We can not help thinking that men must have been singularly
Chapter V. Of Demonstration, And Necessary Truths. 301
dull of comprehension, to find a difficulty in admitting what is to us so plain and simple. We have a latent persuasion that we in their place should have been wiser and more clear-sighted; that we should have taken the right side, and given our assent at once to the truth. Yet in reality such a persuasion is a mere delusion. The persons who, in such instances as the above, were on the losing side, were very far, in most cases, from being persons more prejudiced, or stupid, or narrow-minded, than the greater part of mankind now are; and the cause for which they fought was far from being a manifestly bad one, till it had been so decided by the result of the war.... So complete has been the victory of truth in most of these instances, that at present we can hardly imagine the struggle to have been necessary. The very essence of these triumphs is, that they lead us to regard the views we reject as not only false but inconceivable."81
This last proposition is precisely what I contend for; and I ask no more, in order to overthrow the whole theory of its author on the nature of the evidence of axioms. For what is that theory? That the truth of axioms can not have been learned from experience, because their falsity is inconceivable. But Dr. Whewell himself says, that we are continually led, by the natural progress of thought, to regard as inconceivable what our forefathers not only conceived but believed, nay even (he might have added) were unable to conceive the reverse of. He can not intend to justify this mode of thought: he can not mean to say, that we can be right in regarding as inconceivable what others have conceived, and as self-evident what to others did not appear evident at all. After so complete an admission that inconceivableness is an accidental thing, not inherent in the phenomenon itself, but dependent on the mental history of the person who tries to conceive it, how can he ever call upon us to reject a proposition as impossible on no other ground
81 Novum Organum Renovatum, pp. 32, 33.
302 A System Of Logic, Ratiocinative And Inductive
than its inconceivableness? Yet he not only does so, but has unintentionally afforded some of the most remarkable examples which can be cited of the very illusion which he has himself so clearly pointed out. I select as specimens, his remarks on the
evidence of the three laws of motion, and of the atomic theory.
With respect to the laws of motion, Dr. Whewell says: "No one can doubt that, in historical fact, these laws were collected from experience. That such is the case, is no matter of conjecture. We know the time, the persons, the circumstances, belonging to each step of each discovery."82 After this testimony, to adduce evidence of the fact would be superfluous. And not only were these laws by no means intuitively evident, but some of them were originally paradoxes. The first law was especially so. That a body, once in motion, would continue forever to move in the same direction with undiminished velocity unless acted upon by some new force, was a proposition which mankind found for a long time the greatest difficulty in crediting. It stood opposed to apparent experience of the most familiar kind, which taught that it was the nature of motion to abate gradually, and at last terminate of itself. Yet when once the contrary doctrine was firmly established, mathematicians, as Dr. Whewell observes, speedily began to believe that laws, thus contradictory to first appearances, and which, even after full proof had been obtained, it had required generations to render familiar to the minds of the scientific world, were under "a demonstrable necessity, compelling them to be such as they are and no other;" and he himself, though not venturing "absolutely to pronounce" that all these laws "can be rigorously traced to an absolute necessity in the nature of things,"83 does actually so think of the law just mentioned; of which he says: "Though the discovery of the first law of motion was made, historically speaking, by means of experiment, we have now attained a point of view in which we see
83 History of Scientific Ideas, i., 264. Ibid., i., 263.
Chapter V. Of Demonstration, And Necessary Truths. 303
that it might have been certainly known to be true, independently of experience."84 Can there be a more striking exemplification than is here afforded, of the effect of association which we have described? Philosophers, for generations, have the most extraordinary difficulty in putting certain ideas together; they at last succeed in doing so; and after a sufficient repetition of the process, they first fancy a natural bond between the ideas, then experience a growing difficulty, which at last, by the continuation of the same progress, becomes an impossibility, of severing them from one another. If such be the progress of an experimental conviction of which the date is of yesterday, and which is in opposition to first appearances, how must it fare with those which are conformable to appearances familiar from the first dawn of intelligence, and of the conclusiveness of which, from the earliest records of human thought, no skeptic has suggested even a momentary doubt?
The other instance which I shall quote is a truly astonishing one, and may be called the reductio ad absurdum of the theory of inconceivableness. Speaking of the laws of chemical composition, Dr. Whewell says:85 "That they could never have been clearly understood, and therefore never firmly established, without laborious and exact experiments, is certain; but yet we may venture to say, that being once known, they possess an evidence beyond that of mere experiment. For how in fact can we conceive combinations, otherwise than as definite in kind and quality? If we were to suppose each element ready to combine with any other indifferently, and indifferently in any quantity, we should have a world in which all would be confusion and indefiniteness. There would be no fixed kinds of bodies. Salts, and stones, and ores, would approach to and graduate into each other by insensible degrees. Instead of this, we know that the world consists of bodies distinguishable from each other by
84 Ibid., 240.
85 Hist. Scientific Ideas, ii., 25, 26.
304 A System Of Logic, Ratiocinative And Inductive
definite differences, capable of being classified and named, and of having general propositions asserted concerning them. And as we can not conceive a world in which this should not be the case, it would appear that we can not conceive a state of things in which the laws of the combination of elements should not be of that definite and measured kind which we have above asserted."
That a philosopher of Dr. Whewell's eminence should gravely
assert that we can not conceive a world in which the simple elements should combine in other than definite proportions; that by dint of meditating on a scientific truth, the original discoverer of which was still living, he should have rendered the association in his own mind between the idea of combination and that of constant proportions so familiar and intimate as to be unable to conceive the one fact without the other; is so signal an instance of the mental law for which I am contending, that one word more in illustration must be superfluous.
In the latest and most complete elaboration of his metaphysical
system (the Philosophy of Discovery), as well as in the earlier discourse on the Fundamental Antithesis of Philosophy, reprinted as an appendix to that work, Dr. Whewell, while very candidly admitting that his language was open to misconception, disclaims having intended to say that mankind in general can now perceive the law of definite proportions in chemical combination to be a necessary truth. All he meant was that philosophical chemists in a future generation may possibly see this. "Some truths may be seen by intuition, but yet the intuition of them may be a rare and a difficult attainment."86 And he explains that the inconceivableness which, according to his theory, is the test of axioms, "depends entirely upon the clearness of the Ideas which the axioms involve. So long as those ideas are vague and indistinct, the contrary of an axiom may be assented to, though it can not be distinctly conceived. It may be assented to, not because
86 Phil. of Disc., p. 339.
Chapter V. Of Demonstration, And Necessary Truths. 305
it is possible, but because we do not see clearly what is possible. To a person who is only beginning to think geometrically, there may appear nothing absurd in the assertion that two straight lines may inclose a space. And in the same manner, to a person who is only beginning to think of mechanical truths, it may not appear to be absurd, that in mechanical processes, Reaction should be greater or less than Action; and so, again, to a person who has not thought steadily about Substance, it may not appear inconceivable, that by chemical operations, we should generate new matter, or destroy matter which already exists."87 Necessary truths, therefore, are not those of which we can not conceive, but "those of which we can not distinctly conceive, the contrary."88 So long as our ideas are indistinct altogether, we do not know what is or is not capable of being distinctly conceived; but, by the ever increasing distinctness with which scientific men apprehend the general conceptions of science, they in time come to perceive that there are certain laws of nature, which, though historically and as a matter of fact they were learned from experience, we can not, now that we know them, distinctly conceive to be other than they are.
The account which I should give of this progress of the scientific mind is somewhat different. After a general law of nature has been ascertained, men's minds do not at first acquire a complete facility of familiarly representing to themselves the phenomena of nature in the character which that law assigns to them. The habit which constitutes the scientific cast of mind, that of conceiving facts of all descriptions conformably to the laws which regulate them—phenomena of all descriptions according to the relations which have been ascertained really to exist between them; this habit, in the case of newly-discovered relations, comes only by degrees. So long as it is not thoroughly formed, no necessary character is ascribed to the new truth. But
87 Phil. of Disc., p. 338.
88 Ibid., p. 463.
306 A System Of Logic, Ratiocinative And Inductive
in time, the philosopher attains a state of mind in which his mental picture of nature spontaneously represents to him all the phenomena with which the new theory is concerned, in the exact light in which the theory regards them: all images or conceptions derived from any other theory, or from the confused view of the facts which is anterior to any theory, having entirely disappeared from his mind. The mode of representing facts which results from the theory, has now become, to his faculties, the only natural mode of conceiving them. It is a known truth, that a prolonged habit of arranging phenomena in certain groups, and explaining them by means of certain principles, makes any other arrangement or explanation of these facts be felt as unnatural: and it may at last become as difficult to him to represent the facts to himself in any other mode, as it often was, originally, to represent them in that mode.
But, further (if the theory is true, as we are supposing it
to be), any other mode in which he tries, or in which he was formerly accustomed, to represent the phenomena, will be seen by him to be inconsistent with the facts that suggested the new theory—facts which now form a part of his mental picture of nature. And since a contradiction is always inconceivable, his imagination rejects these false theories, and declares itself incapable of conceiving them. Their inconceivableness to him does not, however, result from any thing in the theories themselves, intrinsically and a priori repugnant to the human faculties; it results from the repugnance between them and a portion of the facts; which facts as long as he did not know, or did not distinctly realize in his mental representations, the false theory did not appear other than conceivable; it becomes inconceivable, merely from the fact that contradictory elements can not be combined in the same conception. Although, then, his real reason for rejecting theories at variance with the true one, is no other than that they clash with his experience, he easily falls into the belief, that he rejects them because they are
Chapter V. Of Demonstration, And Necessary Truths. 307
inconceivable, and that he adopts the true theory because it is self-evident, and does not need the evidence of experience at all.
This I take to be the real and sufficient explanation of the paradoxical truth, on which so much stress is laid by Dr. Whewell, that a scientifically cultivated mind is actually, in virtue of that cultivation, unable to conceive suppositions which a common man conceives without the smallest difficulty. For there is nothing inconceivable in the suppositions themselves; the impossibility is in combining them with facts inconsistent with them, as part of the same mental picture; an obstacle of course only felt by those who know the facts, and are able to perceive the inconsistency. As far as the suppositions themselves are concerned, in the case of many of Dr. Whewell's necessary truths the negative of the axiom is, and probably will be as long as the human race lasts, as easily conceivable as the affirmative. There is no axiom (for example) to which Dr. Whewell ascribes a more thorough character of necessity and self-evidence, than that of the indestructibility of matter. That this is a true law of nature I fully admit; but I imagine there is no human being to whom the opposite supposition is inconceivable—who has any difficulty in imagining a portion of matter annihilated: inasmuch as its apparent annihilation, in no respect distinguishable from real by our unassisted senses, takes place every time that water dries up, or fuel is consumed. Again, the law that bodies combine chemically in definite proportions is undeniably true; but few besides Dr. Whewell have reached the point which he seems personally to have arrived at (though he only dares prophesy similar success to the multitude after the lapse of generations), that of being unable to conceive a world in which the elements are ready to combine with one another "indifferently in any quantity;" nor is it likely that we shall ever rise to this sublime height of inability, so long as all the mechanical mixtures in our planet, whether solid, liquid, or aëriform, exhibit to our daily observation the very phenomenon declared to be inconceivable.
308 A System Of Logic, Ratiocinative And Inductive
According to Dr. Whewell, these and similar laws of nature can not be drawn from experience, inasmuch as they are, on the contrary, assumed in the interpretation of experience. Our inability to "add to or diminish the quantity of matter in the world," is a truth which "neither is nor can be derived from experience; for the experiments which we make to verify it presuppose its truth.... When men began to use the balance in chemical analysis, they did not prove by trial, but took for granted, as self-evident, that the weight of the whole must be found in the aggregate weight of the elements."89 True, it is assumed; but, I apprehend, no otherwise than as all experimental inquiry assumes provisionally some theory or hypothesis, which is to be finally held true or not, according as the experiments decide. The hypothesis chosen for this purpose will naturally be one which groups together some considerable number of facts already known. The proposition that the material of the world, as estimated by weight, is neither increased nor diminished by any of the processes of nature or art, had many appearances in its favor to begin with. It expressed truly a great number of familiar facts. There were other facts which it had the appearance of conflicting with, and which made its truth, as a universal law of nature, at first doubtful. Because it was doubtful, experiments were devised to verify it. Men assumed its truth hypothetically, and proceeded to try whether, on more careful examination, the phenomena which apparently pointed to a different conclusion, would not be found to be consistent with it. This turned out to
be the case; and from that time the doctrine took its place as a universal truth, but as one proved to be such by experience. That the theory itself preceded the proof of its truth—that it had to be conceived before it could be proved, and in order that it might be proved—does not imply that it was self-evident, and did not need proof. Otherwise all the true theories in the sciences
89 Phil. of Disc., pp. 472, 473.
Chapter VI. The Same Subject Continued. 309
are necessary and self-evident; for no one knows better than Dr. Whewell that they all began by being assumed, for the purpose of connecting them by deductions with those facts of experience
on which, as evidence, they now confessedly rest.90
The Same Subject Continued.
§ 1. In the examination which formed the subject of the last chapter, into the nature of the evidence of those deductive
enunciation.... Those which declare that two straight lines can not inclose a space, and that two straight lines which cut one another can not both be parallel to a third, are in reality the only ones which express characteristic properties of space, and these it will be worth while to consider more nearly. Now the only clear notion we can form of straightness is uniformity of direction, for space in its ultimate analysis is nothing but an assemblage of distances and directions. And (not to dwell on the notion of continued contemplation, i.e., mental experience, as included in the very idea of uniformity; nor on that of transfer of the contemplating being from point to point, and of experience, during such transfer, of the homogeneity of the interval passed over) we can not even propose the proposition in an intelligible form to any one whose experience ever since he was born has not assured him of the fact. The unity of direction, or that we can not march from a given point by more than one path direct to the same object, is matter of practical experience long before it can by possibility become matter of abstract thought. We can not attempt mentally to exemplify the conditions of the assertion in an imaginary case opposed to it, without violating our habitual recollection of this experience, and defacing our mental picture of space as grounded on it. What but experience, we may ask, can possibly assure us of the homogeneity of the parts of distance, time, force, and measurable aggregates in general, on which the truth of the other axioms depends? As regards the latter axiom, after what has been said it must
310 A System Of Logic, Ratiocinative And Inductive
sciences which are commonly represented to be systems of necessary truth, we have been led to the following conclusions. The results of those sciences are indeed necessary, in the sense of necessarily following from certain first principles, commonly called axioms and definitions; that is, of being certainly true if those axioms and definitions are so; for the word necessity, even in this acceptation of it, means no more than certainty. But their claim to the character of necessity in any sense beyond this, as implying an evidence independent of and superior to observation and experience, must depend on the previous establishment of such a claim in favor of the definitions and axioms themselves. With regard to axioms, we found that, considered as experimental truths, they rest on superabundant and obvious evidence. We inquired, whether, since this is the case, it be imperative to suppose any other evidence of those truths than experimental evidence, any other origin for our belief of them than an experimental origin. We decided, that the burden
be clear that the very same course of remarks equally applies to its case, and
that its truth is quite as much forced on the mind as that of the former by daily and hourly experience, ... including always, be it observed, in our notion of experience, that which is gained by contemplation of the inward picture which the mind forms to itself in any proposed case, or which it arbitrarily selects as an example—such picture, in virtue of the extreme simplicity of these primary relations, being called up by the imagination with as much vividness and clearness as could be done by any external impression, which is the only
meaning we can attach to the word intuition, as applied to such relations."
And again, of the axioms of mechanics: "As we admit no such propositions, other than as truths inductively collected from observation, even in geometry itself, it can hardly be expected that, in a science of obviously contingent relations, we should acquiesce in a contrary view. Let us take one of these axioms and examine its evidence: for instance, that equal forces perpendicularly applied at the opposite ends of equal arms of a straight lever will balance each other. What but experience, we may ask, in the first place, can possibly inform us that a force so applied will have any tendency to turn the lever on its centre at all? or that force can be so transmitted along a rigid line perpendicular to its direction, as to act elsewhere in space than along its own line of action? Surely this is so far from being self-evident that it has even a paradoxical appearance, which is only to be removed by giving our
Chapter VI. The Same Subject Continued. 311
of proof lies with those who maintain the affirmative, and we examined, at considerable length, such arguments as they have produced. The examination having led to the rejection of those arguments, we have thought ourselves warranted in concluding that axioms are but a class, the most universal class, of inductions from experience; the simplest and easiest cases of generalization from the facts furnished to us by our senses or by our internal consciousness.
While the axioms of demonstrative sciences thus appeared to be experimental truths, the definitions, as they are incorrectly called, in those sciences, were found by us to be generalizations from experience which are not even, accurately speaking, truths; being propositions in which, while we assert of some kind of object, some property or properties which observation shows to belong to it, we at the same time deny that it possesses any other properties, though in truth other properties do in every individual instance accompany, and in almost all instances modify, the
lever thickness, material composition, and molecular powers. Again, we
conclude, that the two forces, being equal and applied under precisely similar circumstances, must, if they exert any effort at all to turn the lever, exert equal and opposite efforts: but what a priori reasoning can possibly assure us that they do act under precisely similar circumstances? that points which differ in place are similarly circumstanced as regards the exertion of force? that universal space may not have relations to universal force—or, at all events, that the organization of the material universe may not be such as to place that portion of space occupied by it in such relations to the forces exerted in it, as may invalidate the absolute similarity of circumstances assumed? Or we may argue, what have we to do with the notion of angular movement in the lever at all? The case is one of rest, and of quiescent destruction of force by force. Now how is this destruction effected? Assuredly by the counter-pressure which supports the fulcrum. But would not this destruction equally arise, and by the same amount of counteracting force, if each force simply pressed its own half of the lever against the fulcrum? And what can assure us that it is not so, except removal of one or other force, and consequent tilting of the lever? The other fundamental axiom of statics, that the pressure on the point of support is the sum of the weights ... is merely a scientific transformation and more refined mode of stating a coarse and obvious result of universal experience, viz., that the weight of a rigid body is the same, handle it or suspend it in what position
312 A System Of Logic, Ratiocinative And Inductive
property thus exclusively predicated. The denial, therefore, is a mere fiction, or supposition, made for the purpose of excluding the consideration of those modifying circumstances, when their influence is of too trifling amount to be worth considering, or adjourning it, when important to a more convenient moment.
From these considerations it would appear that Deductive or
Demonstrative Sciences are all, without exception, Inductive Sciences; that their evidence is that of experience; but that they are also, in virtue of the peculiar character of one indispensable portion of the general formulæ according to which their inductions are made, Hypothetical Sciences. Their conclusions are only true on certain suppositions, which are, or ought to be, approximations to the truth, but are seldom, if ever, exactly true; and to this hypothetical character is to be ascribed the peculiar certainty, which is supposed to be inherent
objects of experience, must insure their continual suggestion by experience; that they are true, must insure that consistency of suggestion, that iteration of uncontradicted assertion, which commands implicit assent, and removes all occasion of exception; that they are simple, and admit of no misunderstanding, must secure their admission by every mind."
"A truth, necessary and universal, relative to any object of our knowledge, must verify itself in every instance where that object is before our contemplation, and if at the same time it be simple and intelligible, its verification must be obvious. The sentiment of such a truth can not, therefore, but be present to our minds whenever that object is contemplated, and must therefore make a part of the mental picture or idea of that object which we may on any occasion summon before our imagination.... All propositions, therefore, become not only untrue but inconceivable, if ... axioms be violated in their
Another eminent mathematician had previously sanctioned by his authority the doctrine of the origin of geometrical axioms in experience. "Geometry is thus founded likewise on observation; but of a kind so familiar and obvious, that the primary notions which it furnishes might seem intuitive."—Sir John Leslie, quoted by Sir William Hamilton, Discourses, etc., p. 272.
90 The Quarterly Review for June, 1841, contained an article of great ability on Dr. Whewell's two great works (since acknowledged and reprinted in
Chapter VI. The Same Subject Continued. 313
What we have now asserted, however, cannot be received as universally true of Deductive or Demonstrative Sciences, until verified by being applied to the most remarkable of all those sciences, that of Numbers; the theory of the Calculus; Arithmetic and Algebra. It is harder to believe of the doctrines of this science than of any other, either that they are not truths a priori, but experimental truths, or that their peculiar certainty is owing to their being not absolute but only conditional truths. This, therefore, is a case which merits examination apart; and the more so, because on this subject we have a double set of doctrines to contend with; that of the a priori philosophers on one side; and on the other, a theory the most opposite to theirs, which was at one time very generally received, and is still far from being altogether exploded, among metaphysicians.
§ 2. This theory attempts to solve the difficulty apparently inherent in the case, by representing the propositions of the science of numbers as merely verbal, and its processes as simple
Sir John Herschel's Essays) which maintains, on the subject of axioms, the doctrine advanced in the text, that they are generalizations from experience, and supports that opinion by a line of argument strikingly coinciding with mine. When I state that the whole of the present chapter (except the last four pages, added in the fifth edition) was written before I had seen the article (the greater part, indeed, before it was published), it is not my object to occupy the reader's attention with a matter so unimportant as the degree of originality which may or may not belong to any portion of my own speculations, but to obtain for an opinion which is opposed to reigning doctrines, the recommendation derived from a striking concurrence of sentiment between two inquirers entirely independent of one another. I embrace the opportunity of citing from a writer of the extensive acquirements in physical and metaphysical knowledge and the capacity of systematic thought which the article evinces, passages so
remarkably in unison with my own views as the following:
"The truths of geometry are summed up and embodied in its definitions and axioms.... Let us turn to the axioms, and what do we find? A string of propositions concerning magnitude in the abstract, which are equally true of space, time, force, number, and every other magnitude susceptible of aggregation and subdivision. Such propositions, where they are not mere
definitions, as some of them are, carry their inductive origin on the face of their or by what point we will, and that whatever sustains it sustains its total weight.
314 A System Of Logic, Ratiocinative And Inductive
transformations of language, substitutions of one expression for another. The proposition, Two and one is equal to three, according to these writers, is not a truth, is not the assertion of a really existing fact, but a definition of the word three; a statement that mankind have agreed to use the name three as a sign exactly equivalent to two and one; to call by the former name whatever is called by the other more clumsy phrase. According to this doctrine, the longest process in algebra is but a succession of changes in terminology, by which equivalent expressions are substituted one for another; a series of translations of the same fact, from one into another language; though how, after such a series of translations, the fact itself comes out changed (as when we demonstrate a new geometrical theorem by algebra), they have not explained; and it is a difficulty which is fatal to their theory.
It must be acknowledged that there are peculiarities in the
Assuredly, as Mr. Whewell justly remarks, 'No one probably ever made a trial for the purpose of showing that the pressure on the support is equal to the sum of the weights.' ... But it is precisely because in every action of his life from earliest infancy he has been continually making the trial, and seeing it made by every other living being about him, that he never dreams of staking its result on one additional attempt made with scientific accuracy. This would be as if a man should resolve to decide by experiment whether his eyes were useful for the purpose of seeing, by hermetically sealing himself up for half an hour in a
On the "paradox of universal propositions obtained by experience," the same writer says: "If there be necessary and universal truths expressible in propositions of axiomatic simplicity and obviousness, and having for their subject-matter the elements of all our experience and all our knowledge, surely these are the truths which, if experience suggest to us any truths at all, it ought to suggest most readily, clearly, and unceasingly. If it were a truth, universal and necessary, that a net is spread over the whole surface of every planetary globe, we should not travel far on our own without getting entangled in its meshes, and making the necessity of some means of extrication an axiom of locomotion.... There is, therefore, nothing paradoxical, but the reverse, in our being led by observation to a recognition of such truths, as general propositions,
co-extensive at least with all human experience. That they pervade all the
Chapter VI. The Same Subject Continued. 315
processes of arithmetic and algebra which render the theory in question very plausible, and have not unnaturally made those sciences the stronghold of Nominalism. The doctrine that we can discover facts, detect the hidden processes of nature, by an artful manipulation of language, is so contrary to common sense, that a person must have made some advances in philosophy to believe it: men fly to so paradoxical a belief to avoid, as they think, some even greater difficulty, which the vulgar do not see. What has led many to believe that reasoning is a mere verbal process, is, that no other theory seemed reconcilable with the nature of the Science of Numbers. For we do not carry any ideas along with us when we use the symbols of arithmetic or of algebra. In a geometrical demonstration we have a mental diagram, if not one on paper; AB, AC, are present to our imagination as lines, intersecting other lines, forming an angle with one another, and the like; but not so a and b. These may represent lines or any other magnitudes, but those magnitudes are never thought of; nothing is realized in our imagination but a and b. The ideas which, on the particular occasion, they happen to represent, are banished from the mind during every intermediate part of the process, between the beginning, when the premises are translated from things into signs, and the end, when the conclusion is translated back from signs into things. Nothing, then, being in the reasoner's mind but the symbols, what can seem more inadmissible than to contend that the reasoning process has to do with any thing more? We seem to have come to one of Bacon's Prerogative Instances; an experimentum crucis on the nature of reasoning itself.
Nevertheless, it will appear on consideration, that this apparently so decisive instance is no instance at all; that there is in every step of an arithmetical or algebraical calculation a real induction, a real inference of facts from facts; and that what disguises the induction is simply its comprehensive nature, and the consequent extreme generality of the language. All numbers must be numbers of something: there are no such
316 A System Of Logic, Ratiocinative And Inductive
things as numbers in the abstract. Ten must mean ten bodies, or ten sounds, or ten beatings of the pulse. But though numbers must be numbers of something, they may be numbers of any thing. Propositions, therefore, concerning numbers, have the remarkable peculiarity that they are propositions concerning all things whatever; all objects, all existences of every kind, known to our experience. All things possess quantity; consist of parts which can be numbered; and in that character possess all the properties which are called properties of numbers. That half of four is two, must be true whatever the word four represents, whether four hours, four miles, or four pounds weight. We need only conceive a thing divided into four equal parts (and all things may be conceived as so divided), to be able to predicate of it every property of the number four, that is, every arithmetical proposition in which the number four stands on one side of the equation. Algebra extends the generalization still farther: every number represents that particular number of all things without distinction, but every algebraical symbol does more, it represents all numbers without distinction. As soon as we conceive a thing divided into equal parts, without knowing into what number of parts, we may call it a or x, and apply to it, without danger of error, every algebraical formula in the books. The proposition, 2 (a + b)= 2 a + 2 b, is a truth co-extensive with all nature. Since then algebraical truths are true of all things whatever, and not, like those of geometry, true of lines only or of angles only, it is no wonder that the symbols should not excite in our minds ideas of any things in particular. When we demonstrate the forty-seventh proposition of Euclid, it is not necessary that the words should raise in us an image of all right-angled triangles, but only of some one right-angled triangle: so in algebra we need not, under the symbol a, picture to ourselves all things whatever, but only some one thing; why not, then, the letter itself? The mere written characters, a, b, x, y, z, serve as well for representatives of Things in general, as any more complex and apparently more concrete
Chapter VI. The Same Subject Continued. 317
conception. That we are conscious of them, however, in their character of things, and not of mere signs, is evident from the fact that our whole process of reasoning is carried on by predicating of them the properties of things. In resolving an algebraic equation, by what rules do we proceed? By applying at each step to a, b, and x, the proposition that equals added to equals make equals; that equals taken from equals leave equals; and other propositions founded on these two. These are not properties of language, or of signs as such, but of magnitudes, which is as much as to say, of all things. The inferences, therefore, which are successively drawn, are inferences concerning things, not symbols; though as any Things whatever will serve the turn, there is no necessity for keeping the idea of the Thing at all distinct, and consequently the process of thought may, in this case, be allowed without danger to do what all processes of thought, when they have been performed often, will do if permitted, namely, to become entirely mechanical. Hence the general language of algebra comes to be used familiarly without exciting ideas, as all other general language is prone to do from mere habit, though in no other case than this can it be done with complete safety. But when we look back to see from whence the probative force of the process is derived, we find that at every single step, unless we suppose ourselves to be thinking and talking of the things, and not the mere symbols, the evidence fails.
There is another circumstance, which, still more than that which we have now mentioned, gives plausibility to the notion that the propositions of arithmetic and algebra are merely verbal. That is, that when considered as propositions respecting Things, they all have the appearance of being identical propositions. The assertion, Two and one is equal to three, considered as an assertion respecting objects, as for instance, "Two pebbles and one pebble are equal to three pebbles," does not affirm equality between two collections of pebbles, but absolute identity. It affirms that if we put one pebble to two pebbles, those very
318 A System Of Logic, Ratiocinative And Inductive
pebbles are three. The objects, therefore, being the very same, and the mere assertion that "objects are themselves" being insignificant, it seems but natural to consider the proposition, Two and one is equal to three, as asserting mere identity of signification between the two names.
This, however, though it looks so plausible, will not bear
examination. The expression "two pebbles and one pebble," and the expression "three pebbles," stand indeed for the same aggregation of objects, but they by no means stand for the same physical fact. They are names of the same objects, but of those objects in two different states: though they denote the same things, their connotation is different. Three pebbles in two separate parcels, and three pebbles in one parcel, do not make the same impression on our senses; and the assertion that the very same pebbles may by an alteration of place and arrangement be made to produce either the one set of sensations or the other, though a very familiar proposition, is not an identical one. It is a truth known to us by early and constant experience: an inductive truth; and such truths are the foundation of the science of Number. The fundamental truths of that science all rest on the evidence of sense; they are proved by showing to our eyes and our fingers that any given number of objects—ten balls, for example—may by separation and re-arrangement exhibit to our senses all the different sets of numbers the sums of which is equal to ten. All the improved methods of teaching arithmetic to children proceed on a knowledge of this fact. All who wish to carry the child's mind along with them in learning arithmetic; all who wish to teach numbers, and not mere ciphers—now teach it through the evidence of the senses, in the manner we have described.
We may, if we please, call the proposition, "Three is two and
one," a definition of the number three, and assert that arithmetic, as it has been asserted that geometry, is a science founded on definitions. But they are definitions in the geometrical sense, not
Chapter VI. The Same Subject Continued. 319
the logical; asserting not the meaning of a term only, but along with it an observed matter of fact. The proposition, "A circle is a figure bounded by a line which has all its points equally distant from a point within it," is called the definition of a circle; but the proposition from which so many consequences follow, and which is really a first principle in geometry, is, that figures answering to this description exist. And thus we may call "Three is two and one" a definition of three; but the calculations which depend on that proposition do not follow from the definition itself, but from an arithmetical theorem presupposed in it, namely, that collections of objects exist, which while they impress the senses thus, [Symbol: three circles, two above one], may be separated into two parts, thus, [Symbol: two circles, a space, and a third circle]. This proposition being granted, we term all such parcels Threes, after which the enunciation of the above-mentioned
physical fact will serve also for a definition of the word Three.
The Science of Number is thus no exception to the conclusion we previously arrived at, that the processes even of deductive sciences are altogether inductive, and that their first principles are generalizations from experience. It remains to be examined whether this science resembles geometry in the further circumstance, that some of its inductions are not exactly true; and that the peculiar certainty ascribed to it, on account of which its propositions are called Necessary Truths, is fictitious and hypothetical, being true in no other sense than that those propositions legitimately follow from the hypothesis of the truth of premises which are avowedly mere approximations to truth.
§ 3. The inductions of arithmetic are of two sorts: first, those
which we have just expounded, such as One and one are two, Two and one are three, etc., which may be called the definitions of the various numbers, in the improper or geometrical sense of the word Definition; and secondly, the two following axioms: The sums of equals are equal, The differences of equals are equal. These two are sufficient; for the corresponding propositions
320 A System Of Logic, Ratiocinative And Inductive
respecting unequals may be proved from these by a reductio ad absurdum.
These axioms, and likewise the so-called definitions, are, as has already been said, results of induction; true of all objects whatever, and, as it may seem, exactly true, without the hypothetical assumption of unqualified truth where an approximation to it is all that exists. The conclusions, therefore, it will naturally be inferred, are exactly true, and the science of number is an exception to other demonstrative sciences in this, that the categorical certainty which is predicable of its demonstrations is independent of all hypothesis.
On more accurate investigation, however, it will be found
that, even in this case, there is one hypothetical element in the ratiocination. In all propositions concerning numbers, a condition is implied, without which none of them would be true; and that condition is an assumption which may be false. The condition is, that 1=1; that all the numbers are numbers of the same or of equal units. Let this be doubtful, and not one of the propositions of arithmetic will hold true. How can we know that one pound and one pound make two pounds, if one of the pounds may be troy, and the other avoirdupois? They may not make two pounds of either, or of any weight. How can we know that a forty-horse power is always equal to itself, unless we assume that all horses are of equal strength? It is certain that 1 is always equal in number to 1; and where the mere number of objects, or of the parts of an object, without supposing them to be equivalent in any other respect, is all that is material, the conclusions of arithmetic, so far as they go to that alone, are true without mixture of hypothesis. There are such cases in statistics; as, for instance, an inquiry into the amount of the population of any country. It is indifferent to that inquiry whether they are grown people or children, strong or weak, tall or short; the only thing we want to ascertain is their number. But whenever, from equality or inequality of number, equality or inequality in any other respect
Chapter VI. The Same Subject Continued. 321
is to be inferred, arithmetic carried into such inquiries becomes as hypothetical a science as geometry. All units must be assumed to be equal in that other respect; and this is never accurately true, for one actual pound weight is not exactly equal to another, nor one measured mile's length to another; a nicer balance, or more accurate measuring instruments, would always detect some difference.
What is commonly called mathematical certainty, therefore, which comprises the twofold conception of unconditional truth and perfect accuracy, is not an attribute of all mathemat- ical truths, but of those only which relate to pure Number, as distinguished from Quantity in the more enlarged sense; and only so long as we abstain from supposing that the numbers are a precise index to actual quantities. The certainty usually ascribed to the conclusions of geometry, and even to those of mechanics, is nothing whatever but certainty of inference. We can have full assurance of particular results under particular suppositions, but we can not have the same assurance that these suppositions are accurately true, nor that they include all the data which may exercise an influence over the result in any given instance.
§ 4. It appears, therefore, that the method of all Deductive Sciences is hypothetical. They proceed by tracing the consequences of certain assumptions; leaving for separate consideration whether the assumptions are true or not, and if not exactly true, whether they are a sufficiently near approximation to the truth. The reason is obvious. Since it is only in questions of pure number that the assumptions are exactly true, and even there only so long as no conclusions except purely numerical ones are to be founded on them; it must, in all other cases of deductive investigation, form a part of the inquiry, to determine how much the assumptions want of being exactly true in the case in hand. This is generally a matter of observation, to be repeated
322 A System Of Logic, Ratiocinative And Inductive
in every fresh case; or if it has to be settled by argument instead of observation, may require in every different case different evidence, and present every degree of difficulty, from the lowest to the highest. But the other part of the process—namely, to determine what else may be concluded if we find, and in proportion as we find, the assumptions to be true—may be performed once for all, and the results held ready to be employed as the occasions turn up for use. We thus do all beforehand that can be so done, and leave the least possible work to be performed when cases arise and press for a decision. This inquiry into the inferences which can be drawn from assumptions, is what properly constitutes Demonstrative Science.
It is of course quite as practicable to arrive at new conclusions
from facts assumed, as from facts observed; from fictitious, as from real, inductions. Deduction, as we have seen, consists of a series of inferences in this form—a is a mark of b, b of c, c of d, therefore a is a mark of d, which last may be a truth inaccessible to direct observation. In like manner it is allowable to say, suppose that a were a mark of b, b of c, and c of d, a would be a mark of d, which last conclusion was not thought of by those who laid down the premises. A system of propositions as complicated as geometry might be deduced from assumptions which are false; as was done by Ptolemy, Descartes, and others, in their attempts to explain synthetically the phenomena of the solar system on the supposition that the apparent motions of the heavenly bodies were the real motions, or were produced in some way more or less different from the true one. Sometimes the same thing is knowingly done, for the purpose of showing the falsity of the assumption; which is called a reductio ad absurdum. In such cases, the reasoning is as follows: a is a mark of b, and b of c; now if c were also a mark of d, a would be a mark of d; but d is known to be a mark of the absence of a; consequently a would be a mark of its own absence, which is a contradiction; therefore
 c is not a mark of d.
Chapter VI. The Same Subject Continued. 323
§ 5. It has even been held by some writers, that all ratiocination rests in the last resort on a reductio ad absurdum; since the way to enforce assent to it, in case of obscurity, would be to show that if the conclusion be denied we must deny some one at least of the premises, which, as they are all supposed true, would be a contradiction. And in accordance with this, many have thought that the peculiar nature of the evidence of ratiocination consisted in the impossibility of admitting the premises and rejecting the conclusion without a contradiction in terms. This theory, however, is inadmissible as an explanation of the grounds on which ratiocination itself rests. If any one denies the conclusion notwithstanding his admission of the premises, he is not involved in any direct and express contradiction until he is compelled to deny some premise; and he can only be forced to do this by a reductio ad absurdum, that is, by another ratiocination: now, if he denies the validity of the reasoning process itself, he can no more be forced to assent to the second syllogism than to the first. In truth, therefore, no one is ever forced to a contradiction in terms: he can only be forced to a contradiction (or rather an infringement) of the fundamental maxim of ratiocination, namely, that whatever has a mark, has what it is a mark of; or (in the case of universal propositions), that whatever is a mark of any thing, is a mark of whatever else that thing is a mark of. For in the case of every correct argument, as soon as thrown into the syllogistic form, it is evident without the aid of any other syllogism, that he who, admitting the premises, fails to draw the conclusion, does not conform to the above axiom.
We have now proceeded as far in the theory of Deduction as
we can advance in the present stage of our inquiry. Any further insight into the subject requires that the foundation shall have been laid of the philosophic theory of Induction itself; in which theory that of Deduction, as a mode of Induction, which we have now shown it to be, will assume spontaneously the place which belongs to it, and will receive its share of whatever light may be
324 A System Of Logic, Ratiocinative And Inductive
thrown upon the great intellectual operation of which it forms so important a part.
Examination Of Some Opinions Opposed To The Preceding Doctrines.
§ 1. Polemical discussion is foreign to the plan of this work. But an opinion which stands in need of much illustration, can often receive it most effectually, and least tediously, in the form of a defense against objections. And on subjects concerning which speculative minds are still divided, a writer does but half his duty by stating his own doctrine, if he does not also examine, and to the best of his ability judge, those of other thinkers.
In the dissertation which Mr. Herbert Spencer has prefixed
to his, in many respects, highly philosophical treatise on the Mind,91 he criticises some of the doctrines of the two preceding chapters, and propounds a theory of his own on the subject of first principles. Mr. Spencer agrees with me in considering axioms to be "simply our earliest inductions from experience." But he differs from me "widely as to the worth of the test of
inconceivableness." He thinks that it is the ultimate test of all beliefs. He arrives at this conclusion by two steps. First, we never can have any stronger ground for believing any thing, than that the belief of it "invariably exists." Whenever any fact or proposition is invariably believed; that is, if I understand Mr. Spencer rightly, believed by all persons, and by one's self at all
91 Principles of Psychology.
times; it is entitled to be received as one of the primitive truths, or original premises of our knowledge. Secondly, the criterion by which we decide whether any thing is invariably believed to be true, is our inability to conceive it as false. "The inconceivability of its negation is the test by which we ascertain whether a given belief invariably exists or not." "For our primary beliefs, the fact of invariable existence, tested by an abortive effort to cause their non-existence, is the only reason assignable." He thinks this the sole ground of our belief in our own sensations. If I believe that I feel cold, I only receive this as true because I can not conceive that I am not feeling cold. "While the proposition remains true, the negation of it remains inconceivable." There are numerous other beliefs which Mr. Spencer considers to rest on the same basis; being chiefly those, or a part of those, which the metaphysicians of the Reid and Stewart school consider as truths of immediate intuition. That there exists a material world; that this is the very world which we directly and immediately perceive, and not merely the hidden cause of our perceptions; that Space, Time, Force, Extension, Figure, are not modes of our consciousness, but objective realities; are regarded by Mr. Spencer as truths known by the inconceivableness of their negatives. We can not, he says, by any effort, conceive these objects of thought as mere states of our mind; as not having an existence external to us. Their real existence is, therefore, as certain as our sensations themselves. The truths which are the subject of direct knowledge, being, according to this doctrine, known to be truths only by the inconceivability of their negation; and the truths which are not the object of direct knowledge, being known as inferences from those which are; and those inferences being believed to follow from the premises, only because we can not conceive them not to follow; inconceivability is thus the ultimate ground of all assured beliefs.
Thus far, there is no very wide difference between Mr. Spencer's doctrine and the ordinary one of philosophers of the
326 A System Of Logic, Ratiocinative And Inductive
intuitive school, from Descartes to Dr. Whewell; but at this point Mr. Spencer diverges from them. For he does not, like them, set up the test of inconceivability as infallible. On the contrary, he holds that it may be fallacious, not from any fault in the test itself, but because "men have mistaken for inconceivable things, some things which were not inconceivable." And he himself, in this very book, denies not a few propositions usually regarded as among the most marked examples of truths whose negations are inconceivable. But occasional failure, he says, is incident to all tests. If such failure vitiates "the test of inconceivableness," it "must similarly vitiate all tests whatever. We consider an inference logically drawn from established premises to be true. Yet in millions of cases men have been wrong in the inferences they have thought thus drawn. Do we therefore argue that it is absurd to consider an inference true on no other ground than that it is logically drawn from established premises? No: we say that though men may have taken for logical inferences, inferences that were not logical, there nevertheless are logical inferences, and that we are justified in assuming the truth of what seem to us such, until better instructed. Similarly, though men may have thought some things inconceivable which were not so, there may
still be inconceivable things; and the inability to conceive the negation of a thing, may still be our best warrant for believing it.... Though occasionally it may prove an imperfect test, yet, as our most certain beliefs are capable of no better, to doubt any one belief because we have no higher guarantee for it, is really to doubt all beliefs." Mr. Spencer's doctrine, therefore, does not erect the curable, but only the incurable limitations of the human conceptive faculty, into laws of the outward universe.
§ 2. The doctrine, that "a belief which is proved by the inconceivableness of its negation to invariably exist, is true," Mr. Spencer enforces by two arguments, one of which may be distinguished as positive, and the other as negative.
The positive argument is, that every such belief represents
the aggregate of all past experience. "Conceding the entire truth of" the "position, that during any phase of human progress, the ability or inability to form a specific conception wholly depends on the experiences men have had; and that, by a widening of their experiences, they may, by and by, be enabled to conceive things before inconceivable to them, it may still be argued that as, at any time, the best warrant men can have for a belief is the perfect agreement of all pre-existing experience in support of it, it follows that, at any time, the inconceivableness of its negation is the deepest test any belief admits of.... Objective facts are ever impressing themselves upon us; our experience is a register of these objective facts; and the inconceivableness of a thing implies that it is wholly at variance with the register. Even were this all, it is not clear how, if every truth is primarily inductive, any better test of truth could exist. But it must be remembered that while many of these facts, impressing themselves upon us, are occasional; while others again are very general; some are universal and unchanging. These universal and unchanging facts are, by the hypothesis, certain to establish beliefs of which the negations are inconceivable; while the others are not certain to do this; and if they do, subsequent facts will reverse their action. Hence if, after an immense accumulation of experiences, there remain beliefs of which the negations are still inconceivable, most, if not all of them, must correspond to universal objective facts. If there be ... certain absolute uniformities in nature; if these uniformities produce, as they must, absolute uniformities in our experience; and if ... these absolute uniformities in our experience disable us from conceiving the negations of them; then answering to each absolute uniformity in nature which we can cognize, there must exist in us a belief of which the negation is inconceivable, and which is absolutely true. In this wide range of cases subjective inconceivableness must correspond to objective impossibility. Further experience will produce correspondence where it may not yet exist; and we may expect the correspondence
328 A System Of Logic, Ratiocinative And Inductive
to become ultimately complete. In nearly all cases this test of inconceivableness must be valid now" (I wish I could think we were so nearly arrived at omniscience); "and where it is not, it still expresses the net result of our experience up to the present
time; which is the most that any test can do."
To this I answer, first, that it is by no means true that the
inconceivability, by us, of the negative of a proposition proves all, or even any, "pre-existing experience" to be in favor of the affirmative. There may have been no such pre-existing experiences, but only a mistaken supposition of experience. How did the inconceivability of antipodes prove that experience had given any testimony against their possibility? How did the
incapacity men felt of conceiving sunset otherwise than as a motion of the sun, represent any "net result" of experience in support of its being the sun and not the earth that moves? It is not experience that is represented, it is only a superficial semblance of experience. The only thing proved with regard to real experience, is the negative fact, that men have not had it of the kind which would have made the inconceivable proposition conceivable.
Next: Even if it were true that inconceivableness represents the net result of all past experience, why should we stop at the representative when we can get at the thing represented? If our incapacity to conceive the negation of a given supposition is proof of its truth, because proving that our experience has hitherto been uniform in its favor, the real evidence for the supposition is not the inconceivableness, but the uniformity of experience. Now this, which is the substantial and only proof, is directly accessible. We are not obliged to presume it from an incidental consequence. If all past experience is in favor of a belief, let this be stated, and the belief openly rested on that ground: after which the question arises, what that fact may be worth as evidence of its truth? For uniformity of experience is evidence in very different degrees: in some cases it is strong evidence, in others
weak, in others it scarcely amounts to evidence at all. That all metals sink in water, was a uniform experience, from the origin of the human race to the discovery of potassium in the present century by Sir Humphry Davy. That all swans are white, was a uniform experience down to the discovery of Australia. In the few cases in which uniformity of experience does amount to the strongest possible proof, as with such propositions as these, Two straight lines can not inclose a space, Every event has a cause, it is not because their negations are inconceivable, which is not always the fact; but because the experience, which has been thus uniform, pervades all nature. It will be shown in the following Book that none of the conclusions either of induction or of deduction can be considered certain, except as far as their truth is shown to be inseparably bound up with truths of this class.
I maintain then, first, that uniformity of past experience is
very far from being universally a criterion of truth. But secondly, inconceivableness is still further from being a test even of that test. Uniformity of contrary experience is only one of many causes of inconceivability. Tradition handed down from a period of more limited knowledge, is one of the commonest. The mere familiarity of one mode of production of a phenomenon often suffices to make every other mode appear inconceivable. Whatever connects two ideas by a strong association may, and continually does, render their separation in thought impossible; as Mr. Spencer, in other parts of his speculations, frequently recognizes. It was not for want of experience that the Cartesians were unable to conceive that one body could produce motion in another without contact. They had as much experience of other modes of producing motion as they had of that mode. The planets had revolved, and heavy bodies had fallen, every hour of their lives. But they fancied these phenomena to be produced by a hidden machinery which they did not see, because without it they were unable to conceive what they did see.
330 A System Of Logic, Ratiocinative And Inductive
The inconceivableness, instead of representing their experience, dominated and overrode their experience. Without dwelling further on what I have termed the positive argument of Mr. Spencer in support of his criterion of truth, I pass to his negative
argument, on which he lays more stress.
§ 3. The negative argument is, that, whether inconceivability
be good evidence or bad, no stronger evidence is to be obtained. That what is inconceivable can not be true, is postulated in every act of thought. It is the foundation of all our original premises. Still more it is assumed in all conclusions from those premises. The invariability of belief, tested by the inconceivableness of its negation, "is our sole warrant for every demonstration. Logic is simply a systematization of the process by which we indirectly obtain this warrant for beliefs that do not directly possess it. To gain the strongest conviction possible respecting any complex fact, we either analytically descend from it by successive steps, each of which we unconsciously test by the inconceivableness of its negation, until we reach some axiom or truth which we have similarly tested; or we synthetically ascend from such axiom or truth by such steps. In either case we connect some isolated belief, with a belief which invariably exists, by a series of intermediate beliefs which invariably exist." The following passage sums up the theory: "When we perceive that the negation of the belief is inconceivable, we have all possible warrant for asserting the invariability of its existence: and in asserting this, we express alike our logical justification of it, and the inexorable necessity we are under of holding it.... We have seen that this is the assumption on which every conclusion whatever ultimately rests. We have no other guarantee for the reality of consciousness, of sensations, of personal existence; we have no other guarantee for any axiom; we have no other guarantee for any step in a demonstration. Hence, as being taken for granted in every act of the understanding, it must be regarded as the Universal Postulate." But as this postulate, which we are under
an "inexorable necessity" of holding true, is sometimes false; as "beliefs that once were shown by the inconceivableness of their negations to invariably exist, have since been found untrue," and as "beliefs that now possess this character may some day share the same fate;" the canon of belief laid down by Mr. Spencer is, that "the most certain conclusion" is that "which involves the postulate the fewest times." Reasoning, therefore, never ought to prevail against one of the immediate beliefs (the belief in Matter, in the outward reality of Extension, Space, and the like), because each of these involves the postulate only once; while an argument, besides involving it in the premises, involves it again in every step of the ratiocination, no one of the successive acts of inference being recognized as valid except because we can not conceive the conclusion not to follow from the premises.
It will be convenient to take the last part of this argument first.
In every reasoning, according to Mr. Spencer, the assumption of the postulate is renewed at every step. At each inference we judge that the conclusion follows from the premises, our sole warrant for that judgment being that we can not conceive it not to follow. Consequently if the postulate is fallible, the conclusions of reasoning are more vitiated by that uncertainty than direct intuitions; and the disproportion is greater, the more numerous the steps of the argument.
To test this doctrine, let us first suppose an argument consisting only of a single step, which would be represented by one syllogism. This argument does rest on an assumption, and we have seen in the preceding chapters what the assumption is. It is, that whatever has a mark, has what it is a mark of. The evidence of this axiom I shall not consider at present;92 let us suppose it (with Mr. Spencer) to be the inconceivableness of its reverse.
Let us now add a second step to the argument: we require,
92 Mr. Spencer is mistaken in supposing me to claim any peculiar "necessity" for this axiom as compared with others. I have corrected the expressions which led him into that misapprehension of my meaning.
332 A System Of Logic, Ratiocinative And Inductive
what? Another assumption? No: the same assumption a second time; and so on to a third, and a fourth. I confess I do not see how, on Mr. Spencer's own principles, the repetition of the assumption at all weakens the force of the argument. If it were necessary the second time to assume some other axiom, the argument would no doubt be weakened, since it would be necessary to its validity that both axioms should be true, and it might happen that one was true and not the other: making two chances of error instead of one. But since it is the same axiom, if it is true once it is true every time; and if the argument, being of a hundred links, assumed the axiom a hundred times, these hundred assumptions would make but one chance of error among them all. It is satisfactory that we are not obliged to suppose the deductions of pure mathematics to be among the most uncertain of argumentative processes, which on Mr. Spencer's theory they could hardly fail to be, since they are the longest. But the number of steps in an argument does not subtract from its reliableness, if no new premises, of an uncertain
character, are taken up by the way.93
93 Mr. Spencer, in recently returning to the subject (Principles of Psychology, new edition, chap. xii.: "The Test of Relative Validity"), makes two answers
to the preceding remarks. One is:
"Were an argument formed by repeating the same proposition over and over again, it would be true that any intrinsic fallibility of the postulate would not make the conclusion more untrustworthy than the first step. But an argument consists of unlike propositions. Now, since Mr. Mill's criticism on the Universal Postulate is that in some cases, which he names, it has proved to be an untrustworthy test; it follows that in any argument consisting of heterogeneous propositions, there is a risk, increasing as the number of propositions increases, that some one of them belongs to this class of cases,
and is wrongly accepted because of the inconceivableness of its negation."
No doubt: but this supposes new premises to be taken in. The point we are discussing is the fallibility not of the premises, but of the reasoning, as distinguished from the premises. Now the validity of the reasoning depends always upon the same axiom, repeated (in thought) "over and over again," viz., that whatever has a mark, has what it is a mark of. Even, therefore, on the assumption that this axiom rests ultimately on the Universal Postulate, and that, the Postulate not being wholly trustworthy, the axiom may be one of the cases
To speak next of the premises. Our assurance of their truth, whether they be generalities or individual facts, is grounded, in Mr. Spencer's opinion, on the inconceivableness of their being false. It is necessary to advert to a double meaning of the word inconceivable, which Mr. Spencer is aware of, and would sincerely disclaim founding an argument upon, but from which his case derives no little advantage notwithstanding. By inconceivableness is sometimes meant, inability to form or get rid of an idea; sometimes, inability to form or get rid of a belief. The former meaning is the most conformable to the analogy of language; for a conception always means an idea, and never a belief. The wrong meaning of "inconceivable" is, however, fully as frequent in philosophical discussion as the right meaning, and the intuitive school of metaphysicians could not well do without either. To illustrate the difference, we will take two contrasted examples. The early physical speculators considered antipodes incredible, because inconceivable. But
of its failure; all the risk there is of this is incurred at the very first step of the reasoning, and is not added to, however long may be the series of subsequent steps. I am here arguing, of course, from Mr. Spencer's point of view. From my own the case is still clearer; for, in my view, the truth that whatever has a mark has what it is a mark of, is wholly trustworthy, and derives none of its evidence from so very untrustworthy a test as the inconceivability of the negative. Mr. Spencer's second answer is valid up to a certain point; it is, that every prolongation of the process involves additional chances of casual error, from carelessness in the reasoning operation. This is an important consideration in the private speculations of an individual reasoner; and even with respect to mankind at large, it must be admitted that, though mere oversights in the syllogistic process, like errors of addition in an account, are special to the individual, and seldom escape detection, confusion of thought produced (for example) by ambiguous terms has led whole nations or ages to accept fallacious reasoning as valid. But this very fact points to causes of error so much more dangerous than the mere length of the process, as quite to vitiate the doctrine that the "test of the relative validities of conflicting conclusions" is the number of times the fundamental postulate is involved. On the contrary, the subjects on which the trains of reasoning are longest, and the assumption, therefore, oftenest repeated, are in general those which are best fortified against the really
334 A System Of Logic, Ratiocinative And Inductive
antipodes were not inconceivable in the primitive sense of the word. An idea of them could be formed without difficulty: they could be completely pictured to the mental eye. What was difficult, and, as it then seemed, impossible, was to apprehend them as believable. The idea could be put together, of men sticking on by their feet to the under side of the earth; but the belief would follow, that they must fall off. Antipodes were not unimaginable, but they were unbelievable.
On the other hand, when I endeavor to conceive an end
to extension, the two ideas refuse to come together. When I attempt to form a conception of the last point of space, I can not help figuring to myself a vast space beyond that last point. The combination is, under the conditions of our experience, unimaginable. This double meaning of inconceivable it is very important to bear in mind, for the argument from inconceivableness almost always turns on the alternate substitution of each of those meanings for the other.
In which of these two senses does Mr. Spencer employ the
term, when he makes it a test of the truth of a proposition that its negation is inconceivable? Until Mr. Spencer expressly stated the contrary, I inferred from the course of his argument, that he meant unbelievable. He has, however, in a paper published in the fifth number of the Fortnightly Review, disclaimed this meaning, and declared that by an inconceivable proposition he means, now and always, "one of which the terms can not, by any effort, be brought before consciousness in that relation which the proposition asserts between them—a proposition of which the subject and predicate offer an insurmountable resistance to union in thought." We now, therefore, know positively that Mr. Spencer always endeavors to use the word inconceivable in this, its proper, sense: but it may yet be questioned whether his endeavor is always successful; whether the other, and popular use
formidable causes of fallacy; as in the example already given of mathematics.
of the word, does not sometimes creep in with its associations, and prevent him from maintaining a clear separation between the two. When, for example, he says, that when I feel cold, I can not conceive that I am not feeling cold, this expression can not be translated into "I can not conceive myself not feeling cold," for it is evident that I can: the word conceive, therefore, is here used to express the recognition of a matter of fact—the perception of truth or falsehood; which I apprehend to be exactly the meaning of an act of belief, as distinguished from simple conception. Again, Mr. Spencer calls the attempt to conceive something which is inconceivable "an abortive effort to cause the non-existence," not of a conception or mental representation, but of a belief. There is need, therefore, to revise a considerable part of Mr. Spencer's language, if it is to be kept always consistent with his definition of inconceivability. But in truth the point is of little importance; since inconceivability, in Mr. Spencer's theory, is only a test of truth, inasmuch as it is a test of believability. The inconceivableness of a supposition is the extreme case of its unbelievability. This is the very foundation of Mr. Spencer's doctrine. The invariability of the belief is with him the real guarantee. The attempt to conceive the negative is made in order to test the inevitableness of the belief. It should be called, an attempt to believe the negative. When Mr. Spencer says that while looking at the sun a man can not conceive that he is looking into darkness, he should have said that a man can not believe that he is doing so. For it is surely possible, in broad daylight, to imagine one's self looking into darkness.94 As Mr. Spencer himself says, speaking of the belief of our own existence, "That
94 Mr. Spencer makes a distinction between conceiving myself looking into darkness, and conceiving that I am then and there looking into darkness. To me it seems that this change of the expression to the form I am, just marks the transition from conception to belief, and that the phrase "to conceive that I am," or "that any thing is," is not consistent with using the word conceive in its rigorous sense.
336 A System Of Logic, Ratiocinative And Inductive
he might not exist, he can conceive well enough; but that he does not exist, he finds it impossible to conceive," i.e., to believe. So that the statement resolves itself into this: That I exist, and that I have sensations, I believe, because I can not believe otherwise. And in this case every one will admit that the impossibility is real. Any one's present sensations, or other states of subjective consciousness, that one person inevitably believes. They are facts known per se: it is impossible to ascend beyond them. Their negative is really unbelievable, and therefore there is never any question about believing it. Mr. Spencer's theory is not needed for these truths.
But according to Mr. Spencer there are other beliefs, relating to
other things than our own subjective feelings, for which we have the same guarantee—which are, in a similar manner, invariable and necessary. With regard to these other beliefs, they can not be necessary, since they do not always exist. There have been, and are, many persons who do not believe the reality of an external world, still less the reality of extension and figure as the forms of that external world; who do not believe that space and time have an existence independent of the mind—nor any other of Mr. Spencer's objective intuitions. The negations of these alleged invariable beliefs are not unbelievable, for they are believed. It may be maintained, without obvious error, that we can not imagine tangible objects as mere states of our own and other people's consciousness; that the perception of them irresistibly suggests to us the idea of something external to ourselves: and I am not in a condition to say that this is not the fact (though I do not think any one is entitled to affirm it of any person besides himself). But many thinkers have believed, whether they could conceive it or not, that what we represent to ourselves as material objects, are mere modifications of consciousness; complex feelings of touch and of muscular action. Mr. Spencer may think the inference correct from the unimaginable to the unbelievable, because he holds that belief itself is but the persistence of an idea, and that
what we can succeed in imagining we can not at the moment help apprehending as believable. But of what consequence is it what we apprehend at the moment, if the moment is in contradiction to the permanent state of our mind? A person who has been frightened when an infant by stories of ghosts, though he disbelieves them in after years (and perhaps never believed them), may be unable all his life to be in a dark place, in circumstances stimulating to the imagination, without mental discomposure. The idea of ghosts, with all its attendant terrors, is irresistibly called up in his mind by the outward circumstances. Mr. Spencer may say, that while he is under the influence of this terror he does not disbelieve in ghosts, but has a temporary and uncontrollable belief in them. Be it so; but allowing it to be so, which would it be truest to say of this man on the whole—that he believes in ghosts, or that he does not believe in them? Assuredly that he does not believe in them. The case is similar with those who disbelieve a material world. Though they can not get rid of the idea; though while looking at a solid object they can not help having the conception, and therefore, according to Mr. Spencer's metaphysics, the momentary belief, of its externality; even at that moment they would sincerely deny holding that belief: and it would be incorrect to call them other than disbelievers of the doctrine. The belief therefore is not invariable; and the test of inconceivableness fails in the only cases to which there could ever be any occasion to apply it.
That a thing may be perfectly believable, and yet may not have become conceivable, and that we may habitually believe one side of an alternative, and conceive only in the other, is familiarly exemplified in the state of mind of educated persons respecting sunrise and sunset. All educated persons either know by investigation, or believe on the authority of science, that it is the earth and not the sun which moves: but there are probably few who habitually conceive the phenomenon otherwise than as the ascent or descent of the sun. Assuredly no one can do so
338 A System Of Logic, Ratiocinative And Inductive
without a prolonged trial; and it is probably not easier now than in the first generation after Copernicus. Mr. Spencer does not say, "In looking at sunrise it is impossible not to conceive that it is the sun which moves, therefore this is what every body believes, and we have all the evidence for it that we can have for any truth." Yet this would be an exact parallel to his doctrine about the belief in matter.
The existence of matter, and other Noumena, as distinguished
from the phenomenal world, remains a question of argument, as it was before; and the very general, but neither necessary nor universal, belief in them, stands as a psychological phenomenon to be explained, either on the hypothesis of its truth, or on some other. The belief is not a conclusive proof of its own truth, unless there are no such things as idola tribûs; but being a fact, it calls on antagonists to show, from what except the real existence of the thing believed, so general and apparently spontaneous a belief can have originated. And its opponents have never hesitated to accept this challenge.95 The amount of their success in meeting it will probably determine the ultimate verdict of philosophers on the question.
§ 4. In the revision, or rather reconstruction, of his "Principles
of Psychology," as one of the stages or platforms in the imposing structure of his System of Philosophy, Mr. Spencer has resumed what he justly terms96 the "amicable controversy that has been long pending between us;" expressing at the same time a regret, which I cordially share, that "this lengthened exposition of a single point of difference, unaccompanied by an exposition of the numerous points of concurrence, unavoidably produces an appearance of dissent very far greater than that which exists." I believe, with Mr. Spencer, that the difference between us, if measured by our conclusions, is "superficial rather than
95 I have myself accepted the contest, and fought it out on this battle-ground, in the eleventh chapter of An Examination of Sir William Hamilton's Philosophy.
96 Chap. xi.
substantial;" and the value I attach to so great an amount of agreement, in the field of analytic psychology, with a thinker of his force and depth, is such as I can hardly overstate. But I also agree with him that the difference which exists in our premises is one of "profound importance, philosophically considered;" and not to be dismissed while any part of the case of either of us has not been fully examined and discussed.
In his present statement of the Universal Postulate, Mr. Spencer has exchanged his former expression, "beliefs which invariably exist," for the following: "cognitions of which the predicates invariably exist along with their subjects." And he says that "an abortive effort to conceive the negation of a proposition, shows that the cognition expressed is one of which the predicate invariably exists along with its subject; and the discovery that the predicate invariably exists along with its subject, is the discovery that this cognition is one we are compelled to accept." Both these premises of Mr. Spencer's syllogism I am able to assent to, but in different senses of the middle term. If the invariable existence of the predicate along with its subject, is to be understood in the most obvious meaning, as an existence in actual Nature, or in other words, in our objective, or sensational, experience, I of course admit that this, once ascertained, compels us to accept the proposition: but then I do not admit that the failure of an attempt to conceive the negative, proves the predicate to be always co-existent with the subject in actual Nature. If, on the other hand (which I believe to be Mr. Spencer's meaning) the invariable existence of the predicate along with the subject is to be understood only of our conceptive faculty, i.e., that the one is inseparable from the other in our thoughts; then, indeed, the inability to separate the two ideas proves their inseparable conjunction, here and now, in the mind which has failed in the attempt; but this inseparability in thought does not prove a corresponding inseparability in fact; nor even in the thoughts of other people, or of the same person in a possible future.
340 A System Of Logic, Ratiocinative And Inductive
"That some propositions have been wrongly accepted as true, because their negations were supposed inconceivable when they were not," does not, in Mr. Spencer's opinion, "disprove the validity of the test;" not only because any test whatever "is liable to yield untrue results, either from incapacity or from carelessness in those who use it," but because the propositions in question "were complex propositions, not to be established by a test applicable to propositions no further decomposable." "A test legitimately applicable to a simple proposition, the subject and predicate of which are in direct relation, can not be legitimately applied to a complex proposition, the subject and predicate of which are indirectly related through the many simple propositions implied." "That things which are equal to the same thing are equal to one another, is a fact which can be known by direct comparison of actual or ideal relations.... But that the square of the hypothenuse of a right-angled triangle equals the sum of the squares of the other two sides, can not be known immediately by comparison of two states of consciousness: here the truth can be reached only mediately, through a series of simple judgments respecting the likenesses or unlikenesses of certain relations." Moreover, even when the proposition admits of being tested by immediate consciousness, people often neglect to do it. A school-boy, in adding up a column of figures, will say "35 and 9 are 46," though this is contrary to the verdict which consciousness gives when 35 and 9 are really called up before it; but this is not done. And not only school-boys, but men and thinkers, do not always "distinctly translate into their equivalent
states of consciousness the words they use."
It is but just to give Mr. Spencer's doctrine the benefit of the limitation he claims—viz., that it is only applicable to propositions which are assented to on simple inspection, without any intervening media of proof. But this limitation does not exclude some of the most marked instances of propositions now known to be false or groundless, but whose negative was
once found inconceivable: such as, that in sunrise and sunset it is the sun which moves; that gravitation may exist without an intervening medium; and even the case of antipodes. The distinction drawn by Mr. Spencer is real; but, in the case of the propositions classed by him as complex, consciousness, until the media of proof are supplied, gives no verdict at all: it neither declares the equality of the square of the hypothenuse with the sum of the squares of the sides to be inconceivable, nor their inequality to be inconceivable. But in all the three cases which I have just cited, the inconceivability seems to be apprehended directly; no train of argument was needed, as in the case of the square of the hypothenuse, to obtain the verdict of consciousness on the point. Neither is any of the three a case like that of the school-boy's mistake, in which the mind was never really brought into contact with the proposition. They are cases in which one of two opposite predicates, mero adspectu, seemed to be incompatible with the subject, and the other, therefore, to be
proved always to exist with it.97
97 In one of the three cases, Mr. Spencer, to my no small surprise, thinks that the belief of mankind "can not be rightly said to have undergone" the change I allege. Mr. Spencer himself still thinks we are unable to conceive gravitation acting through empty space. "If an astronomer avowed that he could conceive gravitative force as exercised through space absolutely void, my private opinion would be that he mistook the nature of conception. Conception implies representation. Here the elements of the representation are the two bodies and an agency by which either affects the other. To conceive this agency is to represent it in some terms derived from our experiences—that is, from our sensations. As this agency gives us no sensations, we are obliged (if we try to conceive it) to use symbols idealized from our sensations—imponderable units
forming a medium."
If Mr. Spencer means that the action of gravitation gives us no sensations, the assertion is one than which I have not seen, in the writings of philosophers, many more startling. What other sensation do we need than the sensation of one body moving toward another? "The elements of the representation" are not two bodies and an "agency," but two bodies and an effect; viz., the fact of their approaching one another. If we are able to conceive a vacuum, is there
any difficulty in conceiving a body falling to the earth through it?
342 A System Of Logic, Ratiocinative And Inductive
As now limited by Mr. Spencer, the ultimate cognitions fit to be submitted to his test are only those of so universal and elementary a character as to be represented in the earliest and most unvarying experience, or apparent experience, of all mankind. In such cases the inconceivability of the negative, if real, is accounted for by the experience: and why (I have asked) should the truth be tested by the inconceivability, when we can go further back for proof—namely, to the experience itself? To this Mr. Spencer answers, that the experiences can not be all recalled to mind, and if recalled, would be of unmanageable multitude. To test a proposition by experience seems to him to mean that "before accepting as certain the proposition that any rectilineal figure must have as many angles as it has sides," I have "to think of every triangle, square, pentagon, hexagon, etc., which I have ever seen, and to verify the asserted relation in each case." I can only say, with surprise, that I do not understand this to be the meaning of an appeal to experience. It is enough to know that one has been seeing the fact all one's life, and has never remarked any instance to the contrary, and that other people, with every opportunity of observation, unanimously declare the same thing. It is true, even this experience may be insufficient, and so it might be even if I
could recall to mind every instance of it; but its insufficiency, instead of being brought to light, is disguised, if instead of sifting the experience itself, I appeal to a test which bears no relation to the sufficiency of the experience, but, at the most, only to its familiarity. These remarks do not lose their force even if we believe, with Mr. Spencer, that mental tendencies originally derived from experience impress themselves permanently on the cerebral structure and are transmitted by inheritance, so that modes of thinking which are acquired by the race become innate and a priori in the individual, thus representing, in Mr. Spencer's opinion, the experience of his progenitors, in addition to his own. All that would follow from this is, that a conviction might be really innate, i.e., prior to individual experience, and yet not be
true, since the inherited tendency to accept it may have been originally the result of other causes than its truth.
Mr. Spencer would have a much stronger case, if he could really show that the evidence of Reasoning rests on the Postulate, or, in other words, that we believe that a conclusion follows from premises only because we can not conceive it not to follow. But this statement seems to me to be of the same kind as one I have previously commented on, viz., that I believe I see light, because I can not, while the sensation remains, conceive that I am looking into darkness. Both these statements seem to me incompatible with the meaning (as very rightly limited by Mr. Spencer) of the verb to conceive. To say that when I apprehend that A is B and that B is C, I can not conceive that A is not C, is to my mind merely to say that I am compelled to believe that A is C. If to conceive be taken in its proper meaning, viz., to form a mental representation, I may be able to conceive A as not being C. After assenting, with full understanding, to the Copernican proof that it is the earth and not the sun that moves, I not only can conceive, or represent to myself, sunset as a motion of the sun, but almost every one finds this conception of sunset easier to form, than that which they nevertheless know to be the true one.
§ 5. Sir William Hamilton holds as I do, that inconceivability
is no criterion of impossibility. "There is no ground for inferring a certain fact to be impossible, merely from our inability to conceive its possibility." "Things there are which may, nay must, be true, of which the understanding is wholly unable to construe to itself the possibility."98 Sir William Hamilton is, however, a firm believer in the a priori character of many axioms, and of the sciences deduced from them; and is so far from considering those axioms to rest on the evidence of experience, that he declares certain of them to be true even of Noumena—of the Unconditioned—of which it is one of the principal aims of his
98 Discussions, etc., 2d ed., p. 624.
344 A System Of Logic, Ratiocinative And Inductive
philosophy to prove that the nature of our faculties debars us from having any knowledge. The axioms to which he attributes this exceptional emancipation from the limits which confine all our other possibilities of knowledge; the chinks through which, as he represents, one ray of light finds its way to us from behind the curtain which veils from us the mysterious world of Things in themselves—are the two principles, which he terms, after the school-men, the Principle of Contradiction, and the Principle of Excluded Middle: the first, that two contradictory propositions can not both be true; the second, that they can not both be false. Armed with these logical weapons, we may boldly face Things in
themselves, and tender to them the double alternative, sure that they must absolutely elect one or the other side, though we may be forever precluded from discovering which. To take his favorite example, we can not conceive the infinite divisibility of matter, and we can not conceive a minimum, or end to divisibility: yet one or the other must be true.
As I have hitherto said nothing of the two axioms in question, those of Contradiction and of Excluded Middle, it is not unseasonable to consider them here. The former asserts that an affirmative proposition and the corresponding negative proposition can not both be true; which has generally been held to be intuitively evident. Sir William Hamilton and the Germans consider it to be the statement in words of a form or law of our thinking faculty. Other philosophers, not less deserving of consideration, deem it to be an identical proposition; an assertion involved in the meaning of terms; a mode of defining Negation, and the word Not.
I am able to go one step with these last. An affirmative assertion and its negative are not two independent assertions, connected with each other only as mutually incompatible. That if the negative be true, the affirmative must be false, really is a mere identical proposition; for the negative proposition asserts nothing but the falsity of the affirmative, and has no other sense
or meaning whatever. The Principium Contradictionis should therefore put off the ambitious phraseology which gives it the air of a fundamental antithesis pervading nature, and should be enunciated in the simpler form, that the same proposition can not at the same time be false and true. But I can go no further with the Nominalists; for I can not look upon this last as a merely verbal proposition. I consider it to be, like other axioms, one of our first and most familiar generalizations from experience. The original foundation of it I take to be, that Belief and Disbelief are two different mental states, excluding one another. This we know by the simplest observation of our own minds. And if we carry our observation outward, we also find that light and darkness, sound and silence, motion and quiescence, equality and inequality, preceding and following, succession and simultaneousness, any positive phenomenon whatever and its negative, are distinct phenomena, pointedly contrasted, and the one always absent where the other is present. I consider the maxim in question to be a generalization from all these facts.
In like manner as the Principle of Contradiction (that one of
two contradictories must be false) means that an assertion can not be both true and false, so the Principle of Excluded Middle, or that one of two contradictories must be true, means that an assertion must be either true or false: either the affirmative is true, or otherwise the negative is true, which means that the affirmative is false. I can not help thinking this principle a surprising specimen of a so-called necessity of Thought, since it is not even true, unless with a large qualification. A proposition must be either true or false, provided that the predicate be one which can in any intelligible sense be attributed to the subject; (and as this is always assumed to be the case in treatises on logic, the axiom is always laid down there as of absolute truth). "Abracadabra is a second intention" is neither true nor false. Between the true and the false there is a third possibility, the Unmeaning: and this alternative is fatal to Sir William Hamilton's
346 A System Of Logic, Ratiocinative And Inductive
extension of the maxim to Noumena. That Matter must either have a minimum of divisibility or be infinitely divisible, is more than we can ever know. For in the first place, Matter, in any other than the phenomenal sense of the term, may not exist: and it will scarcely be said that a nonentity must be either infinitely or finitely divisible. In the second place, though matter, considered
as the occult cause of our sensations, do really exist, yet what we call divisibility may be an attribute only of our sensations of sight and touch, and not of their uncognizable cause. Divisibility may not be predicable at all, in any intelligible sense, of Things in themselves, nor therefore of Matter in itself; and the assumed necessity of being either infinitely or finitely divisible, may be an inapplicable alternative.
On this question I am happy to have the full concurrence of Mr. Herbert Spencer, from whose paper in the Fortnightly Review I extract the following passage. The germ of an idea identical with that of Mr. Spencer may be found in the present chapter, on a preceding page; but in Mr. Spencer it is not an undeveloped thought, but a philosophical theory.
"When remembering a certain thing as in a certain place, the place and the thing are mentally represented together; while to think of the non-existence of the thing in that place implies a consciousness in which the place is represented, but not the thing. Similarly, if instead of thinking of an object as colorless, we think of its having color, the change consists in the addition to the concept of an element that was before absent from it—the object can not be thought of first as red and then as not red, without one component of the thought being totally expelled from the mind by another. The law of the Excluded Middle, then, is simply a generalization of the universal experience that some mental states are directly destructive of other states. It formulates a certain absolutely constant law, that the appearance of any positive mode of consciousness can not occur without excluding a correlative negative mode; and that the negative
mode can not occur without excluding the correlative positive mode: the antithesis of positive and negative being, indeed, merely an expression of this experience. Hence it follows that if consciousness is not in one of the two modes it must be in the
I must here close this supplementary chapter, and with it the Second Book. The theory of Induction, in the most comprehensive sense of the term, will form the subject of the Third.