Logic: Deductive and Inductive

by Carveth Read

This is manifestly a prediction: at present Britain flourishes, and shows no signs of decay. Yet a knowledge of its decay seems necessary, to justify any one in asserting the given premise. If it is a question whether Britain will decay, to attempt (while several empires still flourish) to settle the matter by asserting that all empires decay, seems to be 'a begging of the question.' But although this latter case is a manifest prediction, it does not really differ from the former one; for the proof that camels are herbivorous has no limits in time. If valid, it shows not only that they are, but also that they will be, herbivorous.

Hence, to resort to a dilemma, it may be urged: If all the facts of the major premise of any syllogism have been examined, the syllogism is needless; and if some of them have not been examined, it is a petitio principii. But either all have been examined, or some have not. Therefore; the syllogism is either useless or fallacious.

§ 4. A way of escape from this dilemma is provided by distinguishing between the formal and material aspects of the syllogism considered as a means of proof. It begs the question formally, but not materially; that is to say, if it be a question whether camels are herbivorous, and to decide it we are told that 'all ruminants are,' laying stress upon the 'all,' as if all had been examined, though in fact camels have not been, then the question as to camels is begged. The form of a universal proposition is then offered as evidence, when in fact the evidence has not been universally ascertained. But if in urging that 'all ruminants are herbivorous' no more is meant than that so many other ruminants of different species are known to be herbivorous, and that the ruminant stomach is so well adapted to a coarse vegetable diet, that the same habit may be expected in other ruminants, such as camels, the argument then rests upon material evidence without unfairly implying the case in question. Now the nature of the material evidence is plainly this, that the resemblance of camels to deer, oxen, etc., in chewing the cud, justifies us in believing that they have a further resemblance in feeding on herbs; in other words, we assume that resemblance is a ground of inference.

Another way of putting this difficulty which we have just been discussing, with regard to syllogistic evidence, is to urge that by the Laws of Syllogism a conclusion must never go beyond the premises, and that therefore no progress in knowledge can ever be established, except by direct observation. Now, taking the syllogism formally, this is true: if the conclusion go beyond the premises, there must be either four terms, or illicit process of the major or minor term. But, taking it materially, the conclusion may cover facts which were not in view when the major premise was laid down; facts of which we predicate something not as the result of direct observation, but because they resemble in a certain way those facts which had been shown to carry the predicate when the major premise was formed.

'What sort of resemblance is a sufficient ground of inference?' is, therefore, the important question alike in material Deduction and in Induction; and in endeavouring to answer it we shall find that the surest ground of inference is resemblance of causation. For example, it is due to causation that ruminants are herbivorous. Their instincts make them crop the herb, and their stomachs enable them easily to digest it; and in these characters camels are like the other ruminants.

§ 5. In [ch. ix, § 3], the Dictum de omni et nullo was stated: 'Whatever may be predicated of a term distributed may be predicated of anything that can be identified with that term.' Nothing was there said (as nothing was needed) of the relations that might be implied in the predication. But now that it comes to the ultimate validity of predication, we must be clear as to what these relations are; and it will also be convenient to speak no longer of terms, as in Formal Logic, but of the things denoted. What relations, then, can be determined between concrete facts or phenomena (physical or mental) with the greatest certainty of general truth; and what axioms are there that sanction mediate inferences concerning those relations?

In his Logic (B. II. c. 2, § 3) Mill gives as the axiom of syllogistic reasoning, instead of the Dictum: "A thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing." Thus the peculiar properties of Socrates co-exist with the attributes of man, which co-exist with mortality: therefore, Socrates is mortal. But, again, he says that the ground of the syllogism is Induction; that man is mortal is an induction. And, further, the ground of Induction is causation; the law of causation is the ultimate major premise of every sound induction. Now causation is the principle of the succession of phenomena: how, then, can the syllogism rest on an axiom concerning co-existence? On reflection, too, it must appear that 'Man is mortal' predicates causation: the human constitution issues in death.

The explanation of this inconsistency may perhaps be found in the history of Mill's work. Books I. and II. were written in 1831; but being unable at that time to explain Induction, he did not write Book III. until 1837-8. Then, no doubt, he revised the earlier Books, but not enough to bring his theory of the syllogism into complete agreement with the theory of Induction; so that the axiom of co-existence was allowed to stand.

Mill also introduced the doctrine of Natural Kinds as a ground of Induction supplementary, at least provisionally, to causation; and to reasoning about Kinds, or Substance and Attribute, his axiom of co-existence is really adapted. Kinds are groups of things that agree amongst themselves and differ from all others in a multitude of qualities: these qualities co-exist, or co-inhere, with a high degree of constancy; so that where some are found others may be inferred. Their co-inherence is not to be considered an ultimate fact; for, "since everything which occurs is determined by laws of causation and collocations of the original causes, it follows that the co-existences observable amongst effects cannot themselves be the subject of any similar set of laws distinct from laws of causation" (B. III. c. 5, § 9). According to the theory of evolution (worked out since Mill wrote), Kinds—that is, species of plants, animals and minerals—with their qualities are all due to causation. Still, as we can rarely, or never, trace the causes with any fullness or precision, a great deal of our reasoning, as, e.g., about men and camels, does in fact trust to the relative permanence of natural Kinds as defined by co-inhering attributes.