The Critique of Pure Reason was characterized by Kant as ontology, the introductory part of metaphysics. The main part of ontology or transcendental philosophy was constituted by transcendental logic. Beside this newly-invented part of logic, Kant admitted general logic,¹ which is the same as formal logic and deals with the forms of thinking in general. Transcendental logic also abstracts the content of experience, but not, like general logic, all content of knowledge. While general logic deals with both empirical and pure knowledge, transcendental logic should be confined to the a priori knowledge of understanding and reason. It is a science which determines the objective validity of this knowledge. Combined with transcendental aesthetic, transcendental logic forms the Critique of Pure Reason. Hegel attached much importance to this transcendental logic and attempted to make it the substitute for "previous metaphysics, " calling it an objective logic.