EN
The article deals with Kant´s concept of logic on the background of the historical developments of logic taking into account particularly Leibniz´s influence. A special attention is paid to its formality emphasized by Kant and inspired by Leibniz. It is the form that is determining the possibility of logic´s development. Although Kant broke later with neo-Leibnizian-Wolffian metaphysics, some of Leibniz´s traces are still identifiable in his logic (formality quantification, the subject of logic).