Modus tollendo ponens.EitherA is B, orC is D;A is not B(or C is not D):∴C is D(or A is B).
Either wages fall, or the weaker hands are dismissed;Wages do not fall:∴ The weaker hands are dismissed.
Either wages fall, or the weaker hands are dismissed;
Wages do not fall:∴ The weaker hands are dismissed.
But we cannot argue—
Wages fall:∴ The weaker hands are not dismissed;
since in 'hard times' both events may happen together.
Rule of theModus tollendo ponens: If one alternative be denied, the other is affirmed.
When, however, the alternatives of the Disjunctive are mutually exclusive, we have also the
Modus ponendo tollens.EitherA is B, or C is D;A is B (or C is D):∴C is not D (or A is not B).
Either the Tories or the Whigs win the election;The Tories win:∴ The Whigs do not win.
Either the Tories or the Whigs win the election;
The Tories win:∴ The Whigs do not win.
We may also, of course, argue as above in theModus tollendo ponens—
The Tories do not win:∴ The Whigs do.
But in this example, to make theModus tollendo ponensmaterially valid, it must be impossible that the election should result in a tie. The danger of the Disjunctive Proposition is that the alternatives may not, between them, exhaust the possible cases. Only contradictory alternatives are sure to cover the whole ground.
Rule of theModus ponendo tollens:If one alternative be affirmed, the other is denied.
Since a disjunctive proposition may be turned into a hypothetical proposition (chap. v. § 4,) a Disjunctive Syllogism may be turned into a Hypothetical Syllogism:
Modus tollendo ponens.Modus ponens.Either A is B, or C is D;If A is not B, C is D;A is not B:A is not B:∴ C is D.∴ C is D.
Similarly theModus ponendo tollensis equivalent to that kind ofModus ponenswhich may be formed with a negative major premise; for if the alternatives of a disjunctive proposition be exclusive, the corresponding hypothetical be affirmative or negative:
Modus ponendo tollens.Modus ponens.Either A is B, or C is D;If A is B, C is not D;A is B:A is B:∴ C is not D.∴ C is not D.
Hence, finally, a Disjunctive Syllogism being equivalent to a Hypothetical, and a Hypothetical to a Categorical; a Disjunctive Syllogism is equivalent and reducible to a Categorical. It is a form of Mediate Inference in the same sense as the Hypothetical Syllogism is; that is to say, the conclusion depends upon an affirmation, or denial, of the fulfilment of a condition implied in the disjunctive major premise.
§ 3. The Dilemma is perhaps the most popularly interesting of all forms of proof. It is a favourite weapon of orators and wits; and "impaled upon the horns of a dilemma" is a painful situation in which every one delights to see his adversary. It seems to have been described by Rhetoricians before finding its way into works on Logic; and Logicians, to judge from their diverse ways of defining it, have found some difficulty in making up their minds as to its exact character.
There is a famous Dilemma employed by Demosthenes, from which the general nature of the argument may be gathered:
If Æschines joined in the public rejoicings, he is inconsistent; if he did not, he is unpatriotic;But either he joined, or he did not join:Therefore he is either inconsistent or unpatriotic.
That is, reduced to symbols:
If A is B, C is D; and if E is F, G is H:But either A is B, or E is F;∴ Either C is D or G is H (Complex Constructive).
This is a compound Conditional Syllogism, which may be analysed as follows:
Either A is B or E is F.Suppose that E is not F:Suppose that A is not B:Then A is B.Then E is F.But if A is B, C is D;But if E is F, G is H;(A is B):(E is F):∴ C is D.∴ G is H.∴ Either C is D or G is H.
A Dilemma, then, is a compound Conditional Syllogism, having for its Major Premise two Hypothetical Propositions, and for its Minor Premise a Disjunctive Proposition, whose alternative terms either affirm the Antecedents or deny the Consequents of the two Hypothetical Propositions forming the Major Premise.
The hypothetical propositions in the major premise, may have all four terms distinct (as in the above example); and then the conclusion is a disjunctive proposition, and the Dilemma is said to be Complex. Or the two hypothetical propositions may have a common antecedent or a common consequent; and then the conclusion is a categorical proposition, and the Dilemma is said to be Simple.
Again, the alternatives of the disjunctive minor premise may be affirmative or negative: if affirmative, the Dilemma is called Constructive; and if negative, Destructive.
Using, then, only affirmative hypothetical propositions in the major premise, there are four Moods:
1. The Simple Constructive—
If A is B, C is D; and if E is F, C is D:But either A is B, or E is F:∴ C is D.
If the Tories win the election, the Government will avoid innovation; and if the Whigs win, the House of Lords will prevent them innovating:But either the Tories or the Whigs will win:∴ There will be no innovation.
2. The Complex Constructive—
If A is B, C is D; and if E is F, G is H:But either A is B, or E is F:∴ Either C is D or G is H.
If appearance is all that exists, reality is a delusion; and if there is a substance beyond consciousness, knowledge of reality is impossible:But either appearance is all, or there is a substance beyond consciousness:∴ Either reality is a delusion, or a knowledge of it is impossible.
3. Simple Destructive—
If A is B, C is D; and if A is B, E is F:But either C is not D, or E is not F:∴ A is not B.
If table-rappers are to be trusted, the departed are spirits; and they also exert mechanical energy:But either the departed are not spirits, or they do not exert mechanical energy:∴ Table-rappers are not to be trusted.
4. Complex Destructive—
If A is B, C is D; and if E is F, G is H:But either C is not D, or G is not H:∴ Either A is not B, or E is not F.
If poetic justice is observed, virtue is rewarded; and if the mirror is held up to Nature, the villain triumphs:But either virtue is not rewarded, or the villain does not triumph:∴ Either poetic justice is not observed, or the mirror is not held up to Nature.
Such are the four Moods of the Dilemma that emerge if we only use affirmative hypotheticals for the major premise; but, certainly, it is often quite as natural toemploy two negative hypotheticals (indeed, one might be affirmative and the other negative; but waive that); and then four more moods emerge, all having negative conclusions. It is needless to intimidate the reader by drawing up these four moods in battle array: they always admit of reduction to the foregoing moods by obverting the hypotheticals. Still, by the same process we may greatly decrease the number of moods of the Categorical Syllogism; and just as some Syllogisms are most simply expressed in Celarent or Cesare, so some Dilemmas are most simply stated with negative major premises—e.g., The example of a Simple Constructive Dilemma above given would run more naturally thus:If the Tories win, the Government will not innovate; and if the Whigs, the Lords will not let them: and similarly Demosthenes' Dilemma—If Æschines joined, he is not consistent; and if he did not, he is not patriotic. Moreover, the propriety of recognising Dilemmas with negative major premises, follows from the above analysis of the Dilemma into a combination of Conditional Syllogisms, even if (as in§ 1of this chapter) we take account of only four Moods of the Hypothetical Syllogism.
In the rhetorical use of the Dilemma, it may be observed that the disjunction in the minor premise ought to be obvious, or (at any rate) easily acceptable to the audience. Thus,Either the Tories or the Whigs will win; Either Æschines joined in the rejoicings, or he did not; such propositions are not likely to be disputed. But if the orator must stop to prove his minor premise, the smacking effect of this figure (if the expression be allowed) will be lost. Hence the minor premises of other examples given above are only fit for a select audience. ThatEither ghosts are not spirits, or they do not exert mechanical energy, supposes a knowledge of the principle, generally taught by physical philosophers, that only matter is the vehicle of energy; and thatEither appearance is all, or there is substance beyond consciousness, is a doctrine which only metaphysicalphilosophers could be expected to understand, and upon which they could not be expected to agree. However, the chief danger is that a plausible disjunction may not be really such as to exclude any middle ground:Either the Tories or the Whigs win, is bad, if a tie be possible; though in the above argument this is negligible, seeing that a tie cannot directly cause innovations.Either Æschines joined in the rejoicings, or he did not, does not allow for a decent conformity with the public movement where resistance would be vain; yet such conformity as need not be inconsistent with subsequent condemnation of the proceedings, nor incompatible with patriotic reserve founded on a belief that the rejoicings are premature and ominous.
Another rhetorical consideration is, that the alternatives of the disjunctive conclusion of a Complex Dilemma should both point the same way, should be equally distasteful or paradoxical. 'Either inconsistent or unpatriotic': horrid words to a politician! 'Either no reality or no possible knowledge of it': very disappointing to an anxious inquirer! Thus the disjunctive conclusion is as bad for an opponent as the categorical one in a Simple Dilemma.
Logicians further speak of the Trilemma, with three Hypotheticals and a corresponding triple Disjunction; and of a Polylemma, with any further number of perplexities. But anyone who has a taste for logical forms may have it amply gratified in numerous text-books.
§ 1. Having now discussed Terms, Propositions, Immediate and Mediate Inferences, and investigated the conditions of formal truth or consistency, we have next to consider the conditions of material truth: whether (or how far) it is possible to arrive at propositions that accurately represent the course of nature or of human life. Hitherto we have dealt with no sort of proof that gives any such assurance. A valid syllogism guarantees the truth of its conclusion, provided the premises be true: but what of the premises? The relation between the premises of a valid syllogism and its conclusion is the same as the relation between the antecedent and consequent of a hypothetical proposition. If A is B, C is D: grant that A is B, and it follows that C is D; and, similarly, grant the premises of a syllogism, and the conclusion follows. Again, grant that C is not D, and it follows that A is not B; and, similarly, if the conclusion of a valid syllogism be false, it follows that one, or other, or both of the premises must be false. But, once more, grant that C is D, and it does not follow that A is B; so neither, if the conclusion of a syllogism be true, does it follow that the premises are. For example:—
Sociology is an exact science;Mathematics is a branch of Sociology:∴ Mathematics is an exact science.
Here the conclusion is true although the premises are absurd. Or again:—
Mathematics is an exact science;Sociology is a branch of Mathematics:∴ Sociology is an exact science.
Here the major premise is true, but the minor is false, and the conclusion is false. In both cases, however, whether the conclusion be true or false, it equally follows from the premises, if there is any cogency in Barbara. The explanation of this is, that Barbara has only formal cogency; and that whether the conclusion of that, or any other valid mood, shall be true according to fact and experience, depends upon how the form is filled up. How to establish the premises, then, is a most important problem; and it still remains to be solved.
§ 2. We may begin by recalling the distinction between the denotation and connotation of a general term: the denotation comprising the things or events which the term is a name for; the connotation comprising the common qualities on account of which these things are called by the same name. Obviously, there are very few general terms whose denotation is exhaustively known; since the denotation of a general term comprises all the things that have its connotation, or that ever have had, or that ever will have it, whether they exist here, or in Australia, or in the Moon, or in the utmost stars. No one has examined all men, all mammoths, all crystals, all falling bodies, all cases of fever, all revolutions, all stars—nor even all planets, since from time to time new ones are discerned. We have names for animals that existed long before there were men to observe them, and of which we know only a few bones, the remains of multitudinous species; and for others that may continue to exist when men have disappeared from the earth.
If, indeed, we definitely limit the time, or place, orquantity of matter to be explored, we may sometimes learn, within the given limits, all that there is to know: as all the bones of a particular animal, or the list of English monarchs hitherto, or the names of all the members of the House of Commons at the present time. Such cases, however, do not invalidate the above logical truth that few general terms are exhaustively known in their denotation; for the very fact of assigning limits of time and place impairs the generality of a term. The bones of a certain animal may be all examined, but not the bones of all animals, nor even of one species. The English monarchs that have reigned hitherto may be known, but there may be many still to reign.
The general terms, then, with which Logic is chiefly concerned, the names of Causes and Kinds, such as gravitation, diseases, social events, minerals, plants and animals, stand for some facts that are, or have been, known, and for a great many other similar ones that have not been, and never will be, known. The use of a general term depends not upon our direct knowledge of everything comprised in its denotation, but upon our readiness to apply it to anything that has its connotation, whether we have seen the thing or not, and even though we never can perceive it; as when a man talks freely of the ichthyosaurus, or of the central heat of planets, or of atoms and ether.
Hence Universal Propositions, which consist of general terms, deceive us, if we suppose that their predicates are directly known to be related to all the facts denoted by their subjects. In exceptional cases, in which the denotation of a subject is intentionally limited, such exhaustive direct knowledge may be possible; as that "all the bones of a certain animal consist of phosphate of lime," or that every member of the present Parliament wears a silk hat. But what predication is possible concerning the hats of all members of Parliament from the beginning? Ordinarily, then, whilst the relation of predicate to subject has beenobserved in some cases, in much the greater number of cases our belief about it depends upon something besides observation, or may be said (in a certain sense) to be taken on trust.
'All rabbits are herbivorous': why do we believe that? We may have seen a few wild rabbits feeding: or have kept tame ones, and tried experiments with their diet; or have read of their habits in a book of Natural History; or have studied the anatomy and physiology of the digestive system in many sorts of animals: but with whatever care we add testimony and scientific method to our own observation, it still remains true that the rabbits observed by ourselves and others are few in comparison with those that live, have lived and will live. Similarly of any other universal proposition; that it 'goes beyond the evidence' of direct observation plainly follows from the fact that the general terms, of which such propositions consist, are never exhaustively known in their denotation. What right have we then to state Universal Propositions? That is the problem of Inductive Logic.
§ 3. Universal Propositions, of course, cannot always be proved by syllogisms; because to prove a universal proposition by a syllogism, its premises must be universal propositions; and, then, these must be proved by others. This process may sometimes go a little way, thus:All men are mortal, becauseAll animals are; andAll animals are mortal, becauseAll composite bodies are subject to dissolution.Were there no limit to such sorites, proof would always involve aregressus ad infinitum, for which life is too short; but, in fact, prosyllogisms soon fail us.
Clearly, the form of the Syllogism must itself be misleading if the universal proposition is so: if we think that premises prove the conclusion because they themselves have been established by detailed observation, we are mistaken. The consideration of any example will show this. Suppose any one to argue:
All ruminants are herbivorous;Camels are ruminants:∴ Camels are herbivorous.
Have we, then, examined all ruminants? If so, we must have examined all camels, and cannot need a syllogism to prove their herbivorous nature: instead of the major premise proving the conclusion, the proof of the conclusion must then be part of the proof of the major premise. But if we have not examined all ruminants, having omitted most giraffes, most deer, most oxen, etc., how do we know that the unexamined (say, some camels) are not exceptional? Camels are vicious enough to be carnivorous; and indeed it is said that Bactrian camels will eat flesh rather than starve, though of course their habit is herbivorous.
Or, again, it is sometimes urged that—
All empires decay:∴ Britain will decay.
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 thatallempires 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: Ifallthe facts of the major premise of any syllogism have been examined, the syllogism is needless; and ifsomeof them have not been examined, it is apetitio 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 providedby 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 'allruminants 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 thatresemblance 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. Inch. ix, § 3, theDictum de omni et nullowas 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 hisLogic(B. II. c. 2, § 3) Mill gives as the axiom of syllogistic reasoning, instead of theDictum: "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.
To see this more clearly, we should consider that causation and natural Kinds are not at present separable; propositions about causation in concrete phenomena (as distinct from abstract 'forces') always involve the assumption ofKinds. For example—'Water rusts iron,' or the oxygen of water combines with iron immersed in it to form rust: this statement of causation assumes that water, oxygen, iron, and iron-rust are known Kinds. On the other hand, the constitution of every concrete thing, and manifestly of every organised body, is always undergoing change, that is, causation, upon which fact its properties depend.
How, then, can we frame principles of mediate reasoning, about such things? So far as we consider them as Kinds, it is enough to say:Whatever can be identified as a specimen of a known substance or Kind has the properties of that Kind. So far as we consider them as in the relation of causation, we may say:Whatever relation of events can be identified with the relation of cause and effect is constant. And these principles may be generalised thus:Whatever is constantly related to a phenomenon (cause or Kind), determined by certain characters, is related in the same way to any phenomenon, that has the same characters. Taking this as axiom of the syllogism materially treated, we see that herbivorousness, being constantly related to ruminants, is constantly related to camels; mortality to man and, therefore, to Socrates; rusting to the immersion of iron in water generally and, therefore, to this piece of iron.Nota notæ, nota rei ipsiusis another statement of the same principle; still another is Mill's axiom, "Whatever has a mark has what it is a mark of." A mark is anything (A) that is never found without something else (B)—a phenomenon constantly related to another phenomenon—so that wherever A is found, B may be expected: human nature is a mark of mortality.
§ 6. The Syllogism has sometimes been discarded by those who have only seen that, as formally stated, it is either useless or fallacious: but those who also perceive its material grounds retain and defend it. In fact, great advantages are gained by stating an argument as a formal syllogism. For, in the first place, we can then examineseparately the three conditions on which the validity of the argument depends:
(1) Are the Premises so connected that,if they are true, the Conclusion follows? This depends upon the formal principles ofchap. x.
(2) Is the Minor Premise true? This question can only arise when the minor premise is a real proposition; and then it may be very difficult to answer. Water rusts iron; but is the metal we are now dealing with a fair specimen of iron? Few people, comparatively, know how to determine whether diamonds, or even gold or silver coins, are genuine. ThatCamels are ruminantsis now a verbal proposition to a Zoologist, but not to the rest of us; and to the Zoologist the ascertaining of the relation in which camels stand to such ruminants as oxen and deer, was not a matter of analysing words but of dissecting specimens. What a long controversy as to whether the human race constitutes a Family of the Primates! That 'the British Empire is an empire' affords no matter for doubt or inquiry; but how difficult to judge whether the British Empire resembles Assyria, Egypt, Rome, Spain in those characters and circumstances that caused their downfall!
(3) Is the Major Premise true? Are all ruminants herbivorous? If there be any exceptions to the rule, camels are likely enough to be among the exceptions. And here the need of Inductive Logic is most conspicuous: how can we prove our premises when they are universal propositions? Universal propositions, however, are also involved in proving the minor premise: to prove a thing to be iron, we must know the constant reactions of iron.
A second advantage of the syllogism is, that it makes us fully aware of what an inference implies. An inference must have some grounds, or else it is a mere prejudice; but whatever the grounds, if sufficient in a particular case, they must be sufficient for all similar cases, they mustadmit of being generalised; and to generalise the grounds of the inference, is nothing else than to state the major premise. If the evidence is sufficient to justify the argument that camels are herbivorousbecausethey are ruminants, it must also justify the major premise,All ruminants are herbivorous; for else the inference cannot really depend merely upon the fact of ruminating. To state our evidence syllogistically, then, must be possible, if the evidence is mediate and of a logical kind; and to state it in this formal way, as depending on the truth of a general principle (the major premise), increases our sense of responsibility for the inference that is thus seen to imply so much; and if any negative instances lie within our knowledge, we are the more likely to remember them. The use of syllogisms therefore tends to strengthen our reasonings.
A third advantage is, that to formulate an accurate generalisation may be useful to others: it is indeed part of the systematic procedure of science. The memoranda of our major premises, or reasons for believing anything, may be referred to by others, and either confirmed or refuted. When such a memorandum is used for further inferences, these inferences are said, in the language of Formal Logic, to be drawnfromit, as if the conclusion were contained in our knowledge of the major premise; but, considering the limited extent of the material evidence, it is better to say that the inference is drawnaccording tothe memorandum or major premise, since the grounds of the major premise and of the conclusion are in fact the same (Mill:Logic, B. II. c. 3). Inductive proofs may be stated in Syllogisms, and inductive inferences are drawnaccording tothe Law of Causation.
§ 7. To assume that resemblance is a ground of inference, and that substance and attribute, or cause and effect, are phenomena constantly related, implies belief in the Uniformity of Nature. The Uniformity of Nature cannot be defined, and is therefore liable to be misunderstood. In many ways Nature seems not to be uniform: there is great variety in the sizes, shapes, colours and all other properties of things: bodies falling in the open air—pebbles, slates, feathers—descend in different lines and at different rates; the wind and weather are proverbially uncertain; the course of trade or of politics, is full of surprises. Yet common maxims, even when absurd, testify to a popular belief that the relations of things are constant: the doctrine of St. Swithin and the rhyme beginning 'Evening red and morning grey,' show that the weather is held to be not wholly unpredictable; as to human affairs, it is said that 'a green Yule makes a fat churchyard,' that 'trade follows the flag,' and that 'history repeats itself'; and Superstition knows that witches cannot enter a stable-door if a horse-shoe is nailed over it, and that the devil cannot cross a threshold inscribed with a perfect pentagram. But the surest proof of a belief in the uniformity of nature is given by the conduct of men and animals; by that adherence to habit, custom and tradition, to which in quiet times they chiefly owe their safety, but which would daily disappoint and destroy them, if it were not generally true that things may be found where they have been left and that in similar circumstances there are similar events.
Now this general belief, seldom distinctly conceived, for the most part quite unconscious (as a principle), merely implied in what men do, is also the foundation of all the Sciences; which are entirely occupied in seeking the Laws (that is, the Uniformities) of Nature. As the uniformity of nature cannot be defined, it cannot be proved; the most convincing evidence in its favour is the steady progress made by Science whilst trusting in it. Nevertheless, what is important is not the comprehensive but indeterminate notion of Uniformity so much as a number of First Principles, which may be distinguished in it as follows:
(1) The Principles of Contradiction and Excluded Middle (ch. vi. § 3) declare that in a given relation to a givenphenomenon any two or more other phenomena are incompatible (B is not A and a); whilst the given phenomenon either stands related to another phenomenon or not (B is either A or a). It is not only a matter of Logic but of fact that, if a leaf is green, it is not under the same conditions red or blue, and that if it is not green it is some other colour.
(2) Certain Axioms of Mediate Evidence: as, in Mathematics, 'that magnitudes equal to the same magnitude are equal to one another'; and, in Logic, theDictumor its material equivalent.
(3) That all Times and all Spaces are commensurable; although in certain relations of space (as π) the unit of measurement must be infinitely small.—If Time really trotted with one man and galloped with another, as it seems to; if space really swelled in places, as De Quincey dreamed that it did; life could not be regulated, experience could not be compared and science would be impossible. The Mathematical Axioms would then never be applicable to space or time, or to the objects or processes that fill them.
(4) The Persistence of Matter and Energy: the physical principle that, in all changes of the universe, the quantities of Matter and Energy (actual and potential, so-called) remain the same.—For example, as to matter, although dew is found on the grass at morning without any apparent cause, and although a candle seems to burn away to a scrap of blackened wick, yet every one knows that the dew has been condensed from vapour in the air, and that the candle has only turned into gas and smoke. As to energy, although a stone thrown up to the housetop and resting there has lost actual energy, it has gained such a position that the slightest touch may bring it to the earth again in the same time as it took to travel upwards; so on the house-top it is said to have potential energy. When a boiler works an engine, every time the piston is thrust forward (mechanical energy), an equivalent in heat (molecularenergy) is lost. But for the elucidation of these principles, readers must refer to treatises of Chemistry and Physics.
(5) Causation, a special form of the foregoing principles of the persistence of matter and energy, we shall discuss in the next chapter. It is not to be conceived of as anything occult or noumenal, but merely as a special mode of the uniformity of Nature or experience.
(6) Certain Uniformities of Co-existence; but for want of a general principle of Co-existence, corresponding to Causation (the principle of Succession), we can only classify these uniformities as follows:
(a) The Geometrical; as that, in a four-sided figure, if the opposite angles are equal, the opposite sides are equal and parallel.—Countless similar uniformities of co-existence are disclosed by Geometry. The co-existent facts do not cause one another, nor are they jointly caused by something else; they are mutually involved: such is the nature of space.
(b) Universal co-inherences among the properties of concrete things.—The chief example is the co-inherence of gravity with inertia in all material bodies. There is, I believe, no other entirely satisfactory case; but some good approximations to such uniformity are known to physical science.
(c) Co-existence due to Causation; such as the positions of objects in space at any time.—The houses of a town are where they are, because they were put there; and they remain in their place as long as no other causes arise strong enough to remove or destroy them. Similarly, the relative positions of rocks in geological strata, and of trees in a forest, are due to causes.
(d) The co-inherence of properties in Natural Kinds; which we call the constitution, defining characters, or specific nature of such things.—Oxygen, platinum, sulphur and the other elements; water, common salt, alcohol and other compounds; the various species of plants and animals: all these are known to us as different groups ofco-inherent properties. It may be conjectured that these groupings of properties are also due to causation, and sometimes the causes can be traced: but very often the causes are still unknown; and, until resolved into their causes, they must be taken as necessary data in the investigation of nature. Laws of the co-inherence of the properties of Kinds do not, like laws of causation, admit of methodical proof upon their own principles, but only by constancy in experience and statistical probability (c. xix, § 4).
(e) There are also a few cases in which properties co-exist in an unaccountable way, without being co-extensive with any one species, genus, or order: as most metals are whitish, and scarlet flowers are wanting in fragrance. (On this § 7, see Venn'sEmpirical Logic, c. 4.)
§ 8. Inasmuch as Axioms of Uniformity are ultimate truths, they cannot be deduced; and inasmuch as they are universal, no proof by experience can ever be adequate. The grounds of our belief in them seem to be these:
(1) Every inference takes for granted an order of Nature corresponding with it; and every attempt to explain the origin of anything assumes that it is the transformation of something else: so that uniformity of order and conservation of matter and energy are necessary presuppositions of reasoning.
(2) On the rise of philosophic reflection, these tacit presuppositions are first taken as dogmas, and later as postulates of scientific generalisation, and of the architectonic unification of science. Here they are indispensable.
(3) The presuppositions or postulates are, in some measure, verifiable in practical life and in scientific demonstration, and the better verifiable as our methods become more exact.
(4) There is a cause of this belief that cannot be said to contain any evidence for it, namely, the desire to find in Nature a foundation for confidence in our own power to foresee and to control events.
§ 1. For the theory of Induction, the specially important aspect of the Uniformity of Nature is Causation.
For (1) the Principles of Contradiction and Excluded Middle are implied in all logical operations, and need no further explication.
(2) That one thing is a mark of another or constantly related to it, must be established by Induction; and the surest of all marks is a Cause. So that the application of the axiom of the Syllogism in particular cases requires, when most valid, a previous appeal to Causation.
(3) The uniformity of Space and of Time is involved in Causation, so far as we conceive Causation as essentially matter in motion—for motion is only known as a traversing of space in time; and so far as forces vary in any way according to the distance between bodies; so that if space and time were not uniform, causation would be irregular. Not that time and space are agents, but they are conditions of every agent's operation.
(4) The persistence of Matter and Energy, being nothing else than Causation in the general movement of the world, is applied under the name of that principle in explaining any particular limited phenomenon, such as a soap-bubble, or a thunderstorm, or the tide.
(5) As to co-existences, the Geometrical do not belong to Logic: those involved in the existence of plants, animals, and inorganic bodies, must, as far as possible, be traced to causes; and so, of course, must the relative positionsof objects in space at any time: and what Co-existences remain do not admit of methodical inductive treatment; they will be briefly discussed inchap. xix.
Causation, then, is that mode or aspect of the Uniformity of Nature which especially concerns us in Induction; and we must make it as definite as possible. It is nothing occult, but merely a convenient name for phenomena in a particular relation to other phenomena, called their effect. Similarly, if the word 'force' is sometimes used for convenience in analysing causation, it means nothing more than something in time and space, itself moving, or tending to move, or hindering or accelerating other things. If any one does not find these words convenient for the purpose, he can use others.
§ 2. A Cause, according to Mill, is "the invariable unconditional antecedent" of a given phenomenon. To enlarge upon this:
(1) A Cause isrelative to a given phenomenon, called the Effect. Logic has no method for investigating the cause of the universe as a whole, but only of a part or epoch of it: we select from the infinite continuum of Nature any portion that is neither too large nor too small for a trained mind to comprehend. The magnitude of the phenomenon may be a matter of convenience. If the cause of disease in general be too wide a problem, can fevers be dealt with; or, if that be too much, is typhus within the reach of inquiry? In short, how much can we deal with accurately?
(2) The given phenomenon is alwaysan event; that is to say, not a new thing (nothing is wholly new), but a change in something, or in the relative position of things. We may ask the cause of the phases of the moon, of the freezing of water, of the kindling of a match, of a deposit of chalk, of the differentiation of species. To inquire the cause of France being a republic, or Russia an autocracy, implies that these countries were once otherwise governed, or had no government: to inquire the cause of the earth beingshaped like an orange, implies that the matter of the earth had once another shape.
(3) The Cause isantecedentto the Effect, which accordingly is often called itsconsequent. This is often misunderstood and sometimes disputed. It has been said that the meaning of 'cause' implies an 'effect,' so that until an effect occurs there can be no cause. But this is a blunder; for whilst the word 'cause' implies 'effect,' it also implies the relative futurity of the effect; and effect implies the relative priority of the cause. The connotation of the words, therefore, agrees well enough with Mill's doctrine. In fact, the danger is that any pair of contrasted words may suggest too strongly that the phenomena denoted are separate in Nature; whereas every natural process is continuous. If water, dripping from the roof wears away a stone, it fell on the roof as rain; the rain came from a condensing cloud; the cloud was driven by the wind from the sea, whence it exhaled; and so on. There is no known beginning to this, and no break in it. We may take any one of these changes, call it an effect, and ask for its cause; or call it a cause, and ask for its effect. There is not in Nature one set of things called causes and another called effects; but every change is both cause (or a condition) of the future and effect of the past; and whether we consider an event as the one or the other, depends upon the direction of our curiosity or interest.
Still, taking the event as effect, its cause is the antecedent process; or, taking it as a cause, its effect is the consequent process. This follows from the conception of causation as essentially motion; for thatmotion takes timeis (from the way our perceptive powers grow) an ultimate intuition. But, for the same reason, there is no interval of time between cause and effect; since all the time is filled up with motion.
Nor must it be supposed that the whole cause is antecedent to the effect as a whole: for we often take the phenomenon on such a scale that minutes, days, years, ages, may elapse before we consider the cause as exhausted (e.g., an earthquake, a battle, an expansion of credit, natural selection operating on a given variety); and all that time the effect has been accumulating. But we may further consider such a cause as made up of moments or minute factors, and the effect as made up of corresponding moments; and then the cause, taken in its moments, is antecedent throughout to the effect, taken in its corresponding moments.
(4) The Cause is theinvariableantecedent of the effect; that is to say, whenever a given cause occurs it always has the same effect: in this, in fact, consists the Uniformity of Causation. Accordingly, not every antecedent of an event is its Cause: to assume that it is so, is the familiar fallacy of arguing 'post hoc ergo propter hoc.' Every event has an infinite number of antecedents that have no ascertainable connection with it: if a picture falls from the wall in this room, there may have occurred, just previously, an earthquake in New Zealand, an explosion in a Japanese arsenal, a religious riot in India, a political assassination in Russia and a vote of censure in the House of Commons, besides millions of other less noticeable events, between none of which and the falling of the picture can any direct causation be detected; though, no doubt, they are all necessary occurrences in the general world-process, and remotely connected. The cause, however, was that a door slammed violently in the room above and shook the wall, and that the picture was heavy and the cord old and rotten. Even if two events invariably occur one after the other, as day follows night, or as the report follows the flash of a gun, they may not be cause and effect, though it is highly probable that they are closely connected by causation; and in each of these two examples the events are co-effects of a common cause, and may be regarded as elements ofits total effect. Still, whilst it is not true that every antecedent, or that every invariable antecedent, of an event is its cause, the cause is conceived of as some change in certain conditions, or some state and process of things, such that should it exactly recur the same event would invariably follow. If we consider the antecedent state and process of things very widely or very minutely, it never does exactly recur; nor does the consequent. But the purpose of induction is to get as near the truth as possible within the limits set by our faculties of observation and calculation. Complex causal instances that are most unlikely to recur as a whole, may be analysed into the laws of their constituent conditions.
(5) The Cause is the Unconditional Antecedent. A cause is never simple, but may be analysed into several conditions; and 'Condition' means any necessary factor of a Cause: any thing or agent that exerts, absorbs, transforms, or deflects energy; or any relation of time or space in which agents stand to one another. A positive condition is one that cannot be omitted without frustrating the effect; a negative condition is one that cannot be introduced without frustrating the effect. In the falling of the picture,e.g., the positive conditions were the picture (as being heavy), the slamming of the door, and the weakness of the cord: a negative condition was that the picture should have no support but the cord. When Mill, then, defines the Cause of any event as its "unconditional" antecedent, he means that it is that group of conditions (state and process of things) which, without any further condition, is followed by the event in question: it is the least antecedent that suffices, positive conditions being present and negative absent.
Whatever item of the antecedent can be left out, then, without affecting the event, is no part of the cause. Earthquakes have happened in New Zealand and votes of censure in the House of Commons without a picture's falling inthis room: they were not unconditional antecedents; something else was needed to bring down a picture. Unconditionality also distinguishes a true cause from an invariable antecedent that is only a co-effect: for when day follows night something else happens; the Earth rotates upon her axis: a flash of gunpowder is not an unconditional antecedent of a report; the powder must be ignited in a closed chamber.
By common experience, and more precisely by experiment, it is found possible to select from among the antecedents of an event a certain number upon which, so far as can be perceived, it is dependent, and to neglect the rest: to purge the cause of all irrelevant antecedents is the great art of inductive method. Remote or minute conditions may indeed modify the event in ways so refined as to escape our notice. Subject to the limitations of our human faculties, however, we are able in many cases to secure an unconditional antecedent upon which a certain event invariably follows. Everybody takes this for granted: if the gas will not burn, or a gun will not go off, we wonder 'what can be wrong with it,' that is, what positive condition is wanting, or what negative one is present. No one now supposes that gunnery depends upon those "remotest of all causes," the stars, or upon the sun being in Sagittarius rather than in Aquarius, or that one shoots straightest with a silver bullet, or after saying the alphabet backwards.
(6) That the Cause of any event is an Immediate Antecedent follows from its being an unconditional one. For if there are three events, A B C, causally connected, it is plain that A is not the unconditional antecedent of C, but requires the further condition of first giving rise to B. But that is not all; for the B that gives rise to C is never merely the effect of A; it involves something further. Take such a simple case as the motion of the earth round the sun (neglecting all other conditions, the other planets,etc.); and let the earth's motion at three successive moments be A B C: A is not the whole cause of B in velocity and direction; we must add relation to the sun, say x. But then, again, the cause of C will not be merely Bx, for the relation to the sun will have altered; so that we must represent it as Bx'. The series, therefore, is Ax Bx' C. What is called a "remote cause" is, therefore, doubly conditional; first, because it supposes an intervening cause; and secondly, because it only in part determines the conditions that constitute this intervening cause.
The immediacy of a cause being implied in its unconditionalness, is an important clue to it; but as far as the detection of causes depends upon sense-perception, our powers (however aided by instruments) are unequal to the subtlety of Nature. Between the event and what seems to us the immediate antecedent many things (molecular or etherial changes) may happen in Chemistry or Physics. The progress of science would be impossible were not observation supplemented by hypothesis and calculation. And where phenomena are treated upon a large scale, as in the biological and social sciences, immediacy, as a mark of causation, must be liberally interpreted. So far, then, as to the qualitative character of Causation.
(7) But to complete our account of it, we must briefly consider its quantitative character. As to the Matter contained, and as to the Energy embodied, Cause and Effect are conceived to beequal. As to matter, indeed, they may be more properly called identical; since the effect is nothing but the cause redistributed. When oxygen combines with hydrogen to form water, or with mercury to form red precipitate, the weight of the compound is exactly equal to the weight of the elements combined in it; when a shell explodes and knocks down a wall, the materials of the shell and wall are scattered about. As to energy, we see that in the heavenly bodies, which meet with no sensible impediment, it remains the same from age to age: withthings 'below the moon' we have to allow for the more or less rapid conversion of the visible motion of a mass into other forms of energy, such as sound and heat. But the right understanding of this point involves physical considerations of some difficulty, as to which the reader must refer to appropriate books, such as Balfour Stewart's onThe Conservation of Energy.
The comprehension of the quantitative aspect of causation is greatly aided by Bain's analysis of any cause into a 'Moving or an Inciting Power' and a 'Collocation' of circumstances. When a demagogue by making a speech stirs up a mob to a riot, the speech is the moving or inciting power; the mob already in a state of smouldering passion, and a street convenient to be wrecked, are the collocation. When a small quantity of strychnine kills a man, the strychnine is the inciting power; the nature of his nervo-muscular system, apt to be thrown into spasms by that drug, and all the organs of his body dependent on that system, are the collocation. Now any one who thinks only of the speech, or the drug, in these cases, may express astonishment at the disproportion of cause and effect: