《德国古典哲学讲演录》（康德的认识论）——先验逻辑的先验分析论3

三、从判断分类中引出范畴       

        我们从形式逻辑里面，也可以理清先验逻辑本身的结构是一种怎么样的形式。所以康德把形式逻辑称为先验逻辑的一条“线索”，去形式逻辑里面去寻找结构。虽然形式逻辑和先验逻辑不同，但是先验逻辑要从形式逻辑里面引出来。

        康德十分看重判断，判断是一切知识的细胞，所有知识首先应该形成判断，然后才能形成知识。一个判断不一定就是一个知识，但是一个知识必然是以一个判断的形式出现的。从形式逻辑的判断里，康德引出了先验逻辑的诸范畴。康德提出了一个形式逻辑的判断分类表，从这个表格里引出了先验逻辑的范畴表。我们可以把一切判断分为这四大类：

• 量的判断，量的判断里面分成全称判断、特称判断和单称判断

• 质的判断，质的判断里面分成肯定判断、否定判断和无限判断

• 关系的判断，关系的判断里面分为直言判断、假言判断和选言判断

• 模态的判断，模态的判断里面分为或然判断、实然判断和必然判断

        对于这些分类，康德并非照搬传统的形式逻辑，而是和形式逻辑相比，有了一些改动，从这些改动中，我们已经可以看到先验判断的影子了。传统的形式逻辑通常采用二分法，也就是每种判断里面只包含两种判断，没有单称判断，无限判断，在传统的形式逻辑里面，关系的判断里面格外复杂，还有条件判断，非条件判断，简单判断和复合判断等等，康德摒弃了这种分发，干脆就把那些丢弃了，只留下这三个判断。因为直言判断在传统形式逻辑里面就是简单判断，假言和选言就是复合判断。

       康德的四大类，三分法，分别从上到下（量的判断到质的判断到关系的判断到模态的判断），从左到右（如，在量的判断中从全称判断到特称判断到单称判断）是具有层次递进的关系的。我们直接运用来看看到底是如何操作的：

        我们说一个标准的判断，形式应该如A是B，主词“A”谓词“B”还有一个系词“是”，组成了一个最简单的判断。比如说，“人是有理性的”，我们先考虑量的判断，是着眼于主词量的外延，还是谓词量的外延，我们可以问“所有人都是有理性的”这里的所有就是主词的量的外延，“有些人是有理性的”，“你是有理性的”，从全称到特称到单称。再到质的判断，质的判断注重谓词，它是肯定的，还是否定的，还是不确定的（无限的）。关系的判断，就是注重主词和谓词之间的关系，直言，假言和选言分别是，因为A那么B，如果A那么B，不是A就是B。模态判断则注重系词的状态，你说A是B，这个“是”其实是有不同的意思的，是可能是，真的是还是必然是？当你的判断经过这么一个严密的逻辑过程之后，那就可以确定一个准确的知识了。

         所以康德在这里其实已经把一种先验的眼光带入到形式逻辑的认识论中了，来改造形式逻辑，使得形式逻辑能够成为先验逻辑的一个引线。

（插点题外话，在分析哲学或者语言哲学中，我们日常交流只是把“是”的意思混起来使用了，“猫是哺乳类”指的是猫归属于哺乳类的范畴，猫作为哺乳类的属，并不是我们通常讲的“是”的意思，“他是一位意大利作家”，我们要转换成他是一个人，通过写作为生，且是意大利人后我们发现，此时主词等于谓词）