魇且恢钟伤嘉玫焦娑ǖ淖芴錳而康德的伟大功绩之一就是他首先提出了这个要求。康德根据他的范畴表的格式，把范畴划分为质的判断、量的判断、关系判断和模态判断，虽然他所提出的划分一方面由于这些范畴的格式的单纯形式的应用，另一方面由于它们的内容，而未能被认为令人满意，但给这种划分奠定基础的毕竟是真正的观点，即逻辑理念的普遍形式本身规定了各种不同的判断。显然，在黑格尔看来，康德根据其范畴来规定判断的形式是一个〃伟大的功绩〃。但黑格尔由此得出的结论是，既然判断是基于范畴，那么知识的真正发源地就不是判断（以及康德所谓的〃联结〃），而是概念本身。判断的形式〃并不适合于表现思辨的真理〃。
康德的〃先验逻辑〃正是由于还动摇于形式逻辑和辩证逻辑之间，所以他没有理清形式逻辑和先验逻辑之间的关系，也没有完全把握概念的性质。他的知性概念（范畴）一方面已经是思维主体即〃自我意识〃的能动自发性的体现，是统摄感性杂多的活动；但另一方面又还只是经验知识中的先天形式因素，是一种硬的认识框架。真正做到〃使逻辑的枯骨，通过精神，活起来成为内容和意蕴〃的，是黑格尔。胡塞尔则从另一个方向发展了康德的先验逻辑，即在现象学的〃先验还原〃的基础上，先将范畴扩展到包括一切表象（如〃红〃、〃空间〃、〃价值〃等等），构成一门〃纯粹逻辑学〃或〃形式本体论〃之后，再用这种意义上的〃先验逻辑〃来为形式逻辑奠基。所以胡塞尔主张把逻辑追溯到谓词判断在生活世界中的起源及其〃产生意义的作用〃，以建立一门〃逻辑谱系学〃，其中不仅包括传统形式逻辑及康德的作为认识论的〃先验逻辑〃，而且〃还应包括实践经验和心绪经验，以及在意愿、评价、着手行动中的经验活动，这种活动给自己造成了实践交往、评价等等的亲密性视域〃。这样，〃逻辑谱系学在这种总体视域中得到了理解并在自己完全的、广泛的意义上被接受而成为了先验逻辑〃。
在胡塞尔看来，康德的〃先验逻辑〃不仅局限于认识论，而且仍然属于〃实质本体论〃或〃实质逻辑〃，而只有把实质的东西放进括号里〃存而不论〃，先验逻辑才能成为真正的有关世界（包括在科学知识、道德评价、审美鉴赏、宗教信仰、生命体验等等中显现的世界）之可能性的形式条件的逻辑。胡塞尔去掉了康德〃先验自我意识〃的心理学和人类学含义，但保留了它的能动性即〃意向活动〃的含义，并以此来构成科学知识（及其他意识活动）的可能性条件，所以在这个意义上他承认〃我给纯粹逻辑规定的目标从根本上说与康德知识批判的目的是一致的〃。但这样一来，胡塞尔所谓〃意向活动的能动性也就成了一种形式化的活动，或者说，他把康德先验逻辑所余留的形式主义的不彻底性进一步推向了彻底的形式主义。因此我们不仅可以把胡塞尔的先验逻辑看作一种扩大了和改良了的（康德先验逻辑意义上的）认识论，而且可以看作一种扩大了和改良了的形式逻辑。同时，正如康德的逻辑学思想后来分化为以黑格尔为代表的本体论方向和以新康德主义马堡学派的那托尔普为代表的科学逻辑方向一样，胡塞尔的现象学思想也在以海德格尔为代表的形而上学和一些分析哲学家所代表的语言分析哲学那里得到了不同发展方向延续。
II。康德的〃先验〃与〃超验〃之辨
众所周知，康德对〃先验的。。（transzendental）和〃超验的。。（transzen dent）这两个中世纪哲学的同义词作了他自己特有的严格区分。但长期以来，这种区分也曾遭到一些研究者的质疑。
如康浦？斯密NonnanKempSmith）在其影响很大的《康德〈纯粹理性批判〉解义》一书中，在详细辨析了这两个词的含义之后说〃我们可以提到理性的理念来例证先验的与超验的两者之间的区别。理念作为只是限定性的，就是说，作为在知识的追求中鼓动着悟性（按：即‘知性，）的一些理想，它们是先验的。
作为组织性的来解释，就是说，作为代表绝对的东西的，它们是超验的。然而纵然这区别是基本的，而康德使用其专门名词时是这么不谨慎，他时而把先验的用为在意义上恰恰是超验的之同义词。这是常见的〃，然后他举了两个例子来说明（详后）。自此，康德对这两个术语的用词之〃不谨慎〃就似乎成了定论。牟宗三先生沿袭了这一说法，在其《中西哲学之会通十四讲》中对这两个术语（他把transcendental译作〃超越〃，把transcendent译作〃超绝〃或〃超离〃）作了一番自己的解释之后（这番解释比斯密的解释更加混乱），断言〃但超越与超离的区别（按：即‘先验与超验的区别），康德本人也常不严格遵守，此处用transcendental，其实就是transcendent的意思，此即超离、超绝。说超越的观念性实即超绝或超离的观念性。〃
这里实际上已经完全取消了两个词的区别。〃先验的观念性〃，以及与此相连的〃先验的观念论〃（或〃先验的唯心论〃），是康德对自己整个〃先验哲学〃的称呼，是对〃先验〃一词的最基本的用法。
如果说在这里都没有和〃超验〃（超离或超绝）一词严格区分开来，那康德区分就完全是多此一举了。我与杨祖陶先生在我们合著的《康德〈纯粹理性批判〉指要》一书中也未澄清这个问题，虽然不至于如此无视康德的这一区分，但无形中也受了这种影响，即认为康德的〃先验的运用〃这一说法〃实质上也就是一‘超验的运用'〃，并说〃由于‘先验的'、‘先天的'、‘超验的'在含义上的区别和联系，康德在书中间或也有互用的情况，特别是‘先验的'这个词在阅读时需要联系上下文确定其应有的意义〃。在什么情况下〃互用〃，在此并未作说明。然而，本文将证明，康德对这两个词的运用并不存在〃不谨慎〃的？昆淆，也并没有什么〃不严格遵守〃或〃互用〃，而是在逻辑上极为严格的。
（一）康德的〃先验〃、〃先天〃和〃经验
首先我们必须进一步厘清这两个概念的异同。而在论述中，势必也牵涉到另外两个概念，这就是〃先天〃（apriori）和〃内在〃（immanent），需要一起来澄清。我们先来看看〃先验的〃这个概念。〃先验的〃与〃先天的〃这两个术语有一点是共同的，就是它们都是先于经验的；但先天的只管先于经验，至于先于经验来干什么，它并不考虑；而先验的则是指先于经验（就此而言它也是一种〃先天的〃）而又关于经验，它应当考察经验知识是如何能的，是以哪些先天条件为前提才得以可能的。
康德对这个概念最正式的说明是在《纯粹理性批判》的第二部分〃先验逻辑〃的导言中，在第E节讨论〃先验逻辑〃这个概念时提出的，他说：我在这里要作一个说明，它将影响到所有下面要进行的考察，是必须牢记于心的，这就是：并非任何一种先天知识都必须称之为先验的，而是只有那种使我们认识到某些表象（直观或概念）只是先天地被运用或只是先天地才可能的、井且认识到何以是这样的先天知识，才必须称之为先验的（这就是知识的先天可能性或知识的先天运用）。
因此不论是空间，还是空间的任何一个几何学的先天规定，都不是一种先验的表象，而只有关于这些表象根本不具有经验性的来源以及何以它们还是能够先天地与经验对象发生关系的这种可能性的知识，才能称之为先验的。同样，若把空间运用于一般对象，这种运用也会是先验的；但若只是限制于感官对象，这种运用就是经验性的。
所以先验的和经验性的这一区别只是属于对知识的批判的，而不涉及知识与其对象的关系。显然，这里有几个特点是必须确定的。第一，先验的知识肯定是一先天的（apriori）知识，它使我们认识到某些直观（时空形式）或概念（范畴和理念）〃只是先天地被运用或只是先天地才可能的〃；第二，但它又不仅仅是先天地被运用或先天地才可能的（即来自先天的），而且必须是〃认识到何以是这样的〃，因而它不仅是先天的知识，而且是〃关于先天知识〃的先天知识，比一般的先天知识层次更高；第三，因此，它是有关认识论的，这正是它所构成的〃先验逻辑〃与一般的形式逻辑（即康德所谓〃普遍逻辑〃）的根本区别。
普遍逻辑是先天的，但不是先验的，因为它并不反思自己运用的先天可能性，它只管自己的观念与观念之间相互吻合的〃正确性〃，而不管观念与对象之间相互符合的〃真理性〃。另外，空间表象或几何学的知识也都是先天的，但只有关于它们如何构成感性对象的条件的知识才叫做〃先验的〃（〃先验感性论〃）。但先验知识虽然与对象的知识有关，却并不直接探讨知识与对象的关系，如具体的一个对象知识是不是真理，而只是探讨这种真理如果要形成所必须具有的先天条件。
所以它虽然与〃经验性的〃（empirisch）相区别，但并不是说它就表明了另外一种〃非经验性的〃对象的知识，相反，〃这一区别只是属于对知识的判的，而不涉及与其对象的关系〃，即它们可以指同一个经验对象，但要分清这个经验对象的知识的层次，而把其中先天的层次看作经验对象的可能性条件。对此康德在《未来形而上学导论》中说得更明白〃先验的〃这个词〃在我这里从来不是指我们的认识对物的关系说的，而仅仅是指我们的认识对认识能力的关系说的〃。
先验的必须与对象相关，这是它与形式逻辑的区别；但它又不是直接相关，而是通过（经验性的）直观而间接相关，即不是直接规定对象知识，而只是为这种知识提供形式条件或〃立法〃，这是它与数学和经验科学的区别。总之，〃先验的〃这个术语是指对一切先天知识的一种认识论上的理方式，它本身也是先天的，但又不仅仅是先天的。康德在这里为了区别而把先验的知识与形式逻辑和几何学的先天知识作了对比。（2J所以先验的知识包括先验感性论、先验逻辑中的先验分析论和先验辩证论，它们有一个共同的特点，都是从认识论上探讨知识（数学知识、自然科学知识和形而上学知识）何以可能（或何以不可能）的，因而都具有认识论含义。
所以凡是在康德那里遇到〃先验的〃一词，都具有认识论含义，即都是指向有关对象的知识的。例如形式逻辑本来不关心对象的知识，它只是〃先天的〃；但是一旦我们赋予形式逻辑的判断形式以有关对象知识的意义，这同→个先天的判断形式就变成了先验的〃范畴〃，这就从逻辑学进到了认识论。所以康德说〃赋予一个判断中的各种不同表象以统一的那同一个机能，也赋予一个直观中各种不同表象的单纯综合以统一J这种统一性用普遍的方式来表达，就叫做纯粹知性概念。〃
判断的逻辑机能在针对〃直观〃对象发挥其（综合的）统一作用时就体现为纯粹知性概念，即先验范畴。但在理解上造成很大困难的是，康德认为所有这些先验的表象都只能有〃经验性的运用〃，而不可能有〃先验的运用〃。如康德明确地说：纯粹范畴没有感性的形式条件就只不过具有先验的含义，但它们不具有任何先验的运用，因为这种运用在其本身是不可能的，这些范畴缺少（在判断中）任何一种运用的一切条件，也就是把任何一所认为的对象归摄到这些概念之下的形式条件。既然当我们将它们和一切感性分离开来时，它们（单作为纯粹范畴）不应具有经验性运用，又不能具有先验的运用，那么它们就完全没有任何运用了，就是说，它们根本不能应用于所认为的对象身上；毋宁说，它们只不过是知性运用于一般对象上的纯形式及思维的纯形式，但却不能仅仅由这形式而思维和规定任何一个客体。本身是先验的范畴，却不可能有〃先验的运用〃，而只能有〃经验性的运用〃，弄清这里面的关系，对于我们更准确地把握〃先验的〃一词具有关键意义。
其实，既然范畴在针对一个对象而发生作用这种意义上才是〃先验的〃，所以凡是范畴就已经意味着指向一个对象并且准备要规定一个对象了。然而这个对象在这种意义上还只是一种〃先验象〃，即〃所认为的对象〃，它还没有确定这个对象究竟是一个经验对象还是一个超经验的对象（自在之物，而只是〃一般对象〃。〃先验对象〃、〃所认为的对象〃、〃一般对象〃这些说法在这里都是一个意思，不管这个对象是经验对象还是自在之物，范畴只是一般地指向一个象，包括感性直观的对象和智性直观的对象。所以如果它指向的是一个经验对象，这时这个〃先验对象〃的表象就被充实以具体的感性直观材料的内容，并因而在有关一个经验对象的知识中起了积极的作用，这就是范畴的〃经验性的运用〃。反之，如果它指向一个自在之物，那么它虽然同样〃认为〃自己有一个对象，但那个对象并不能给予它，因为它并不具有〃智性直观〃，因此这只是它的一厢情愿；这时它自以为有一〃先验的运用〃，而实际上却没有任何运用。
所以康德多次强调先验的范畴不可能有先验的运用，只能有经验性的运用。凡自以为在作先验的运用（如理性派哲学）都是一种误解和自欺。因此，〃先验的〃一词然意味着一般地指向一个对象，但实际上只能是指向一个经验对象，这样一类只有经验性运用的原理，就〃可以称为纯粹知性的内在的原理。所谓〃内在的〃是指可能经验的范围之内、现象之内，它与〃超验的〃形成一对相反的概念。
〈二）康德的〃超验〃和〃内在〃
什么是〃超验的〃（transzendent）在康德那里，超验的和先验的也有一个共同之处，就是它们都是超越于经验之上。但不同的是，〃先验的〃之所以超越于经验〃之上〃，是由于它先于经验并且居高临下地运用于经验；而〃超验的〃之所以超越于经验〃之上〃，则是由于它完全超出经验之外并且不可能运用于经验。所以超验的性质只能是属于理性的理念而不属于知性的范畴。
不过反过来，纯粹理性的理念却同时可以具有〃先验的〃性质，所以康德对于纯粹理性的理念有两种不同的表述，即〃先�