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 later broke with neo-Leibnizian-Wolffian metaphysics, some of Leibnizian traces are still identifiable in his logic (formality quantification, the subject of logic).
Formality of logic, G. W. Leibniz, History of logic, I. Kant, Subject of logic