因此，它們可以表列為四組，每一組里可細分成三個范疇。在通常稱為“形而上學演繹”的“發(fā)現(xiàn)一切純粹知性概念的途徑”里，康德嘗試把它們推導出來。

范疇的應用范圍顯然比時空概念更廣，因為我們似乎可以陳述時空世界以外的事物。例如，許多哲學家藉因果概念去證明上帝存在，但是同時主張上帝不在時間和空間里?？档孪裨谒暗男葜円粯?，相信那是錯的，但他也反對休謨認為因果觀念由于源自經(jīng)驗而只能限于經(jīng)驗的說法；范疇是先天的概念，因此獨立于經(jīng)驗。雖然它們使經(jīng)驗性知識成為可能，卻也可以使其他知識成為可能。的確，范疇使形而上學（關于無空間性和無時間性的對象的）知識成為可能，是就職論文的一個主題。先驗演繹法的任務便是證明范疇對于經(jīng)驗知識是必要的，對于獨立于時空的對象的知識則是不足的。

康德試圖證明，雖然范疇本身獨立于經(jīng)驗，但其應用則必然受限制于時空性的經(jīng)驗。它們的功能在于讓我們去思考經(jīng)驗對象或現(xiàn)象。先驗演繹是《純粹理性批判》最難懂的地方，基本上便是要厘清范疇使用的限制。大家都知道，康德的論證細節(jié)很凌亂。康德的意思是什么，他如何相信已經(jīng)證明某些要點，并不是一直很清楚。不過其整體性的策略是清楚的?？档孪胍C明，只有當范疇使經(jīng)驗成為可能，它們才是可能的概念；當范疇應用在經(jīng)驗以外的地方，便成了空洞的文字：

于是一切先天理念的這個先驗演繹，蘊含著所有研究必須依據(jù)的原則，亦即：先天概念必須被理解為一切經(jīng)驗的可能性的先天條件（無論是在其中遇到的直觀的還是思維的可能性的先天條件）。那些能夠為經(jīng)驗可能性賦予客觀條件的概念，因此是不可或缺。（A94=B126）

先天演繹證明了，范疇（康德主張形而上學演繹可以證明范疇為既與的）是一切可能經(jīng)驗（康德同樣認為是既與的）的必然預設?？档孪胍C明，范疇只有與經(jīng)驗相關時，其使用才是證成的。

這就是范疇或知性概念與理性理念的最大差別。后者是康德所謂的第三種形式或者理性形式，在先驗邏輯的第二部分里討論，稱為先驗辨證論。理念不能構成“任何客觀有效的綜合判斷”的基礎?！凹兇饫硇噪m則可以透過知性概念建立可靠的原理，但不是直接藉由概念建立，而總是間接源自這些概念與偶然事物的關系，亦即可能的經(jīng)驗?！保ˋ737=B765）因此他可以說，任何知性的原理“有如下的特性：它（原理）自己使那作為其證明根據(jù)的經(jīng)驗成為可能”（A737=B765），這不僅蘊含著，如果沒有這些范疇，經(jīng)驗就不可能，同時也意味著，我們無法證明范疇的客觀有效性，除非建立與可能的經(jīng)驗的關系，而這個關系本身“純屬偶然”。

在探討理念以前，康德先討論以范疇為基礎的普遍性認識原理（原理分析論）。純粹的知性概念所謂的圖型法，毫無疑問是（次于先驗演繹的）第二個困難的章節(jié)。在圖型法里，康德主張，僅僅以邏輯討論范疇是不夠的。因為它忽略了，我們在思考里，因而在時間里，必須使用范疇。因此我們必須說明這些純粹概念如何進入我們的思考。“我們必須能夠證明，純粹概念何以能夠應用于現(xiàn)象之上。”（A138=B177）康德認為“顯然必須有個第三者，一方面與范疇同質，另一方面與現(xiàn)象同質……”（A133=B177），這便是他所謂的“先驗圖型”或者范疇圖型。這些圖型是聯(lián)系純粹概念以及感覺與料的規(guī)則。于是我們有質】、關系與模態(tài)的圖式。所有這些規(guī)則都有個共同點，即它們都存在于時間里。事實上，“圖型無非……依據(jù)規(guī)則的先天時間性規(guī)定而已”。（A145=B184）這些規(guī)則涉及時間序列（量）、時間內容（質）、時間次序（關系）和時間總和（模態(tài)）。