先验哲学（一） (5-3)

康德从逻辑学中领悟到了知识的“形式性”，从物理学中领悟到了理性的“自主性”，从几何学中领悟到了认识的“先天性”。将这三种“悟”到的东西加以发挥，康德就可以构建其哲学体系。但是，康德为什么没有把他的哲学叫作“形式哲学”或“自主哲学”，而叫作“先验哲学”呢？我们来简单分析一下。叫作“形式哲学”，显然不合适。传统逻辑学只管思维形式，可以叫作“形式逻辑”，但哲学不但涉及认识的形式还涉及内容（质料），可见称为“形式哲学”是不合适的。叫作“自主哲学”，也不合适。所有哲学都是理性自主的产物，都是“自主哲学”，用这样的名称显然无法表明康德哲学的特色。只剩下“先天性”能够用来表达康德哲学的特点。但是，如前所述，“先天知识”泛指不依赖任何经验所产生的知识，而“先天知识”中既有纯粹的先天知识，也有不纯粹的先天知识（如“每一个变化都有其原因”），哲学显然无力处理这么大的范围。所以，康德将哲学所涉及的“先天知识”的范围缩小，只涉及其中纯粹的先天知识（纯形式），围绕“先天综合判断何以可能”的问题——先天综合判断成立的形式条件——展开论述。这就是他的先验认识体系即“先验哲学”的由来。笔者认为，这就是康德的先验哲学中隐藏的“密码”。

于是，我们有比较充分的理由说：康德的“先天知识”概念主要是受到了几何学的启发，他由此而建立了“先验哲学”。因而可以说，“先验哲学”的建立与几何学是有必然联系的。如果读者觉得上述结论还比较武断，那我们就来具体考察什么是几何学的公理化方法，康德又是如何在自己的著作中运用公理化方法来建立其“先验哲学”的。

二　公理化方法的建立与运用

在一个理论系统中，人们从尽可能少的原始概念和一组自明的公理出发，用纯粹逻辑推理的法则，把该系统建成一个演绎系统的方法，就是公理化方法。现代的公理化方法与传统的公理化方法不同。“公理化方法的现代概念作为始于19世纪的数学的概念化得到发展。这种方法的基本观念是捕捉作为一个公理系统的模型的一类结构。对这类结构的数学研究并不穷尽于从公理推导出定理，它通常还包括了公理系统的元理论”(注：Jaakko Hintikka，“What is the axiomatic method?，”Synthese 183，no.1 (2011)， 69.)。传统的公理化方法，首先是在几何学中运用的，它只关注从公理推导出定理。在康德时代，现代的公理化方法还未产生。所以，本文论述的是传统的公理化方法，而非现代的公理化方法。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。