A System of Logic: Ratiocinative and Inductive by John Stuart Mill (good beach reads .txt) 📖

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]

CHAPTER VI.
THE SAME SUBJECT CONTINUED.

§ 1. In the examination which formed the subject of the last chapter, into the nature of the evidence of those deductive sciences which are commonly represented to be systems of necessary truth, we have been led to the following conclusions. The results of those sciences are indeed necessary, in the sense of necessarily following from certain first principles, commonly called axioms and definitions; that is, of being certainly true if those axioms and definitions are so; for the word necessity, even in this acceptation of it, means no more than certainty. But their claim to the character of necessity in any sense beyond this, as implying an evidence independent of and superior to observation and experience, must depend on the previous establishment of such a claim in favour of the definitions and axioms themselves. With regard to axioms, we found that, considered as experimental truths, they rest on superabundant and obvious evidence. We inquired, whether, since this is the case, it be imperative to suppose any other evidence of those truths than experimental evidence, any other origin for our belief of them than an experimental origin. We decided, that the burden of proof lies with those who maintain the affirmative, and we examined, at considerable length, such arguments as they have produced. The examination having led to the rejection of those arguments, we have thought ourselves warranted in concluding that axioms are but a class, the most universal class, of inductions from experience; the simplest and easiest cases of generalization from the facts furnished to us by our senses or by our internal consciousness.

While the axioms of demonstrative sciences thus appeared to be experimental truths, the definitions, as they are incorrectly called, in those sciences, were found by us to be generalizations from experience which are not even, accurately speaking, truths; being propositions in which, while we assert of some kind of object, some property or properties which observation shows to belong to it, we at the same time deny that it possesses any other properties, though in truth other properties do in every individual instance accompany, and in almost all instances modify, the property thus exclusively predicated. The denial, therefore, is a mere fiction, or supposition, made for the purpose of excluding the consideration of those modifying circumstances, when their influence is of too trifling amount to be worth considering, or adjourning it, when important, to a more convenient moment.

From these considerations it would appear that Deductive or Demonstrative Sciences are all, without exception, Inductive Sciences; that their evidence is that of experience; but that they are also, in virtue of the peculiar character of one indispensable portion of the general formulæ according to which their inductions are made, Hypothetical Sciences. Their conclusions are only true on certain suppositions, which are, or ought to be, approximations to the truth, but are seldom, if ever, exactly true; and to this hypothetical character is to be ascribed the peculiar certainty, which is supposed to be inherent in demonstration.

What we have now asserted, however, cannot be received as universally true of Deductive or Demonstrative Sciences, until verified by being applied to the most remarkable of all those sciences, that of Numbers; the theory of the Calculus; Arithmetic and Algebra. It is harder to believe of the doctrines of this science than of any other, either that they are not truths à priori, but experimental truths, or that their peculiar certainty is owing to their being not absolute but only conditional truths. This, therefore, is a case which merits examination apart; and the more so, because on this subject we have a double set of doctrines to contend with; that of the à priori philosophers on one side; and on the other, a theory the most opposite to theirs, which was at one time very generally received, and is still far from being altogether exploded, among metaphysicians.

§ 2. This theory attempts to solve the difficulty apparently inherent in the case, by representing the