Part 18

Kant's treatment of technical logic was wholly traditional, and in itself is almost negligible. It is comprised[129] in an early essay on the mistaken subtlety of the syllogistic figures, and a late compilation by a pupil from the introductory matter and running annotations with which the master had enriched his interleaved lecture-room copy of Meyer's _Compendium_ of 1752. Wolff's general logic, "the best," said Kant, "that we possess," had been abridged by Baumgarten and the abridgment then subjected to commentation by Meyer. With this traditional body of doctrine Kant was, save for matters of minor detail, quite content. Logic was of necessity formal, dealing as it must with those rules without which no exercise of the understanding would be possible at all. Upon abstraction from all particular methods of thought these rules were to be discerned a priori or without dependence on experience by reflection solely upon the use of the understanding in general. The science of the form of thought abstracted in this way from its matter or content was regarded as of value both as propaedeutic and as canon. It was manifestly one of the disciplines in which a position of finality was attainable. Aristotle might be allowed, indeed, to have omitted no essential point of the understanding, what the moderns had achieved consisted in an advance in accuracy and methodical completeness. "Indeed, we do not require any new discoverers in logic,"[130] said the discoverer of a priori synthesis, "since it contains merely the form of thought." Applied logic is merely psychology, and not properly to be called logic at all. The technical logic of Kant, then, justifies literally a movement among his successors in favour of a formal conception of logic with the law of contradiction and the doctrine of formal implication for its equipment. Unless the doctrine of Kant's "transcendental logic" must be held to supply a point of view from which a logical development of quite another kind is inevitable, Kant's mantle, so far as logic is concerned, must be regarded as having fallen upon the formal logicians.

Definition of "Transcendental."

Kant's transcendental teaching is summarily as follows: "Transcendental" is his epithet for what is neither empirical--i.e. to be derived from experience--nor yet transcendent--i.e. applicable beyond the limits of experience, the mark of experience being the implication of sense or of something which thought contra-distinguishes from its own spontaneous activity as in some sense "the given." Those features in our organized experience are to be regarded as transcendentally established which are the presuppositions of our having that experience at all. Since they are not empirical they must be structural and belong to "the mind"--i.e. the normal human intelligence, and to like intelligence so far as like. If we set aside such transcendental conditions as belong to sensibility or to the receptive phase of mind and are the presuppositions of juxtaposition of parts, the remainder are ascribable to spontaneity or understanding, to thought with its unifying, organizing or focussing function, and their elucidation is the problem of transcendental analytic. It is still logic, indeed, when we are occupied with the transcendent objects of the discursive faculty as it is employed beyond the limits of experience where it cannot validate its ideas. Such a logic, however, is a dialectic of illusion, perplexed by paralogisms and helpless in the face of antinomies. In transcendental analytic on the other hand we concern ourselves only with the transcendental "deduction" or vindication of the conditions of experience, and we have a logic of cognition in which we may establish our epistemological categories with complete validity. Categories are the forms according to which the combining unity of self-consciousness (synthetic unity of apperception) pluralizes itself through the various functions involved in the constitution of objectivity in different types of the one act of thought, viz. judgment. The clue to the discovery of transcendental conditions Kant finds in the existence of judgments, most manifest in mathematics and in the pure science of nature, which are certain, yet not trifling, necessary and yet not reducible to identities, synthetic therefore and a priori, and so accounted for neither by Locke nor by Leibnitz. "There lies a transcendental condition at the basis of every necessity."

Form of Matter of Thought.

Kant's mode of conceiving the activity of thought in the constitution of objects and of their connexion in experience was thought to lie open to an interpretation in conformity with the spirit of his logic, in the sense that the form and the content in knowledge are not merely distinguishable functions within an organic whole, but either separable, or at least indifferent one to the other in such a way as to be clearly independent. Thought as form would thus be a factor or an element in a composite unit. It would clearly have its own laws. It would be the whole concern of logic, which, since in it thought has itself for object, would have no reference to the other term of the antithesis, nor properly and immediately to the knowledge which is compact of thought in conjunction with something which, whatever it may be, is prima facie other than thought. There is too much textual warrant for this interpretation of Kant's meaning. Doubtless there are passages which make against an extreme dualistic interpretation. Even in his "logic" Kant speaks of abstraction from all particular objects of thought rather than of a resolution of concrete thinking into thought and its "other" as separable co-operating factors in a joint product. He spoke throughout, however, as if form and content were mutually indifferent, so that the abstraction of form from content implied nothing of falsification or mutilation. The reserve, therefore, that it was abstraction and not a decomposing that was in question remained to the admirers of his logic quite nugatory. They failed to realize that permissible abstraction from specific contents or methods of knowledge does not obliterate reference to matter or content. They passed easily from the acceptance of a priori forms of thinking to that of forms of a priori thinking, and could plead the example of Kant's logic.

Kant's theory of knowledge, then, needed to be pressed to other consequences for logic which were more consonant with the spirit of the _Critique_. The forms of thought and what gives thought its particular content in concrete acts of thinking could not be regarded as subsisting in a purely external and indifferent relation one to the other. "Laws according to which the subject thinks" and "laws according to which the object is known" cannot be the concern of separate departments of inquiry. As soon divorce the investigation of the shape and material of a mirror from the laws of the incidence of the rays that form images in it, and call it a science of reflection! An important group of writers developed the conception of an adaptation between the two sides of Kant's antithesis, and made the endeavour to establish some kind of correlation between logical forms and the process of "the given." There was a tendency to fall back upon the conception of some kind of parallelism, whether it was taken to be interpretative or rather corrective of Kant's meaning. This device was never remote from the constructions of writers for whom the teaching of Spinoza and Leibnitz was an integral part of their intellectual equipment. Other modes of correlation, however, find favour also, and in some variety. Kant is seldom the sole source of inspiration. His unresolved antithesis[131] is interpreted either diversely or with a difference of emphasis. And the light that later writers bring to bear on Kant's logic and epistemology from other sides of his speculation varies in kind and in degree.

Another logical movement springs from those whom a correlation of fact within the unity of a system altogether failed to satisfy. There must also be development of the correlated terms from a single principle. Form and content must not only correspond one to the other. They must be exhibited as distinguishable moments within a unity which can at one and the same time be seen to be the ground from which the distinction springs and the ground in virtue of which it is over-ruled. Along this line of speculation we have a logic which claims that whatsoever is in one plane or at one stage in the development of thought a residuum that apparently defies analysis must at another stage and on a higher plane be shown so to be absorbed as to fall altogether within thought. This is the view of Hegel upon which logic comes to coincide with the progressive self-unfolding of thought in that type of metaphysic which is known as absolute, i.e. all-inclusive idealism. The exponent of logic as metaphysic, for whom the rational is the real is necessarily in revolt against all that is characteristically Kantian in the theory of knowledge, against the transcendental method itself and against the doctrine of limits which constitutes the nerve of "criticism." Stress was to be laid upon the constructive character of the act of thought which Kant had recognized, and without Kant's qualifications of it. In all else the claim is made to have left the Kantian teaching behind as a cancelled level of speculation.

Limitation of Transcendental Method.

Transcendental method is indeed not invulnerable. A principle is transcendentally "deduced" when it and only it can explain the validity of some phase of experience, some order of truths. The order of truths, the phase of experience and its certainty had to be taken for granted. The sense, for example, in which the irreversibility of sequence which is the more known _in ordine ad hominem_ in the case of the causal principle differs from merely psychological conviction is not made fully clear. Even so the inference to the a priori ground of its necessity is, it has been often pointed out, subject to the limitation inherent in any process of reduction, in any regress, that is, from conditionate to condition, viz. that in theory an alternative is still possible. The inferred principle may hold the field as explanation without obvious competitor potential or actual. Nevertheless its claim to be the sole possible explanation can in nowise be validated. It has been established after all by dialectic in the Aristotelian sense of the word. But if transcendental method has no special pride of place, Kant's conclusion as to the limits of the competence of intellectual faculty falls with it. Cognition manifestly needs the help of Reason even in its theoretical use. Its speculation can no longer be stigmatized as vaticination _in vacuo_, nor its results as illusory.

Logic and Psychology.

Finally, to logic as metaphysic the polar antithesis is psychology as logic. The turn of this also was to come again. If logic were treated as merely formal, the stress of the problem of knowledge fell upon the determination of the processes of the psychological mechanism. If alleged a priori constituents of knowledge--such rubrics as substance, property, relation--come to be explained psychologically, the formal logic that has perforce to ignore all that belongs to psychology is confined within too narrow a range to be able to maintain its place as an independent discipline, and tends to be merged in psychology. This tendency is to be seen in the activity of Fries and Herbart and Beneke, and was actualized as the aftermath of their speculation. It is no accident that it was the psychology of apperception and the voluntaryist theory or practice of Herbart, whose logical theory was so closely allied to that of the formal logicians proper, that contributed most to the development of the post-Kantian psychological logic. Another movement helped also; the exponents of naturalistic evolution were prepared with Spencer to explain the so-called _a priori_ in knowledge as in truth _a posteriori_, if not to the individual at any rate to the race. It is of course a newer type of psychological logic that is in question, one that is aware of Kant's "answer to Hume." Stuart Mill, despite of his relation of antagonism to Hamilton and Mansel, who held themselves to be Kantian in spirit, is still wholly pre-Kantian in his outlook.

Summary.

Kant's influence, then, upon subsequent logic is least of all to be measured by his achievement in his professed contribution to technical logic. It may be attributed in some slight degree, perhaps, to incidental flashes of logical insight where his thought is least of what he himself calls logic, e.g. his exposition of the significance of synthetic judgments _a priori_, or his explanation of the function of imagery in relation to thought, whereby he offers a solution of the problem of the conditions under which one member of a group unified through a concept can be taken to stand for the rest, or again the way in which he puts his finger on the vital issue in regard to the alleged proof from essence to existence, and illustrations could be multiplied. But much more it belongs to his transformation of the epistemological problem, and to the suggestiveness of his philosophy as a whole for an advance in the direction of a speculative construction which should be able to cancel all Kant's surds, and in particular vindicate a "ground of the unity of the supersensible which lies back of nature with that which the concept of freedom implies in the sphere of practice,"[132] which is what Kant finally asserts.

iv. _After Kant._

Starting from the obvious antithesis of thought and that of which it is the thought, it is possible to view the ultimate relation of its term as that of mutual indifference or, secondly, as that of a correspondence such that while they retain their distinct character modification of the one implies modification of the other, or thirdly and lastly, as that of a mergence of one in the other of such a nature that the merged term, whichever it be, is fully accounted for in a complete theory of that in which it is merged.

The Formal Logicians.

The first way is that of the purely formal logicians, of whom Twesten[133] and in England H. L. Mansel may be regarded as typical. They take thought and "the given" as self-contained units which, if not in fact separable, are at any rate susceptible of an abstraction the one from the other so decisive as to constitute an ideal separation. The laws of the pure activity of thought must be independently determined, and since the contribution of thought to knowledge is form they must be formal only. They cannot go beyond the limits of formal consistency or analytic correctness. They are confined to the determination of what the truth of any matter of thought, taken for granted upon grounds psychological or other, which are extraneous to logic, includes or excludes. The unit for logic is the concept taken for granted. The function of logic is to exhibit its formal implications and repulsions. It is questionable whether even this modest task could be really achieved without other reference to the content abstracted from than Mansel, for example, allows. The analogy of the resolution of a chemical compound with its elements which is often on the lips of those who would justify the independence of thought and the real world, with an agnostic conclusion as to non-phenomenal or trans-subjective reality, is not really applicable. The oxygen and hydrogen, for example, into which water may be resolved are not in strictness indifferent one to the other, since both are members of an order regulated according to laws of combination in definite ratios. Or, if applicable, it is double-edged. Suppose oxygen to be found only in water. Were it to become conscious, would it therefore follow that it could infer the laws of a separate or independent activity of its own? Similarly forms of thinking, the law of contradiction not excepted, have their meaning only in reference to determinate content, even though distributively all determinate contents are dispensable. The extreme formalist is guilty of a fallacy of composition in regard to abstraction.

It does not follow, however, that the laws asserted by the formal logicians are invalid or unimportant. There is a permissible abstraction, and in general they practise this, and although they narrow its range unduly, it is legitimately to be applied to certain characters of thinking. As the living organism includes something of mechanism--the skeleton, for example--so an organic logic doubtless includes determinations of formal consistency. The skeleton is meaningless apart from reference to its function in the life of an organism, yet there are laws of skeleton structure which can be studied with most advantage if other characters of the organism are relegated to the background. To allow, however, that abstraction admits of degrees, and that it never obliterates all reference to that from which it is abstracted, is to take a step forward in the direction of the correlation of logical forms with the concrete processes of actual thinking. What was true in formal logic tended to be absorbed in the correlationist theories.

Those formal logicians of the Kantian school, then, may be summarily dismissed, though their undertaking was a necessary one, who failed to raise the epistemological issue at all, or who, raising it, acquiesced in a naïve dualism agnostic of the real world as Kant's essential lesson. They failed to develop any view which could serve either in fact or in theory as a corrective to the effect of their formalism. What they said with justice was said as well or better elsewhere.

Among them it is on the whole impossible not to include the names of Hamilton and Mansel. The former, while his erudition in respect to the history of philosophical opinion has rarely been equalled, was not a clear thinker. His general theory of knowledge deriving from Kant and Reid, and including among other things a _contaminatio_ of their theories of perception,[134] in no way sustains or mitigates his narrow view of logic. He makes no effective use of his general formula that to think is to condition. He appeals to the direct testimony of consciousness in the sense in which the appeal involves a fallacy. He accepts an ultimate antinomy as to the finiteness or infinity of "the unconditioned," yet applies the law of the excluded middle to insist that one of the two alternatives must be true, wherefore we must make the choice. And what is to be said of the judgment of a writer who considers the relativity of thought demonstrated by the fact that every judgment unites two members? Hamilton's significance for the history of logic lies in the stimulus that he gave to the development of symbolic logic in England by his new analytic based upon his discovery or adoption of the principle of the quantification of the predicate. Mansel, too, was learned, specially in matters of Aristotelian exegesis, and much that is of value lies buried in his commentation of the dry bones of the _Artis Logicae Rudimenta_ of Locke's contemporary Aldrich. And he was a clearer thinker than Hamilton. Formal logic of the extremest rigour is nowhere to be found more adequately expressed in all its strength, and it must be added in all its weakness, than in the writings of Mansel. But if the view maintained above that formal logic must compromise or mitigate its rigour and so fail to maintain its independence, be correct, the logical consistency of Mansel's logic of consistency does but emphasize its barrenness. It contains no germ for further development. It is the end of a movement.

Herbart.

The brief logic of Herbart[135] is altogether formal too. Logical forms have for him neither psychological nor metaphysical reference, we are concerned in logic solely with the systematic clarification of concepts which are wholly abstract, so that they are not merely not ultimate realities, but also in no sense actual moments of our concrete thinking. The first task of logic is to distinguish and group such concepts according to their marks, and from their classification there naturally follows their connexion in judgment. It is in the logic of judgment that Herbart inaugurates a new era. He is not, of course, the first to note that even categorical judgments do not assert the realization of their subject. That is a thought which lies very near the surface for formal logic. He had been preceded too by Maimon in the attempt at a reduction of the traditional types of judgment. He was, however, the first whose analysis was sufficiently convincing to exorcise the tyranny of grammatical forms. The categorical and disjunctive judgment reduce to the hypothetical. By means of the doctrine of the quantification of the predicate, in which with his Leibnitzian conception of identity he anticipated Beneke and Hamilton alike, universal and particular judgments are made to pull together. Modal, impersonal, existential judgments are all accounted for. Only the distinction of affirmative and negative judgments remains unresolved, and the exception is a natural one from the point of view of a philosophy of pluralism. There was little left to be done here save in the way of an inevitable _mutatis mutandis_, even by Lotze and F. H. Bradley. From the judgment viewed as hypothetical we pass by affirmation of the antecedent or denial of the consequent to inference. This point of departure is noteworthy, as also is the treatment of the inductive syllogism as one in which the middle term is resoluble into a group or series (_Reihe_). In indicating specifically, too, the case of conclusion from a copulative major premise with a disjunctive minor, Herbart seems to have suggested the cue for Sigwart's exposition of Bacon's method of exclusions.

That it was the formal character of Herbart's logic which was ultimately fatal to its acceptance outside the school as an independent discipline is not to be doubted. It stands, however, on a different footing from that of the formal logic hitherto discussed, and is not to be condemned upon quite the same grounds. In the first place, Herbart is quite aware of the nature of abstraction. In the second, there is no claim that thought at one and the same time imposes form on "the given" and is susceptible of treatment in isolation by logic. With Herbart the forms of common experience, and indeed all that we can regard as his categories, are products of the psychological mechanism and destitute of logical import. And lastly, Herbart's logic conforms to the exigencies of his system as a whole and the principle of the bare or absolute self-identity of the ultimate "reals" in particular. It is for this reason that it finally lacks real affinity to the "pure logic" of Fries. For at the basis of Herbart's speculation there lies a conception of identity foreign to the thought of Kant with his stress on synthesis, in his thoroughgoing metaphysical use of which Herbart goes back not merely to Wolff but to Leibnitz. It is no mere coincidence that his treatment of all forms of continuance and even his positive metaphysic of "reals" show affinity to Leibnitz. It was in the pressing to its extreme consequences of the conception of uncompromising identity which is to be found in Leibnitz, that the contradictions took their rise which Herbart aimed at solving, by the method of relations and his doctrine of the ultimate plurality of "reals." The logic of relations between conceptual units, themselves unaltered by the relation, seems a kind of reflection of his metaphysical method. To those, of course, for whom the only real identity is identity in difference, while identity without difference, like difference without identity, is simply a limit or a vanishing point, Herbart's logic and metaphysic will alike lack plausibility.