По мнению Канта, три части «Критики разума» и две части «Метафизики» еще не составляют всей системы чистой философии. Целое, частью которого они являются, – это не чистая философия вообще, а чистая материальная философия, которая противопоставляется формальной философии, называемой логикой. Материальная философия, или метафизика, включая ее пропедевтику, критику разума, имеет дело с определенными предметами и законами, которым они подчиняются. Логика имеет дело лишь с формой рассудка и самого разума, с общими правилами мышления вообще, без различения предметов; она абстрагируется от всего содержания рассудочного познания и многообразия его предметов, от всякого отношения мысли к объекту и рассматривает, даже не заботясь о происхождении познания, лишь логическую форму в отношении познаний друг к другу, т.е. форму мысли вообще (чем она отличается от той части «Критики чистого разума», которая называется трансцендентальной логикой, так как в ней речь идет не о законах рассудка и разума вообще, а только о тех, которые касаются чистого использования этих способностей, и не абстрагируется от всего содержания знания, а концентрируется на определенном содержании, а именно на том, которое вытекает из самого рассудка и разума, и является, таким образом, наукой о происхождении, объеме и объективной истинности чистого знания о рассудке и разуме). Логика, как и критика разума и метафизика, относится к чистой философии. В ней, по словам Канта, нет эмпирических принципов, она является доказательным учением, и все в ней должно быть совершенно «априорно определенным». В своих работах он ничего не говорит о том, как она связана с различием между синтетическим и аналитическим знанием, должна ли она, как и материальная философия, состоять исключительно из синтетических суждений, достигается ли она полностью или частично путем простого деления понятий.