On the Philosophy of Discovery, Chapters Historical and Critical

by William Whewell

12. And as perception of objects implies ideas, as observation implies reasoning; so, on the other hand, ideas cannot exist where sensation has not been: reasoning cannot go on when there has not been previous observation. This is evident from the necessary order of development of the human faculties. Sensation necessarily exists from the first moments of our existence, and is constantly at work. Observation begins before we can suppose the existence of any reasoning which is not involved in observation. Hence, at whatever period we consider our ideas, we must consider them as having been already engaged in connecting our sensations, and as modified by this employment. By being so employed, our ideas are unfolded and defined, and such development and definition cannot be separated from the ideas themselves. We cannot conceive space without boundaries or forms; now forms involve sensations. We cannot conceive time without events which mark the course of time; but events involve sensations. We cannot conceive number without conceiving things which are numbered; and things imply sensations. And the forms, things, events, which are thus implied in our ideas, having been the objects of sensation constantly in every part of our life, have modified, unfolded and fixed our ideas, to an extent which we cannot estimate, but which we must suppose to be essential to the processes which at present go on in our minds. We cannot say that objects create ideas; for to perceive objects we must already have ideas. But we may say, that objects and the constant perception of objects have so far modified our ideas, that we cannot, even in thought, separate our ideas from the perception of objects.

We cannot say of any ideas, as of the idea of space, or time, or number, that they are absolutely and exclusively ideas. We cannot conceive what space, or time, or number would be in our minds, if we had never perceived any thing or things in space or time. We cannot conceive ourselves in such a condition as never to have perceived any thing or things in space or time. But, on the other hand, just as little can we conceive ourselves becoming acquainted with space and time or numbers as objects of sensation. We cannot reason without having the operations of our minds affected by previous sensations; but we cannot conceive reasoning to be merely a series of sensations. In order to be used in reasoning, sensation must become observation; and, as we have seen, observation already involves reasoning. In order to be connected by our ideas, sensations must be things or objects, and things or objects already include ideas. And thus, as we have said, none of the terms by which the fundamental antithesis is expressed can be absolutely and exclusively applied.

13. I now proceed to make one or two remarks suggested by the views which have thus been presented. And first I remark, that since, as we have just seen, none of the terms which express the fundamental antithesis can be applied absolutely and exclusively, the absolute application of the antithesis in any particular case can never be a conclusive or immoveable principle. This remark is the more necessary to be borne in mind, as the terms of this antithesis are often used in a vehement and peremptory manner. Thus we are often told that such a thing is a Fact and not a Theory, with all the emphasis which, in speaking or writing, tone or italics or capitals can give. "We see from what has been said, that when this is urged, before we can estimate the truth, or the value of the assertion, we must ask to whom is it a fact? what habits of thought, what previous information, what ideas does it imply, to conceive the fact as a fact? Does not the apprehension of the fact imply assumptions which may with equal justice be called theory, and which are perhaps false theory? in which case, the fact is no fact. Did not the ancients assert it as a fact, that the earth stood still, and the stars moved? and can any fact have stronger apparent evidence to justify persons in asserting it emphatically than this had? These remarks are by no means urged in order to show that no fact can be certainly known to be true; but only to show that no fact can be certainly shown to be a fact merely by calling it a fact, however emphatically. There is by no means any ground of general skepticism with regard to truth involved in the doctrine of the necessary combination of two elements in all our knowledge. On the contrary, ideas are requisite to the essence, and things to the reality of our knowledge in every case. The proportions of geometry and arithmetic are examples of knowledge respecting our ideas of space and number, with regard to which there is no room for doubt. The doctrines of astronomy are examples of truths not less certain respecting the external world.

14. I remark further, that since in every act of knowledge, observation or perception, both the elements of the fundamental antithesis are involved, and involved in a manner inseparable even in our conceptions, it must always be possible to derive one of these elements from the other, if we are satisfied to accept, as proof of such derivation, that one always co-exists with and implies the other. Thus an opponent may say, that our ideas of space, time, and number, are derived from our sensations or perceptions, because we never were in a condition in which we had the ideas of space and time, and had not sensations or perceptions. But then, we may reply to this, that we no sooner perceive objects than we perceive them as existing in space and time, and therefore the ideas of space and time are not derived from the perceptions. In the same manner, an opponent may say, that all knowledge which is involved in our reasonings is the result of experience; for instance, our knowledge of geometry. For every geometrical principle is presented to us by experience as true; beginning with the simplest, from which all others are derived by processes of exact reasoning. But to this we reply, that experience cannot be the origin of such knowledge; for though experience shows that such principles are true, it cannot show that they must be true, which we also know. We never have seen, as a matter of observation, two straight lines inclosing a space; but we venture to say further, without the smallest hesitation, that we never shall see it; and if any one were to tell us that, according to his experience, such a form was often seen, we should only suppose that he did not know what he was talking of. No number of acts of experience can add to the certainty of our knowledge in this respect; which shows that our knowledge is not made up of acts of experience. We cannot test such knowledge by experience; for if we were to try to do so, we must first know that the lines with which we make the trial are straight; and we have no test of straightness better than this, that two such lines cannot inclose a space. Since then, experience can neither destroy, add to, nor test our axiomatic knowledge, such knowledge cannot be derived from experience. Since no one act of experience can affect our knowledge, no numbers of acts of experience can make it.

15. To this a reply has been offered, that it is a characteristic property of geometric forms that the ideas of them exactly resemble the sensations; so that these ideas are as fit subjects of experimentation as the realities themselves; and that by such experimentation we learn the truth of the axioms of geometry. I might very reasonably ask those who use this language to explain how a particular class of ideas can be said to resemble sensations; how, if they do, we can know it to be so; how we can prove this resemblance to belong to geometrical ideas and sensations; and how it comes to be an especial characteristic of those. But I will put the argument in another way. Experiment can only show what is, not what must be. If experimentation on ideas shows what must be, it is different from what is commonly called experience.

I may add, that not only the mere use of our senses cannot show that the axioms of geometry must be true, but that, without the light of our ideas, it cannot even show that they are true. If we had a segment of a circle a mile long and an inch wide, we should have two lines inclosing a space; but we could not, by seeing or touching any part of either of them, discover that it was a bent line.

16. That mathematical truths are not derived from experience is perhaps still more evident, if greater evidence be possible, in the case of numbers. We assert that 7 and 8 are 15. We find it so, if we try with counters, or in any other way. But we do not, on that account, say that the knowledge is derived from experience. We refer to our conceptions of seven, of eight, and of addition, and as soon as we possess these conceptions distinctly, we see that the sum must be fifteen. We cannot be said to make a trial, for we should not believe the apparent result of the trial if it were different. If any one were to say that the multiplication table is a table of the results of experience, we should know that he could not be able to go along with us in our researches into the foundations of human knowledge; nor, indeed, to pursue with success any speculations on the subject.

17. Attempts have also been made to explain the origin of axiomatic truths by referring them to the association of ideas. But this is one of the cases in which the word association has been applied so widely and loosely, that no sense can be attached to it. Those who have written with any degree of distinctness on the subject, have truly taught, that the habitual association of the ideas leads us to believe a connexion of the things: but they have never told us that this association gave us the power of forming the ideas. Association may determine belief, but it cannot determine the possibility of our conceptions. The African king did not believe that water could become solid, because he had never seen it in that state. But that accident did not make it impossible to conceive it so, any more than it is impossible for us to conceive frozen quicksilver, or melted diamond, or liquefied air; which we may never have seen, but have no difficulty in conceiving. If there were a tropical philosopher really incapable of conceiving water solidified, he must have been brought into that mental condition by abstruse speculations on the necessary relations of solidity and fluidity, not by the association of ideas.

18. To return to the results of the nature of the Fundamental Antithesis. As by assuming universal and indissoluble connexion of ideas with perceptions, of knowledge with experience, as an evidence of derivation, we may assert the former to be derived from the latter, so might we, on the same ground, assert the latter to be derived from the former. We see all forms in space; and we might hence assert all forms to be mere modifications of our idea of space. We see all events happen in time; and we might hence assert all events to be merely limitations and boundary-marks of our idea of time. We conceive all collections of things as two or three, or some other number: it might hence be asserted that we have an original idea of number, which is reflected in external things. In this case, as in the other, we are met at once by the impossibility of this being a complete account of our knowledge. Our ideas of space, of time, of number, however distinctly reflected to us with limitations and modifications, must be reflected, limited and modified by something different from themselves. We must have visible or tangible forms to limit space, perceived events to mark time, distinguishable objects to exemplify number. But still, in forms, and events, and objects, we have a knowledge which they themselves cannot give us. For we know, without attending to them, that whatever they are, they will conform and must conform to the truths of geometry and arithmetic. There is an ideal portion in all our knowledge of the external world; and if we were resolved to reduce all our knowledge to one of its two antithetical elements, we might say that all our knowledge consists in the relation of our ideas. Wherever there is necessary truth, there must be something more than sensation can supply: and the necessary truths of geometry and arithmetic show us that our knowledge of objects in space and time depends upon necessary relations of ideas, whatever other element it may involve.

19. This remark may be carried much further than the domain of geometry and arithmetic. Our knowledge of matter may at first sight appear to be altogether derived from the senses. Yet we cannot derive from the senses our knowledge of a truth which we accept as universally certain;—namely, that we cannot by any process add to or diminish the quantity of matter in the world. This truth neither is nor can be derived from experience; for the experiments which we make to verify it pre-suppose its truth. When the philosopher was asked what was the weight of smoke, he bade the inquirer subtract the weight of the ashes from the weight of the fuel. Every one who thinks clearly of the changes which take place in matter, assents to the justice of this reply: and this, not because any one had found by trial that such was the weight of the smoke produced in combustion, but because the weight lost was assumed to have gone into some other form of matter, not to have been destroyed. 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. Thus it is involved in the idea of matter that its amount continues unchanged in all changes which take place in its consistence. This is a necessary truth: and thus our knowledge of matter, as collected from chemical experiments, is also a modification of our idea of matter as the material of the world incapable of addition or diminution.