A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) 📕

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 anything 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,[10] Dr. Whewell[11] and Mr. Bailey;[12] Sir John Herschel considering the doctrine, though not strictly "a discovery,"[13] 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 consideration, have formed a very different estimate of it. Their principal objection cannot be better or more succinctly stated than by borrowing a sentence from Archbishop Whately.[14] "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 cannot 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 everything 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 already 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.[15] We review our syllogistic as well as our inductive processes, and recognise that they have been correctly performed; but logicians do not add a 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 recognises 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 towards me because I see him, and not because I recognise 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 anything 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 skilfully 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 recognised,—if it is sufficient to support the general 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, cannot 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.

Some additional remarks, in reply to minor objections, are appended.[16]

§ 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. This includes the theory of the Import of Propositions, and of their Conversion, Æquipollence, and Opposition; of those falsely called Inductions (to be hereafter spoken of[17]), 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 cannot 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 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 anything else, though the reasons assigned for the practice are in general very far from philosophical, admits of a philosophical justification.

CHAPTER IV.
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 cannot directly observe what is to be proved, but cannot directly observe even the mark which is to prove it.

§ 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