Во времена Канта метафизика занималась исследованием мира в целом, души и Бога. Метафизика опиралась на формальную логику, основы которой заложил ещё Аристотель. Но уже Лейбниц показал, что, пользуясь этой логикой, метафизика приходит к взаимоисключениям, к примеру, к выводам о конечности и бесконечности мира. Отталкиваясь от противоречий, Кант делает заключение: метафизика вообще невозможна как строгая наука.