A System of Logic: Ratiocinative and Inductive, 7th Edition, Vol. I

by John Stuart Mill

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 à 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 any case, be proved by another induction; for we cannot 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 cannot, we determine once for all what are the distinguishing marks by which such cases may be recognised. 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 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 recognise 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 recognised 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 recognised 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; 2nd, that surface parabolic; 3rd, 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," &c.

[§ 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 reconcileable 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 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 cannot 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 endeavour 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 cannot 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 recognising 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 must begin, as in Euclid, by prolonging the equal sides AB, AC, to equal distances, and joining the extremities BE, DC.)

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.