Note 4 — Chapter II · OF RATIOCINATION, OR SYLLOGISM.

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 "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 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 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 cannot be translated into Mr. De Morgan's forms, which therefore cannot serve any purpose as a test of it.

Sir William Hamilton's theory of the "quantification of the predicate" (concerning the originality of which in his case there can be no doubt, however Mr. De Morgan may have also, and independently, originated an equivalent doctrine) may be briefly described as follows:—

"Logically" (I quote his own 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 coextensive 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 coextensive. The last three forms, though conveying real assertions, have 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, 2nd 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.

"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 difference.

"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 premise, and there are two indifferent conclusions: whereas in the first the premises are determinate, and there is a single proximate conclusion."

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, 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 cannot 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. 104.)

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 Philosophy."