Logic

[L:18] Kant defines logic as "a canon that...serves as the principle of judging all use of the understanding as such, although only as to its rightness in respect of mere form". It is "a science a priori of the necessary laws of thinking, not, however, in respect of particular objects but all objects generatim; it is a science...of the right use of the understanding and of reason as such...i.e., according to a priori principles of how it ought to think". Kant discusses several divisions of logic, including: traditional logic, pure logic, applied logic, general logic, special logic, and transcendental logic. In addition, in the Critique he distinguishes between logical and transcendental employment of the faculties.

see Epistemology for contrast; also see Symbolic logic