И. Кант разработал новый тип логики, которую назвал трансцендентальной (от лат. transcendere — переступать). В ней логические формы рассматриваются как априорные (доопытные) свойства рассудка, обусловливающие возможность всеобщего и необходимого знания явлений опыта.
