6. Innumerable as are the true propositions which can be formed concerning particular numbers, no adequate conception could be gained, from these alone, of the extent of the truths composing the science of number. Such propositions as we have spoken of are the least general of all numerical truths. It is true that even these are coextensive with all nature: the properties of the number four are true of all objects that are divisible into four equal parts, and all objects are either actually or ideally so divisible. But the propositions which compose the science of algebra are true, not of a particular number, but of all numbers; not of all things under the condition of being divided in a particular way, but of all things under the condition of being divided in any way--of being designated by a number at all.
Since it is impossible for different numbers to have any of their modes of formation completely in common, it is a kind of paradox to say, that all propositions which can be made concerning numbers relate to their modes of formation from other numbers, and yet that there are propositions which are true of all numbers. But this very paradox leads to the real principle of generalization concerning the properties of numbers. Two different numbers cannot be formed in the same manner from the same numbers; but they may be formed in the same manner from different numbers; as nine is formed from three by multiplying it into itself, and sixteen is formed from four by the same process. Thus there arises a classification of modes of formation, or in the language commonly used by mathematicians, a classification of Functions. Any number, considered as formed from any other number, is called a function of it; and there are as many kinds of functions as there are modes of formation. The simple functions are by no means numerous, most functions being formed by the combination of several of the operations which form simple functions, or by successive repetitions of some one of those operations. The simple functions of any number _x_ are all reducible to the following forms: _x + a_, _x - a_, _a x_, _x/a_, _x^a_, _a [root of] x_, log. _x_ (to the base _a_), and the same expressions varied by putting _x_ for _a_ and _a_ for _x_, wherever that substitution would alter the value: to which perhaps ought to be added sin _x_, and arc (sin = _x_). All other functions of _x_ are formed by putting some one or more of the simple functions in the place of _x_ or _a_, and subjecting them to the same elementary operations.
In order to carry on general reasonings on the subject of Functions, we require a nomenclature enabling us to express any two numbers by names which, without specifying what particular numbers they are, shall show what function each is of the other; or, in other words, shall put in evidence their mode of formation from one another. The system of general language called algebraical notation does this. The expressions _a_ and _a^2 + 3a_ denote, the one any number, the other the number formed from it in a particular manner. The expressions _a_, _b_, _n_, and _(a + b)^n_, denote any three numbers, and a fourth which is formed from them in a certain mode.
The following may be stated as the general problem of the algebraical calculus: F being a certain function of a given number, to find what function F will be of any function of that number. For example, a binomial _a_ + _b_ is a function of its two parts _a_ and _b_, and the parts are, in their turn, functions of _a + b_: now _(a + b)^n_ is a certain function of the binomial; what function will this be of _a_ and _b_, the two parts? The answer to this question is the binomial theorem.
The formula _(a + b)^n = a^n + (n / 1) a^(n - 1) b + ((n(n - 1)) / (12)) a^(n - 2) b^2 + &c._, shows in what manner the number which is formed by multiplying _a + b_ into itself _n_ times, might be formed without that process, directly from _a_, _b_, and _n_. And of this nature are all the theorems of the science of number. They assert the identity of the result of different modes of formation. They affirm that some mode of formation from _x_, and some mode of formation from a certain function of _x_, produce the same number.
Besides these general theorems of formul, what remains in the algebraical calculus is the resolution of equations. But the resolution of an equation is also a theorem. If the equation be _x^2 + ax = b_, the resolution of this equation, viz. _x = -(1/2) a [root of]((1/4) a^2 + b)_, is a general proposition, which may be regarded as an answer to the question, If _b_ is a certain function of _x_ and _a_ (namely _x^2 + ax_), what function is _x_ of _b_ and _a_? The resolution of equations is, therefore, a mere variety of the general problem as above stated. The problem is--Given a function, what function is it of some other function? And in the resolution of an equation, the question is, to find what function of one of its own functions the number itself is.
Such as above described, is the aim and end of the calculus. As for its processes, every one knows that they are simply deductive. In demonstrating an algebraical theorem, or in resolving an equation, we travel from the _datum_ to the _qusitum_ by pure ratiocination; in which the only premises introduced, besides the original hypotheses, are the fundamental axioms already mentioned--that things equal to the same thing are equal to one another, and that the sums of equal things are equal. At each step in the demonstration or in the calculation, we apply one or other of these truths, or truths deducible from them, as, that the differences, products, &c., of equal numbers are equal.
It would be inconsistent with the scale of this work, and not necessary to its design, to carry the analysis of the truths and processes of algebra any farther; which is also the less needful, as the task has been, to a very great extent, performed by other writers. Peacock's Algebra, and Dr. Whewell's _Doctrine of Limits_, are full of instruction on the subject. The profound treatises of a truly philosophical mathematician, Professor De Morgan, should be studied by every one who desires to comprehend the evidence of mathematical truths, and the meaning of the obscurer processes of the calculus; and the speculations of M. Comte, in his _Cours de Philosophie Positive_, on the philosophy of the higher branches of mathematics, are among the many valuable gifts for which philosophy is indebted to that eminent thinker.
7. If the extreme generality, and remoteness not so much from sense as from the visual and tactual imagination, of the laws of number, renders it a somewhat difficult effort of abstraction to conceive those laws as being in reality physical truths obtained by observation; the same difficulty does not exist with regard to the laws of extension. The facts of which those laws are expressions, are of a kind peculiarly accessible to the senses, and suggesting eminently distinct images to the fancy. That geometry is a strictly physical science would doubtless have been recognised in all ages, had it not been for the illusions produced by two circumstances. One of these is the characteristic property, already noticed, of the facts of geometry, that they may be collected from our ideas or mental pictures of objects as effectually as from the objects themselves. The other is, the demonstrative character of geometrical truths; which was at one time supposed to constitute a radical distinction between them and physical truths, the latter, as resting on merely probable evidence, being deemed essentially uncertain and unprecise. The advance of knowledge has, however, made it manifest that physical science, in its better understood branches, is quite as demonstrative as geometry. The task of deducing its details from a few comparatively simple principles is found to be anything but the impossibility it was once supposed to be; and the notion of the superior certainty of geometry is an illusion, arising from the ancient prejudice which, in that science, mistakes the ideal data from which we reason, for a peculiar class of realities, while the corresponding ideal data of any deductive physical science are recognised as what they really are, mere hypotheses.
Every theorem in geometry is a law of external nature, and might have been ascertained by generalizing from observation and experiment, which in this case resolve themselves into comparison and measurement. But it was found practicable, and being practicable, was desirable, to deduce these truths by ratiocination from a small number of general laws of nature, the certainty and universality of which are obvious to the most careless observer, and which compose the first principles and ultimate premises of the science. Among these general laws must be included the same two which we have noticed as ultimate principles of the Science of Number also, and which are applicable to every description of quantity; viz. The sums of equals are equal, and Things which are equal to the same thing are equal to one another; the latter of which may be expressed in a manner more suggestive of the inexhaustible multitude of its consequences, by the following terms: Whatever is equal to any one of a number of equal magnitudes, is equal to any other of them. To these two must be added, in geometry, a third law of equality, namely, that lines, surfaces, or solid spaces, which can be so applied to one another as to coincide, are equal. Some writers have asserted that this law of nature is a mere verbal definition; that the expression "equal magnitudes" _means_ nothing but magnitudes which can be so applied to one another as to coincide. But in this opinion I cannot agree. The equality of two geometrical magnitudes cannot differ fundamentally in its nature from the equality of two weights, two degrees of heat, or two portions of duration, to none of which would this pretended definition of equality be suitable. None of these things can be so applied to one another as to coincide, yet we perfectly understand what we mean when we call them equal. Things are equal in magnitude, as things are equal in weight, when they are felt to be exactly similar in respect of the attribute in which we compare them: and the application of the objects to each other in the one case, like the balancing them with a pair of scales in the other, is but a mode of bringing them into a position in which our senses can recognise deficiencies of exact resemblance that would otherwise escape our notice.
Along with these three general principles or axioms, the remainder of the premises of geometry consists of the so-called definitions, that is to say, propositions asserting the real existence of the various objects therein designated, together with some one property of each. In some cases more than one property is commonly assumed, but in no case is more than one necessary. It is assumed that there are such things in nature as straight lines, and that any two of them setting out from the same point, diverge more and more without limit. This assumption, (which includes and goes beyond Euclid's axiom that two straight lines cannot inclose a space,) is as indispensable in geometry, and as evident, resting on as simple, familiar, and universal observation, as any of the other axioms. It is also assumed that straight lines diverge from one another in different degrees; in other words, that there are such things as angles, and that they are capable of being equal or unequal. It is assumed that there is such a thing as a circle, and that all its radii are equal; such things as ellipses, and that the sums of the focal distances are equal for every point in an ellipse; such things as parallel lines, and that those lines are everywhere equally distant.[39]
8. It is a matter of more than curiosity to consider, to what peculiarity of the physical truths which are the subject of geometry, it is owing that they can all be deduced from so small a number of original premises: why it is that we can set out from only one characteristic property of each kind of phenomenon, and with that and two or three general truths relating to equality, can travel from mark to mark until we obtain a vast body of derivative truths, to all appearance extremely unlike those elementary ones.
The explanation of this remarkable fact seems to lie in the following circumstances. In the first place, all questions of position and figure may be resolved into questions of magnitude. The position and figure of any object are determined, by determining the position of a sufficient number of points in it; and the position of any point may be determined by the magnitude of three rectangular co-ordinates, that is, of the perpendiculars drawn from the point to three planes at right angles to one another, arbitrarily selected. By this transformation of all questions of quality into questions only of quantity, geometry is reduced to the single problem of the measurement of magnitudes, that is, the ascertainment of the equalities which exist between them. Now when we consider that by one of the general axioms, any equality, when ascertained, is proof of as many other equalities as there are other things equal to either of the two equals; and that by another of those axioms, any ascertained equality is proof of the equality of as many pairs of magnitudes as can be formed by the numerous operations which resolve themselves into the addition of the equals to themselves or to other equals; we cease to wonder that in proportion as a science is conversant about equality, it should afford a more copious supply of marks of marks; and that the sciences of number and extension, which are conversant with little else than equality, should be the most deductive of all the sciences.
There are also two or three of the principal laws of space or extension which are unusually fitted for rendering one position or magnitude a mark of another, and thereby contributing to render the science largely deductive. First; the magnitudes of inclosed spaces, whether superficial or solid, are completely determined by the magnitudes of the lines and angles which bound them. Secondly, the length of any line, whether straight or curve, is measured (certain other things being given) by the angle which it subtends, and _vice vers_. Lastly, the angle which any two straight lines make with each other at an inaccessible point, is measured by the angles they severally make with any third line we choose to select. By means of these general laws, the measurement of all lines, angles, and spaces whatsoever might be accomplished by measuring a single straight line and a sufficient number of angles; which is the plan actually pursued in the trigonometrical survey of a country; and fortunate it is that this is practicable, the exact measurement of long straight lines being always difficult, and often impossible, but that of angles very easy. Three such generalizations as the foregoing afford such facilities for the indirect measurement of magnitudes, (by supplying us with known lines or angles which are marks of the magnitude of unknown ones, and thereby of the spaces which they inclose,) that it is easily intelligible how from a few data we can go on to ascertain the magnitude of an indefinite multitude of lines, angles, and spaces, which we could not easily, or could not at all, measure by any more direct process.
9. Such are the few remarks which it seemed necessary to make in this place, respecting the laws of nature which are the peculiar subject of the sciences of number and extension. The immense part which those laws take in giving a deductive character to the other departments of physical science, is well known; and is not surprising, when we consider that all causes operate according to mathematical laws. The effect is always dependent on, or is a function of, the quantity of the agent; and generally of its position also. We cannot, therefore, reason respecting causation, without introducing considerations of quantity and extension at every step; and if the nature of the phenomena admits of our obtaining numerical data of sufficient accuracy, the laws of quantity become the grand instrument for calculating forward to an effect, or backward to a cause. That in all other sciences, as well as in geometry, questions of quality are scarcely ever independent of questions of quantity, may be seen from the most familiar phenomena.
Even when several colours are mixed on a painter's palette, the comparative quantity of each entirely determines the colour of the mixture.
With this mere suggestion of the general causes which render mathematical principles and processes so predominant in those deductive sciences which afford precise numerical data, I must, on the present occasion, content myself: referring the reader who desires a more thorough acquaintance with the subject, to the first two volumes of M.
Comte's systematic work.
In the same work, and more particularly in the third volume, are also fully discussed the limits of the applicability of mathematical principles to the improvement of other sciences. Such principles are manifestly inapplicable, where the causes on which any class of phenomena depend are so imperfectly accessible to our observation, that we cannot ascertain, by a proper induction, their numerical laws; or where the causes are so numerous, and intermixed in so complex a manner with one another, that even supposing their laws known, the computation of the aggregate effect transcends the powers of the calculus as it is, or is likely to be; or lastly, where the causes themselves are in a state of perpetual fluctuation; as in physiology, and still more, if possible, in the social science. The mathematical solutions of physical questions become progressively more difficult and imperfect, in proportion as the questions divest themselves of their abstract and hypothetical character, and approach nearer to the degree of complication actually existing in nature; insomuch that beyond the limits of astronomical phenomena, and of those most nearly analogous to them, mathematical accuracy is generally obtained "at the expense of the reality of the inquiry:" while even in astronomical questions, "notwithstanding the admirable simplicity of their mathematical elements, our feeble intelligence becomes incapable of following out effectually the logical combinations of the laws on which the phenomena are dependent, as soon as we attempt to take into simultaneous consideration more than two or three essential influences."[40] Of this, the problem of the Three Bodies has already been cited, more than once, as a remarkable instance; the complete solution of so comparatively simple a question having vainly tried the skill of the most profound mathematicians. We may conceive, then, how chimerical would be the hope that mathematical principles could be advantageously applied to phenomena dependent on the mutual action of the innumerable minute particles of bodies, as those of chemistry, and still more, of physiology; and for similar reasons those principles remain inapplicable to the still more complex inquiries, the subjects of which are phenomena of society and government.
The value of mathematical instruction as a preparation for those more difficult investigations, consists in the applicability not of its doctrines, but of its method. Mathematics will ever remain the most perfect type of the Deductive Method in general; and the applications of mathematics to the deductive branches of physics, furnish the only school in which philosophers can effectually learn the most difficult and important portion of their art, the employment of the laws of simpler phenomena for explaining and predicting those of the more complex. These grounds are quite sufficient for deeming mathematical training an indispensable basis of real scientific education, and regarding (according to the _dictum_ which an old but unauthentic tradition ascribes to Plato) one who is _??e??t??t??_, as wanting in one of the most essential qualifications for the successful cultivation of the higher branches of philosophy.
CHAPTER XXV.
OF THE GROUNDS OF DISBELIEF.
1. The method of arriving at general truths, or general propositions fit to be believed, and the nature of the evidence on which they are grounded, have been discussed, as far as space and the writer's faculties permitted, in the twenty-four preceding chapters. But the result of the examination of evidence is not always belief, nor even suspension of judgment; it is sometimes disbelief. The philosophy, therefore, of induction and experimental inquiry is incomplete, unless the grounds not only of belief, but of disbelief, are treated of; and to this topic we shall devote one, and the final, chapter.
By disbelief is not here to be understood the mere absence of belief.
The ground for abstaining from belief is simply the absence or insufficiency of proof; and in considering what is sufficient evidence to support any given conclusion, we have already, by implication, considered what evidence is not sufficient for the same purpose. By disbelief is here meant, not the state of mind in which we form no opinion concerning a subject, but that in which we are fully persuaded that some opinion is not true; insomuch that if evidence, even of great apparent strength, (whether grounded on the testimony of others or on our own supposed perceptions,) were produced in favour of the opinion, we should believe that the witnesses spoke falsely, or that they, or we ourselves if we were the direct percipients, were mistaken.
That there are such cases, no one is likely to dispute. Assertions for which there is abundant positive evidence are often disbelieved, on account of what is called their improbability, or impossibility. And the question for consideration is what, in the present case, these words mean, and how far and in what circumstances the properties which they express are sufficient grounds for disbelief.
2. It is to be remarked in the first place, that the positive evidence produced in support of an assertion which is nevertheless rejected on the score of impossibility or improbability, is never such as amounts to full proof. It is always grounded on some approximate generalization.
The fact may have been asserted by a hundred witnesses; but there are many exceptions to the universality of the generalization that what a hundred witnesses affirm is true. We may seem to ourselves to have actually seen the fact: but, that we really see what we think we see, is by no means an universal truth; our organs may have been in a morbid state; or we may have inferred something, and imagined that we perceived it. The evidence, then, in the affirmative being never more than an approximate generalization, all will depend on what the evidence in the negative is. If that also rests on an approximate generalization, it is a case for comparison of probabilities. If the approximate generalizations leading to the affirmative are, when added together, less strong, or in other words, farther from being universal, than the approximate generalizations which support the negative side of the question, the proposition is said to be improbable, and is to be disbelieved provisionally. If however an alleged fact be in contradiction, not to any number of approximate generalizations, but to a completed generalization grounded on a rigorous induction, it is said to be impossible, and is to be disbelieved totally.
This last principle, simple and evident as it appears, is the doctrine which, on the occasion of an attempt to apply it to the question of the credibility of miracles, excited so violent a controversy. Hume's celebrated doctrine, that nothing is credible which is contradictory to experience, or at variance with laws of nature, is merely this very plain and harmless proposition, that whatever is contradictory to a complete induction is incredible. That such a maxim as this should either be accounted a dangerous heresy, or mistaken for a great and recondite truth, speaks ill for the state of philosophical speculation on such subjects.
But does not (it may be asked) the very statement of the proposition imply a contradiction? An alleged fact, according to this theory, is not to be believed if it contradict a complete induction. But it is essential to the completeness of an induction that it shall not contradict any known fact. Is it not then a _petitio principii_ to say, that the fact ought to be disbelieved because the induction opposed to it is complete? How can we have a right to declare the induction complete, while facts, supported by credible evidence, present themselves in opposition to it?
I answer, we have that right whenever the scientific canons of induction give it to us; that is, whenever the induction _can_ be complete. We have it, for example, in a case of causation in which there has been an _experimentum crucis_. If an antecedent A, superadded to a set of antecedents in all other respects unaltered, is followed by an effect B which did not exist before, A is, in that instance at least, the cause of B, or an indispensable part of its cause; and if A be tried again with many totally different sets of antecedents and B still follows, then it is the whole cause. If these observations or experiments have been repeated so often, and by so many persons, as to exclude all supposition of error in the observer, a law of nature is established; and so long as this law is received as such, the assertion that on any particular occasion A took place, and yet B did not follow, _without any counteracting cause_, must be disbelieved. Such an assertion is not to be credited on any less evidence than what would suffice to overturn the law. The general truths, that whatever has a beginning has a cause, and that when none but the same causes exist, the same effects follow, rest on the strongest inductive evidence possible; the proposition that things affirmed by even a crowd of respectable witnesses are true, is but an approximate generalization; and--even if we fancy we actually saw or felt the fact which is in contradiction to the law--what a human being can see is no more than a set of appearances; from which the real nature of the phenomenon is merely an inference, and in this inference approximate generalizations usually have a large share. If, therefore, we make our election to hold by the law, no quantity of evidence whatever ought to persuade us that there has occurred anything in contradiction to it. If, indeed, the evidence produced is such that it is more likely that the set of observations and experiments on which the law rests should have been inaccurately performed or incorrectly interpreted, than that the evidence in question should be false, we may believe the evidence; but then we must abandon the law. And since the law was received on what seemed a complete induction, it can only be rejected on evidence equivalent; namely, as being inconsistent not with any number of approximate generalizations, but with some other and better established law of nature. This extreme case, of a conflict between two supposed laws of nature, has probably never actually occurred where, in the process of investigating both the laws, the true canons of scientific induction had been kept in view; but if it did occur, it must terminate in the total rejection of one of the supposed laws. It would prove that there must be a flaw in the logical process by which either one or the other was established: and if there be so, that supposed general truth is no truth at all. We cannot admit a proposition as a law of nature, and yet believe a fact in real contradiction to it.
We must disbelieve the alleged fact, or believe that we were mistaken in admitting the supposed law.
But in order that any alleged fact should be contradictory to a law of causation, the allegation must be, not simply that the cause existed without being followed by the effect, for that would be no uncommon occurrence; but that this happened in the absence of any adequate counteracting cause. Now in the case of an alleged miracle, the assertion is the exact opposite of this. It is, that the effect was defeated, not in the absence, but in consequence of a counteracting cause, namely, a direct interposition of an act of the will of some being who has power over nature; and in particular of a Being, whose will being assumed to have endowed all the causes with the powers by which they produce their effects, may well be supposed able to counteract them. A miracle (as was justly remarked by Brown[41]) is no contradiction to the law of cause and effect; it is a new effect, supposed to be produced by the introduction of a new cause. Of the adequacy of that cause, if present, there can be no doubt; and the only antecedent improbability which can be ascribed to the miracle, is the improbability that any such cause existed.
All, therefore, which Hume has made out, and this he must be considered to have made out, is, that (at least in the imperfect state of our knowledge of natural agencies, which leaves it always possible that some of the physical antecedents may have been hidden from us,) no evidence can prove a miracle to any one who did not previously believe the existence of a being or beings with supernatural power; or who believes himself to have full proof that the character of the Being whom he recognises, is inconsistent with his having seen fit to interfere on the occasion in question.
If we do not already believe in supernatural agencies, no miracle can prove to us their existence. The miracle itself, considered merely as an extraordinary fact, may be satisfactorily certified by our senses or by testimony; but nothing can ever prove that it is a miracle: there is still another possible hypothesis, that of its being the result of some unknown natural cause: and this possibility cannot be so completely shut out, as to leave no alternative but that of admitting the existence and intervention of a being superior to nature. Those, however, who already believe in such a being, have two hypotheses to choose from, a supernatural and an unknown natural agency; and they have to judge which of the two is the most probable in the particular case. In forming this judgment, an important element of the question will be the conformity of the result to the laws of the supposed agent, that is, to the character of the Deity as they conceive it. But, with the knowledge which we now possess of the general uniformity of the course of nature, religion, following in the wake of science, has been compelled to acknowledge the government of the universe as being on the whole carried on by general laws, and not by special interpositions. To whoever holds this belief, there is a general presumption against any supposition of divine agency not operating through general laws, or in other words, there is an antecedent improbability in every miracle, which, in order to outweigh it, requires an extraordinary strength of antecedent probability derived from the special circumstances of the case.
3. It appears from what has been said, that the assertion that a cause has been defeated of an effect which is connected with it by a completely ascertained law of causation, is to be disbelieved or not, according to the probability or improbability that there existed in the particular instance an adequate counteracting cause. To form an estimate of this, is not more difficult than of other probabilities. With regard to all _known_ causes capable of counteracting the given causes, we have generally some previous knowledge of the frequency or rarity of their occurrence, from which we may draw an inference as to the antecedent improbability of their having been present in any particular case. And neither in respect to known or unknown causes are we required to pronounce on the probability of their existing in nature, but only of their having existed at the time and place at which the transaction is alleged to have happened. We are seldom, therefore, without the means (when the circumstances of the case are at all known to us) of judging how far it is likely that such a cause should have existed at that time and place without manifesting its presence by some other marks, and (in the case of an unknown cause) without having hitherto manifested its existence in any other instance. According as this circumstance, or the falsity of the testimony, appears more improbable, that is, conflicts with an approximate generalization of a higher order, we believe the testimony, or disbelieve it; with a stronger or a weaker degree of conviction, according to the preponderance: at least until we have sifted the matter further.
So much, then, for the case in which the alleged fact conflicts, or appears to conflict, with a real law of causation. But a more common case, perhaps, is that of its conflicting with uniformities of mere coexistence, not proved to be dependent on causation: in other words, with the properties of Kinds. It is with these uniformities principally, that the marvellous stories related by travellers are apt to be at variance: as of men with tails, or with wings, and (until confirmed by experience) of flying fish; or of ice, in the celebrated anecdote of the Dutch travellers and the King of Siam. Facts of this description, facts previously unheard of but which could not from any known law of causation be pronounced impossible, are what Hume characterizes as not contrary to experience, but merely unconformable to it; and Bentham, in his treatise on Evidence, denominates them facts disconformable _in specie_, as distinguished from such as are disconformable _in toto_ or in _degree_.
In a case of this description, the fact asserted is the existence of a new Kind; which in itself is not in the slightest degree incredible, and only to be rejected if the improbability that any variety of object existing at the particular place and time should not have been discovered sooner, be greater than that of error or mendacity in the witnesses. Accordingly, such assertions, when made by credible persons, and of unexplored places, are not disbelieved, but at most regarded as requiring confirmation from subsequent observers; unless the alleged properties of the supposed new Kind are at variance with known properties of some larger kind which includes it; or in other words, unless, in the new Kind which is asserted to exist, some properties are said to have been found disjoined from others which have always been known to accompany them; as in the case of Pliny's men, or any other kind of animal of a structure different from that which has always been found to coexist with animal life. On the mode of dealing with any such case, little needs be added to what has been said on the same topic in the twenty-second chapter.[42] When the uniformities of coexistence which the alleged fact would violate, are such as to raise a strong presumption of their being the result of causation, the fact which conflicts with them is to be disbelieved; at least provisionally, and subject to further investigation. When the presumption amounts to a virtual certainty, as in the case of the general structure of organized beings, the only question requiring consideration is whether, in phenomena so little understood, there may not be liabilities to counteraction from causes hitherto unknown; or whether the phenomena may not be capable of originating in some other way, which would produce a different set of derivative uniformities. Where (as in the case of the flying fish, or the ornithorhynchus) the generalization to which the alleged fact would be an exception is very special and of limited range, neither of the above suppositions can be deemed very improbable; and it is generally, in the case of such alleged anomalies, wise to suspend our judgment, pending the subsequent inquiries which will not fail to confirm the assertion if it be true. But when the generalization is very comprehensive, embracing a vast number and variety of observations, and covering a considerable province of the domain of nature; then, for reasons which have been fully explained, such an empirical law comes near to the certainty of an ascertained law of causation: and any alleged exception to it cannot be admitted, unless on the evidence of some law of causation proved by a still more complete induction.
Such uniformities in the course of nature as do not bear marks of being the results of causation, are, as we have already seen, admissible as universal truths with a degree of credence proportioned to their generality. Those which are true of all things whatever, or at least which are totally independent of the varieties of Kinds, namely, the laws of number and extension, to which we may add the law of causation itself, are probably the only ones, an exception to which is absolutely and permanently incredible. Accordingly, it is to assertions supposed to be contradictory to these laws, or to some others coming near to them in generality, that the word impossibility (at least _total_ impossibility) seems to be generally confined. Violations of other laws, of special laws of causation for instance, are said, by persons studious of accuracy in expression, to be impossible _in the circumstances of the case_; or impossible unless some cause had existed which did not exist in the particular case.[43] Of no assertion, not in contradiction to some of these very general laws, will more than improbability be asserted by any cautious person; and improbability not of the highest degree, unless the time and place in which the fact is said to have occurred, render it almost certain that the anomaly, if real, could not have been overlooked by other observers. Suspension of judgment is in all other cases the resource of the judicious inquirer; provided the testimony in favour of the anomaly presents, when well sifted, no suspicious circumstances.
But the testimony is scarcely ever found to stand that test, in cases in which the anomaly is not real. In the instances on record in which a great number of witnesses, of good reputation and scientific acquirements, have testified to the truth of something which has turned out untrue, there have almost always been circumstances which, to a keen observer who had taken due pains to sift the matter, would have rendered the testimony untrustworthy. There have generally been means of accounting for the impression on the senses or minds of the alleged percipients, by fallacious appearances; or some epidemic delusion, propagated by the contagious influence of popular feeling, has been concerned in the case; or some strong interest has been implicated--religious zeal, party feeling, vanity, or at least the passion for the marvellous, in persons strongly susceptible of it. When none of these or similar circumstances exist to account for the apparent strength of the testimony; and where the assertion is not in contradiction either to those universal laws which know no counteraction or anomaly, or to the generalizations next in comprehensiveness to them, but would only amount, if admitted, to the existence of an unknown cause or an anomalous Kind, in circumstances not so thoroughly explored but that it is credible that things hitherto unknown may still come to light; a cautious person will neither admit nor reject the testimony, but will wait for confirmation at other times and from other unconnected sources. Such ought to have been the conduct of the King of Siam when the Dutch travellers affirmed to him the existence of ice. But an ignorant person is as obstinate in his contemptuous incredulity as he is unreasonably credulous. Anything unlike his own narrow experience he disbelieves, if it flatters no propensity; any nursery tale is swallowed implicitly by him if it does.
4. I shall now advert to a very serious misapprehension of the principles of the subject, which has been committed by some of the writers against Hume's Essay on Miracles, and by Bishop Butler before them, in their anxiety to destroy what appeared to them a formidable weapon of assault against the Christian religion; and the effect of which is entirely to confound the doctrine of the Grounds of Disbelief.
The mistake consists in overlooking the distinction between (what may be called) improbability before the fact, and improbability after it; or (since, as Mr. Venn remarks, the distinction of past and future is not the material circumstance) between the improbability of a mere guess being right, and the improbability of an alleged fact being true.
Many events are altogether improbable to us, before they have happened, or before we are informed of their happening, which are not in the least incredible when we are informed of them, because not contrary to any, even approximate, induction. In the cast of a perfectly fair die, the chances are five to one against throwing ace, that is, ace will be thrown on an average only once in six throws. But this is no reason against believing that ace was thrown on a given occasion, if any credible witness asserts it; since though ace is only thrown once in six times, _some_ number which is only thrown once in six times must have been thrown if the die was thrown at all. The improbability, then, or in other words, the unusualness, of any fact, is no reason for disbelieving it, if the nature of the case renders it certain that either that or something equally improbable, that is, equally unusual, did happen. Nor is this all: for even if the other five sides of the die were all twos, or all threes, yet as ace would still on the average come up once in every six throws, its coming up in a given throw would be not in any way contradictory to experience. If we disbelieved all facts which had the chances against them beforehand, we should believe hardly anything. We are told that A. B. died yesterday: the moment before we were so told, the chances against his having died on that day may have been ten thousand to one; but since he was certain to die at some time or other, and when he died must necessarily die on some particular day, while the preponderance of chances is very great against every day in particular, experience affords no ground for discrediting any testimony which may be produced to the event's having taken place on a given day.
Yet it has been considered, by Dr. Campbell and others, as a complete answer to Hume's doctrine (that things are incredible which are _contrary_ to the uniform course of experience), that we do not disbelieve, merely because the chances were against them, things in strict _conformity_ to the uniform course of experience; that we do not disbelieve an alleged fact merely because the combination of causes on which it depends occurs only once in a certain number of times. It is evident that whatever is shown by observation, or can be proved from laws of nature, to occur in a certain proportion (however small) of the whole number of possible cases, is not contrary to experience; though we are right in disbelieving it, if some other supposition respecting the matter in question involves on the whole a less departure from the ordinary course of events. Yet, on such grounds as this have able writers been led to the extraordinary conclusion, that nothing supported by credible testimony ought ever to be disbelieved.
5. We have considered two species of events, commonly said to be improbable; one kind which are in no way extraordinary, but which, having an immense preponderance of chances against them, are improbable until they are affirmed, but no longer; another kind which, being contrary to some recognised law of nature, are incredible on any amount of testimony except such as would be sufficient to shake our belief in the law itself. But between these two classes of events, there is an intermediate class, consisting of what are commonly termed Coincidences: in other words, those combinations of chances which present some peculiar and unexpected regularity, assimilating them, in so far, to the results of law. As if, for example, in a lottery of a thousand tickets, the numbers should be drawn in the exact order of what are called the natural numbers, 1, 2, 3, &c. We have still to consider the principles of evidence applicable to this case: whether there is any difference between coincidences and ordinary events, in the amount of testimony or other evidence necessary to render them credible.
It is certain, that on every rational principle of expectation, a combination of this peculiar sort may be expected quite as often as any other given series of a thousand numbers; that with perfectly fair dice, sixes will be thrown twice, thrice, or any number of times in succession, quite as often in a thousand or a million throws, as any other succession of numbers fixed upon beforehand; and that no judicious player would give greater odds against the one series than against the other. Notwithstanding this, there is a general disposition to regard the one as much more improbable than the other, and as requiring much stronger evidence to make it credible. Such is the force of this impression, that it has led some thinkers to the conclusion, that nature has greater difficulty in producing regular combinations than irregular ones; or in other words, that there is some general tendency of things, some law, which prevents regular combinations from occurring, or at least from occurring so often as others. Among these thinkers may be numbered D'Alembert; who, in an Essay on Probabilities to be found in the fifth volume of his _Mlanges_, contends that regular combinations, though equally probable according to the mathematical theory with any others, are physically less probable. He appeals to common sense, or in other words, to common impressions; saying, if dice thrown repeatedly in our presence gave sixes every time, should we not, before the number of throws had reached ten, (not to speak of thousands of millions,) be ready to affirm, with the most positive conviction, that the dice were false?
The common and natural impression is in favour of D'Alembert: the regular series would be thought much more unlikely than an irregular.
But this common impression is, I apprehend, merely grounded on the fact, that scarcely anybody remembers to have ever seen one of these peculiar coincidences: the reason of which is simply that no one's experience extends to anything like the number of trials, within which that or any other given combination of events can be expected to happen. The chance of sixes on a single throw of two dice being 1/36, the chance of sixes ten times in succession is 1 divided by the tenth power of 36; in other words, such a concurrence is only likely to happen once in 3,656,158,440,062,976 trials, a number which no dice-player's experience comes up to a millionth part of. But if, instead of sixes ten times, any other given succession of ten throws had been fixed upon, it would have been exactly as unlikely that in any individual's experience that particular succession had ever occurred; although this does not _seem_ equally improbable, because no one could possibly have remembered whether it had occurred or not, and because the comparison is tacitly made, not between sixes ten times and any one particular series of throws, but between all regular and all irregular successions taken together.
That (as D'Alembert says) if the succession of sixes was actually thrown before our eyes, we should ascribe it not to chance, but to unfairness in the dice, is unquestionably true. But this arises from a totally different principle. We should then be considering, not the probability of the fact in itself, but the comparative probability with which, when it is known to have happened, it may be referred to one or to another cause. The regular series is not at all less likely than the irregular one to be brought about by chance, but it is much more likely than the irregular one to be produced by design; or by some general cause operating through the structure of the dice. It is the nature of casual combinations to produce a repetition of the same event, as often and no oftener than any other series of events. But it is the nature of general causes to reproduce, in the same circumstances, always the same event.