五二小说网

手机浏览器扫描二维码访问

三从判断分类中引出范畴（第1页）

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

banner"

>

那么，我们从形式逻辑里面，也就可以理清先验逻辑本身的结构是一种什么样的模式。

所以，康德把形式逻辑称为先验逻辑的一条“线索”

。

我们要寻找先验逻辑的线索，首先要到形式逻辑里面去寻找。

康德对形式逻辑是很熟悉的，他教过形式逻辑的课，他用沃尔夫派的那个国家规定的统编教材《逻辑学》给学生上过课，虽然上的时候还一边上一边批判，但是他还是按照那个框架上下来，只不过加上了他自己的先验逻辑的理解。

所以形式逻辑虽然跟先验逻辑不同，但是先验逻辑要从形式逻辑里面引出来。

先验逻辑表现为一系列的范畴，那么这些范畴从哪里引出来呢？要从形式逻辑的判断里面引出来。

我在上一堂课讲了，判断是康德非常看重的，判断是一切知识的细胞，所有知识首先必须要构成判断，才能称之为知识。

当然也可能是错误的，一个判断不一定就是一个知识，但是一个知识必定以一个判断的形式出现，在形式上你必须要构成一个判断，才叫知识。

那么，从形式逻辑的判断里面，康德引出了先验逻辑的诸范畴。

怎么引出来的？我们首先要看一看形式逻辑的判断，康德是如何对它进行分类的，因为康德是从每一类判断中引出了一个相应的范畴。

康德首先提出来了一个形式逻辑的判断的分类表，从这个判断分类表里面呢，他引出了先验逻辑的范畴的分类表，这是我们马上要接着讲的。

那么什么是判断的分类？我们可以把一切判断分成这样的四大类。

这四大类分为量、质、关系和模态判断。

每一大类里面呢，又分成三个一组。

量的判断里面分成全称判断、特称判断和单称判断；质的判断里面呢，分为肯定判断、否定判断和无限判断；关系的判断里面呢，分为直言判断、假言判断和选言判断；那么模态判断里面呢，分为或然判断、实然判断和必然判断。

这大体上是遵照形式逻辑的一种划分。

当然跟传统的形式逻辑相比，跟亚里士多德的划分相比，有一些改进。

传统形式逻辑一般来说，是两分法，不是三个，一般都是两个。

比如说，量的全称判断和特称判断，在传统形式逻辑里面，它就没有单称判断。

那么，肯定、否定和无限呢，在传统形式逻辑里面，就没有无限判断。

那么关系判断里面呢，就有很多，除了直言、假言、选言以外，还有肯定和否定，也是属于关系。

有条件的判断和无条件的判断，也是两个。

再就是简单判断和复合判断，等等，这都属于关系判断。

传统形式逻辑里面，都把它们划到关系判断，搞得非常的乱，非常的复杂。

那么康德排除了旧的划分，干脆提出来，所谓的关系判断，就是这三个，直言的、假言的和选言的。

直言判断在传统形式逻辑里面是简单判断，假言的和选言的呢，在传统形式逻辑里面就是复杂判断，因为它不光是一个判断，而是有两个以上判断组合成的。

假言判断就是说，如果怎么样，那就怎么样。

选言判断就是说，不是A，就是B，二者必居其一，或者A、B、C三者必居其一，或者数者必居其一。