A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

Although Dr. Whewell has naturally and properly employed a variety of phrases to bring his meaning more forcibly home, he would, I presume, allow that they are all equivalent; and that what he means by a necessary truth, would be sufficiently defined, a proposition the negation of which is not only false but inconceivable. I am unable to find in any of his expressions, turn them what way you will, a meaning beyond this, and I do not believe he would contend that they mean any thing more.

This, therefore, is the principle asserted: that propositions, the negation of which is inconceivable, or in other words, which we can not figure to ourselves as being false, must rest on evidence of a higher and more cogent description than any which experience can afford.

Now I can not but wonder that so much stress should be laid on the circumstance of inconceivableness, when there is such ample experience to [pg 178] show, that our capacity or incapacity of conceiving a thing has very little to do with the possibility of the thing in itself; but is in truth very much an affair of accident, and depends on the past history and habits of our own minds. There is no more generally acknowledged fact in human nature, than the extreme difficulty at first felt in conceiving any thing as possible, which is in contradiction to long established and familiar experience; or even to old familiar habits of thought. And this difficulty is a necessary result of the fundamental laws of the human mind. When we have often seen and thought of two things together, and have never in any one instance either seen or thought of them separately, there is by the primary law of association an increasing difficulty, which may in the end become insuperable, of conceiving the two things apart. This is most of all conspicuous in uneducated persons, who are in general utterly unable to separate any two ideas which have once become firmly associated in their minds; and if persons of cultivated intellect have any advantage on the point, it is only because, having seen and heard and read more, and being more accustomed to exercise their imagination, they have experienced their sensations and thoughts in more varied combinations, and have been prevented from forming many of these inseparable associations. But this advantage has necessarily its limits. The most practiced intellect is not exempt from the universal laws of our conceptive faculty. If daily habit presents to any one for a long period two facts in combination, and if he is not led during that period either by accident or by his voluntary mental operations to think of them apart, he will probably in time become incapable of doing so even by the strongest effort; and the supposition that the two facts can be separated in nature, will at last present itself to his mind with all the characters of an inconceivable phenomenon.[79] There are remarkable instances of this in the history of science: instances in which the most instructed men rejected as impossible, because inconceivable, things which their posterity, by earlier practice and longer perseverance in the attempt, found it quite easy to conceive, and which every body now knows to be true. There was a time when men of the most cultivated intellects, and the most emancipated from the dominion of early prejudice, could not credit the existence of antipodes; were unable to conceive, in opposition to old association, the force of gravity acting upward instead of downward. The Cartesians long rejected the Newtonian doctrine of the gravitation of all bodies toward one another, on the faith of a general proposition, the reverse of which seemed to them to be inconceivable—the proposition that a body can not act where it is not. All the cumbrous machinery of imaginary vortices, assumed without the smallest particle of evidence, appeared to these philosophers a more rational mode of explaining the heavenly motions, than one which involved what seemed to them so great an absurdity.[80]

And they no doubt found it as impossible to conceive that a body should act upon the earth from the distance of the sun or moon, as we find it to conceive an end to space or time, or two straight lines inclosing a space. Newton himself had not been able to realize the conception, or we should not have had his hypothesis of a subtle ether, the occult cause of gravitation; and his writings prove, that though he deemed the particular nature of the intermediate agency a matter of conjecture, the necessity of some such agency appeared to him indubitable.

If, then, it be so natural to the human mind, even in a high state of culture, to be incapable of conceiving, and on that ground to believe impossible, what is afterward not only found to be conceivable but proved to be true; what wonder if in cases where the association is still older, more confirmed, and more familiar, and in which nothing ever occurs to shake our conviction, or even suggest to us any conception at variance with the association, the acquired incapacity should continue, and be mistaken for a natural incapacity? It is true, our experience of the varieties in nature enables us, within certain limits, to conceive other varieties analogous to them. We can conceive the sun or moon falling; for though we never saw them fall, nor ever, perhaps, imagined them falling, we have seen so many other things fall, that we have innumerable familiar analogies to assist the conception; which, after all, we should probably have some difficulty in framing, were we not well accustomed to see the sun and moon move (or appear to move), so that we are only called upon to conceive a slight change in the direction of motion, a circumstance familiar to our experience. But when experience affords no model on which to shape the new conception, how is it possible for us to form it? How, for example, can we imagine an end to space or time? We never saw any object without something beyond it, nor experienced any feeling without something following it. When, therefore, we attempt to conceive the last point of space, we have the idea irresistibly raised of other points beyond it. When we try to imagine the last instant of time, we can not help conceiving another instant after it. Nor is there any necessity to assume, as is done by a modern school of metaphysicians, a peculiar fundamental law of the mind to account for the feeling of infinity inherent in our conceptions of space and time; that apparent infinity is sufficiently accounted for by simpler and universally acknowledged laws.

Now, in the case of a geometrical axiom, such, for example, as that two straight lines can not inclose a space—a truth which is testified to us by our very earliest impressions of the external world—how is it possible (whether those external impressions be or be not the ground of our belief) that the reverse of the proposition could be otherwise than inconceivable to us? What analogy have we, what similar order of facts in any other branch of our experience, to facilitate to us the conception of two straight lines inclosing a space? Nor is even this all. I have already called attention to the peculiar property of our impressions of form, that the ideas or mental images exactly resemble their prototypes, and adequately represent them for the purposes of scientific observation. From this, and from the intuitive character of the observation, which in this case reduces itself to [pg 180] simple inspection, we can not so much as call up in our imagination two straight lines, in order to attempt to conceive them inclosing a space, without by that very act repeating the scientific experiment which establishes the contrary. Will it really be contended that the inconceivableness of the thing, in such circumstances, proves any thing against the experimental origin of the conviction? Is it not clear that in whichever mode our belief in the proposition may have originated, the impossibility of our conceiving the negative of it must, on either hypothesis, be the same? As, then, Dr. Whewell exhorts those who have any difficulty in recognizing the distinction held by him between necessary and contingent truths, to study geometry—a condition which I can assure him I have conscientiously fulfilled—I, in return, with equal confidence, exhort those who agree with him, to study the general laws of association; being convinced that nothing more is requisite than a moderate familiarity with those laws, to dispel the illusion which ascribes a peculiar necessity to our earliest inductions from experience, and measures the possibility of things in themselves, by the human capacity of conceiving them.

I hope to be pardoned for adding, that Dr. Whewell himself has both confirmed by his testimony the effect of habitual association in giving to an experimental truth the appearance of a necessary one, and afforded a striking instance of that remarkable law in his own person. In his Philosophy of the Inductive Sciences he continually asserts, that propositions which not only are not self-evident, but which we know to have been discovered gradually, and by great efforts of genius and patience, have, when once established, appeared so self-evident that, but for historical proof, it would have been impossible to conceive that they had not been recognized from the first by all persons in a sound state of their faculties. “We now despise those who, in the Copernican controversy, could not conceive the apparent motion of the sun on the heliocentric hypothesis; or those who, in opposition to Galileo, thought that a uniform force might be that which generated a velocity proportional to the space; or those who held there was something absurd in Newton’s doctrine of the different refrangibility of differently colored rays; or those who imagined that when elements combine, their sensible qualities must be manifest in the compound; or those who were reluctant to give up the distinction of vegetables into herbs, shrubs, and trees. We can not help thinking that men must have been singularly dull of comprehension, to find a difficulty in admitting what is to us so plain and simple. We have a latent persuasion that we in their place should have been wiser and more clear-sighted; that we should have taken the right side, and given our assent at once to the truth. Yet in reality such a persuasion is a mere delusion. The persons who, in such instances as the above, were on the losing side, were very far, in most cases, from being persons more prejudiced, or stupid, or narrow-minded, than the greater part of mankind now are; and the cause for which they fought was far from being a manifestly bad one, till it had been so decided by the result of the war.... So complete has been the victory of truth in most of these instances, that at present we can hardly imagine the struggle to have been necessary. The very essence of these triumphs is, that they lead us to regard the views we reject as not only false but inconceivable.”[81]

This last proposition is precisely what I contend for; and I ask no more, in order to overthrow the whole theory of its author on the nature of the [pg 181] evidence of axioms. For what is that theory? That the truth of axioms can not have been learned from experience, because their falsity is inconceivable. But Dr. Whewell himself says, that we are continually led, by the natural progress of thought, to regard as inconceivable what our forefathers not only conceived but believed, nay even (he might have added) were unable to conceive the reverse of. He can not intend to justify this mode of thought: he can not mean to say, that we can be right in regarding as inconceivable what others have conceived, and as self-evident what to others did not appear evident at all. After so complete an admission that inconceivableness is an accidental thing, not inherent in the phenomenon itself, but dependent on the mental history of the person who tries to conceive it, how can he ever call upon us to reject a proposition as impossible on no other ground than its inconceivableness? Yet he not only does so, but has unintentionally afforded some of the most remarkable examples which can be cited of the very illusion which he has himself so clearly pointed out. I select as specimens, his remarks on the evidence of the three laws of motion, and of the atomic theory.

With respect to the laws of motion, Dr. Whewell says: “No one can doubt that, in historical fact, these laws were collected from experience. That such is the case, is no matter of conjecture. We know the time, the persons, the circumstances, belonging to each step of each discovery.”[82] After this testimony, to adduce evidence of the fact would be superfluous. And not only were these laws by no means intuitively evident, but some of them were originally paradoxes. The first law was especially so. That a body, once in motion, would continue forever to move in the same direction with undiminished velocity unless acted upon by some new force, was a proposition which mankind found for a long time the greatest difficulty in crediting. It stood opposed to apparent experience of the most familiar kind, which taught that it was the nature of motion to abate gradually, and at last terminate of itself. Yet when once the contrary doctrine was firmly established, mathematicians, as Dr. Whewell observes, speedily began to believe that laws, thus contradictory to first appearances, and which, even after full proof had been obtained, it had required generations to render familiar to the minds of the scientific world, were under “a demonstrable necessity, compelling them to be such as they are and no other;” and he himself, though not venturing “absolutely to pronounce” that all these laws “can be rigorously traced to an absolute necessity in the nature of things,”[83] does actually so think of the law just mentioned; of which he says: “Though the discovery of the first law of motion was made, historically speaking, by means of experiment, we have now attained a point of view in which we see that it might have been certainly known to be true, independently of experience.”[84] Can there be a more striking exemplification than is here afforded, of the effect of association which we have described? Philosophers, for generations, have the most extraordinary difficulty in putting certain ideas together; they at last succeed in doing so; and after a sufficient repetition of the process, they first fancy a natural bond between the ideas, then experience a growing difficulty, which at last, by the continuation of the same progress, becomes an impossibility, of severing them from one another. If such be the progress of an experimental conviction of which the date is of yesterday, and which is in opposition to first appearances, how must it fare with those which are conformable to [pg 182] appearances familiar from the first dawn of intelligence, and of the conclusiveness of which, from the earliest records of human thought, no skeptic has suggested even a momentary doubt?

The other instance which I shall quote is a truly astonishing one, and may be called the reductio ad absurdum of the theory of inconceivableness. Speaking of the laws of chemical composition, Dr. Whewell says:[85] “That they could never have been clearly understood, and therefore never firmly established, without laborious and exact experiments, is certain; but yet we may venture to say, that being once known, they possess an evidence beyond that of mere experiment. For how in fact can we conceive combinations, otherwise than as definite in kind and quality? If we were to suppose each element ready to combine with any other indifferently, and indifferently in any quantity, we should have a world in which all would be confusion and indefiniteness. There would be no fixed kinds of bodies. Salts, and stones, and ores, would approach to and graduate into each other by insensible degrees. Instead of this, we know that the world consists of bodies distinguishable from each other by definite differences, capable of being classified and named, and of having general propositions asserted concerning them. And as we can not conceive a world in which this should not be the case, it would appear that we can not conceive a state of things in which the laws of the combination of elements should not be of that definite and measured kind which we have above asserted.”