卡尔纳普数学哲学思想语境化特征及意义.docVIP

卡尔纳普数学哲学思想语境化特征及意义 　　【摘要】文章详细介绍了卡尔纳普数学哲学的思想渊源和主要内容，同时将语境分析方法引入到对卡尔纳普数学哲学思想的研究当中，探索其数学哲学思想中所体现的语境化特征，并用语境作为基底对其进行系统的梳理、把握以及分析和研究，为卡尔纳普的数学哲学思想提供一个新的研究视角，进而对当代整个数学哲学思想的研究给出方法论的启迪。 　　【关键词】卡尔普纳；数学哲学思想；语境化特征；意义 　　一、卡尔纳普数学哲学思想的渊源 　　我们熟知在卡尔纳普等哲学家所提出的逻辑主义观点中，明显地强调数学真理的先天性，认为所有我们能得知的数学真理并不是显现于我们的大脑，而是客观存在的，且这种客观性是基于数学的非经验基础。同时卡尔纳普认为，数学和逻辑之间并没有一定意义上的区别，数学就是逻辑，所有的数学问题都可以被看作是逻辑问题，这样两者所面临的困境和解决的方式也可以被视为相同。由此，逻辑的概念也可以被数学概念所定义，当然数学公理也可以从逻辑原则中得到证明。 　　卡尔纳普在这里将数学归于逻辑的观念，正是接受并继承了莱布尼茨的两种真理观。莱布尼茨在论证他的这一思想观念时，提出了两种真理：一种是推理的真理，推理的真理具有必然性，它的对立面是偶然的或不可能的，它所依据的判断原则是矛盾原则中所包含矛盾对象的真与假，或者通过矛盾对象的对立面真假来推断结论；另一种真理为事实的真理，具有偶然的因素，它的反面是可能的。然而，莱布尼茨的这两种推理之间是有明显的界限的，二者有着不可逾越的鸿沟。也正是莱布尼茨对这两种真理做了明确的区分，影响了其后诸多哲学家的思想。特别是康德，他的哲学思想深受其影响。康德正是基于莱布尼茨的推理真理和事实真理的对立，坚持在逻辑真理和事实真理之间做出严格的区分，并试图在两者的对比中说明逻辑真理的独特性质。而卡尔纳普则批判继承了康德这一思想，丰富了今后自己的逻辑主义哲学观。 　　二、卡尔纳普数学哲学思想的主要内容 　　（一）数学概念可还原性 　　卡尔纳普认为数学是可以还原为逻辑的，数学只不过是逻辑当中的一部分，准确来说“数学就是逻辑”，或数学概念能通过明确的定义从逻辑概念中导出；卡尔纳普为了把数学概念能从逻辑概念中导出的论点精确化，他提出必须详细规定在推导中所用到的逻辑概念。这个逻辑概念就是包含在处理不加分析的诸语句间关系的命题演算中和以函数的形式给出的函项演算之中。或者更直观表示为：语句p的否定，“非p”（记为“～p”）；两个语句p与q的析取，“p或者q”（记为“p∨q”）两语句的合取，“p且q”（记为“p?q”）；蕴含，“若p，则q”（记为“p※q”）。函项演算的最重要的概念是全称量词与特称量词：“（x）f（x）”表示性质f属于每一个对象x，“（x）f（x）”表示f属于至少一个对象x。 　　（二）数学定理可推导性 　　在数学发展的道路上，数学家们不断地尝试从公理出发，通过明确给出的演绎规则推导出其他数学定理，从而更好地解决数学中面临的可靠性问题，以便于使其成为“一切科学中最可靠的科学”。然而，这并不仅仅是数学家所面临的使命，其也迈入了哲学家的视域。面对数学定理的推导，卡尔纳普从中发现，当我们用日常最为常见的方式去推出算术及集合论的定理时，在证明过程中会多出不必要的步骤，不仅仅涉及需要的逻辑公理，还会出现被称为无穷公理的特殊公理。于是卡尔纳普在论述这个所需要的逻辑公理系统时，是把罗素的系统加以简化而得到的，它包括四个命题演算公理和两个函数演算公理。 　　三、卡尔纳普数学哲学思想语境化特征及意义 　　（一）卡尔纳普数学哲学思想语境化特征 　　1.整体性特征。语境是语用、语形和语义相互作用的统一的有机整体。卡尔纳普强调要在整体中理解数学哲学的产生和发展，即一种新式语境方法论层面的整体性特征；卡尔纳普在逻辑句法中的语言观是整体意义上的语言观，即他对语言进行了推理作用或认识作用的解释说明。从“数”概念的提出起，数学概念表述就和符号紧密联系起来。从有形的物理符号一直发展到抽象的数学语言，正是有了数学语言，数学所表述思想才有意义。无论从语形语义和语用的结合中去透视卡尔纳普数学哲学发展的规律，还是基于语境的原则方法去做一番分析，都可以得出明确的结论：卡尔纳普数学哲学思想的特征之一就在于以相互关联的整体为基点去寻找彼此之间存在的意义。 　　2.边界性特征。数学哲学的存在，不仅是由其自身所具有的方法论层面的整体性特征所决定，而且和数学逻辑语言框架层面的边界性相关。尤其站在方法论的层面上，边界性作为语境最显著的特征，凸显出不同表征命题及其意义与相应使用语境之间的关联性。卡尔纳普在他的数学哲学中，似乎默不作声地将寻求解答任何给定的难题都定义为一定边界条件下的难题。换言之，限制了边界条件，就是给定了求解相关难题的?