The article represents the outcomes of the reconstruction of Kant’s classifi-
cation of kinds of logic. It demonstrates that it would be impossible to form
the traditional understanding of so-called formal logic, as well as of today’s
symbolic logic, without Kant’s notion of pure general logic. It was formed by
Kant within the framework of his critique of reason. Critique has changed our
understanding of logic from seeing it as organon to an understanding of it as
a canon of finite cognition. In conclusion we pose the question of the status
of Kant’s transcendental logic with regard to its connection to classification of
types of logic given by him and possibility of its formalization in account of
Kant’s idea of pure general logic.