靳 宝

(兰州大学 哲学社会学院，甘肃 兰州 730000)

逻辑学与形而上学(存在论)自西方哲学产生之日起就纠缠在一起，促使哲学的生成和发展呈现出一种双螺旋的共生结构。一方面，形而上学为逻辑学的研究奠定和拓展了主题，逻辑学的根据必须在形而上学中去寻找并得到证明；另一方面，逻辑学又为形而上学提供科学的证明和辩护，形而上学的可能性及其科学的合法性依赖逻辑学之适用范围的有效性来证明。关于这双重的证明，康德的《纯粹理性批判》无疑是典范。“形而上学如何可能”的问题，从知识论的角度看，即“先天综合判断如何可能”的问题，是《纯粹理性批判》的根本问题，而这一问题恰恰要依靠康德所创立的逻辑学来解决和证明，准确地说，要依赖康德的形式逻辑(Formal Logic)和先验逻辑(Transcendental Logic)的划分来证明。因此，逻辑学在康德那里其实就是一门形而上学的科学。

但长期以来，国内外学界对于康德的形式逻辑和先验逻辑的关系问题一直存在争议，这种争议也伴随和围绕着对康德先验哲学特别是最难理解的范畴的先验演绎这一部分的解读而日渐气盛。总的说来，争议形成了两派：一派认为先验逻辑是从形式逻辑中推演出来的，判断表推导出范畴表，所以形式逻辑先于先验逻辑并且作为其根据，主张形式逻辑优先于先验逻辑；另一派认为判断表只是发现范畴表的线索，不存在严格意义上的从形式逻辑推导先验逻辑的问题，相……