| Logic– | general– | pure |
| applied | ||
| special | ||
| transcendental | ||
Adickes[650] criticises Kant’s classification as defective, owing to the omission of the intermediate concept ‘ordinary.’ Adickes therefore gives the following table:
| Logic | |||
| transcendental | ordinary | ||
| special | general | ||
| pure | applied | ||
General logic is a logic of elements, i.e. of the absolutely necessary laws of thought, in abstraction from all differences in the objects dealt with, i.e. from all content, whether empirical or transcendental. It is a canon of the understanding in its general discursive or analytic employment. When it is pure, it takes no account of the empirical psychological conditions under which the understanding has to act. When it is developed as an applied logic, it proceeds to formulate rules for the employment of understanding under these subjective conditions. It is then neither canon, nor organon, but simply a catharticon of the ordinary understanding. Special logic is the organon of this or that science, i.e. of the rules governing correct thinking in regard to a certain class of objects. Only pure general logic is a pure doctrine of reason. It alone is absolutely independent of sensibility, of everything empirical, and therefore of psychology. Such pure logic is a body of demonstrative teaching, completely a priori. It stands to applied logic in the same relation as pure to applied ethics.
“Some logicians, indeed, affirm that logic presupposes psychological principles. But it is just as inappropriate to bring principles of this kind into logic as to derive the science of morals from life. If we were to take the principles from psychology, that is, from observations on our understanding, we should merely see how thought takes place, and how it is affected by the manifold subjective hindrances and conditions; so that this would lead only to the knowledge of contingent laws. But in logic the question is not of contingent, but of necessary laws; not how we do think, but how we ought to think. The rules of logic, then, must not be derived from the contingent, but from the necessary use of the understanding which without any psychology a man finds in himself. In logic we do not want to know how the understanding is and thinks, and how it has hitherto proceeded in thinking, but how it ought to proceed in thinking. Its business is to teach us the correct use of reason, that is, the use which is consistent with itself.”[651]
By a canon Kant means a system of a priori principles for the correct employment of a certain faculty of knowledge.[652] By an organon Kant means instruction as to how knowledge may be extended, how new knowledge may be acquired. A canon formulates positive principles through the application of which a faculty can be directed and disciplined. A canon is therefore a discipline based on positive principles of correct use. The term discipline is, however, reserved by Kant[653] to signify a purely negative teaching, which seeks only to prevent error and to check the tendency to deviate from rules. When a faculty has no correct use (as, for instance, pure speculative reason), it is subject only to a discipline, not to a canon. A discipline is thus “a separate, negative code,” “a system of caution and self-examination.” It is further distinguished from a canon by its taking account of other than purely a priori conditions. It is related to a pure canon much as applied is related to general logic. As a canon supplies principles for the directing of a faculty, its distinction from an organon obviously cannot be made hard and fast. But here as elsewhere Kant, though rigorous and almost pedantic in the drawing of distinctions, is correspondingly careless in their application. He describes special logic as the organon of this or that science.[654] We should expect from the definition given in the preceding sentence that it would rather be viewed as a canon. In A 46 = B 63 Kant speaks of the Aesthetic as an organon.
II. Concerning Transcendental Logic.—It is with the distinction between general and transcendental logic that Kant is chiefly concerned. It is a distinction which he has himself invented, and which is of fundamental importance for the purposes of the Critique. Transcendental logic is the new science which he seeks to expound in this second main division of the Doctrine of Elements. The distinction, from which all the differences between the two sciences follow, is that while general logic abstracts from all differences in the objects known, transcendental logic abstracts only from empirical content. On the supposition, not yet proved by Kant, but asserted in anticipation, that there exist pure a priori concepts which are valid of objects, there will exist a science distinct in nature and different in purpose from general logic. The two logics will agree in being a priori, but otherwise they will differ in all essential respects.
The reference in A 55 = B 79 to the forms of intuition is somewhat ambiguous. Kant might be taken as meaning that in transcendental logic abstraction is made not only from everything empirical but also from all intuition. That is not, however, Kant’s real view, or at least not his final view. In sections A 76-7 = B 102, A 130-1 = B 170, and A 135-6 = B 174-5, which are probably all of later origin, he states his position in the clearest terms. Transcendental logic, he there declares, differs from general logic in that it is not called upon to abstract from the pure a priori manifolds of intuition.[655] This involves, it may be noted, the recognition, so much more pronounced in the later developments of Kant’s Critical teaching, of space and time as not merely forms for the apprehension of sensuous manifolds but as themselves presenting to the mind independent manifolds of a priori nature.
As the term transcendental indicates, the new logic will have as its central problems the origin, scope, conditions and possibility of valid a priori knowledge of objects. None of these problems are treated in general logic, which deals only with the understanding itself. The question which it raises is, as Kant says in his Logic,[656] How can the understanding know itself? The question dealt with by transcendental logic we may formulate in a corresponding way: How can the understanding possess pure a priori knowledge of objects? It is a canon of pure understanding in so far as that faculty is capable of synthetic, objective knowledge a priori.[657] General logic involves, it is true, the idea of reference to objects,[658] but the possibility of such reference is not itself investigated. In general logic the understanding deals only with itself. It assumes indeed that all objects must conform to its laws, but this assumption plays no part in the science itself.
A further point, not here dwelt upon by Kant, calls for notice, namely, that the activities of understanding dealt with by general logic are its merely discursive activities,—those of discrimination and comparison; whereas those dealt with by transcendental logic are the originative activities through which it produces a priori concepts from within itself, and through which it attains, independently of experience, to an a priori determination of objects. Otherwise stated, general logic deals only with analytic thinking, transcendental logic with the synthetic activities that are involved in the generation of the complex contents which form the subject matter of the analytic procedure.