Kanti filosoofia, "Prolegomena" 3. Osa
spetsiifilisi mõisteid otsustuses ühendatakse, s.t. otsustuse formaal-loogilist vormi. Kanti
väide on nüüd selline: kui seda, mis annab kogemusotsustustele objektiivsuse, ei saa tuletada
spetsiifilistest mõistetest (need pärinevad lõppkokkuvõttes tajust), siis peab see seisnema
kogemusotsustuste vormis kehastunud mõistetes a priori. Ja siis peab kõigi erinevate viiside
jaoks, kuidas kogemusotsustused vastavatele tajuotsustustele objektiivsuse annavad, olema
olemas üks vastav kategooria. Järelikult, kui me oleme võimelised üles leidma kõik kogemus-
otsustuste võimalikud vormid, siis oleme me leidnud ka kategooriate lõpliku loetelu. Kanti
sõnul ongi formaalne loogika kõik otsustuse vormid põhiliselt õigesti ära kirjeldanud.
Seejuures rõhutab ta eriti seda, et formaalne – või nagu tema ütleb: üldine loogika – on
sündinud juba antiikajal ning kahetuhande aasta vältel põhiliselt muutumatuna püsinuna