The Doctrine of Chances
Essays in Pragmaticism

The Doctrine of Chances

I.

IT is a common observation that a science first begins to be exact when it is quantitatively treated. What are called the exact sciences are no others than the mathematical ones. Chemists reasoned vaguely until Lavoisier showed them how to apply the balance to the verification of their theories, when chemistry leaped suddenly into the position of the most perfect of the classificatory sciences. It has thus become so precise and certain that we usually think of it along with optics, thermotics, and electrics. But these are studies of general laws, while chemistry considers merely the relations and classification of certain objects; and belongs, in reality, in the same category as systematic botany and zoölogy. Compare it with these last, however, and the advantage that it derives from its quantitative treatment is very evident.

The rudest numerical scales, such as that by which the mineralogists distinguish the different degrees of hardness, are found useful. The mere counting of pistils and stamens sufficed to bring botany out of total chaos into some kind of form. It is not, however, so much from counting as from measuring, not so much from the conception of number as from that of continuous quantity, that the advantage of mathematical treatment comes. Number, after all, only serves to pin us down to a precision in our thoughts which, however beneficial, can seldom lead to lofty conceptions, and frequently descends to pettiness. Of those two faculties of which Bacon speaks, that which marks differences and that which notes resemblances, the employment of number can only aid the lesser one; and the excessive use of it must tend to narrow the powers of the mind. But the conception of continuous quantity has a great office to fulfill, independently of any attempt at precision. Far from tending to the exaggeration of differences, it is the direct instrument of the finest generalizations. When a naturalist wishes to study a species, he collects a considerable number of specimens more or less similar. In contemplating them, he observes certain ones which are more or less alike in some particular respect. They all have, for instance, a certain S-shaped marking. He observes that they are not precisely alike, in this respect; the S has not precisely the same shape, but the differences are such as to lead him to believe that forms could be found intermediate between any two of those he possesses. He, now, finds other forms apparently quite dissimilar—say a marking in the form of a C—and the question is, whether he can find intermediate ones which will connect these latter with the others. This he often succeeds in doing in cases where it would at first be thought impossible; whereas, he sometimes finds those which differ, at first glance, much less, to be separated in Nature by the non-occurrence of intermediaries. In this way, he builds up from the study of Nature a new general conception of the character in question. He obtains, for example, an idea of a leaf which includes every part of the flower, and an idea of a vertebra which includes the skull. I surely need not say much to show what a logical engine there is here. It is the essence of the method of the naturalist. How he applies it first to one character, and then to another, and finally obtains a notion of a species of animals, the differences between whose members, however great, are confined within limits, is a matter which does not here concern us. The whole method of classification must be considered later; but, at present, I only desire to point out that it is by taking advantage of the idea of continuity, or the passage from one form to another by insensible degrees, that the naturalist builds his conceptions. Now, the naturalists are the great builders of conceptions; there is no other branch of science where so much of this work is done as in theirs; and we must, in great measure, take them for our teachers in this important part of logic. And it will be found everywhere that the idea of continuity is a powerful aid to the formation of true and fruitful conceptions. By means of it, the greatest differences are broken down and resolved into differences of degree, and the incessant application of it is of the greatest value in broadening our conceptions. I propose to make a great use of this idea in the present series of papers; and the particular series of important fallacies, which, arising from a neglect of it, have desolated philosophy, must further on be closely studied. At present, I simply call the reader's attention to the utility of this conception.

In studies of numbers, the idea of continuity is so indispensable, that it is perpetually introduced even where there is no continuity in fact, as where we say that there are in the United States 10.7 inhabitants per square mile, or that in New York 14.72 persons live in the average house.34 Another example is that law of the distribution of errors which Quetelet, Galton, and others, have applied with so much success to the study of biological and social matters. This application of continuity to cases where it does not really exist illustrates, also, another point which will hereafter demand a separate study, namely, the great utility which fictions sometimes have in science.

II.

The theory of probabilities is simply the science of logic quantitatively treated. There are two conceivable certainties with reference to any hypothesis, the certainty of its truth and the certainty of its falsity. The numbers one and zero are appropriated, in this calculus, to marking these extremes of knowledge; while fractions having values intermediate between them indicate, as we may vaguely say, the degrees in which the evidence leans toward one or the other. The general problem of probabilities is, from a given state of facts, to determine the numerical probability of a possible fact. This is the same as to inquire how much the given facts are worth, considered as evidence to prove the possible fact. Thus the problem of probabilities is simply the general problem of logic.

Probability is a continuous quantity, so that great advantages may be expected from this mode of studying logic. Some writers have gone so far as to maintain that, by means of the calculus of chances, every solid inference may be represented by legitimate arithmetical operations upon the numbers given in the premises. If this be, indeed, true, the great problem of logic, how it is that the observation of one fact can give us knowledge of another independent fact, is reduced to a mere question of arithmetic. It seems proper to examine this pretension before undertaking any more recondite solution of the paradox.

But, unfortunately, writers on probabilities are not agreed in regard to this result. This branch of mathematics is the only one, I believe, in which good writers frequently get results entirely erroneous. In elementary geometry the reasoning is frequently fallacious, but erroneous conclusions are avoided; but it may be doubted if there is a single extensive treatise on probabilities in existence which does not contain solutions absolutely indefensible. This is partly owing to the want of any regular method of procedure; for the subject involves too many subtilties to make it easy to put its problems into equations without such an aid. But, beyond this, the fundamental principles of its calculus are more or less in dispute. In regard to that class of questions to which it is chiefly applied for practical purposes, there is comparatively little doubt; but in regard to others to which it has been sought to extend it, opinion is somewhat unsettled. This last class of difficulties can only be entirely overcome by making the idea of probability perfectly clear in our minds in the way set forth in our last paper.

III.

To get a clear idea of what we mean by probability, we have to consider what real and sensible difference there is between one degree of probability and another.

The character of probability belongs primarily, without doubt, to certain inferences. Locke explains it as follows: After remarking that the mathematician positively knows that the sum of the three angles of a triangle is equal to two right angles because he apprehends the geometrical proof, he thus continues: "But another man who never took the pains to observe the demonstration, hearing a mathematician, a man of credit, affirm the three angles of a triangle to be equal to two right ones, assents to it; i. e., receives it for true. In which case the foundation of his assent is the probability of the thing, the proof being such as, for the most part, carries truth with it; the man on whose testimony he receives it not being wont to affirm anything contrary to, or besides his knowledge, especially in matters of this kind." The celebrated "Essay concerning Humane Understanding" contains many passages which, like this one, make the first steps in profound analyses which are not further developed. It was shown in the first of these papers that the validity of an inference does not depend on any tendency of the mind to accept it, however strong such tendency may be; but consists in the real fact that, when premises like those of the argument in question are true, conclusions related to them like that of this argument are also true. It was remarked that in a logical mind an argument is always conceived as a member of a genus of arguments all constructed in the same way, and such that, when their premises are real facts, their conclusions are so also. If the argument is demonstrative, then this is always so; if it is only probable, then it is for the most part so. As Locke says, the probable argument is "such as for the most part carries truth with it."

According to this, that real and sensible difference between one degree of probability and another, in which the meaning of the distinction lies, is that in the frequent employment of two different modes of inference, one will carry truth with it oftener than the other. It is evident that this is the only difference there is in the existing fact. Having certain premises, a man draws a certain conclusion, and as far as this inference alone is concerned the only possible practical question is whether that conclusion is true or not, and between existence and non-existence there is no middle term. "Being only is and nothing is altogether not," said Parmenides; and this is in strict accordance with the analysis of the conception of reality given in the last paper. For we found that the distinction of reality and fiction depends on the supposition that sufficient investigation would cause one opinion to be universally received and all others to be rejected. That presupposition involved in the very conceptions of reality and figment involves a complete sundering of the two. It is the heaven-and-hell idea in the domain of thought. But, in the long run, there is a real fact which corresponds to the idea of probability, and it is that a given mode of inference sometimes proves successful and sometimes not, and that in a ratio ultimately fixed. As we go on drawing inference after inference of the given kind, during the first ten or hundred cases the ratio of successes may be expected to show considerable fluctuations; but when we come into the thousands and millions, these fluctuations become less and less; and if we continue long enough, the ratio will approximate toward a fixed limit. We may therefore define the probability of a mode of argument as the proportion of cases in which it carries truth with it.

The inference from the premise, A, to the conclusion, B, depends, as we have seen, on the guiding principle, that if a fact of the class A is true, a fact of the class B is true. The probability consists of the fraction whose numerator is the number of times in which both A and B are true, and whose denominator is the total number of times in which A is true, whether B is so or not. Instead of speaking of this as the probability of the inference, there is not the slightest objection to calling it the probability that, if A happens, B happens. But to speak of the probability of the event B, without naming the condition, really has no meaning at all. It is true that when it is perfectly obvious what condition is meant, the ellipsis may be permitted. But we should avoid contracting the habit of using language in this way (universal as the habit is), because it gives rise to a vague way of thinking, as if the action of causation might either determine an event to happen or determine it not to happen, or leave it more or less free to happen or not, so as to give rise to an inherent chance in regard to its occurrence. It is quite clear to me that some of the worst and most persistent errors in the use of the doctrine of chances have arisen from this vicious mode of expression.35

IV.

But there remains an important point to be cleared up. According to what has been said, the idea of probability essentially belongs to a kind of inference which is repeated indefinitely. An individual inference must be either true or false, and can show no effect of probability; and, therefore, in reference to a single case considered in itself, probability can have no meaning. Yet if a man had to choose between drawing a card from a pack containing twenty-five red cards and a black one, or from a pack containing twenty-five black cards and a red one, and if the drawing of a red card were destined to transport him to eternal felicity, and that of a black one to consign him to everlasting woe, it would be folly to deny that he ought to prefer the pack containing the larger proportion of red cards, although, from the nature of the risk, it could not be repeated. It is not easy to reconcile this with our analysis of the conception of chance. But suppose he should choose the red pack, and should draw the wrong card, what consolation would he have? He might say that he had acted in accordance with reason, but that would only show that his reason was absolutely worthless. And if he should choose the right card, how could he regard it as anything but a happy accident? He could not say that if he had drawn from the other pack, he might have drawn the wrong one, because an hypothetical proposition such as, "if A, then B," means nothing with reference to a single case. Truth consists in the existence of a real fact corresponding to the true proposition. Corresponding to the proposition, "if A, then B," there may be the fact that whenever such an event as A happens such an event as B happens. But in the case supposed, which has no parallel as far as this man is concerned, there would be no real fact whose existence could give any truth to the statement that, if he had drawn from the other pack, he might have drawn a black card. Indeed, since the validity of an inference consists in the truth of the hypothetical proposition that if the premises be true the conclusion will also be true, and since the only real fact which can correspond to such a proposition is that whenever the antecedent is true the consequent is so also, it follows that there can be no sense in reasoning in an isolated case, at all.

These considerations appear, at first sight, to dispose of the difficulty mentioned. Yet the case of the other side is not yet exhausted. Although probability will probably manifest its effect in, say, a thousand risks, by a certain proportion between the numbers of successes and failures, yet this, as we have seen, is only to say that it certainly will, at length, do so. Now the number of risks, the number of probable inferences, which a man draws in his whole life, is a finite one, and he cannot be absolutely certain that the mean result will accord with the probabilities at all. Taking all his risks collectively, then, it cannot be certain that they will not fail, and his case does not differ, except in degree, from the one last supposed. It is an indubitable result of the theory of probabilities that every gambler, if he continues long enough, must ultimately be ruined. Suppose he tries the martingale, which some believe infallible, and which is, as I am informed, disallowed in the gambling-houses. In this method of playing, he first bets say $1; if he loses it he bets $2; if he loses that he bets $4; if he loses that he bets $8; if he then gains he has lost 1 + 2 + 4 = 7, and he has gained $1 more; and no matter how many bets he loses, the first one he gains will make him $1 richer than he was in the beginning. In that way, he will probably gain at first; but, at last, the time will come when the run of luck is so against him that he will not have money enough to double, and must therefore let his bet go. This will probably happen before he has won as much as he had in the first place, so that this run against him will leave him poorer than he began; some time or other it will be sure to happen. It is true that there is always a possibility of his winning any sum the bank can pay, and we thus come upon a celebrated paradox that, though he is certain to be ruined, the value of his expectation calculated according to the usual rules (which omit this consideration) is large. But, whether a gambler plays in this way or any other, the same thing is true, namely, that if he plays long enough he will be sure some time to have such a run against him as to exhaust his entire fortune. The same thing is true of an insurance company. Let the directors take the utmost pains to be independent of great conflagrations and pestilences, their actuaries can tell them that, according to the doctrine of chances, the time must come, at last, when their losses will bring them to a stop. They may tide over such a crisis by extraordinary means, but then they will start again in a weakened state, and the same thing will happen again all the sooner. An actuary might be inclined to deny this, because he knows that the expectation of his company is large, or perhaps (neglecting the interest upon money) is infinite. But calculations of expectations leave out of account the circumstance now under consideration, which reverses the whole thing. However, I must not be understood as saying that insurance is on this account unsound, more than other kinds of business. All human affairs rest upon probabilities, and the same thing is true everywhere. If man were immortal he could be perfectly sure of seeing the day when everything in which he had trusted should betray his trust, and, in short, of coming eventually to hopeless misery. He would break down, at last, as every great fortune, as every dynasty, as every civilization does. In place of this we have death.

But what, without death, would happen to every man, with death must happen to some man. At the same time, death makes the number of our risks, of our inferences, finite, and so makes their mean result uncertain. The very idea of probability and of reasoning rests on the assumption that this number is indefinitely great. We are thus landed in the same difficulty as before, and I can see but one solution of it. It seems to me that we are driven to this, that logicality inexorably requires that our interests shall not be limited. They must not stop at our own fate, but must embrace the whole community. This community, again, must not be limited, but must extend to all races of beings with whom we can come into immediate or mediate intellectual relation. It must reach, however vaguely, beyond this geological epoch, beyond all bounds. He who would not sacrifice his own soul to save the whole world, is, as it seems to me, illogical in all his inferences, collectively. Logic is rooted in the social principle.

To be logical men should not be selfish; and, in point of fact, they are not so selfish as they are thought. The willful prosecution of one's desires is a different thing from selfishness. The miser is not selfish; his money does him no good, and he cares for what shall become of it after his death. We are constantly speaking of our possessions on the Pacific, and of our destiny as a republic, where no personal interests are involved, in a way which shows that we have wider ones. We discuss with anxiety the possible exhaustion of coal in some hundreds of years, or the cooling-off of the sun in some millions, and show in the most popular of all religious tenets that we can conceive the possibility of a man's descending into hell for the salvation of his fellows.

Now, it is not necessary for logicality that a man should himself be capable of the heroism of self-sacrifice. It is sufficient that he should recognize the possibility of it, should perceive that only that man's inferences who has it are really logical, and should consequently regard his own as being only so far valid as they would be accepted by the hero. So far as he thus refers his inferences to that standard, he becomes identified with such a mind.

This makes logicality attainable enough. Sometimes we can personally attain to heroism. The soldier who runs to scale a wall knows that he will probably be shot, but that is not all he cares for. He also knows that if all the regiment, with whom in feeling he identifies himself, rush forward at once, the fort will be taken. In other cases we can only imitate the virtue. The man whom we have supposed as having to draw from the two packs, who if he is not a logician will draw from the red pack from mere habit, will see, if he is logician enough, that he cannot be logical so long as he is concerned only with his own fate, but that that man who should care equally for what was to happen in all possible cases of the sort could act logically, and would draw from the pack with the most red cards, and thus, though incapable himself of such sublimity, our logician would imitate the effect of that man's courage in order to share his logicality.

But all this requires a conceived identification of one's interests with those of an unlimited community. Now, there exist no reasons, and a later discussion will show that there can be no reasons, for thinking that the human race, or any intellectual race, will exist forever. On the other hand, there can be no reason against it;36 and, fortunately, as the whole requirement is that we should have certain sentiments, there is nothing in the facts to forbid our having a hope, or calm and cheerful wish, that the community may last beyond any assignable date.

It may seem strange that I should put forward three sentiments, namely, interest in an indefinite community, recognition of the possibility of this interest being made supreme, and hope in the unlimited continuance of intellectual activity, as indispensable requirements of logic. Yet, when we consider that logic depends on a mere struggle to escape doubt, which, as it terminates in action, must begin in emotion, and that, furthermore, the only cause of our planting ourselves on reason is that other methods of escaping doubt fail on account of the social impulse, why should we wonder to find social sentiment presupposed in reasoning? As for the other two sentiments which I find necessary, they are so only as supports and accessories of that. It interests me to notice that these three sentiments seem to be pretty much the same as that famous trio of Charity, Faith, and Hope, which, in the estimation of St. Paul, are the finest and greatest of spiritual gifts. Neither Old nor New Testament is a text-book of the logic of science, but the latter is certainly the highest existing authority in regard to the dispositions of heart which a man ought to have.

V.

Such average statistical numbers as the number of inhabitants per square mile, the average number of deaths per week, the number of convictions per indictment, or, generally speaking, the number of x's per y, where the x's are a class of things some or all of which are connected with another class of things, their y's, I term relative numbers. Of the two classes of things to which a relative number refers, that one of which it is a number may be called its relate, and that one per which the numeration is made may be called its correlate.

Probability is a kind of relative number; namely, it is the ratio of the number of arguments of a certain genus which carry truth with them to the total number of arguments of that genus, and the rules for the calculation of probabilities are very easily derived from this consideration. They may all be given here, since they are extremely simple, and it is sometimes convenient to know something of the elementary rules of calculation of chances.

Rule I. Direct Calculation.—To calculate, directly, any relative number, say for instance the number of passengers in the average trip of a street-car, we must proceed as follows:

Count the number of passengers for each trip; add all these numbers, and divide by the number of trips. There are cases in which this rule may be simplified. Suppose we wish to know the number of inhabitants to a dwelling in New York. The same person cannot inhabit two dwellings. If he divide his time between two dwellings he ought to be counted a half-inhabitant of each. In this case we have only to divide the total number of the inhabitants of New York by the number of their dwellings, without the necessity of counting separately those which inhabit each one. A similar proceeding will apply wherever each individual relate belongs to one individual correlate exclusively. If we want the number of x's per y, and no x belongs to more than one y, we have only to divide the whole number of x's of y's by the number of y's. Such a method would, of course, fail if applied to finding the average number of street-car passengers per trip. We could not divide the total number of travelers by the number of trips, since many of them would have made many passages. To find the probability that from a given class of premises, A, a given class of conclusions, B, follow, it is simply necessary to ascertain what proportion of the times in which premises of that class are true, the appropriate conclusions are also true. In other words, it is the number of cases of the occurrence of both the events A and B, divided by the total number of cases of the occurrence of the event A.

Rule II.—Addition of Relative Numbers.—Given two relative numbers having the same correlate, say the number of x's per y, and the number of z's per y; it is required to find the number of x's and z's together per y. If there is nothing which is at once an x and a z to the same y, the sum of the two given numbers would give the required number. Suppose, for example, that we had given the average number of friends that men have, and the average number of enemies, the sum of these two is the average number of persons interested in a man. On the other hand, it plainly would not do to add the average number of persons having constitutional diseases to the average number over military age, and to the average number exempted by each special cause from military service, in order to get the average number exempt in any way, since many are exempt in two or more ways at once.

This rule applies directly to probabilities. Given the probability that two different and mutually exclusive events will happen under the same supposed set of circumstances. Given, for instance, the probability that if A then B, and also the probability that if A then C, then the sum of these two probabilities is the probability that if A then either B or C, so long as there is no event which belongs at once to the two classes B and C.

Rule III.—Multiplication of Relative Numbers.—Suppose that we have given the relative number of x's per y also the relative number of z's per x of y; or, to take a concrete example, suppose that we have given, first, the average number of children in families living in New York; and, second, the average number of teeth in the head of a New York child—then the product of these two numbers would give the average number of children's teeth in a New York family. But this mode of reckoning will only apply in general under two restrictions. In the first place, it would not be true if the same child could belong to different families, for in that case those children who belonged to several different families might have an exceptionally large or small number of teeth, which would affect the average number of children's teeth in a family more than it would affect the average number of teeth in a child's head. In the second place, the rule would not be true if different children could share the same teeth, the average number of children's teeth being in that case evidently something different from the average number of teeth belonging to a child.

In order to apply this rule to probabilities, we must proceed as follows: Suppose that we have given the probability that the conclusion B follows from the premise A, B and A representing as usual certain classes of propositions. Suppose that we also knew the probability of an inference in which B should be the premise, and a proposition of a third kind, C, the conclusion. Here, then, we have the materials for the application of this rule. We have, first, the relative number of B's per A. We next should have the relative number of C's per B following from A. But the classes of propositions being so selected that the probability of C following from any B in general is just the same as the probability of C's following from one of those B's which is deducible from an A, the two probabilities may be multiplied together, in order to give the probability of C following from A. The same restrictions exist as before. It might happen that the probability that B follows from A was affected by certain propositions of the class B following from several different propositions of the class A. But, practically speaking, all these restrictions are of very little consequence, and it is usually recognized as a principle universally true that the probability that, if A is true, B is, multiplied by the probability that, if B is true, C is, gives the probability that, if A is true, C is.

There is a rule supplementary to this, of which great use is made. It is not universally valid, and the greatest caution has to be exercised in making use of it—a double care, first, never to use it when it will involve serious error; and, second, never to fail to take advantage of it in cases in which it can be employed. This rule depends upon the fact that in very many cases the probability that C is true if B is, is substantially the same as the probability that C is true if A is. Suppose, for example, we have the average number of males among the children born in New York; suppose that we also have the average number of children born in the winter months among those born in New York. Now, we may assume without doubt, at least as a closely approximate proposition (and no very nice calculation would be in place in regard to probabilities), that the proportion of males among all the children born in New York is the same as the proportion of males born in summer in New York, and, therefore, if the names of all the children born during a year were put into an urn, we might multiply the probability that any name drawn would be the name of a male child by the probability that it would be the name of a child born in summer, in order to obtain the probability that it would be the name of a male child born in summer. The questions of probability, in the treatises upon the subject, have usually been such as relate to balls drawn from urns, and games of cards, and so on, in which the question of the independence of events, as it is called—that is to say, the question of whether the probability of C, under the hypothesis B, is the same as its probability under the hypothesis A, has been very simple; but, in the application of probabilities to the ordinary questions of life, it is often an exceedingly nice question whether two events may be considered as independent with sufficient accuracy or not. In all calculations about cards it is assumed that the cards are thoroughly shuffled, which makes one deal quite independent of another. In point of fact the cards seldom are, in practice, shuffled sufficiently to make this true; thus, in a game of whist, in which the cards have fallen in suits of four of the same suit, and are so gathered up, they will lie more or less in sets of four of the same suit, and this will be true even after they are shuffled. At least some traces of this arrangement will remain, in consequence of which the number of "short suits," as they are called—that is to say, the number of hands in which the cards are very unequally divided in regard to suits—is smaller than the calculation would make it to be; so that, when there is a misdeal, where the cards, being thrown about the table, get very thoroughly shuffled, it is a common saying that in the hands next dealt out there are generally short suits. A few years ago a friend of mine, who plays whist a great deal, was so good as to count the number of spades dealt to him in 165 hands, in which the cards had been, if anything, shuffled better than usual. According to calculation, there should have been 85 of these hands in which my friend held either three or four spades, but in point of fact there were 94, showing the influence of imperfect shuffling.

According to the view here taken, these are the only fundamental rules for the calculation of chances. An additional one, derived from a different conception of probability, is given in some treatises, which if it be sound might be made the basis of a theory of reasoning. Being, as I believe it is, absolutely absurd, the consideration of it serves to bring us to the true theory; and it is for the sake of this discussion, which must be postponed to the next number, that I have brought the doctrine of chances to the reader's attention at this early stage of our studies of the logic of science.

The Probability of Induction

I.

WE have found that every argument derives its force from the general truth of the class of inferences to which it belongs; and that probability is the proportion of arguments carrying truth with them among those of any genus. This is most conveniently expressed in the nomenclature of the mediæval logicians. They called the fact expressed by a premise an antecedent, and that which follows from it its consequent; while the leading principle, that every (or almost every) such antecedent is followed by such a consequent, they termed the consequence. Using this language, we may say that probability belongs exclusively to consequences, and the probability of any consequence is the number of times in which antecedent and consequent both occur divided by the number of all the times in which the antecedent occurs. From this definition are deduced the following rules for the addition and multiplication of probabilities:

Rule for the Addition of Probabilities.—Given the separate probabilities of two consequences having the same antecedent and incompatible consequents. Then the sum of these two numbers is the probability of the consequence, that from the same antecedent one or other of those consequents follows.

Rule for the Multiplication of Probabilities.—Given the separate probabilities of the two consequences, "If A then B," and "If both A and B, then C." Then the product of these two numbers is the probability of the consequence, "If A, then both B and C."

Special Rule for the Multiplication of Independent Probabilities.—Given the separate probabilities of two consequences having the same antecedents, "If A, then B," and "If A, then C." Suppose that these consequences are such that the probability of the second is equal to the probability of the consequence, "If both A and B, then C." Then the product of the two given numbers is equal to the probability of the consequence, "If A, then both B and C."

To show the working of these rules we may examine the probabilities in regard to throwing dice. What is the probability of throwing a six with one die? The antecedent here is the event of throwing a die; the consequent, its turning up a six. As the die has six sides, all of which are turned up with equal frequency, the probability of turning up any one is 1/6. Suppose two dice are thrown, what is the probability of throwing sixes? The probability of either coming up six is obviously the same when both are thrown as when one is thrown—namely, 1/6. The probability that either will come up six when the other does is also the same as that of its coming up six whether the other does or not. The probabilities are, therefore, independent; and, by our rule, the probability that both events will happen together is the product of their several probabilities, 1/6 × 1/6. What is the probability of throwing deuce-ace? The probability that the first die will turn up ace and the second deuce is the same as the probability that both will turn up sixes—namely, 1/36; the probability that the second will turn up ace and the first deuce is likewise 1/36; these two events—first, ace; second, deuce; and, second, ace; first, deuce—are incompatible. Hence the rule for addition holds, and the probability that either will come up ace and the other deuce is 1/36 +1/36, or 1/18.

In this way all problems about dice, etc., may be solved. When the number of dice thrown is supposed very large, mathematics (which may be defined as the art of making groups to facilitate numeration) comes to our aid with certain devices to reduce the difficulties.

II.

The conception of probability as a matter of fact, i. e., as the proportion of times in which an occurrence of one kind is accompanied by an occurrence of another kind, is termed by Mr. Venn the materialistic view of the subject. But probability has often been regarded as being simply the degree of belief which ought to attach to a proposition; and this mode of explaining the idea is termed by Venn the conceptualistic view. Most writers have mixed the two conceptions together. They, first, define the probability of an event as the reason we have to believe that it has taken place, which is conceptualistic; but shortly after they state that it is the ratio of the number of cases favorable to the event to the total number of cases favorable or contrary, and all equally possible. Except that this introduces the thoroughly unclear idea of cases equally possible in place of cases equally frequent, this is a tolerable statement of the materialistic view. The pure conceptualistic theory has been best expounded by Mr. De Morgan in his "Formal Logic: or, the Calculus of Inference, Necessary and Probable."

The great difference between the two analyses is, that the conceptualists refer probability to an event, while the materialists make it the ratio of frequency of events of a species to those of a genus over that species, thus giving it two terms instead of one. The opposition may be made to appear as follows:

Suppose that we have two rules of inference, such that, of all the questions to the solution of which both can be applied, the first yields correct answers to 81/100, and incorrect answers to the remaining 19/100; while the second yields correct answers to 93/100, and incorrect answers to the remaining 7/100. Suppose, further, that the two rules are entirely independent as to their truth, so that the second answers correctly 93/100 of the questions which the first answers correctly, and also 93/100 of the questions which the first answers incorrectly, and answers incorrectly the remaining 7/100 of the questions which the first answers correctly, and also the remaining 7/100 of the questions which the first answers incorrectly. Then, of all the questions to the solution of which both rules can be applied—

both answer correctly93of81or93 × 81;
100100100 × 100
the second answers correctly and the first incorrectly93of19or93 × 19;
100100100 × 100
the second answers incorrectly and the first correctly7of81or7 × 81;
100100100 × 100
and both answer correctly7of19or7 × 19;
100100100 × 100
Figure 48.

Suppose, now, that, in reference to any question, both give the same answer. Then (the questions being always such as are to be answered by yes or no), those in reference to which their answers agree are the same as those which both answer correctly together with those which both answer falsely, or

93 × 81+7 × 19
100 × 100100 × 100
Figure 49.

of all. The proportion of those which both answer correctly out of those to which their answers agree is, therefore—

93×81or
100×10093×81
93×81+7×19(93×81)+(7×19)
100×100100×100
Figure 50.

This is, therefore, the probability that, if both modes of inference yield the same result, that result is correct. We may here conveniently make use of another mode of expression. Probability is the ratio of the favorable cases to all the cases. Instead of expressing our result in terms of this ratio, we may make use of another—the ratio of favorable to unfavorable cases. This last ratio may be called the chance of an event. Then the chance of a true answer by the first mode of inference is 81/19 and by the second is 93/7 and the chance of a correct answer from both, when they agree, is—

81 × 93or81×93
19 × 7197,
Figure 51.

or the product of the chances of each singly yielding a true answer.

It will be seen that a chance is a quantity which may have any magnitude, however great. An event in whose favor there is an even chance, or 1/1, has a probability of 1/2. An argument having an even chance can do nothing toward reënforcing others, since according to the rule its combination with another would only multiply the chance of the latter by 1.

Probability and chance undoubtedly belong primarily to consequences, and are relative to premises; but we may, nevertheless, speak of the chance of an event absolutely, meaning by that the chance of the combination of all arguments in reference to it which exist for us in the given state of our knowledge. Taken in this sense it is incontestable that the chance of an event has an intimate connection with the degree of our belief in it. Belief is certainly something more than a mere feeling; yet there is a feeling of believing, and this feeling does and ought to vary with the chance of the thing believed, as deduced from all the arguments. Any quantity which varies with the chance might, therefore, it would seem, serve as a thermometer for the proper intensity of belief. Among all such quantities there is one which is peculiarly appropriate. When there is a very great chance, the feeling of belief ought to be very intense. Absolute certainty, or an infinite chance, can never be attained by mortals, and this may be represented appropriately by an infinite belief. As the chance diminishes the feeling of believing should diminish, until an even chance is reached, where it should completely vanish and not incline either toward or away from the proposition. When the chance becomes less, then a contrary belief should spring up and should increase in intensity as the chance diminishes, and as the chance almost vanishes (which it can never quite do) the contrary belief should tend toward an infinite intensity. Now, there is one quantity which, more simply than any other, fulfills these conditions; it is the logarithm of the chance. But there is another consideration which must, if admitted, fix us to this choice for our thermometer. It is that our belief ought to be proportional to the weight of evidence , in this sense, that two arguments which are entirely independent, neither weakening nor strengthening each other, ought, when they concur, to produce a belief equal to the sum of the intensities of belief which either would produce separately. Now, we have seen that the chances of independent concurrent arguments are to be multiplied together to get the chance of their combination, and therefore the quantities which best express the intensities of belief should be such that they are to be added when the chances are multiplied in order to produce the quantity which corresponds to the combined chance. Now, the logarithm is the only quantity which fulfills this condition. There is a general law of sensibility, called Fechner's psychophysical law. It is that the intensity of any sensation is proportional to the logarithm of the external force which produces it. It is entirely in harmony with this law that the feeling of belief should be as the logarithm of the chance, this latter being the expression of the state of facts which produces the belief.

The rule for the combination of independent concurrent arguments takes a very simple form when expressed in terms of the intensity of belief, measured in the proposed way. It is this: Take the sum of all the feelings of belief which would be produced separately by all the arguments pro, subtract from that the similar sum for arguments con, and the remainder is the feeling of belief which we ought to have on the whole. This is a proceeding which men often resort to, under the name of balancing reasons.

These considerations constitute an argument in favor of the conceptualistic view. The kernel of it is that the conjoint probability of all the arguments in our possession, with reference to any fact, must be intimately connected with the just degree of our belief in that fact; and this point is supplemented by various others showing the consistency of the theory with itself and with the rest of our knowledge.

But probability, to have any value at all, must express a fact. It is, therefore, a thing to be inferred upon evidence. Let us, then, consider for a moment the formation of a belief of probability. Suppose we have a large bag of beans from which one has been secretly taken at random and hidden under a thimble. We are now to form a probable judgment of the color of that bean, by drawing others singly from the bag and looking at them, each one to be thrown back, and the whole well mixed up after each drawing. Suppose the first drawing is white and the next black. We conclude that there is not an immense preponderance of either color, and that there is something like an even chance that the bean under the thimble is black. But this judgment may be altered by the next few drawings. When we have drawn ten times, if 4, 5, or 6, are white, we have more confidence that the chance is even. When we have drawn a thousand times, if about half have been white, we have great confidence in this result.

We now feel pretty sure that, if we were to make a large number of bets upon the color of single beans drawn from the bag, we could approximately insure ourselves in the long run by betting each time upon the white, a confidence which would be entirely wanting if, instead of sampling the bag by 1,000 drawings, we had done so by only two. Now, as the whole utility of probability is to insure us in the long run, and as that assurance depends, not merely on the value of the chance, but also on the accuracy of the evaluation, it follows that we ought not to have the same feeling of belief in reference to all events of which the chance is even. In short, to express the proper state of our belief, not one number but two are requisite, the first depending on the inferred probability, the second on the amount of knowledge on which that probability is based.37 It is true that when our knowledge is very precise, when we have made many drawings from the bag, or, as in most of the examples in the books, when the total contents of the bag are absolutely known, the number which expresses the uncertainty of the assumed probability and its liability to be changed by further experience may become insignificant, or utterly vanish. But, when our knowledge is very slight, this number may be even more important than the probability itself; and when we have no knowledge at all this completely overwhelms the other, so that there is no sense in saying that the chance of the totally unknown event is even (for what expresses absolutely no fact has absolutely no meaning), and what ought to be said is that the chance is entirely indefinite. We thus perceive that the conceptualistic view, though answering well enough in some cases, is quite inadequate.

Suppose that the first bean which we drew from our bag were black. That would constitute an argument, no matter how slender, that the bean under the thimble was also black. If the second bean were also to turn out black, that would be a second independent argument reenforcing the first. If the whole of the first twenty beans drawn should prove black, our confidence that the hidden bean was black would justly attain considerable strength. But suppose the twenty-first bean were to be white and that we were to go on drawing until we found that we had drawn 1,010 black beans and 990 white ones. We should conclude that our first twenty beans being black was simply an extraordinary accident, and that in fact the proportion of white beans to black was sensibly equal, and that it was an even chance that the hidden bean was black. Yet according to the rule of balancing reasons, since all the drawings of black beans are so many independent arguments in favor of the one under the thimble being black, and all the white drawings so many against it, an excess of twenty black beans ought to produce the same degree of belief that the hidden bean was black, whatever the total number drawn.

In the conceptualistic view of probability, complete ignorance, where the judgment ought not to swerve either toward or away from the hypothesis, is represented by the probability 1/2.38

But let us suppose that we are totally ignorant what colored hair the inhabitants of Saturn have. Let us, then, take a color-chart in which all possible colors are shown shading into one another by imperceptible degrees. In such a chart the relative areas occupied by different classes of colors are perfectly arbitrary. Let us inclose such an area with a closed line, and ask what is the chance on conceptualistic principles that the color of the hair of the inhabitants of Saturn falls within that area? The answer cannot be indeterminate because we must be in some state of belief; and, indeed, conceptualistic writers do not admit indeterminate probabilities. As there is no certainty in the matter, the answer lies between zero and unity. As no numerical value is afforded by the data, the number must be determined by the nature of the scale of probability itself, and not by calculation from the data. The answer can, therefore, only be one-half, since the judgment should neither favor nor oppose the hypothesis. What is true of this area is true of any other one; and it will equally be true of a third area which embraces the other two. But the probability for each of the smaller areas being one-half, that for the larger should be at least unity, which is absurd.

III.

All our reasonings are of two kinds: 1. Explicative, analytic, or deductive; 2. Amplifiative, synthetic, or (loosely speaking) inductive. In explicative reasoning, certain facts are first laid down in the premises. These facts are, in every case, an inexhaustible multitude, but they may often be summed up in one simple proposition by means of some regularity which runs through them all. Thus, take the proposition that Socrates was a man; this implies (to go no further) that during every fraction of a second of his whole life (or, if you please, during the greater part of them) he was a man. He did not at one instant appear as a tree and at another as a dog; he did not flow into water, or appear in two places at once; you could not put your finger through him as if he were an optical image, etc. Now, the facts being thus laid down, some order among some of them, not particularly made use of for the purpose of stating them, may perhaps be discovered; and this will enable us to throw part or all of them into a new statement, the possibility of which might have escaped attention. Such a statement will be the conclusion of an analytic inference. Of this sort are all mathematical demonstrations. But synthetic reasoning is of another kind. In this case the facts summed up in the conclusion are not among those stated in the premises . They are different facts, as when one sees that the tide rises m times and concludes that it will rise the next time. These are the only inferences which increase our real knowledge, however useful the others may be.

In any problem in probabilities, we have given the relative frequency of certain events, and we perceive that in these facts the relative frequency of another event is given in a hidden way. This being stated makes the solution. This is therefore mere explicative reasoning, and is evidently entirely inadequate to the representation of synthetic reasoning, which goes out beyond the facts given in the premises. There is, therefore, a manifest impossibility in so tracing out any probability for a synthetic conclusion.

Most treatises on probability contain a very different doctrine. They state, for example, that if one of the ancient denizens of the shores of the Mediterranean, who had never heard of tides, had gone to the bay of Biscay, and had there seen the tide rise, say m times, he could know that there was a probability equal to

m + 1
m + 2
Figure 52.

that it would rise the next time. In a well-known work by Quetelet, much stress is laid on this, and it is made the foundation of a theory of inductive reasoning.

But this solution betrays its origin if we apply it to the case in which the man has never seen the tide rise at all; that is, if we put m = 0. In this case, the probability that it will rise the next time comes out 1/2, or, in other words, the solution involves the conceptualistic principle that there is an even chance of a totally unknown event. The manner in which it has been reached has been by considering a number of urns all containing the same number of balls, part white and part black. One urn contains all white balls, another one black and the rest white, a third two black and the rest white, and so on, one urn for each proportion, until an urn is reached containing only black balls. But the only possible reason for drawing any analogy between such an arrangement and that of Nature is the principle that alternatives of which we know nothing must be considered as equally probable. But this principle is absurd. There is an indefinite variety of ways of enumerating the different possibilities, which, on the application of this principle, would give different results. If there be any way of enumerating the possibilities so as to make them all equal, it is not that from which this solution is derived, but is the following: Suppose we had an immense granary filled with black and white balls well mixed up; and suppose each urn were filled by taking a fixed number of balls from this granary quite at random. The relative number of white balls in the granary might be anything, say one in three. Then in one-third of the urns the first ball would be white, and in two-thirds black. In one-third of those urns of which the first ball was white, and also in one-third of those in which the first ball was black, the second ball would be white. In this way, we should have a distribution like that shown in the following table, where w stands for a white ball and b for a black one. The reader can, if he chooses, verify the table for himself.

wwww.
 
wwwb.wwbw.wbww.bwww.
wwwb.wwbw.wbww.bwww.
 
wwbb.wbwb.bwwb.wbbw.bwbw.bbww.
wwbb.wbwb.bwwb.wbbw.bwbw.bbww.
wwbb.wbwb.bwwb.wbbw.bwbw.bbww.
wwbb.wbwb.bwwb.wbbw.bwbw.bbww.
 
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
wbbb.bwbb.bbwb.bbbw.
 
Figure 53.

bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.
bbbb.

Figure 54.

In the second group, where there is one b, there are two sets just alike; in the third there are 4, in the fourth 8, and in the fifth 16, doubling every time. This is because we have supposed twice as many black balls in the granary as white ones; had we supposed 10 times as many, instead of 1, 2, 4, 8, 16 sets we should have had 1, 10, 100, 1000, 10000 sets; on the other hand, had the numbers of black and white balls in the granary been even, there would have been but one set in each group. Now suppose two balls were drawn from one of these urns and were found to be both white, what would be the probability of the next one being white? If the two drawn out were the first two put into the urns, and the next to be drawn out were the third put in, then the probability of this third being white would be the same whatever the colors of the first two, for it has been supposed that just the same proportion of urns has the third ball white among those which have the first two white-white, white-black, black-white, and black-black. Thus, in this case, the chance of the third ball being white would be the same whatever the first two were. But, by inspecting the table, the reader can see that in each group all orders of the balls occur with equal frequency, so that it makes no difference whether they are drawn out in the order they were put in or not. Hence the colors of the balls already drawn have no influence on the probability of any other being white or black.

Now, if there be any way of enumerating the possibilities of Nature so as to make them equally probable, it is clearly one which should make one arrangement or combination of the elements of Nature as probable as another, that is, a distribution like that we have supposed, and it, therefore, appears that the assumption that any such thing can be done, leads simply to the conclusion that reasoning from past to future experience is absolutely worthless. In fact, the moment that you assume that the chances in favor of that of which we are totally ignorant are even, the problem about the tides does not differ, in any arithmetical particular, from the case in which a penny (known to be equally likely to come up heads and tails) should turn up heads m times successively. In short, it would be to assume that Nature is a pure chaos, or chance combination of independent elements, in which reasoning from one fact to another would be impossible; and since, as we shall hereafter see, there is no judgment of pure observation without reasoning, it would be to suppose all human cognition illusory and no real knowledge possible. It would be to suppose that if we have found the order of Nature more or less regular in the past, this has been by a pure run of luck which we may expect is now at an end. Now, it may be we have no scintilla of proof to the contrary, but reason is unnecessary in reference to that belief which is of all the most settled, which nobody doubts or can doubt, and which he who should deny would stultify himself in so doing.

The relative probability of this or that arrangement of Nature is something which we should have a right to talk about if universes were as plenty as blackberries, if we could put a quantity of them in a bag, shake them well up, draw out a sample, and examine them to see what proportion of them had one arrangement and what proportion another. But, even in that case, a higher universe would contain us, in regard to whose arrangements the conception of probability could have no applicability.

IV.

We have examined the problem proposed by the conceptualists, which, translated into clear language, is this: Given a synthetic conclusion; required to know out of all possible states of things how many will accord, to any assigned extent, with this conclusion; and we have found that it is only an absurd attempt to reduce synthetic to analytic reason, and that no definite solution is possible.

But there is another problem in connection with this subject. It is this: Given a certain state of things, required to know what proportion of all synthetic inferences relating to it will be true within a given degree of approximation. Now, there is no difficulty about this problem (except for its mathematical complication); it has been much studied, and the answer is perfectly well known. And is not this, after all, what we want to know much rather than the other? Why should we want to know the probability that the fact will accord with our conclusion? That implies that we are interested in all possible worlds, and not merely the one in which we find ourselves placed. Why is it not much more to the purpose to know the probability that our conclusion will accord with the fact? One of these questions is the first above stated and the other the second, and I ask the reader whether, if people, instead of using the word probability without any clear apprehension of their own meaning, had always spoken of relative frequency, they could have failed to see that what they wanted was not to follow along the synthetic procedure with an analytic one, in order to find the probability of the conclusion; but, on the contrary, to begin with the fact at which the synthetic inference aims, and follow back to the facts it uses for premises in order to see the probability of their being such as will yield the truth.

As we cannot have an urn with an infinite number of balls to represent the inexhaustibleness of Nature, let us suppose one with a finite number, each ball being thrown back into the urn after being drawn out, so that there is no exhaustion of them. Suppose one ball out of three is white and the rest black, and that four balls are drawn. Then the table on page 713 represents the relative frequency of the different ways in which these balls might be drawn. It will be seen that if we should judge by these four balls of the proportion in the urn, 32 times out of 81 we should find it 1/4, and 24 times out of 81 we should find it 1/2, the truth being 1/3. To extend this table to high numbers would be great labor, but the mathematicians have found some ingenious ways of reckoning what the numbers would be. It is found that, if the true proportion of white balls is p, and s balls are drawn, then the error of the proportion obtained by the induction will be—

half the time within0.477 √(2p(1-p)/s)
9 times out of 10 within1.163 √(2p(1-p)/s)
99 times out of 100 within1.821 √(2p(1-p)/s)
999 times out of 1,000 within2.328 √(2p(1-p)/s)
9,999 times out of 10,000 within2.751 √(2p(1-p)/s)
9,999,999,999 times out of 10,000,000,000 within4.77 √(2p(1-p)/s)
Figure 55.

The use of this may be illustrated by an example. By the census of 1870, it appears that the proportion of males among native white children under one year old was 0.5082, while among colored children of the same age the proportion was only 0.4977. The difference between these is 0.0105, or about one in a 100. Can this be attributed to chance, or would the difference always exist among a great number of white and colored children under like circumstances? Here p may be taken at 1/2; hence 2p (1-p) is also 1/2. The number of white children counted was near 1,000,000; hence the fraction whose square-root is to be taken is about 1/2000000. The root is about 1/1400, and this multiplied by 0.477 gives about 0.0003 as the probable error in the ratio of males among the whites as obtained from the induction. The number of black children was about 150,000, which gives 0.0008 for the probable error. We see that the actual discrepancy is ten times the sum of these, and such a result would happen, according to our table, only once out of 10,000,000,000 censuses, in the long run.

It may be remarked that when the real value of the probability sought inductively is either very large or very small, the reasoning is more secure. Thus, suppose there were in reality one white ball in 100 in a certain urn, and we were to judge of the number by 100 drawings. The probability of drawing no white ball would be 366/1000; that of drawing one white ball would be 370/1000; that of drawing two would be 185/1000; that of drawing three would be 61/1000; that of drawing four would be 15/1000; that of drawing five would be only 3/1000 etc. Thus we should be tolerably certain of not being in error by more than one ball in 100.

It appears, then, that in one sense we can, and in another we cannot, determine the probability of synthetic inference. When I reason in this way:

Ninety-nine Cretans in a hundred are liars;
But Epimenides is a Cretan;
Therefore, Epimenides is a liar:—

Figure 56.

I know that reasoning similar to that would carry truth 99 times in 100. But when I reason in the opposite direction:

Minos, Sarpedon, Rhadamanthus, Deucalion, and Epimenides, are all the Cretans I can think of;
But these were all atrocious liars,
Therefore, pretty much all Cretans must have been liars;

Figure 57.

I do not in the least know how often such reasoning would carry me right. On the other hand, what I do know is that some definite proportion of Cretans must have been liars, and that this proportion can be probably approximated to by an induction from five or six instances. Even in the worst case for the probability of such an inference, that in which about half the Cretans are liars, the ratio so obtained would probably not be in error by more than 1/6. So much I know; but, then, in the present case the inference is that pretty much all Cretans are liars, and whether there may not be a special improbability in that I do not know.

V.

Late in the last century, Immanuel Kant asked the question, "How are synthetical judgments a priori possible?" By synthetical judgments he meant such as assert positive fact and are not mere affairs of arrangement; in short, judgments of the kind which synthetical reasoning produces, and which analytic reasoning cannot yield. By a priori judgments he meant such as that all outward objects are in space, every event has a cause, etc., propositions which according to him can never be inferred from experience. Not so much by his answer to this question as by the mere asking of it, the current philosophy of that time was shattered and destroyed, and a new epoch in its history was begun. But before asking that question he ought to have asked the more general one, "How are any synthetical judgments at all possible?" How is it that a man can observe one fact and straightway pronounce judgment concerning another different fact not involved in the first? Such reasoning, as we have seen, has, at least in the usual sense of the phrase, no definite probability; how, then, can it add to our knowledge? This is a strange paradox; the Abbé Gratry says it is a miracle, and that every true induction is an immediate inspiration from on high.39 I respect this explanation far more than many a pedantic attempt to solve the question by some juggle with probabilities, with the forms of syllogism, or what not. I respect it because it shows an appreciation of the depth of the problem, because it assigns an adequate cause, and because it is intimately connected—as the true account should be—with a general philosophy of the universe. At the same time, I do not accept this explanation, because an explanation should tell how a thing is done, and to assert a perpetual miracle seems to be an abandonment of all hope of doing that, without sufficient justification.

It will be interesting to see how the answer which Kant gave to his question about synthetical judgments a priori will appear if extended to the question of synthetical judgments in general. That answer is, that synthetical judgments a priori are possible because whatever is universally true is involved in the conditions of experience. Let us apply this to a general synthetical reasoning. I take from a bag a handful of beans; they are all purple, and I infer that all the beans in the bag are purple. How can I do that? Why, upon the principle that whatever is universally true of my experience (which is here the appearance of these different beans) is involved in the condition of experience. The condition of this special experience is that all these beans were taken from that bag. According to Kant's principle, then, whatever is found true of all the beans drawn from the bag must find its explanation in some peculiarity of the contents of the bag. This is a satisfactory statement of the principle of induction.

When we draw a deductive or analytic conclusion, our rule of inference is that facts of a certain general character are either invariably or in a certain proportion of cases accompanied by facts of another general character. Then our premise being a fact of the former class, we infer with certainty or with the appropriate degree of probability the existence of a fact of the second class. But the rule for synthetic inference is of a different kind. When we sample a bag of beans we do not in the least assume that the fact of some beans being purple involves the necessity or even the probability of other beans being so. On the contrary, the conceptualistic method of treating probabilities, which really amounts simply to the deductive treatment of them, when rightly carried out leads to the result that a synthetic inference has just an even chance in its favor, or in other words is absolutely worthless. The color of one bean is entirely independent of that of another. But synthetic inference is founded upon a classification of facts, not according to their characters, but according to the manner of obtaining them. Its rule is, that a number of facts obtained in a given way will in general more or less resemble other facts obtained in the same way; or, experiences whose conditions are the same will have the same general characters.

In the former case, we know that premises precisely similar in form to those of the given ones will yield true conclusions, just once in a calculable number of times. In the latter case, we only know that premises obtained under circumstances similar to the given ones (though perhaps themselves very different) will yield true conclusions, at least once in a calculable number of times. We may express this by saying that in the case of analytic inference we know the probability of our conclusion (if the premises are true), but in the case of synthetic inferences we only know the degree of trustworthiness of our proceeding. As all knowledge comes from synthetic inference, we must equally infer that all human certainty consists merely in our knowing that the processes by which our knowledge has been derived are such as must generally have led to true conclusions.

Though a synthetic inference cannot by any means be reduced to deduction, yet that the rule of induction will hold good in the long run may be deduced from the principle that reality is only the object of the final opinion to which sufficient investigation would lead. That belief gradually tends to fix itself under the influence of inquiry is, indeed, one of the facts with which logic sets out.

The Order of Nature

I.

ANY proposition whatever concerning the order of Nature must touch more or less upon religion. In our day, belief, even in these matters, depends more and more upon the observation of facts. If a remarkable and universal orderliness be found in the universe, there must be some cause for this regularity, and science has to consider what hypotheses might account for the phenomenon. One way of accounting for it, certainly, would be to suppose that the world is ordered by a superior power. But if there is nothing in the universal subjection of phenomena to laws, nor in the character of those laws themselves (as being benevolent, beautiful, economical, etc.), which goes to prove the existence of a governor of the universe, it is hardly to be anticipated that any other sort of evidence will be found to weigh very much with minds emancipated from the tyranny of tradition.

Nevertheless, it cannot truly be said that even an absolutely negative decision of that question could altogether destroy religion, inasmuch as there are faiths in which, however much they differ from our own, we recognize those essential characters which make them worthy to be called religions, and which, nevertheless, do not postulate an actually existing Deity. That one, for instance, which has had the most numerous and by no means the least intelligent following of any on earth, teaches that the Divinity in his highest perfection is wrapped away from the world in a state of profound and eternal sleep, which really does not differ from non-existence, whether it be called by that name or not. No candid mind who has followed the writings of M. Vacherot can well deny that his religion is as earnest as can be. He worships the Perfect, the Supreme Ideal; but he conceives that the very notion of the Ideal is repugnant to its real existence. In fact, M. Vacherot finds it agreeable to his reason to assert that non-existence is an essential character of the perfect, just as St. Anselm and Descartes found it agreeable to theirs to assert the extreme opposite. I confess that there is one respect in which either of these positions seems to me more congruous with the religious attitude than that of a theology which stands upon evidences; for as soon as the Deity presents himself to either Anselm or Vacherot, and manifests his glorious attributes, whether it be in a vision of the night or day, either of them recognizes his adorable God, and sinks upon his knees at once; whereas the theologian of evidences will first demand that the divine apparition shall identify himself, and only after having scrutinized his credentials and weighed the probabilities of his being found among the totality of existences, will he finally render his circumspect homage, thinking that no characters can be adorable but those which belong to a real thing.

If we could find out any general characteristic of the universe, any mannerism in the ways of Nature, any law everywhere applicable and universally valid, such a discovery would be of such singular assistance to us in all our future reasoning, that it would deserve a place almost at the head of the principles of logic. On the other hand, if it can be shown that there is nothing of the sort to find out, but that every discoverable regularity is of limited range, this again will be of logical importance. What sort of a conception we ought to have of the universe, how to think of the ensemble of things, is a fundamental problem in the theory of reasoning.

II.

It is the legitimate endeavor of scientific men now, as it was twenty-three hundred years ago, to account for the formation of the solar system and of the cluster of stars which forms the galaxy, by the fortuitous concourse of atoms. The greatest expounder of this theory, when asked how he could write an immense book on the system of the world without one mention of its author, replied, very logically, "Je n'avais pas besoin de cette hypothèse-là." But, in truth, there is nothing atheistical in the theory, any more than there was in this answer. Matter is supposed to be composed of molecules which obey the laws of mechanics and exert certain attractions upon one another; and it is to these regularities (which there is no attempt to account for) that general arrangement of the solar system would be due, and not to hazard.

If any one has ever maintained that the universe is a pure throw of the dice, the theologians have abundantly refuted him. "How often," says Archbishop Tillotson, "might a man, after he had jumbled a set of letters in a bag, fling them out upon the ground before they would fall into an exact poem, yea, or so much as make a good discourse in prose! And may not a little book be as easily made by chance as this great volume of the world?" The chance world here shown to be so different from that in which we live would be one in which there were no laws, the characters of different things being entirely independent; so that, should a sample of any kind of objects ever show a prevalent character, it could only be by accident, and no general proposition could ever be established. Whatever further conclusions we may come to in regard to the order of the universe, thus much may be regarded as solidly established, that the world is not a mere chance-medley.

But whether the world makes an exact poem or not, is another question. When we look up at the heavens at night, we readily perceive that the stars are not simply splashed on to the celestial vault; but there does not seem to be any precise system in their arrangement either. It will be worth our while, then, to inquire into the degree of orderliness in the universe; and, to begin, let us ask whether the world we live in is any more orderly than a purely chance-world would be.

Any uniformity, or law of Nature, may be stated in the form, "Every A is B;" as, every ray of light is a non-curved line, every body is accelerated toward the earth's centre, etc. This is the same as to say, "There does not exist any A which is not B;" there is no curved ray; there is no body not accelerated toward the earth; so that the uniformity consists in the non-occurrence in Nature of a certain combination of characters (in this case, the combination of being A with being non-B).40 And, conversely, every case of the non-occurrence of a combination of characters would constitute a uniformity in Nature. Thus, suppose the quality A is never found in combination with the quality C: for example, suppose the quality of idiocy is never found in combination with that of having a well-developed brain. Then nothing of the sort A is of the sort C, or everything of the sort A is of the sort non-C (or say, every idiot has an ill-developed brain), which, being something universally true of the A's, is a uniformity in the world. Thus we see that, in a world where there were no uniformities, no logically possible combination of characters would be excluded, but every combination would exist in some object. But two objects not identical must differ in some of their characters, though it be only in the character of being in such-and-such a place. Hence, precisely the same combination of characters could not be found in two different objects; and, consequently, in a chance-world every combination involving either the positive or negative of every character would belong to just one thing. Thus, if there were but five simple characters in such a world,41 we might denote them by A, B, C, D, E, and their negatives by a, b, c, d, e; and then, as there would be 2⁵ or 32 different combinations of these characters, completely determinate in reference to each of them, that world would have just 32 objects in it, their characters being as in the following table:

ABCDEAbCDEaBCDEabCDE
ABCDeAbCDeaBCDeabCDe
ABCdEAbCdEaBCdEabCdE
ABCdeAbCdeaBCdeabCde
ABcDEAbcDEaBcDEabcDE
ABcDeAbcDeaBcDeabcDe
ABcdEAbcdEaBcdEabcdE
ABcdeAbcdeaBcdeabcde
Figure 58. Table I.

For example, if the five primary characters were hard, sweet, fragrant, green, bright, there would be one object which reunited all these qualities, one which was hard, sweet, fragrant, and green, but not bright; one which was hard, sweet, fragrant, and bright, but not green; one which was hard, sweet, and fragrant, but neither green nor bright; and so on through all the combinations.

This is what a thoroughly chance-world would be like, and certainly nothing could be imagined more systematic. When a quantity of letters are poured out of a bag, the appearance of disorder is due to the circumstance that the phenomena are only partly fortuitous. The laws of space are supposed, in that case, to be rigidly preserved, and there is also a certain amount of regularity in the formation of the letters. The result is that some elements are orderly and some are disorderly, which is precisely what we observe in the actual world. Tillotson, in the passage of which a part has been quoted, goes on to ask, "How long might 20,000 blind men, which should be sent out from the several remote parts of England, wander up and down before they would all meet upon Salisbury Plains, and fall into rank and file in the exact order of an army? And yet this is much more easy to be imagined than how the innumerable blind parts of matter should rendezvous themselves into a world." This is very true, but in the actual world the blind men are, as far as we can see, not drawn up in any particular order at all. And, in short, while a certain amount of order exists in the world, it would seem that the world is not so orderly as it might be, and, for instance, not so much so as a world of pure chance would be.

But we can never get to the bottom of this question until we take account of a highly-important logical principle42 which I now proceed to enounce. This principle is that any plurality or lot of objects whatever have some character in common (no matter how insignificant) which is peculiar to them and not shared by anything else. The word "character" here is taken in such a sense as to include negative characters, such as incivility, inequality, etc., as well as their positives, civility, equality, etc. To prove the theorem, I will show what character any two things, A and B, have in common, not shared by anything else. The things, A and B, are each distinguished from all other things by the possession of certain characters which may be named A-ness and B-ness. Corresponding to these positive characters, are the negative characters un-A-ness, which is possessed by everything except A, and un-B-ness, which is possessed by everything except B. These two characters are united in everything except A and B; and this union of the characters un-A-ness and un-B-ness makes a compound character which may be termed A-B-lessness. This is not possessed by either A or B, but it is possessed by everything else. This character, like every other, has its corresponding negative un-A-B-lessness, and this last is the character possessed by both A and B, and by nothing else. It is obvious that what has thus been shown true of two things is, mutatis mutandis, true of any number of things. Q. E. D.

In any world whatever, then, there must be a character peculiar to each possible group of objects. If, as a matter of nomenclature, characters peculiar to the same group be regarded as only different aspects of the same character, then we may say that there will be precisely one character for each possible group of objects. Thus, suppose a world to contain five things, α, β, γ, δ, ε. Then it will have a separate character for each of the 31 groups (with non-existence making up 32 or 2⁵) shown in the following table:

αβαβγαβγδαβγδε
ααγαβδαβγε
βαδαβεαβδε
γαεαγδαγδε
δβγαγεβγδε
εβδαδε
βεβγδ
γδβγε
γεβδε
δεγδε
Figure 59. Table II.

This shows that a contradiction is involved in the very idea of a chance-world, for in a world of 32 things, instead of there being only 3⁵ or 243 characters, as we have seen that the notion of a chance-world requires, there would, in fact, be no less than 2³², or 4,294,967,296 characters, which would not be all independent, but would have all possible relations with one another.

We further see that so long as we regard characters abstractly, without regard to their relative importance, etc., there is no possibility of a more or less degree of orderliness in the world, the whole system of relationship between the different characters being given by mere logic; that is, being implied in those facts which are tacitly admitted as soon as we admit that there is any such thing as reasoning.

In order to descend from this abstract point of view, it is requisite to consider the characters of things as relative to the perceptions and active powers of living beings. Instead, then, of attempting to imagine a world in which there should be no uniformities, let us suppose one in which none of the uniformities should have reference to characters interesting or important to us. In the first place, there would be nothing to puzzle us in such a world. The small number of qualities which would directly meet the senses would be the ones which would afford the key to everything which could possibly interest us. The whole universe would have such an air of system and perfect regularity that there would be nothing to ask. In the next place, no action of ours, and no event of Nature, would have important consequences in such a world. We should be perfectly free from all responsibility, and there would be nothing to do but to enjoy or suffer whatever happened to come along. Thus there would be nothing to stimulate or develop either the mind or the will, and we consequently should neither act nor think. We should have no memory, because that depends on a law of our organization. Even if we had any senses, we should be situated toward such a world precisely as inanimate objects are toward the present one, provided we suppose that these objects have an absolutely transitory and instantaneous consciousness without memory—a supposition which is a mere mode of speech, for that would be no consciousness at all. We may, therefore, say that a world of chance is simply our actual world viewed from the standpoint of an animal at the very vanishing-point of intelligence. The actual world is almost a chance-medley to the mind of a polyp. The interest which the uniformities of Nature have for an animal measures his place in the scale of intelligence.

Thus, nothing can be made out from the orderliness of Nature in regard to the existence of a God, unless it be maintained that the existence of a finite mind proves the existence of an infinite one.

III.

In the last of these papers we examined the nature of inductive or synthetic reasoning. We found it to be a process of sampling. A number of specimens of a class are taken, not by selection within that class, but at random. These specimens will agree in a great number of respects. If, now, it were likely that a second lot would agree with the first in the majority of these respects, we might base on this consideration an inference in regard to any one of these characters. But such an inference would neither be of the nature of induction, nor would it (except in special cases) be valid, because the vast majority of points of agreement in the first sample drawn would generally be entirely accidental, as well as insignificant. To illustrate this, I take the ages at death of the first five poets given in Wheeler's "Biographical Dictionary." They are:

Aagard, 48.
Abeille, 70.
Abulola, 84.
Abunowas, 48.
Accords, 45.

These five ages have the following characters in common:

1. The difference of the two digits composing the number, divided by three, leaves a remainder of one.

2. The first digit raised to the power indicated by the second, and divided by three, leaves a remainder of one.

3. The sum of the prime factors of each age, including one, is divisible by three.

It is easy to see that the number of accidental agreements of this sort would be quite endless. But suppose that, instead of considering a character because of its prevalence in the sample, we designate a character before taking the sample, selecting it for its importance, obviousness, or other point of interest. Then two considerable samples drawn at random are extremely likely to agree approximately in regard to the proportion of occurrences of a character so chosen. The inference that a previously designated character has nearly the same frequency of occurrence in the whole of a class that it has in a sample drawn at random out of that class is induction. If the character be not previously designated, then a sample in which it is found to be prevalent can only serve to suggest that it may be prevalent in the whole class. We may consider this surmise as an inference if we please—an inference of possibility; but a second sample must be drawn to test the question of whether the character actually is prevalent. Instead of designating beforehand a single character in reference to which we will examine a sample, we may designate two, and use the same sample to determine the relative frequencies of both. This will be making two inductive inferences at once; and, of course, we are less certain that both will yield correct conclusions than we should be that either separately would do so. What is true of two characters is true of any limited number. Now, the number of characters which have any considerable interest for us in reference to any class of objects is more moderate than might be supposed. As we shall be sure to examine any sample with reference to these characters, they may be regarded not exactly as predesignated, but as predetermined (which amounts to the same thing); and we may infer that the sample represents the class in all these respects if we please, remembering only that this is not so secure an inference as if the particular quality to be looked for had been fixed upon beforehand.

The demonstration of this theory of induction rests upon principles and follows methods which are accepted by all those who display in other matters the particular knowledge and force of mind which qualify them to judge of this. The theory itself, however, quite unaccountably seems never to have occurred to any of the writers who have undertaken to explain synthetic reasoning. The most widely-spread opinion in the matter is one which was much promoted by Mr. John Stuart Mill—namely, that induction depends for its validity upon the uniformity of Nature—that is, on the principle that what happens once will, under a sufficient degree of similarity of circumstances, happen again as often as the same circumstances recur. The application is this: The fact that different things belong to the same class constitutes the similarity of circumstances, and the induction is good, provided this similarity is "sufficient." What happens once is, that a number of these things are found to have a certain character; what may be expected, then, to happen again as often as the circumstances recur consists in this, that all things belonging to the same class should have the same character.

This analysis of induction has, I venture to think, various imperfections, to some of which it may be useful to call attention. In the first place, when I put my hand in a bag and draw out a handful of beans, and, finding three-quarters of them black, infer that about three-quarters of all in the bag are black, my inference is obviously of the same kind as if I had found any larger proportion, or the whole, of the sample black, and had assumed that it represented in that respect the rest of the contents of the bag. But the analysis in question hardly seems adapted to the explanation of this proportionate induction, where the conclusion, instead of being that a certain event uniformly happens under certain circumstances, is precisely that it does not uniformly occur, but only happens in a certain proportion of cases. It is true that the whole sample may be regarded as a single object, and the inference may be brought under the formula proposed by considering the conclusion to be that any similar sample will show a similar proportion among its constituents. But this is to treat the induction as if it rested on a single instance, which gives a very false idea of its probability.

In the second place, if the uniformity of Nature were the sole warrant of induction, we should have no right to draw one in regard to a character whose constancy we knew nothing about. Accordingly, Mr. Mill says that, though none but white swans were known to Europeans for thousands of years, yet the inference that all swans were white was "not a good induction," because it was not known that color was a usual generic character (it, in fact, not being so by any means). But it is mathematically demonstrable that an inductive inference may have as high a degree of probability as you please independent of any antecedent knowledge of the constancy of the character inferred. Before it was known that color is not usually a character of genera, there was certainly a considerable probability that all swans were white. But the further study of the genera of animals led to the induction of their non-uniformity in regard to color. A deductive application of this general proposition would have gone far to overcome the probability of the universal whiteness of swans before the black species was discovered. When we do know anything in regard to the general constancy or inconstancy of a character, the application of that general knowledge to the particular class to which any induction relates, though it serves to increase or diminish the force of the induction, is, like every application of general knowledge to particular cases, deductive in its nature and not inductive.

In the third place, to say that inductions are true because similar events happen in similar circumstances—or, what is the same thing, because objects similar in some respects are likely to be similar in others—is to overlook those conditions which really are essential to the validity of inductions. When we take all the characters into account, any pair of objects resemble one another in just as many particulars as any other pair. If we limit ourselves to such characters as have for us any importance, interest, or obviousness, then a synthetic conclusion may be drawn, but only on condition that the specimens by which we judge have been taken at random from the class in regard to which we are to form a judgment, and not selected as belonging to any sub-class. The induction only has its full force when the character concerned has been designated before examining the sample. These are the essentials of induction, and they are not recognized in attributing the validity of induction to the uniformity of Nature. The explanation of induction by the doctrine of probabilities, given in the last of these papers, is not a mere metaphysical formula, but is one from which all the rules of synthetic reasoning can be deduced systematically and with mathematical cogency. But the account of the matter by a principle of Nature, even if it were in other respects satisfactory, presents the fatal disadvantage of leaving us quite as much afloat as before in regard to the proper method of induction. It does not surprise me, therefore, that those who adopt this theory have given erroneous rules for the conduct of reasoning, nor that the greater number of examples put forward by Mr. Mill in his first edition, as models of what inductions should be, proved in the light of further scientific progress so particularly unfortunate that they had to be replaced by others in later editions. One would have supposed that Mr. Mill might have based an induction on this circumstance, especially as it is his avowed principle that, if the conclusion of an induction turns out false, it cannot have been a good induction. Nevertheless, neither he nor any of his scholars seem to have been led to suspect, in the least, the perfect solidity of the framework which he devised for securely supporting the mind in its passage from the known to the unknown, although at its first trial it did not answer quite so well as had been expected.

IV.

When we have drawn any statistical induction—such, for instance, as that one-half of all births are of male children—it is always possible to discover, by investigation sufficiently prolonged, a class of which the same predicate may be affirmed universally; to find out, for instance, to what sort of births are of male children. The truth of this principle follows immediately from the theorem that there is a character peculiar to every possible group of objects. The form in which the principle is usually stated is, that every event must have a cause.

But, though there exists a cause for every event, and that of a kind which is capable of being discovered, yet if there be nothing to guide us to the discovery; if we have to hunt among all the events in the world without any scent; if, for instance, the sex of a child might equally be supposed to depend on the configuration of the planets, on what was going on at the antipodes, or on anything else—then the discovery would have no chance of ever getting made.

That we ever do discover the precise causes of things, that any induction whatever is absolutely without exception, is what we have no right to assume. On the contrary, it is an easy corollary, from the theorem just referred to, that every empirical rule has an exception. But there are certain of our inductions which present an approach to universality so extraordinary that, even if we are to suppose that they are not strictly universal truths, we cannot possibly think that they have been reached merely by accident. The most remarkable laws of this kind are those of time and space. With reference to space, Bishop Berkeley first showed, in a very conclusive manner, that it was not a thing seen, but a thing inferred. Berkeley chiefly insists on the impossibility of directly seeing the third dimension of space, since the retina of the eye is a surface. But, in point of fact, the retina is not even a surface; it is a conglomeration of nerve-needles directed toward the light and having only their extreme points sensitive, these points lying at considerable distances from one another compared with their areas. Now, of these points, certainly the excitation of no one singly can produce the perception of a surface, and consequently not the aggregate of all the sensations can amount to this. But certain relations subsist between the excitations of different nerve-points, and these constitute the premises upon which the hypothesis of space is founded, and from which it is inferred. That space is not immediately perceived is now universally admitted; and a mediate cognition is what is called an inference, and is subject to the criticism of logic. But what are we to say to the fact of every chicken as soon as it is hatched solving a problem whose data are of a complexity sufficient to try the greatest mathematical powers? It would be insane to deny that the tendency to light upon the conception of space is inborn in the mind of the chicken and of every animal. The same thing is equally true of time. That time is not directly perceived is evident, since no lapse of time is present, and we only perceive what is present. That, not having the idea of time, we should ever be able to perceive the flow in our sensations without some particular aptitude for it, will probably also be admitted. The idea of force—at least, in its rudiments—is another conception so early arrived at, and found in animals so low in the scale of intelligence, that it must be supposed innate. But the innateness of an idea admits of degree, for it consists in the tendency of that idea to present itself to the mind. Some ideas, like that of space, do so present themselves irresistibly at the very dawn of intelligence, and take possession of the mind on small provocation, while of other conceptions we are prepossessed, indeed, but not so strongly, down a scale which is greatly extended. The tendency to personify every thing, and to attribute human characters to it, may be said to be innate; but it is a tendency which is very soon overcome by civilized man in regard to the greater part of the objects about him. Take such a conception as that of gravitation varying inversely as the square of the distance. It is a very simple law. But to say that it is simple is merely to say that it is one which the mind is particularly adapted to apprehend with facility. Suppose the idea of a quantity multiplied into another had been no more easy to the mind than that of a quantity raised to the power indicated by itself—should we ever have discovered the law of the solar system?

It seems incontestable, therefore, that the mind of man is strongly adapted to the comprehension of the world; at least, so far as this goes, that certain conceptions, highly important for such a comprehension, naturally arise in his mind; and, without such a tendency, the mind could never have had any development at all.

How are we to explain this adaptation? The great utility and indispensableness of the conceptions of time, space, and force, even to the lowest intelligence, are such as to suggest that they are the results of natural selection. Without something like geometrical, kinetical, and mechanical conceptions, no animal could seize his food or do anything which might be necessary for the preservation of the species. He might, it is true, be provided with an instinct which would generally have the same effect; that is to say, he might have conceptions different from those of time, space, and force, but which coincided with them in regard to the ordinary cases of the animal's experience. But, as that animal would have an immense advantage in the struggle for life whose mechanical conceptions did not break down in a novel situation (such as development must bring about), there would be a constant selection in favor of more and more correct ideas of these matters. Thus would be attained the knowledge of that fundamental law upon which all science rolls; namely, that forces depend upon relations of time, space, and mass. When this idea was once sufficiently clear, it would require no more than a comprehensible degree of genius to discover the exact nature of these relations. Such an hypothesis naturally suggests itself but it must be admitted that it does not seem sufficient to account for the extraordinary accuracy with which these conceptions apply to the phenomena of Nature, and it is probable that there is some secret here which remains to be discovered.

V.

Some important questions of logic depend upon whether we are to consider the material universe as of limited extent and finite age, or quite boundless in space and in time. In the former case, it is conceivable that a general plan or design embracing the whole universe should be discovered, and it would be proper to be on the alert for some traces of such a unity. In the latter case, since the proportion of the world of which we can have any experience is less than the smallest assignable fraction, it follows that we never could discover any pattern in the universe except a repeating one; any design embracing the whole would be beyond our powers to discern, and beyond the united powers of all intellects during all time. Now, what is absolutely incapable of being known is, as we have seen in a former paper, not real at all. An absolutely incognizable existence is a nonsensical phrase. If, therefore, the universe is infinite, the attempt to find in it any design embracing it as a whole is futile, and involves a false way of looking at the subject. If the universe never had any beginning, and if in space world stretches beyond world without limit, there is no whole of material things, and consequently no general character to the universe, and no need or possibility of any governor for it. But if there was a time before which absolutely no matter existed, if there are certain absolute bounds to the region of things outside of which there is a mere void, then we naturally seek for an explanation of it, and, since we cannot look for it among material things, the hypothesis of a great disembodied animal, the creator and governor of the world, is natural enough.

The actual state of the evidence as to the limitation of the universe is as follows: As to time, we find on our earth a constant progress of development since the planet was a red-hot ball; the solar system seems to have resulted from the condensation of a nebula, and the process appears to be still going on. We sometimes see stars (presumably with systems of worlds) destroyed and apparently resolved back into the nebulous condition, but we have no evidence of any existence of the world previous to the nebulous stage from which it seems to have been evolved. All this rather favors the idea of a beginning than otherwise. As for limits in space, we cannot be sure that we see anything outside of the system of the milky-way. Minds of theological predilections have therefore no need of distorting the facts to reconcile them with their views.

But the only scientific presumption is, that the unknown parts of space and time are like the known parts, occupied; that, as we see cycles of life and death in all development which we can trace out to the end, the same holds good in regard to solar systems; that as enormous distances lie between the different planets of our solar system, relatively to their diameters, and as still more enormous distances lie between our system relatively to its diameter and other systems, so it may be supposed that other galactic clusters exist so remote from ours as not to be recognized as such with certainty. I do not say that these are strong inductions; I only say that they are the presumptions which, in our ignorance of the facts, should be preferred to hypotheses which involve conceptions of things and occurrences totally different in their character from any of which we have had any experience, such as disembodied spirits, the creation of matter, infringements of the laws of mechanics, etc.

The universe ought to be presumed too vast to have any character. When it is claimed that the arrangements of Nature are benevolent, or just, or wise, or of any other peculiar kind, we ought to be prejudiced against such opinions, as being the offspring of an ill-founded notion of the finitude of the world. And examination has hitherto shown that such beneficences, justice, etc., are of a most limited kind—limited in degree and limited in range.

In like manner, if any one claims to have discovered a plan in the structure of organized beings, or a scheme in their classification, or a regular arrangement among natural objects, or a system of proportionality in the human form, or an order of development, or a correspondence between conjunctions of the planets and human events, or a significance in numbers, or a key to dreams, the first thing we have to ask is whether such relations are susceptible of explanation on mechanical principles, and if not they should be looked upon with disfavor as having already a strong presumption against them; and examination has generally exploded all such theories.

There are minds to whom every prejudice, every presumption, seems unfair. It is easy to say what minds these are. They are those who never have known what it is to draw a well-grounded induction, and who imagine that other people's knowledge is as nebulous as their own. That all science rolls upon presumption (not of a formal but of a real kind) is no argument with them, because they cannot imagine that there is anything solid in human knowledge. These are the people who waste their time and money upon perpetual motions and other such rubbish.

But there are better minds who take up mystical theories (by which I mean all those which have no possibility of being mechanically explained). These are persons who are strongly prejudiced in favor of such theories. We all have natural tendencies to believe in such things; our education often strengthens this tendency; and the result is, that to many minds nothing seems so antecedently probable as a theory of this kind. Such persons find evidence enough in favor of their views, and in the absence of any recognized logic of induction they cannot be driven from their belief.

But to the mind of a physicist there ought to be a strong presumption against every mystical theory; and therefore it seems to me that those scientific men who have sought to make out that science was not hostile to theology have not been so clear-sighted as their opponents.

It would be extravagant to say that science can at present disprove religion; but it does seem to me that the spirit of science is hostile to any religion except such a one as that of M. Vacherot. Our appointed teachers inform us that Buddhism is a miserable and atheistical faith, shorn of the most glorious and needful attributes of a religion; that its priests can be of no use to agriculture by praying for rain, nor to war by commanding the sun to stand still. We also hear the remonstrances of those who warn us that to shake the general belief in the living God would be to shake the general morals, public and private. This, too, must be admitted; such a revolution of thought could no more be accomplished without waste and desolation than a plantation of trees could be transferred to new ground, however wholesome in itself, without all of them languishing for a time, and many of them dying. Nor is it, by-the-way, a thing to be presumed that a man would have taken part in a movement having a possible atheistical issue without having taken serious and adequate counsel in regard to that responsibility. But, let the consequences of such a belief be as dire as they may, one thing is certain: that the state of the facts, whatever it may be, will surely get found out, and no human prudence can long arrest the triumphal car of truth—no, not if the discovery were such as to drive every individual of our race to suicide!

But it would be folly to suppose that any metaphysical theory in regard to the mode of being of the perfect is to destroy that aspiration toward the perfect which constitutes the essence of religion. It is true that, if the priests of any particular form of religion succeed in making it generally believed that religion cannot exist without the acceptance of certain formulas, or if they succeed in so interweaving certain dogmas with the popular religion that the people can see no essential analogy between a religion which accepts these points of faith and one which rejects them, the result may very well be to render those who cannot believe these things irreligious. Nor can we ever hope that any body of priests should consider themselves more teachers of religion in general than of the particular system of theology advocated by their own party. But no man need be excluded from participation in the common feelings, nor from so much of the public expression of them as is open to all the laity, by the unphilosophical narrowness of those who guard the mysteries of worship. Am I to be prevented from joining in that common joy at the revelation of enlightened principles of religion, which we celebrate at Easter and Christmas, because I think that certain scientific, logical, and metaphysical ideas which have been mixed up with these principles are untenable? No; to do so would be to estimate those errors as of more consequence than the truth—an opinion which few would admit. People who do not believe what are really the fundamental principles of Christianity are rare to find, and all but these few ought to feel at home in the churches.