A System of Logic, Ratiocinative and Inductive. John Stuart Mill

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 [pg 161] 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 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 [pg 162] 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 [pg 163] 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.

      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 coincident, coincide.

      BE