A System of Logic · John Stuart Mill
OF DEMONSTRATION, AND NECESSARY TRUTHS.
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 practised 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.[27] 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 everybody 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 upwards instead of downwards. The Cartesians long rejected the Newtonian doctrine of the gravitation of all bodies towards one another, on the faith of a general proposition, the reverse of which seemed to them to be inconceivable--the proposition that a body cannot 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.[28] And they no doubt found it as impossible to conceive that a body should act upon the earth at 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. It would seem that even now the majority of scientific men have not completely got over this very difficulty; for though they have at last learnt to conceive the sun _attracting_ the earth without any intervening fluid, they cannot yet conceive the sun _illuminating_ the earth without some such medium.
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 afterwards 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 cannot 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 cannot 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 simple inspection, we cannot 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 anything 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 recognising 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 recognised 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 coloured 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.
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 evidence of axioms. For what is that theory? That the truth of axioms cannot have been learnt 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 cannot intend to justify this mode of thought: he cannot 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."[30] 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 for ever 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,"[31] 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."[32] 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 appearances familiar from the first dawn of intelligence, and of the conclusiveness of which, from the earliest records of human thought, no sceptic 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:[33] "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 cannot conceive a world in which this should not be the case_, it would appear that we cannot 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."
That a philosopher of Dr. Whewell's eminence should gravely assert that we cannot conceive a world in which the simple elements should combine in other than definite proportions; that by dint of meditating on a scientific truth, the original discoverer of which was still living, he should have rendered the association in his own mind between the idea of combination and that of constant proportions so familiar and intimate as to be unable to conceive the one fact without the other; is so signal an instance of the mental law for which I am contending, that one word more in illustration must be superfluous. In the latest and most complete elaboration of his metaphysical system (the _Philosophy of Discovery_), as well as in the earlier discourse on the _Fundamental Antithesis of Philosophy_, reprinted as an appendix to that work, Dr. Whewell, while very candidly admitting that his language was open to misconception, disclaims having intended to say that mankind in general can _now_ perceive the law of definite proportions in chemical combination to be a necessary truth. All he meant was that philosophical chemists in a future generation may possibly see this. "Some truths may be seen by intuition, but yet the intuition of them may be a rare and a difficult attainment."[34] And he explains that the inconceivableness which, according to his theory, is the test of axioms, "depends entirely upon the clearness of the Ideas which the axioms involve. So long as those Ideas are vague and indistinct, the contrary of an Axiom may be assented to, though it cannot be distinctly conceived. It may be assented to, not because it is possible, but because we do not see clearly what is possible. To a person who is only beginning to think geometrically, there may appear nothing absurd in the assertion, that two straight lines may inclose a space.
And in the same manner, to a person who is only beginning to think of mechanical truths, it may not appear to be absurd, that in mechanical processes, Reaction should be greater or less than Action; and so, again, to a person who has not thought steadily about Substance, it may not appear inconceivable, that by chemical operations, we should generate new matter, or destroy matter which already exists."[35] Necessary truths, therefore, are not those of which we cannot conceive, but "those of which we cannot _distinctly_ conceive, the contrary."[36] So long as our ideas are indistinct altogether, we do not know what is or is not capable of being distinctly conceived; but, by the ever increasing distinctness with which scientific men apprehend the general conceptions of science, they in time come to perceive that there are certain laws of nature, which, though historically and as a matter of fact they were learnt from experience, we cannot, now that we know them, distinctly conceive to be other than they are.
The account which I should give of this progress of the scientific mind is somewhat different. After a general law of nature has been ascertained, men's minds do not at first acquire a complete facility of familiarly representing to themselves the phenomena of nature in the character which that law assigns to them. The habit which constitutes the scientific cast of mind, that of conceiving facts of all descriptions conformably to the laws which regulate them--phenomena of all descriptions according to the relations which have been ascertained really to exist between them; this habit, in the case of newly discovered relations, comes only by degrees. So long as it is not thoroughly formed, no necessary character is ascribed to the new truth. But in time, the philosopher attains a state of mind in which his mental picture of nature spontaneously represents to him all the phenomena with which the new theory is concerned, in the exact light in which the theory regards them: all images or conceptions derived from any other theory, or from the confused view of the facts which is anterior to any theory, having entirely disappeared from his mind. The mode of representing facts which results from the theory, has now become, to his faculties, the only natural mode of conceiving them. It is a known truth, that a prolonged habit of arranging phenomena in certain groups, and explaining them by means of certain principles, makes any other arrangement or explanation of these facts be felt as unnatural: and it may at last become as difficult to him to represent the facts to himself in any other mode, as it often was, originally, to represent them in that mode.
But, further, if the theory is true, as we are supposing it to be, any other mode in which he tries, or in which he was formerly accustomed, to represent the phenomena, will be seen by him to be inconsistent with the facts that suggested the new theory--facts which now form a part of his mental picture of nature. And since a contradiction is always inconceivable, his imagination rejects these false theories, and declares itself incapable of conceiving them. Their inconceivableness to him does not, however, result from anything in the theories themselves, intrinsically and _à priori_ repugnant to the human faculties; it results from the repugnance between them and a portion of the facts; which facts as long as he did not know, or did not distinctly realize in his mental representations, the false theory did not appear other than conceivable; it becomes inconceivable, merely from the fact that contradictory elements cannot be combined in the same conception. Although, then, his real reason for rejecting theories at variance with the true one, is no other than that they clash with his experience, he easily falls into the belief, that he rejects them because they are inconceivable, and that he adopts the true theory because it is self-evident, and does not need the evidence of experience at all.
This I take to be the real and sufficient explanation of the paradoxical truth, on which so much stress is laid by Dr. Whewell, that a scientifically cultivated mind is actually, in virtue of that cultivation, unable to conceive suppositions which a common man conceives without the smallest difficulty. For there is nothing inconceivable in the suppositions themselves; the impossibility is in combining them with facts inconsistent with them, as part of the same mental picture; an obstacle of course only felt by those who know the facts, and are able to perceive the inconsistency. As far as the suppositions themselves are concerned, in the case of many of Dr. Whewell's necessary truths the negative of the axiom is, and probably will be as long as the human race lasts, as easily conceivable as the affirmative. There is no axiom (for example) to which Dr. Whewell ascribes a more thorough character of necessity and self-evidence, than that of the indestructibility of matter. That this is a true law of nature I fully admit; but I imagine there is no human being to whom the opposite supposition is inconceivable--who has any difficulty in imagining a portion of matter annihilated: inasmuch as its apparent annihilation, in no respect distinguishable from real by our unassisted senses, takes place every time that water dries up, or fuel is consumed. Again, the law that bodies combine chemically in definite proportions is undeniably true; but few besides Dr. Whewell have reached the point which he seems personally to have arrived at, (though he only dares prophesy similar success to the multitude after the lapse of generations,) that of being unable to conceive a world in which the elements are ready to combine with one another "indifferently in any quantity;" nor is it likely that we shall ever rise to this sublime height of inability, so long as all the mechanical mixtures in our planet, whether solid, liquid, or aëriform, exhibit to our daily observation the very phenomenon declared to be inconceivable.
According to Dr. Whewell, these and similar laws of nature cannot be drawn from experience, inasmuch as they are, on the contrary, assumed in the interpretation of experience. Our inability to "add to or diminish the quantity of matter in the world," is a truth which "neither is nor can be derived from experience; for the experiments which we make to verify it presuppose its truth.... When men began to use the balance in chemical analysis, they did not prove by trial, but took for granted, as self-evident, that the weight of the whole must be found in the aggregate weight of the elements."[37] True, it is assumed; but, I apprehend, no otherwise than as all experimental inquiry assumes provisionally some theory or hypothesis, which is to be finally held true or not, according as the experiments decide. The hypothesis chosen for this purpose will naturally be one which groups together some considerable number of facts already known. The proposition that the material of the world, as estimated by weight, is neither increased nor diminished by any of the processes of nature or art, had many appearances in its favour to begin with. It expressed truly a great number of familiar facts.
There were other facts which it had the appearance of conflicting with, and which made its truth, as an universal law of nature, at first doubtful. Because it was doubtful, experiments were devised to verify it. Men assumed its truth hypothetically, and proceeded to try whether, on more careful examination, the phenomena which apparently pointed to a different conclusion, would not be found to be consistent with it. This turned out to be the case; and from that time the doctrine took its place as an universal truth, but as one proved to be such by experience. That the theory itself preceded the proof of its truth--that it had to be conceived before it could be proved, and in order that it might be proved--does not imply that it was self-evident, and did not need proof. Otherwise all the true theories in the sciences are necessary and self-evident; for no one knows better than Dr. Whewell that they all began by being assumed, for the purpose of connecting them by deductions with those facts of experience on which, as evidence, they now confessedly rest.[38]
Ideas discussed in this chapter
Text from Project Gutenberg, public domain in the United States.