三、從判斷分類中引出范疇? ? ? ?

? ? ? ? 我們從形式邏輯里面，也可以理清先驗邏輯本身的結(jié)構(gòu)是一種怎么樣的形式。所以康德把形式邏輯稱為先驗邏輯的一條“線索”，去形式邏輯里面去尋找結(jié)構(gòu)。雖然形式邏輯和先驗邏輯不同，但是先驗邏輯要從形式邏輯里面引出來。

? ? ? ? 康德十分看重判斷，判斷是一切知識的細(xì)胞，所有知識首先應(yīng)該形成判斷，然后才能形成知識。一個判斷不一定就是一個知識，但是一個知識必然是以一個判斷的形式出現(xiàn)的。從形式邏輯的判斷里，康德引出了先驗邏輯的諸范疇?？档绿岢隽艘粋€形式邏輯的判斷分類表，從這個表格里引出了先驗邏輯的范疇表。我們可以把一切判斷分為這四大類：

• 量的判斷，量的判斷里面分成全稱判斷、特稱判斷和單稱判斷

• 質(zhì)的判斷，質(zhì)的判斷里面分成肯定判斷、否定判斷和無限判斷

• 關(guān)系的判斷，關(guān)系的判斷里面分為直言判斷、假言判斷和選言判斷

• 模態(tài)的判斷，模態(tài)的判斷里面分為或然判斷、實然判斷和必然判斷

? ? ? ? 對于這些分類，康德并非照搬傳統(tǒng)的形式邏輯，而是和形式邏輯相比，有了一些改動，從這些改動中，我們已經(jīng)可以看到先驗判斷的影子了。傳統(tǒng)的形式邏輯通常采用二分法，也就是每種判斷里面只包含兩種判斷，沒有單稱判斷，無限判斷，在傳統(tǒng)的形式邏輯里面，關(guān)系的判斷里面格外復(fù)雜，還有條件判斷，非條件判斷，簡單判斷和復(fù)合判斷等等，康德摒棄了這種分發(fā)，干脆就把那些丟棄了，只留下這三個判斷。因為直言判斷在傳統(tǒng)形式邏輯里面就是簡單判斷，假言和選言就是復(fù)合判斷。

? ? ? ?康德的四大類，三分法，分別從上到下（量的判斷到質(zhì)的判斷到關(guān)系的判斷到模態(tài)的判斷），從左到右（如，在量的判斷中從全稱判斷到特稱判斷到單稱判斷）是具有層次遞進(jìn)的關(guān)系的。我們直接運用來看看到底是如何操作的：

? ? ? ? 我們說一個標(biāo)準(zhǔn)的判斷，形式應(yīng)該如A是B，主詞“A”謂詞“B”還有一個系詞“是”，組成了一個最簡單的判斷。比如說，“人是有理性的”，我們先考慮量的判斷，是著眼于主詞量的外延，還是謂詞量的外延，我們可以問“所有人都是有理性的”這里的所有就是主詞的量的外延，“有些人是有理性的”，“你是有理性的”，從全稱到特稱到單稱。再到質(zhì)的判斷，質(zhì)的判斷注重謂詞，它是肯定的，還是否定的，還是不確定的（無限的）。關(guān)系的判斷，就是注重主詞和謂詞之間的關(guān)系，直言，假言和選言分別是，因為A那么B，如果A那么B，不是A就是B。模態(tài)判斷則注重系詞的狀態(tài)，你說A是B，這個“是”其實是有不同的意思的，是可能是，真的是還是必然是？當(dāng)你的判斷經(jīng)過這么一個嚴(yán)密的邏輯過程之后，那就可以確定一個準(zhǔn)確的知識了。

? ? ? ? ?所以康德在這里其實已經(jīng)把一種先驗的眼光帶入到形式邏輯的認(rèn)識論中了，來改造形式邏輯，使得形式邏輯能夠成為先驗邏輯的一個引線。

（插點題外話，在分析哲學(xué)或者語言哲學(xué)中，我們?nèi)粘＝涣髦皇前选笆恰钡囊馑蓟炱饋硎褂昧?，“貓是哺乳類”指的是貓歸屬于哺乳類的范疇，貓作為哺乳類的屬，并不是我們通常講的“是”的意思，“他是一位意大利作家”，我們要轉(zhuǎn)換成他是一個人，通過寫作為生，且是意大利人后我們發(fā)現(xiàn)，此時主詞等于謂詞）