Sam idealizm Kanta określał on jako transcendentalny, formalny lub później krytyczny w opozycji do innych form, które wyróżniał w obrębie idealizmu współczesnego, tj. do idealizmu dogmatycznego lub wizyjnego Berkeleya oraz idealizmu problematycznego lub sceptycznego Kartezjusza które łącznie określał jako idealizm empiryczny.