arithmetical operation; is a statement of one of the modes of formation of a given number. It affirms that a certain aggregate might have been formed by putting together certain other aggregates, or by withdrawing certain portions of some aggregate; and that, by consequence, we might reproduce those aggregates from it, by reversing the process.
Thus, when we say that the cube of 12 is 1728, what we affirm is this: that if, having a sufficient number of pebbles or of any other objects, we put them together into the particular sort of parcels or aggregates called twelves; and put together these twelves again into similar collections; and, finally, make up twelve of these largest parcels; the aggregate thus formed will be such a one as we call 1728; namely, that which (to take the most familiar of its modes of formation) may be made by joining the parcel called a thousand pebbles, the parcel called seven hundred pebbles, the parcel called twenty pebbles, and the parcel called eight pebbles.
The converse proposition that the cube root of 1728 is 12, asserts that this large aggregate may again be decomposed into the twelve twelves of twelves of pebbles which it consists of.
The modes of formation of any number are innumerable; but when we know one mode of formation of each, all the rest may be determined deductively. If we know that _a_ is formed from _b_ and _c_, _b_ from _a_ and _e_, _c_ from _d_ and _f_, and so forth, until we have included all the numbers of any scale we choose to select (taking care that for each number the mode of formation be really a distinct one, not bringing us round again to the former numbers, but introducing a new number), we have a set of propositions from which we may reason to all the other modes of formation of those numbers from one another. Having established a chain of inductive truths connecting together all the numbers of the scale, we can ascertain the formation of any one of those numbers from any other by merely traveling from one to the other along the chain. Suppose that we know only the following modes of formation: 6=4+2, 4=7–3, 7=5+2, 5=9–4. We could determine how 6 may be formed from 9. For 6=4+2=7–3+2=5+2–3+2=9–4+2–3+2.
It may therefore be formed by taking away 4 and 3, and adding 2 and 2. If we know besides that 2+2=4, we obtain 6 from 9 in a simpler mode, by merely taking away 3.
It is sufficient, therefore, to select one of the various modes of formation of each number, as a means of ascertaining all the rest. And since things which are uniform, and therefore simple, are most easily received and retained by the understanding, there is an obvious advantage in selecting a mode of formation which shall be alike for all; in fixing the connotation of names of number on one uniform principle. The mode in which our existing numerical nomenclature is contrived possesses this advantage, with the additional one, that it happily conveys to the mind two of the modes of formation of every number. Each number is considered as formed by the addition of a unit to the number next below it in magnitude, and this mode of formation is conveyed by the place which it occupies in the series. And each is also considered as formed by the addition of a number of units less than ten, and a number of aggregates each equal to one of the successive powers of ten; and this mode of its formation is expressed by its spoken name, and by its numerical character.
What renders arithmetic the type of a deductive science, is the fortunate applicability to it of a law so comprehensive as “The sums of equals are equals:” or (to express the same principle in less familiar but more characteristic language), Whatever is made up of parts, is made up of the parts of those parts. This truth, obvious to the senses in all cases which can be fairly referred to their decision, and so general as to be co-extensive with nature itself, being true of all sorts of phenomena (for all admit of being numbered), must be considered an inductive truth, or law of nature, of the highest order. And every arithmetical operation is an application of this law, or of other laws capable of being deduced from it. This is our warrant for all calculations. We believe that five and two are equal to seven, on the evidence of this inductive law, combined with the definitions of those numbers. We arrive at that conclusion (as all know who remember how they first learned it) by adding a single unit at a time: 5 + 1=6, therefore 5+1+1=6+1=7; and again 2=1+1, therefore 5+2=5+1+1=7.
§ 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 co-extensive 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 can not 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_, _ax_, _x_/_a_, 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 a2+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 + 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.
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 _quæsitum_ 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, etc., 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 further; 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 recognized 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 any thing 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 recognized as what they really are, 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 can not agree. The equality of two geometrical magnitudes can not 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 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 recognize 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 can not 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.(200) § 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 _vicè versa_. 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 remarks which it seems 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 can not, 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 colors are mixed on a painter’s palette, the comparative quantity of each entirely determines the color 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 can not 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.”(201) 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 ἀγεωμέτρητος, 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 favor 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 a 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 any thing 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 can not 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)(202) 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 recognizes 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 can not 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