Logic stands in more intimate relation to the special sciences, for here the relations are reciprocal and immediate; for example, from actual scientific procedure logic abstracts its general laws and results, and these in turn it delivers to the sciences as their formulated methodology. In the history of science the winning of knowledge precedes the formulation of the rules employed, that is, precedes any scientific methodology. Logic, as methodology, is not an _a priori_ construction, but has its genesis in the growth of science itself and in the discovery of those tests and criteria of truth which are found to possess an actual heuristic or evidential value. It is not practicable to separate epistemology and logic, for such concepts as causality, a.n.a.logy, validity, etc., are fundamental in logical method, and yet they belong to the territory of epistemology, are epistemological in nature, as one may indeed say of all the general laws of thought. A formal logic that is merely propaedeutic, a logic that aims to free itself from the quarrels of epistemology, is scientifically useless. Its norms are valueless, in so far as they can only teach the arrangement of knowledge already possessed, and teach nothing as to how to secure it or test its real validity. While formal logic aims to put itself outside of philosophy, metaphysical logic would usurp the place of philosophy.
Formal logic is inadequate, because it neither shows how the laws of thought originate, why they are valid, nor in what sense they are applicable to concrete investigation. Wundt, therefore, develops a logic which one may call epistemological methodological, and which stands between the extremes of formal logic and metaphysical logic. The laws of logic must be derived from the processes of psychic experience and the procedure of the sciences. "Logic therefore needs," as he says, "epistemology for its foundation and the doctrine of methods for its completion."
Lipps takes the view outright that logic is a branch of psychology; Husserl in his latest book goes to the other extreme of a purely formal and technical logic, and devotes almost his entire first volume to the complete sundering of psychology and logic.
Bradley bases his logic on the theory of the judgment. The logical judgment is entirely different from the psychological. The logical judgment is a qualification of reality by means of an idea. The predicate is an adjective or attribute which in the judgment is ascribed to reality. The aim of truth is to qualify reality by general notions.
But inasmuch as reality is individual and self-existent, whereas truth is universal, truth and reality are not coincident. Bradley"s metaphysical solution of the disparity between thought and reality is put forward in his theory of the unitary Absolute, whose concrete content is the totality of experience. But as thought is not the whole of experience, judgments cannot compa.s.s the whole of reality. Bosanquet objects to this, and maintains that reality must not be regarded as an ideal construction. The real world is the world to which our concepts and judgments refer. In the former we have a world of isolated individuals of definite content; in the latter, we have a world of definitely systematized and organized content. Under the t.i.tle of the Morphology of Knowledge Bosanquet considers the evolution of judgment and inference in their varied forms. "Logic starts from the individual mind, as that within which we have the actual facts of intelligence, which we are attempting to interpret into a system" (_Logic_, vol. i, p.
247). The real world for every individual is _his_ world. "The work of intellectually const.i.tuting that totality which we call the real world is the work of knowledge. The work of a.n.a.lyzing the process of this const.i.tution or determination is the work of logic, which might be described ... as the reflection of knowledge upon itself" (_Logic_, vol.
i, p. 3). "The relation of logic to truth consists in examining the characteristics by which the various phases of the one intellectual function are fitted for their place in the intellectual totality which const.i.tutes knowledge" (_ibid._). The real world is the intelligible world; reality is something to which we attain by a constructive process. We have here a type of logic which is essentially a metaphysic.
Indeed, Bosanquet says in the course of his first volume: "I entertain no doubt that in content logic is one with metaphysics, and differs, if at all, simply in mode of treatment--in tracing the evolution of knowledge in the light of its value and import, instead of attempting to summarize its value and import apart from the details of its evolution"
(_Logic_, vol. i, 247).
Dewey (_Studies in Logical Theory_, p. 5) describes the essential function of logic as the inquiry into the relations of thought as such to reality as such. Although such an inquiry may involve the investigation of psychological processes and of the concrete methods of science and verification, a description and a.n.a.lysis of the forms of thought, conception, judgment, and inference, yet its concern with these is subordinate to its main concern, namely, the relation of "thought at large to reality at large." Logic is not reflection on thought, either on its nature as such or on its forms, but on its relations to the real.
In Dewey"s philosophy, logical theory is a description of thought as a mode of adaptation to its own conditions, and validity is judged in terms of the efficiency of thought in the solution of its own problems and difficulties. The problem of logic is more than epistemological.
Wherever there is striving there are obstacles; and wherever there is thinking there is a "material-in-question." Dewey"s logic is a theory of reflective experience regarded functionally, or a pragmatic view of the discipline. This logic of experience aims to evaluate the significance of social research, psychology, fine and industrial art, and religious aspiration in the form of scientific statement, and to accomplish for social values in general what the physical sciences have done for the physical world. In Dewey"s teleological pragmatic logic the judgment is essentially instrumental, the whole of thinking is functional, and the meaning of things is identical with valid meaning (_Studies in Logical Theory_, cf. pp. 48, 82, 128). The real world is not a self-existent world outside of knowledge, but simply the totality of experience; and experience is a complex of strains, tensions, checks, and att.i.tudes. The function of logic is the redintegration of this experience. "Thinking is adaptation _to_ an end _through_ the adjustment of particular objective contents" (_ibid._ p. 81). Logic here becomes a large part, if not the whole, of a metaphysics of experience; its nature and function are entirely determined by the theory of reality.
In this brief and fragmentary _resume_ are exhibited certain characteristic movements in the development of logical theory, the construction put upon its subject-matter and its relation to other disciplines. The _resume_ has had in view only the making of the diversity of opinion on these questions historically salient. There are three distinct types of logic noticed here: (1) formal, whose concern is merely with the structural aspect of inferential thought, and its validity in terms of internal congruity; (2) metaphysical logic whose concern is with the functional aspect of thought, its validity in terms of objective reference, and its relation to reality; (3) epistemological and methodological logic, whose concern is with the genesis, nature, and laws of logical thinking as forms of scientific knowledge, and with their technological application to the sciences as methodology. I am not at present concerned with a criticism of these various viewpoints, excepting in so far as they affect the problem of the interrelationship of logic and the allied disciplines.
For my present purpose I reject the extreme metaphysical and formal positions, and a.s.sume that logic is a discipline whose business is to describe and systematize the formal processes of inferential thought and to apply them as practical principles to the body of real knowledge.
I wish now to take up _seriatim_ the several questions touching the various relations of logic enumerated above, and first of all the question of the relation of logic as science to logic as art.
I. _Logic as science and logic as art._
It seems true that the founder of logic, Aristotle, regarded logic not as a science, but rather as propaedeutic to science, and not as an end in itself, but rather technically and heuristically as an instrument. In other words, logic was conceived by him rather in its application or as an art, than as a science, and so it continued to be regarded until the close of the Middle Ages, being characterized indeed as the _ars artium_; for even the _logica docens_ of the Scholastics was merely the formulation of that body of precepts which are of practical service in the syllogistic arrangement of premises, and the Port Royal Logic aims to furnish _l"art de penser_. This technical aspect of the science has clung to it down to the present day, and is no doubt a legitimate description of a part of its function. But no one would now say that logic _is_ an art; rather it is a body of theory which may be technically applied. Mill, in his examination of Sir William Hamilton"s Philosophy (p. 391), says of logic that it "is the art of thinking, which means of correct thinking, and the science of the conditions of correct thinking," and indeed, he goes so far as to say (_System of Logic_, Introd. -- 7): "The extension of logic as a science is determined by its necessities as an art." Strictly speaking, logic as a science is purely theoretical, for the function of science as such is merely to know. It is an organized system of knowledge, namely, an organized system of the principles and conditions of correct thinking. But because correct thinking is an art, it does not follow that a knowledge of the methods and conditions of correct thinking is art, which would be a glaring case of et?as?? e?? ???? ????? (metabasis eis allo genos). The art-bearings of the science are given in the normative character of its subject-matter. As a science logic is descriptive and explanatory, that is, it describes and formulates the norms of valid thought, although as science it is not normative, save in the sense that the principles formulated in it may be normatively or regulatively applied, in which case they become precepts. What is principle in science becomes precept in application, and it is only when technically applied that principles a.s.sume a mandatory character. Validity is not created by logic. Logic merely investigates and states the conditions and criteria of validity, being in this reference a science of evidence. In the very fact, however, that logic is normative in the sense of describing and explaining the norms of correct thinking, its practical or applied character is given. Its principles as known are science; its principles as applied are art. There is, therefore, no reason to sunder these two things or to call logic an art merely or a science merely; for it is both when regarded from different viewpoints, although one must insist on the fact that the rules for practical guidance are, so far as the science is concerned, quite _ab extra_. Logic, ethics, and aesthetics are all commonly (and rightly) called normative disciplines: they are all concerned with values and standards; logic with validity and evidence, or values for cognition; ethics with motives and moral quality in conduct, or values for volition; aesthetics with the standards of beauty, or values for appreciation and feeling. Yet none of them is or can be merely normative, or indeed as science normative at all; if that were so, they would not be bodies of organized knowledge, but bodies of rules. They might be well-arranged codes of legislation on conduct, fine art, and evidence, but not sciences. Strictly regarded, it is the descriptive and explanatory aspect of logic that const.i.tutes its scientific character, while it is the specific normative aspect that const.i.tutes its logical character. Values, whether ethical or logical, without an examination and formulation of their ground, relations, origin, and interconnection, would be merely rules of thumb, popular phrases, or pastoral precepts. The actual methodology of the sciences or applied logic is logic as art.
II. _Relation of logic to psychology._
The differentiation of logic and psychology in such way as to be of practical value in the discussion of the disciplines has always been a difficult matter. John Stuart Mill was disposed to merge logic in psychology, and Hobhouse, his latest notable apologete, draws no fixed distinction between psychology and logic, merely saying that they have different centres of interest, and that their provinces overlap. Lipps, in his _Grundzuge der Logik_ (p. 2), goes the length of saying that "Logic is a psychological discipline, as certainly as knowledge occurs only in the Psyche, and thought, which is developed in knowledge, is a psychical event." Now, if we were to take such extreme ground as this, their ethics, aesthetics, and pure mathematics would become at once branches of psychology and not coordinate disciplines with it, for volitions, the feelings of appreciation, and the reasoning of pure mathematics are psychical events. Such a theory plainly carries us too far and would involve us in confusion. That the demarcation between the two disciplines is not a chasmic cleavage, but a line, and that, too, an historically shifting line, is apparent from the foregoing historical _resume_.
The four main phases of logical theory include: (1) the concept (although some logicians begin with the judgment as temporally prior in the evolution of language), (2) judgment, (3) inference, (4) the methodology of the sciences. The entire concern of logic is, indeed, with psychical processes, but with psychical processes regarded from a specific standpoint, a standpoint different from that of psychology. In the first place psychology in a certain sense is much wider than logic, being concerned with the whole of psychosis as such, including the feelings and will and the entire structure of cognition, whereas logic is concerned with the particular cognitive processes enumerated above (concept, judgment, inference), and that, too, merely from the point of view of validity and the grounds of validity. In another sense psychology is narrower than logic, being concerned purely with the description and explanation of a particular field of phenomena, whereas logic is concerned with the procedure of all the sciences and is practically related to them as their formulated method. The compa.s.s and aims of the two disciplines are different; for while psychology is in different references both wider and narrower than logic, it is also different in the problems it sets itself, its aim being to describe and explain the phenomena of mind in the spirit of empirical science, whereas the aim of logic is only to explain and establish the laws of evidence and standards of validity. Logic is, therefore, selective and particular in the treatment of mental phenomena, whereas psychology is universal, that is, it covers the entire range of mental processes as a phenomenalistic science; logic dealing with definite elements as a normative science. By this it is not meant that the territory of judgment and inference should be delivered from the psychologist into the care of the logician; through such a division of labor both disciplines would suffer. The two disciplines handle to some extent the same subjects, so far as names are concerned; but the essence of the logical problem is not touched by psychology, and should not be mixed up with it, to the confusion and detriment of both disciplines. The field of psychology, as we have said, is the whole of psychical phenomena; the aim of individual psychology in the investigation of its field is: (1) to give a genetic account of cognition, feeling, and will, or whatever be the elements into which consciousness is a.n.a.lyzed; (2) to explain their interconnections causally; (3) as a chemistry of mental life to a.n.a.lyze its complexes into their simplest elements; (4) to explain the totality structurally (or functionally) out of the elements; (5) to carry on its investigation and set forth its results as a purely empirical science; (6) psychology makes no attempt to evaluate the processes of mind either in terms of false and true, or good and bad.
From this description of the field and function of psychology, based on the expressions of its modern exponents, it will be found impossible to shelter logic under it as a subordinate discipline. If one were to enlarge the scope of psychology to mean rational psychology, in the sense which Professor Howison advocates (_Psychological Review_, vol.
iii, p. 652), such a subordination might be possible, but it would entail the loss of all that the new psychology has gained by the sharper delimitation of its sphere and problems, and would carry us back to the position of Mill, who appears to identify psychology with philosophy at large and with metaphysics.
In contradistinction to the aims of psychology as described in the foregoing, the sphere and problems of logic may be summarily characterized as follows: (1) All concepts and judgments are psychological complexes and processes and may be genetically and structurally described; that is the business of psychology. They also have a meaning value, or objective reference, that is, they may be correct or incorrect, congruous or incongruous with reality. The meaning, aspect of thought, or its content as truth is the business of logic. This subject-matter is got by regarding a single aspect in the total psychological complex. (2) Its aim is not to describe factual thought or the whole of thought, or the natural processes of thought, but only certain ideals of thinking, namely, the norms of correct thinking. Its object is not a datum, but an ideal. (3) While psychology is concerned with the natural history of reasoning, logic is concerned with the warrants of inferential reasoning. In the terminology of Hamilton it is the nomology of discursive thought. To use an often employed a.n.a.logy, psychology is the physics of thought, logic an ethics of thought. (4) Logic implies an epistemology or theory of cognition in so far as epistemology discusses the concept and judgment and their relations to the real world, and here is to be found its closest connection with psychology. A purely formal logic, which is concerned merely with the internal order of knowledge and does not undertake to show how the laws of thought originate, why they hold good as the measures of evidence, or in what way they are applicable to concrete reality, would be as barren as scholasticism. (5) While logic thus goes back to epistemology for its bases and for the theoretical determination of the interrelation of knowledge and truth, it goes forward in its application to the practical service of the sciences as their methodology. Apart of its subject-matter is therefore the actual procedure of the sciences, which it attempts to organize into systematic statements as principles and formulae. This body of rules given implicitly or explicitly in the workings and structure of the special sciences, consisting in cla.s.sification, a.n.a.lysis, experiment, induction, deduction, nomenclature, etc., logic regards as a concrete deposit of inferential experience. It abstracts these principles from the content and method of the sciences, describes and explains them, erects them into a systematic methodology, and so creates the practical branch of real logic. Formal logic, therefore, according to the foregoing account, would embrace the questions of the internal congruity and self-consistency of thought and the schematic arrangement of judgments to insure formally valid conclusions; real logic would embrace the epistemological questions of how knowledge is related to reality, and how it is built up out of experience, on the one hand, and the methodological procedure of science, on the other. The importance of mathematical logic seems to be mainly in the facilitation of logical expression through symbols. It is rather with the machinery of the science than with its content and real problem that the logical algorithm or calculus is concerned. In these condensed paragraphs sufficient has been said, I think, to show that logic and psychology should be regarded as coordinate disciplines; for their aims and subject-matter differ too widely to subordinate the former under the latter without confusion to both.
I wish now to add a brief note on the relation of logic to another discipline.
III. _Relation of logic to metaphysics._
As currently expounded, logic either abuts immediately on the territory of metaphysics at certain points or is entirely absorbed in it as an integral part of the metaphysical subject-matter. I regard the former view as not only the more tenable theoretically, but as practically advantageous for working purposes, and necessary for an intelligible cla.s.sification of the philosophical disciplines. The business of metaphysics, as I understand it, is with the nature of reality; logic is concerned with the nature of validity, or with the relations of the elements of thought within themselves (self-consistency) and with the relations of thought to its object (real truth), but not with the nature of the objective world or reality as such. Further, metaphysics is concerned with the unification of the totality of knowledge in the form of a scientific cosmology; logic is concerned merely with the inferential and methodological processes whereby this result is reached.
The former is a science of content; the latter is a science of procedure and relations. Now, inasmuch as procedure and relations apply to some reality and differ with different forms of reality, logic necessitates in its implications a theory of being, but such implications are in no wise to be identified with its subject-matter or with its own proper problems. Their consideration falls within the sphere of metaphysics or a broadly conceived epistemology, whose business it is to solve the ultimate questions of subject and object, thought and thing, mind and matter, that are implied and pointed to rather than formulated by logic.
Inasmuch as the logical judgment says something about something, the scientific impulse drives us to investigate what the latter something ultimately is; but this is not necessary for logic, nor is it one of logic"s legitimate problems, any more than it is the proper business of the physicist to investigate the mental implications of his scientific judgments and hypotheses or the ultimate nature of the theorizing and perceiving mind, or of causality to his world of matter and motion, although a general scientific interest may drive him to seek a solution of these ultimate metaphysical problems. Scientifically the end of logic and of every discipline is in itself; it is a territorial unity, and its government is administered with a unitary aim. Logic is purely a science of evidential values, not a science of content (in the meaning of particular reality, as in the special sciences, or of ultimate reality, as in metaphysics); its sole aim and purpose, as I conceive it, is to formulate the laws and grounds of evidence, the principles of method, and the conditions and forms of inferential thinking. When it has done this, it has, as a single science, done its whole work. When one looks at the present tendencies of logical theory, one is inclined to believe that the discipline is in danger of becoming an "_Allerleiwissenschaft_,"
whose vast undefined territory is the land of "_Weissnichtwo_." The strict delimitation of the field and problems of science is demanded in the interest of a serviceable division of scientific labor and in the interest of an intelligible cla.s.sification of the acc.u.mulated products of research.
THE FIELD OF LOGIC
BY FREDERICK J. E. WOODBRIDGE
[Frederick J. E. Woodbridge, Johnsonian Professor of Philosophy in Columbia University, New York, N. Y., since 1902. b. Windsor, Ontario, Canada, March 26, 1867. A.B.
Amherst College, 1889; Union Theological Seminary, 1892; A.M. 1898, LL.D. 1903, Amherst College. Post-grad. Berlin University. Instructor in Philosophy, University of Minnesota, 1894-95; Professor of Philosophy and head of department, 1895-1902. Member of American a.s.sociation for the Advancement of Science, American Philosophical a.s.sociation, American Psychological a.s.sociation. Editor of the _Journal of Philosophy_, _Psychology and Scientific Methods_.]
Current tendencies in logical theory make a determination of the field of logic fundamental to any statement of the general problems of the science. In view of this fact, I propose in this paper to attempt such a determination by a general discussion of the relation of logic to mathematics, psychology, and biology, especially noting in connection with biology the tendency known as pragmatism. In conclusion, I shall indicate what the resulting general problems appear to be.
I
There may appear, at first, little to distinguish mathematics in its most abstract, formal, and symbolic type from logic. Indeed, mathematics as the universal method of all knowledge has been the ideal of many philosophers, and its right to be such has been claimed of late with renewed force. The recent notable advances in the science have done much to make this claim plausible. A logician, a non-mathematical one, might be tempted to say that, in so far as mathematics is the method of thought in general, it has ceased to be mathematics; but, I suppose, one ought not to quarrel too much with a definition, but should let mathematics mean knowledge simply, if the mathematicians wish it. I shall not, therefore, enter the controversy regarding the proper limits of mathematical inquiry. I wish to note, however, a tendency in the identification of logic and mathematics which seems to me to be inconsistent with the real significance of knowledge. I refer to the exaltation of the freedom of thought in the construction of conceptions, definitions, and hypotheses.
The a.s.sertion that mathematics is a "pure" science is often taken to mean that it is in no way dependent on experience in the construction of its basal concepts. The s.p.a.ce with which geometry deals may be Euclidean or not, as we please; it may be the real s.p.a.ce of experience or not; the properties of it and the conclusions reached about it may hold in the real world or they may not; for the mind is free to construct its conception and definition of s.p.a.ce in accordance with its own aims.
Whether geometry is to be ultimately a science of this type must be left, I suppose, for the mathematicians to decide. A logician may suggest, however, that the propriety of calling all these conceptions "s.p.a.ce" is not as clear as it ought to be. Still further, there seems to underlie all arbitrary s.p.a.ces, as their foundation, a good deal of the solid material of empirical knowledge, gained by human beings through contact with an environing world, the environing character of which seems to be quite independent of the freedom of their thought. However that may be, it is evident, I think, that the generalization of the principle involved in this idea of the freedom of thought in framing its conception of s.p.a.ce, would, if extended to logic, give us a science of knowledge which would have no necessary relation to the real things of experience, although these are the things with which all concrete knowledge is most evidently concerned. It would inform us about the conclusions which necessarily follow from accepted conceptions, but it could not inform us in any way about the real truth of these conclusions. It would, thus, always leave a gap between our knowledge and its objects which logic itself would be quite impotent to close.
Truth would thus become an entirely extra-logical matter. So far as the science of knowledge is concerned, it would be an accident if knowledge fitted the world to which it refers. Such a conception of the science of knowledge is not the property of a few mathematicians exclusively, although they have, perhaps, done more than others to give it its present revived vitality. It is the cla.s.sic doctrine that logic is the science of thought as thought, meaning thereby thought in independence of any specific object whatever.
In regard to this doctrine, I would not even admit that such a science of knowledge is possible. You cannot, by a process of generalization or free construction, rid thought of connection with objects; and there is no such thing as a general content or as content-in-general.
Generalization simply reduces the richness of content and, consequently, of implication. It deals with concrete subject-matter as much and as directly as if the content were individual and specialized. "Things equal to the same thing are equal to each other," is a truth, not about thought, but about things. The conclusions about a fourth dimension follow, not from the fact that we have thought of one, but from the conception about it which we have framed. Neither generalization nor free construction can reveal the operations of thought in transcendental independence.
It may be urged, however, that nothing of this sort was ever claimed.
The bondage of thought to content must be admitted, but generalization and free construction, just because they give us the power to vary conditions as we please, give us thinking in a relative independence of content, and thus show us how thought operates irrespective of, although not independent of, its content. The binomial theorem operates irrespective of the values subst.i.tuted for its symbols. But I can find no gain in this restatement of the position. It is true, in a sense, that we may determine the way thought operates irrespective of any specific content by the processes of generalization and free construction; but it is important to know in what sense. Can we claim that such irrespective operation means that we have discovered certain logical constants, which now stand out as the distinctive tools of thought? Or does it rather mean that this process of varying the content of thought as we please reveals certain real constants, certain ultimate characters of reality, which no amount of generalization or free construction can possibly alter? The second alternative seems to me to be the correct one. Whether it is or not may be left here undecided.
What I wish to emphasize is the fact that the decision is one of the things of vital interest for logic, and properly belongs in that science. Clearly, we can never know the significance of ultimate constants for our thinking until we know what their real character is.
To determine that character we must most certainly pa.s.s out of the realm of generalization and free construction; logic must become other than simply mathematical or symbolic.
There is another sense in which the determination of the operations of thought irrespective of its specific content is interpreted in connection with the exaltation of generalization and free construction.
Knowledge, it is said, is solely a matter of implication, and logic, therefore, is the science of implication simply. If this is so, it would appear possible to develop the whole doctrine of implication by the use of symbols, and thus free the doctrine from dependence on the question as to how far these symbols are themselves related to the real things of the world. If, for instance, _a_ implies _b_, then, if _a_ is true, _b_ is true, and this quite irrespective of the real truth of _a_ or _b_. It is to be urged, however, in opposition to this view, that knowledge is concerned ultimately only with the real truth of _a_ and _b_, and that the implication is of no significance whatever apart from this truth.
There is no virtue in the mere implication. Still further, the supposition that there can be a doctrine of implication, simply, seems to be based on a misconception. For even so-called formal implication gets its significance only on the supposed truth of the terms with which it deals. We suppose that _a_ _does_ imply _b_, and that _a_ _is_ true.
In other words, we can state this law of implication only as we first have valid instances of it given in specific, concrete cases. The law is a generalization and nothing more. The formal statement gives only an apparent freedom from experience. Moreover, there is no reason for saying that _a_ implies _b_ unless it does so either really or by supposition. If _a_ really implies _b_, then the implication is clearly not a matter of thinking it; and to suppose the implication is to feign a reality, the implications of which are equally free from the processes by which they are thought. Ultimately, therefore, logic must take account of real implications. We cannot avoid this through the use of a symbolism which virtually implies them. Implication can have a logical character only because it has first a metaphysical one.
The supposition underlying the conception of logic I have been examining is, itself, open to doubt and seriously questioned. That supposition was the so-called freedom of thought. The argument has already shown that there is certainly a very definite limit to this freedom, even when logic is conceived in a very abstract and formal way. The processes of knowledge are bound up with their contents, and have their character largely determined thereby. When, moreover, we view knowledge in its genesis, when we take into consideration the contributions which psychology and biology have made to our general view of what knowledge is, we seem forced to conclude that the conceptions which we frame are very far from being our own free creations. They have, on the contrary, been laboriously worked out through the same processes of successful adaptation which have resulted in other products. Knowledge has grown up in connection with the unfolding processes of reality, and has, by no means, freely played over its surface. That is why even the most abstract of all mathematics is yet grounded in the evolution of human experience.
In the remaining parts of this paper, I shall discuss further the claims of psychology and biology. The conclusion I would draw here is that the field of logic cannot be restricted to a realm where the operations of thought are supposed to move freely, independent or irrespective of their contents and the objects of a real world; and that mathematics, instead of giving us any support for the supposition that it can, carries us, by the processes of symbolization and formal implication, to recognize that logic must ultimately find its field where implications are real, independent of the processes by which they are thought, and irrespective of the conceptions we choose to frame.
II
The processes involved in the acquisition and systematization of knowledge may, undoubtedly, be regarded as mental processes and fall thus within the province of psychology. It may be claimed, therefore, that every logical process is also a psychological one. The important question is, however, is it nothing more? Do its logical and psychological characters simply coincide? Or, to put the question in still another form, as a psychological process simply, does it also serve as a logical one? The answers to these questions can be determined only by first noting what psychology can say about it as a mental process.
In the first place, psychology can a.n.a.lyze it, and so determine its elements and their connections. It can thus distinguish it from all other mental processes by pointing out its unique elements or their unique and characteristic connection. No one will deny that a judgment is different from an emotion, or that an act of reasoning is different from a volition; and no one will claim that these differences are entirely beyond the psychologist"s power to ascertain accurately and precisely. Still further, it appears possible for him to determine with the same accuracy and precision the distinction in content and connection between processes which are true and those which are false.
For, as mental processes, it is natural to suppose that they contain distinct differences of character which are ascertainable. The states of mind called belief, certainty, conviction, correctness, truth, are thus, doubtless, all distinguishable as mental states. It may be admitted, therefore, that there can be a thoroughgoing psychology of logical processes.
Yet it is quite evident to me that the characterization of a mental process as logical is not a psychological characterization. In fact, I think it may be claimed that the characterization of any mental process in a specific way, say as an emotion, is extra-psychological. Judgments and inferences are, in short, not judgments and inferences because they admit of psychological a.n.a.lysis and explanation, any more than s.p.a.ce is s.p.a.ce because the perception of it can be worked out by genetic psychology. In other words, knowledge is first _knowledge_, and only later a set of processes for psychological a.n.a.lysis. That is why, as it seems to me, all psychological logicians, from Locke to our own day, have signally failed in dealing with the problem of knowledge. The attempt to construct knowledge out of mental states, the relations between ideas, and the relation of ideas to things, has been, as I read the history, decidedly without profit. Confusion and divergent opinion have resulted instead of agreement and confidence. On precisely the same psychological foundation, we have such divergent views of knowledge as idealism, phenomenalism, and agnosticism, with many other strange mixtures of logic, psychology, and metaphysics. The lesson of these perplexing theories seems to be that logic, as logic, must be divorced from psychology.
It is also of importance to note, in this connection, that the determination of a process as mental and as thus falling within the domain of psychology strictly, has by no means been worked out to the general satisfaction of psychologists themselves. Recent literature abounds in elaborate discussion of the distinction between what is a mental fact and what not, with a prevailing tendency to draw the remarkable conclusion that all facts are somehow mental or experienced facts. The situation would be worse for psychology than it is, if that vigorous science had not learned from other sciences the valuable knack of isolating concrete problems and attacking them directly, without the burden of previous logical or metaphysical speculation. Thus knowledge, which is the peculiar province of logic, is increased, while we wait for the acceptable definition of a mental fact. But definitions, be it remembered, are themselves logical matters. Indeed, some psychologists have gone so far as to claim that the distinction of a fact as mental is a purely logical distinction. This is significant as indicating that the time has not yet come for the identification of logic and psychology.
In refreshingly sharp contrast to the vagueness and uncertainty which beset the definition of a mental fact are the palpable concreteness and definiteness of knowledge itself. Every science, even history and philosophy, are instances of it. What const.i.tutes a knowledge ought to be as definite and precise a question as could be asked. That logic has made no more progress than it has in the answer to it appears to be due to the fact that it has not sufficiently grasped the significance of its own simplicity. Knowledge has been the important business of thinking man, and he ought to be able to tell what he does in order to know, as readily as he tells what he does in order to build a house. And that is why the Aristotelian logic has held its own so long. In that logic, "the master of them that know" simply rehea.r.s.ed the way he had systematized his own stores of knowledge. Naturally we, so far as we have followed his methods, have had practically nothing to add. In our efforts to improve on him, we have too often left the right way and followed the impossible method inaugurated by Locke. Had we examined with greater persistence our own methods of making science, we should have profited more. The introduction of psychology, instead of helping the situation, only confuses it.