Puhtaan järjen kritiikki
"Puhtaan järjen kritiikki" pyrkii vastaamaan kysymyksiin siitä, mitä tiedämme ja kuinka voimme tietää sen. Kant lähestyy näitä kysymyksiä tarkastelemalla järkeilyyn perustuvan tiedon (mitä tiedämme pelkästään logiikalla, ennen havaintoa tai havainnoista riippumatta, eli "a priori") ja kokemukseen perustuvan tiedon (mitä tiedämme perustuen aistiemme syötteisiin, eli "a posteriori") välistä suhdetta.
Kategorinen arvostelma
Immanuel Kant esitti teoksessaan "Puhtaan järjen kritiikki" arvostelmamuotojen luettelon, joka kuvasi perinteisen logiikan täydellisimmässä muodossaan. Kantin järjestelmän mukaisesti jokaisella arvostelmalla on neljä momenttia, yksi kustakin kolmen momentin ryhmästä: