A System of Logic, Ratiocinative and Inductive. John Stuart Mill
would never have halted for any difficulty in stepping across the gap which this axiom at present serves to bridge over. Yet no [pg 125] 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, 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 the necessity of any further justification or explanation.
[pg 126]
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.
Chapter II.
Of Ratiocination, Or Syllogism.
§ 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 [pg 127] 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 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.
First Figure.
| All B is C | No B is C | All B is C | No B is C |
| All A is B | All A is B | Some A is B | Some A is B |
| therefore | therefore |
|