The order of nature, as perceived at a first glance, presents at every instant a chaos followed by another chaos. We must decompose each chaos into single facts. We must learn to see in the chaotic antecedent a multitude of distinct antecedents, in the chaotic consequent a multitude of distinct consequents.
In the next section of the same chapter he goes on to state that, having discriminated the various antecedents and consequents, we then "are to inquire which is connected with which." This requires a still further resolution of the complex and of the confused. To effect this we must vary the circumstances; we must modify the experience as given with reference to accomplishing our purpose. To accomplish this purpose we have recourse either to observation or to experiment: "We may either find an instance in nature suited to our purposes, or, by an artificial arrangement of circumstances, make one" (the italics in "suited to our purpose" are mine; the others are Mill's). He then goes on to say that there is no real logical distinction between observation and experimentation. The four methods of experimental inquiry are expressly discussed by Mill in terms of their worth in singling out and connecting the antecedents and consequents which actually belong together, from the chaos and confusion of direct experience.
We have only to take these statements in their logical connection with each other (and this connection runs through the entire treatment by Mill of scientific inquiry), to recognize the absolute necessity of hypothesis to undertaking any directed inquiry or scientific operation. Consequently we are not surprised at finding him saying that "the function of hypotheses is one which must be reckoned absolutely indispensable in science;" and again that "the hypothesis by suggesting observations and experiments puts us on the road to independent evidence."
Since Mill's virtual retraction, from the theoretical point of view, of what is here said from the standpoint of scientific procedure, regarding the necessity of ideas is an accompaniment of his criticism of Whewell, it will put the discussion in better perspective if we turn first to Whewell's views. The latter began by stating a distinction which easily might have been developed into a theory of the relation of fact and idea which is in line with that advanced in this chapter, and indeed in this volume as a whole. He questions (chap. 2) the fixity of the distinction between theory and practice. He points out that what we term facts are in effect simply accepted inferences; and that what we call theories are describable as facts, in proportion as they become thoroughly established. A true theory is a fact. "All the great theories which have successively been established in the world are now thought of as facts." "The most recondite theories when firmly established are accepted as facts; the simplest facts seem to involve something of the nature of theory."
The conclusion is that the distinction is a historic one, depending upon the state of knowledge at the time, and upon the attitude of the individual. What is theory for one epoch, or for one inquirer in a given epoch, is fact for some other epoch, or even for some other more advanced inquirer in the same epoch. It is theory when the element of inference involved in judging any fact is consciously brought out; it is fact when the conditions are such that we have never been led to question the inference involved, or else, having questioned it, have so thoroughly examined into the inferential process that there is no need of holding it further before the mind, and it relapses into unconsciousness again. "If this greater or less consciousness of our own internal act be all that distinguishes fact from theory, we must allow that the distinction is still untenable" (untenable, that is to say, as a fixed separation). Again, "fact and theory have no essential difference except in the degree of their certainty and familiarity. Theory, when it becomes firmly established and steadily lodged in the mind becomes fact." (P. 45; italics mine.) And, of course, it is equally true that as fast as facts are suspected or doubted, certain aspects of them are transferred into the class of theories and even of mere opinions.
I say this conception might have been developed in a way entirely congruous with the position of this chapter. This would have happened if the final distinction between fact and idea had been formulated upon the basis simply of the points, "relative certainty and familiarity." From this point of view the distinction between fact and idea is one purely relative to the doubt-inquiry function. It has to do with the evolution of an experience as regards its conscious surety. It has its origin in problematic situations. Whatever appears to us as a problem appears as contrasted with a possible solution. Whatever objects of thought refer particularly to the problematic side are theories, ideas, hypotheses; whatever relates to the solution side is surety, unquestioned familiarity, fact. This point of view makes the distinctions entirely relative to the exigencies of the process of reflective transformation of experience.
Whewell, however, had no sooner started in this train of thought than he turns his back upon it. In chap. 3 he transforms what he had proclaimed to be a relative, historic, and working distinction into a fixed and absolute one. He distinguishes between sensations and ideas, not upon a genetic basis with reference to establishing the conditions of further operation; but with reference to a fundamentally fixed line of demarkation between what is passively given to the mind and the activity put forth by the mind. Thus he reinstates in its most generalized and fixed, and therefore most vicious, form the separation which he has just rejected. Sensations are a brute unchangeable element of fact which exists and persists independent of ideas; an idea is a mode of mental operation which occurs and recurs in an independent individuality of its own. If he had carried out the line of thought with which he began, sensation as fact would have been that residuum of familiarity and certainty which cannot be eliminated, however much else of an experience is dissolved in the inner conflict. Idea as hypothesis or theory would have been the corresponding element in experience which is necessary to redintegrate this residuum into a coherent and significant experience.
But since Whewell did not follow out his own line of thought, choosing rather to fall back on the Kantian antithesis of sense and thought, he had no sooner separated his fact and idea, his given datum and his mental relation, than he is compelled to get them together again. The idea becomes "a general relation which is imposed upon perception by an act of the mind, and which is different from anything which our senses directly offer to us" (p. 26). Such conceptions are necessary to connect the facts which we learn from our senses into truths. "The ideal conception which the mind itself supplies is superinduced upon the facts as they are originally presented to observation. Before the inductive truth is detected, the facts are there, but they are many and unconnected. The conception which the discoverer applies to them gives them connection and unity." (P. 42.) All induction, according to Whewell, thus depends upon superinduction--imposition upon sensory data of certain ideas or general relations existing independently in the mind.
We do not need to present again the objections already offered to this view: the impossibility of any orderly stimulation of ideas by facts, and the impossibility of any check in the imposition of idea upon fact. "Facts" and conception are so thoroughly separate and independent that any sensory datum is indifferently and equally related to any conceivable idea. There is no basis for "superinducing" one idea or hypothesis, rather than any other, upon any particular set of data.
In the chapter already referred to upon abstraction, or the formation of conceptions, Mill seizes upon this difficulty. Yet he and Whewell have one point in common: they both agree in the existence of a certain subject-matter which is given for logical purposes quite outside of the logical process itself. Mill agrees with Whewell in postulating a raw material of pure sensational data. In criticising Whewell's theory of superinduction of idea upon fact, he is therefore led to the opposite assertion of the complete dependence of ideas as such upon the given facts as such--in other words, he is led to a reiteration of the fundamental Baconian empiricism; and thus to a virtual retraction of what he had asserted regarding the necessity of ideas to fruitful scientific inquiry, whether in the way of observation or experimentation. The following quotation gives a fair notion of the extent of Mill's retraction:
The conceptions then which we employ for the colligation and methodization of facts, do not develop themselves from within, but are impressed upon the mind from without; they are never obtained otherwise than by way of comparison and abstraction, and, in the most important and most numerous cases, are evolved by abstraction from the very phenomena which it is their office to colligate.
Even here Mill's sense for the positive side of scientific inquiry suffices to reveal to him that the "facts" are somehow inadequate and defective, and are in need of assistance from ideas--and yet the ideas which are to help out the facts are to be the impress of the unsure facts! The contradiction comes out very clearly when Mill says: "The really difficult cases are those in which the conception destined to create light and order out of darkness and confusion has to be sought for among the very phenomena which it afterward serves to arrange."
Of course, there is a sense in which Mill's view is very much nearer the truth than is Whewell's. Mill at least sees that "idea" must be relevant to the facts or data which it is to arrange, which are to have "light and order" introduced into them by means of the idea. He sees clearly enough that this is impossible save as the idea develops within the same experience in which the "dark and confused" facts are presented. He goes on to show correctly enough how conflicting data lead the mind to a "confused feeling of an analogy" between the data of the confused experience and of some other experience which is orderly (or already colligated and methodized); and how this vague feeling, through processes of further exploration and comparison of experiences, gets a clearer and more adequate form until we finally accept it. He shows how in this process we continually judge of the worth of the idea which is in process of formation, by reference to its appropriateness to our purpose. He goes so far as to say: "The question of appropriateness is relative to the particular object we have in view." He sums up his discussion by stating: "We cannot frame good general conceptions beforehand. That the conception we have obtained is the one we want can only be known when we have done the work for the sake of which we wanted it."
This all describes the actual state of the case, but it is consistent only with a logical theory which makes the distinction between fact and hypothesis instrumental in the transformation of experience from a confused into an organized form; not with Mill's notion that sensations are somehow finally and completely given as ultimate facts, and that ideas are mere re-registrations of such facts. It is perfectly just to say that the hypothesis is impressed upon the mind (in the sense that any notion which occurs to the mind is impressed) in the course of an experience. It is well enough, if one define what he means, to say that the hypothesis is impressed (that is to say, occurs or is suggested) through the medium of given facts, or even of sensations. But it is equally true that the facts are presented and that sensations occur within the course of an experience which is larger than the bare facts, because involving the conflicts among them and the corresponding intention to treat them in some fashion which will secure a unified experience. Facts get power to suggest ideas to the mind--to "impress"--only through their position in an entire experience which is in process of disintegration and of reconstruction--their "fringe" or feeling of tendency is quite as factual as they are. The fact that "the conception we have obtained is the one we want can be known only when we have done the work for the sake of which we wanted it," is enough to show that it is not bare facts, but facts in relation to want and purpose and purpose in relation to facts, which originate the hypothesis.
It would be interesting to follow the history of discussion of the hypothesis since the time of Whewell and of Mill, particularly in the writings of Jevons, Venn, and Bosanquet. This history would refine the terms of our discussion by introducing more complex distinctions and relations. But it would be found, I think, only to refine, not to introduce any fundamentally new principles. In each case, we find the writer struggling with the necessity of distinguishing between fact and idea; of giving the fact a certain primacy with respect to testing of idea and of giving the idea a primacy with respect to the significance and orderliness of the fact; and of holding throughout to a relationship of idea with fact so intimate that the idea develops only by being "compared" with facts (that is, used in construing them), and facts get to be known only as they are "connected" through the idea--and we find that what is a maze of paradoxes and inconsistencies from an absolute, from a non-historic standpoint, is a matter of course the moment it is looked at from the standpoint of experience engaged in self-transformation of meaning through conflict and reconstitution.
But we can only note one or two points. Jevons's "infinite ballot-box" of nature which is absolutely neutral as to any particular conception or idea, and which accordingly requires as its correlate the formation of every possible hypothesis (all standing in themselves upon the same level of probability) is an interesting example of the logical consequences of feeling the need of both fact and hypothesis for scientific procedure and yet regarding them as somehow arising independently of each other. It is an attempt to combine extreme empiricism and extreme rationalism. The process of forming hypotheses and of deducing their rational consequences goes on at random, because the disconnectedness of facts as given is so ultimate that the facts suggest one hypothesis no more readily than another. Mathematics, in its two forms of measurements as applied to the facts, and of calculation as applied in deduction, furnishes Jevons the bridge by which he finally covers the gulf which he has first himself created. Venn's theory requires little or no restatement to bring it into line with the position taken in the text. He holds to the origin of hypothesis in the original practical needs of mankind, and to its gradual development into present scientific form. He states expressly:
The distinction between what is known and what is not known is essential to Logic, and peculiarly characteristic of it in a degree not to be found in any other science. Inference is the process of passing from one to the other; from facts which we had accepted as premises, to those which we have not yet accepted, but are in the act of doing so by the very process in question. No scrutiny of the facts themselves, regarded as objective, can ever detect these characteristics of their greater or less familiarity to our minds. We must introduce also the subjective element if we wish to give any adequate explanation of them.
Venn, however, does not attempt a thoroughgoing statement of logical distinctions, relations, and operations, as parts "of the act of passing from the unknown to the known." He recognizes the relation of reflection to a historic process, which we have here termed "reconstruction," and the origin and worth of hypothesis as a tool in the movement, but does not carry his analysis to a systematic form.
III
Origin of the hypothesis.--In our analysis of the process of judgment, we attempted to show that the predicate arises in case of failure of some line of activity going on in terms of an established habit. When the old habit is checked through failure to deal with new conditions (i. e., when the situation is such as to stimulate two habits with distinct aims) the problem is to find a new method of response--that is, to co-ordinate the conflicting tendencies by building up a single aim which will function the existing situation. As we saw that, in case of judgment, habit when checked became ideal, an idea, so the new habit is first formalized as an ideal type of reaction and is the hypothesis by which we attempt to construe new data. In our inquiry as to how this formulation is effected, i. e., how the hypothesis is developed, it will be convenient to take some of the currently accepted statements as to their origin, and show how these statements stand in reference to the analysis proposed.
Enumerative induction and allied processes.--It is pointed out by Welton that the various ways in which hypotheses are suggested may be reduced to three classes, viz., enumerative induction, conversion of propositions, and analogy. Under the head of "enumeration" he reminds us that "every observed regularity of connection between phenomena suggests a question as to whether it is universal." There are numerous instances of this in mathematics. For example, it is noticed that 1+3=2^2, 1+3+5=3^2, 1+3+5+7=4^2, etc.; and one is led to ask whether there is any general principle involved, so that the sum of the first n odd numbers will be n^2, where n is any number, however great. In this early form of inductive inference there are two divergent tendencies. One is the tendency to complete enumeration. This tendency is clearly ideal--it transcends the facts as given. To look for all the cases is thus itself an experimental inquiry, based upon a hypothesis which it endeavors to test. But in most cases enumeration can be only incomplete, and we are able to reach nothing better than probability. Hence the other tendency in the direction of an analysis of content in search for a principle of connection in the elements in any one case. For if a characteristic belonging to a number of individuals suggests a class where it belongs to all individuals, it must be that it is found in every individual as such. The hypothesis of complete class involves a hypothesis as to the character of each individual in the class. Thus a hypothesis as to extension transforms itself into one as to intension.
But it is analogy which Welton considers "the chief source from which new hypotheses are drawn." In the second tendency mentioned under enumerative induction, that is, the tendency to analysis of content or intension, we are naturally led to analogy, for in our search for the characteristic feature which determines classification among the concrete particulars our first step will be an inference by analogy. In analogy attention is turned from the number of observed instances to their character, and, because particulars have some feature in common, they are supposed to be the same in still other respects. While the best we can reach in analogy is probability, the arguments may be such as to result in a high degree of certainty. The form of the argument is valuable in so far as we are able to distinguish between essential and nonessential characteristics on which to base our analogy. What is essential and what nonessential depends upon the particular end we have in view.
In addition to enumerative induction, which Welton has mentioned, it is to be noted that there are a number of other processes which are very similar to it in that a number of particulars appear to furnish a basis for a general principle or method. Such instances are common in induction, in instruction, and in methods of proof.
If one is to be instructed in some new kind of labor, he is supposed to acquire a grasp of the method after having been shown in a few instances how this particular work is to be done; and, if he performs the manipulations himself, so much the better. It is not asked why the experience of a few cases should be of any assistance, for it seems self-evident that an experienced man, a man who has acquired the skill, or knack, of doing things, should deal better with all other cases of similar nature.
There is something very similar in inductive proofs, as they are called. The inductive proof is common in algebra. Suppose we are concerned in proving the law of expansion of the binomial theorem. We show by actual calculation that, if the law holds good for the nth power, it is true for the n+first power. That is, if it holds for any power, it holds for the next also. But we can easily show that it does hold for, say, the second power. Then it must be true for the third, and hence for the fourth, and so on. Whether this law, though discovered by inductive processes, depends on deduction for the conclusiveness of its proof, as Jevons holds; whether, as Erdmann contends, the proof is thoroughly deductive; or whether Wundt is right in maintaining that it is based on an exact analogy, while the fundamental axioms of mathematics are inductive, it is clear that in such proofs a few instances are employed to give the learner a start in the right direction. Something suggests itself, and is found true in this case, in the next, and again in the next, and so on. It may be questioned whether there is usually a very clear notion of what is involved in the "so on." To many it appears to mark the point where, after having been taken a few steps, the learner is carried on by the acquired momentum somewhat after the fashion of one of Newton's laws of motion. Whether the few successive steps are an integral part of the proof or merely serve as illustration, they are very generally resorted to. In fact, they are often employed where there is no attempt to introduce a general term such as n, or k, or l, but the few individual instances are deemed quite sufficient. Such, for instance, is the custom in arithmetical processes. We call attention to these facts in order to show that successive cases are utilized in the course of explanation as an aid in establishing the generality of a law.
In geometry we find a class of proofs in which the successive steps seem to have great significance. A common proof of the area of the circle will serve as a fair example. A regular polygon is circumscribed about the circle. Then as the number of its sides are increased its area will approach that of the circle, as its perimeter approaches the circumference of the circle. The area of the circle is thus inferred to be R^2, since the area of the polygon is always (1/2)R× perimeter, and in case of the circle the circumference = 2R. Here again we get under such headway by means of the polygon that we arrive at the circle with but little difficulty. Had we attempted the transition at once, say, from a circumscribed square, we should doubtless have experienced some uncertainty and might have recoiled from what would seem a rash attempt; but as the number of the sides of our polygon approach infinity--that mysterious realm where many paradoxical things become possible--the transition becomes so easy that our polygon is often said to have truly become a circle.
Similarly, some statements of the infinitesimal calculus rest on the assumption that slight degrees of difference may be neglected. Though the more modern theory of limits has largely displaced this attitude in calculus and has also changed the method of proof in such geometrical problems as the area of the circle, the underlying motive seems to have been to make transitions easy, and thus to make possible a continued application of some particular method or way of dealing with things.
But granted that this is all true, what has it to do with the origin of the hypothesis? It seems likely that the hypothesis may be suggested by a few successive instances; but are these to be classed with the successive steps in proof to which we have referred? In the first place, we attempt to prove our hypothesis because we are not sure it is true; we are not satisfied that there are no other tenable hypotheses. But if we do test it, is not such test enough? It depends upon how thorough a grasp we have of the situation; but, in general, each test case adds to its probability. The value of tests lies in the fact that they strengthen and tend to confirm our hypothesis by checking the force of alternatives. One instance is not sufficient because there are other possible incipient hypotheses, or more properly tendencies, and the enumeration serves to bring one of these tendencies into prominence in that it diminishes other vague and perhaps subconscious tendencies and strengthens the one which suddenly appears as the mysterious product of genius.
Studies in Logical Theory · The Wunder Library — complete classics, free to read, with narration.