先天形式，是一种感性的接受的学问：数学这种直观的知识是关于时间、空间这 样一些先天的直观形式的。很多人和康德的理解不一样，认为如果一个人有逻辑 头脑，那数学肯定很好。数学被归于逻辑，在现代数理逻辑中，逻辑和数学合一 了，逻辑也可以变成一种数学计算，计算机就是靠这个。但在康德看来这完全不 同，数学是感性的知识，逻辑是直观的知识。逻辑是另外一种更高层面的东西。 先验逻辑和形式逻辑不一样，先验逻辑要管对象的问题，要管真理性的问题，要 管对象和观念相符合的问题。康德把先验逻辑称为知性。知性和感性不一样，知 性或者可以称为理性知识，广义的理性知识包括知性和理性在内。通常先验逻辑 也可以称为知性，所谓的逻辑就是一种知性。先验感性论要处理的是数学如何可 能的问题，先验逻辑要解决的就是自然知识如何可能以及自然科学中的先天综合 判断如何可能的问题，也附带处理以往的形而上学是如何不可能的问题。至于以 往的形而上学如何失败，那是先验逻辑中的先验辩证论的主要事务。 先验逻辑包括先验分析论和先验辩证论。先验分析论是建设性的，先验辩证论是 批判性的。先验分析是分析我们的知识结构，如自然科学知识中有关对象的知识 是如何可能的、如何建立的，自然科学的统一体里面有哪些逻辑结构。因为有时 间、空间的结构，所以自然科学知识的一切都可以用数学来加以计算。近代以来 的自然科学就是定量化的自然科学，都可以用数学来加以计算，那是隶属于它的 先天直观形式的，但更高层次的理解必须有知性的概念。知性的纯粹概念康德称 之为范畴。 (1)范畴表。“范畴(K a t e g0ria)”这个词最早是由古希腊的亚里士 多德提出来的，其《范畴篇》中提出“十范畴”。亚里士多德把时间、空间称为范 畴，还有像实体、偶性、状态、能动和受动等，共有10个范畴。后来在别的地 方觉得不够用，他又加了5个范畴。康德认为亚里士多德提出“范畴”是一个了不 起的贡献，其贡献在于找到了一些最有普遍性的概念。所谓范畴就是最有普遍性 的概念，普遍到无所不包。凡是范畴都是无所不包的，所有的东西都要用这个加 以考察。如因果性，世间没有任何一个东西能够逃得了因果性。实体性也是这样。 一个概念如果普遍性达到这样一种哲学程度，就是天地万物没有任何一个事物不 能适用于这个概念，那么这个概念就是“范畴”。它跟经验的概念不同，经验的概 念如动物、植物甚至物体都具有一定的普遍性，但是这样一些概念的普遍性是有 限的，都属于科学的概念，不属于哲学的概念，所以不属于范畴。 范畴是无所不包的，这是亚里士多德最早提出的一个想法，但亚里士多德做得 不够好，不够成功。他提出的“十范畴”都是偶然搜集到的，在自己的记忆里面、 头脑里面去搜，在人的语言里面去搜，人们说的哪些概念、哪些词能够看作是范 畴，他就搜了10个范畴，但是这10个范畴有些显然不是。像时间”、“空间” 这样的概念，康德认为不算是范畴，只是直观形式。概念和直观是不同的，概念 里面包含别的概念，概念中包含的别的概念在性质上是不同的：直观中当然也包 含别的直观，但是别的直观和唯一的直观在性质上是一样的，没有什么区别。在 康德看来，亚里士多德提出范畴的方式是不对的，不能靠经验搜集，而要靠逻辑 推出来。范畴要有逻辑性，既然是讲先验逻辑就需要有逻辑性。自然科学知识之 所以可能的前提绝不是偶然凑出来的，那是没有必然性的。如果是从逻辑中推出 来的，就有了必然性，就可靠了。 先验分析论首先是概念分析，必须进行纯粹理性的概念分析。一切自然科学都包 1616 先天形式，是一种感性的接受的学问；数学这种直观的知识是关于时间、空间这 样一些先天的直观形式的。很多人和康德的理解不一样，认为如果一个人有逻辑 头脑，那数学肯定很好。数学被归于逻辑，在现代数理逻辑中，逻辑和数学合一 了，逻辑也可以变成一种数学计算，计算机就是靠这个。但在康德看来这完全不 同，数学是感性的知识，逻辑是直观的知识。逻辑是另外一种更高层面的东西。 先验逻辑和形式逻辑不一样，先验逻辑要管对象的问题，要管真理性的问题，要 管对象和观念相符合的问题。康德把先验逻辑称为知性。知性和感性不一样，知 性或者可以称为理性知识，广义的理性知识包括知性和理性在内。通常先验逻辑 也可以称为知性，所谓的逻辑就是一种知性。先验感性论要处理的是数学如何可 能的问题，先验逻辑要解决的就是自然知识如何可能以及自然科学中的先天综合 判断如何可能的问题，也附带处理以往的形而上学是如何不可能的问题。至于以 往的形而上学如何失败，那是先验逻辑中的先验辩证论的主要事务。 先验逻辑包括先验分析论和先验辩证论。先验分析论是建设性的，先验辩证论是 批判性的。先验分析是分析我们的知识结构，如自然科学知识中有关对象的知识 是如何可能的、如何建立的，自然科学的统一体里面有哪些逻辑结构。因为有时 间、空间的结构，所以自然科学知识的一切都可以用数学来加以计算。近代以来 的自然科学就是定量化的自然科学，都可以用数学来加以计算，那是隶属于它的 先天直观形式的，但更高层次的理解必须有知性的概念。知性的纯粹概念康德称 之为范畴。 （１）范畴表。“范畴（Ｋａｔｅｇｏｒｉａ）”这个词最早是由古希腊的亚里士 多德提出来的，其《范畴篇》中提出“十范畴”。亚里士多德把时间、空间称为范 畴，还有像实体、偶性、状态、能动和受动等，共有１０个范畴。后来在别的地 方觉得不够用，他又加了５个范畴。康德认为亚里士多德提出“范畴”是一个了不 起的贡献，其贡献在于找到了一些最有普遍性的概念。所谓范畴就是最有普遍性 的概念，普遍到无所不包。凡是范畴都是无所不包的，所有的东西都要用这个加 以考察。如因果性，世间没有任何一个东西能够逃得了因果性。实体性也是这样。 一个概念如果普遍性达到这样一种哲学程度，就是天地万物没有任何一个事物不 能适用于这个概念，那么这个概念就是“范畴”。它跟经验的概念不同，经验的概 念如动物、植物甚至物体都具有一定的普遍性，但是这样一些概念的普遍性是有 限的，都属于科学的概念，不属于哲学的概念，所以不属于范畴。 范畴是无所不包的，这是亚里士多德最早提出的一个想法，但亚里士多德做得 不够好，不够成功。他提出的“十范畴”都是偶然搜集到的，在自己的记忆里面、 头脑里面去搜，在人的语言里面去搜，人们说的哪些概念、哪些词能够看作是范 畴，他就搜了１０个范畴，但是这１０个范畴有些显然不是。像“时间”、“空间” 这样的概念，康德认为不算是范畴，只是直观形式。概念和直观是不同的，概念 里面包含别的概念，概念中包含的别的概念在性质上是不同的；直观中当然也包 含别的直观，但是别的直观和唯一的直观在性质上是一样的，没有什么区别。在 康德看来，亚里士多德提出范畴的方式是不对的，不能靠经验搜集，而要靠逻辑 推出来。范畴要有逻辑性，既然是讲先验逻辑就需要有逻辑性。自然科学知识之 所以可能的前提绝不是偶然凑出来的，那是没有必然性的。如果是从逻辑中推出 来的，就有了必然性，就可靠了。 先验分析论首先是概念分析，必须进行纯粹理性的概念分析。一切自然科学都包