从数学到逻辑——论弗雷格的逻辑分析方法.docVIP

精品论文 参考文献 从数学到逻辑——论弗雷格的逻辑分析方法 ◆ 冀婵英　河北大学政法学院逻辑学专业（学号　071002 摘　要：弗雷格逻辑分析方法的出发点是从数学到逻辑，通过运用数学和自变元的分析方法揭示了概念和对象的本质。 关键词：弗雷格　函数　概念 弗雷格是现代逻辑学的创始人。运用现代逻辑的思想和技术对自然语言进行逻辑分析是弗雷格独特的逻辑分析方法。从数学到逻辑的方法的运用开创了逻辑数学化的先河。把函数表达式的用法拓展到逻辑中来，从而丰富了逻辑分析方法，可以更加深入刻画语言中句子的逻辑结构，揭示出了自然语言的句子语法形式背后潜在的逻辑形式和逻辑关系，为我们提供了句子语义学上的说明。 弗雷格既是数学家，又是逻辑学家。弗雷格在对自然语言的逻辑分析中，自然会把数学中的研究方法过渡到逻辑学中来。也正是这种双重身份才产生了这种独特的效果，从而开创了逻辑数学化的独特的创新道路，开创了语言哲学的新纪元。 弗雷格的独特逻辑分析实现了从数学到逻辑完美的过渡，从而给后人在研究逻辑时指明了方向，同时提供了一个很好的研究方法。函数和自变元理念和元素属于数学领域，但弗雷格大胆地将这两门没有联系的学科有机地结合起来，为逻辑分析研究提供了新的思路。 函数和自变元的本质是弗雷格逻辑分析出发点。数学领域中的函数和自变元到逻辑领域的概念、关系与对象的自然过渡，是弗雷格作为现代语言哲学逻辑创始人的特征和证明。弗雷格从数学领域中的函数和自变元的本质出发，系统提出来并发展了他的语言哲学逻辑研究方法，使逻辑研究方法实现了从数学到逻辑的过渡。 弗雷格逻辑研究方法的初衷和脉络是数学领域中的函数与自变元的观点。函数和自变元的本质和概念、关系和对象本质相对应。自变元的性质完整补充函数的性质，对应对象也是具有完整性和不需要补充性。从而实现了逻辑研究方法数学化。 弗雷格以独特的研究视角，发现了传统数学的函数与自变元的定义的错误，批判了传统数学的函数与自变元的观点，同时阐明了自己对函数与自变元的观点。传统数学中的x的一个函数，指的是一个含有x的解析表达式。弗雷格否认这种观点。他认为传统的函数观点揭示不了函数的本质。比如函数表达式：3*x+x，x这个字母只是标志空位，而函数表达式中并不包含x字母本身。如果函数表达式3*x+x分别代入1和2，那么就有3*1+1和3*2+2，结果表示的是数4和数8。这两个表达式共同部分是传统意义上的字母代表的空位，能分别代入1和2的表达式。而弗雷格认为，“函数的真正本质就在那些表达式的共同因素之中。”[2]P59 弗雷格从一个表达式中区分出了自变元符号和函数表达式两个部分。这两个部分分别表示了自变元和函数。弗雷格的观点是，函数本身具有不完整性，用自变元补充才能完整和满足；而自变元本身不需要补充，是完整的和独立的。在这里弗雷格把自变元的函数值定义为一个自变元补充一个函数所得的结果。弗雷格之所以这样认为，是因为传统数学没有认清函数的本质。传统数学中的函数定义不区别函数与自变元，结果也不区别函数与函数值。 弗雷格对函数重新做了科学的定义后，又从两个方向扩展了函数。一个方向扩展了构造函数的方法；另一个方向扩展了自变元和函数值的范围。首先对在构造函数的方法上进行了扩展。与此同时，引入真值作为函数值，扩展了函数值的范围。他引进了符号：=、gt;、lt;，从而使函数表达式的类型扩展了。弗雷格把（　）2=1看成是函数。用1和2分别代入后，就变成12=1和22=1。弗雷格认为，12=1是真的，22=1是假的。真和假就是真值。弗雷格认为真值有两个，即真和假。 （　）2=1这个函数的值总是两个真值之一即真或假。当-1为自变元时，式子（-1）2=1的函数值即真值为真。我们用语言表达为“-1这个自变元的性质是它的平方为1”或“-1属于1的平方根这个概念”[1]P56对于自变元2，式子22=1的函数值即真值为假。用语言表述是“2不属于1的平方根这个概念。”[1]P56因此，弗雷格说：“逻辑中称为概念的东西与我们称为函数的东西十分紧密地联系在一起……一个概念是一个其值总是一个真值的函数。”[2]P66由此可见（　）2=1函数，-1的平方根这一概念是一个其值总是一个真值的函数。 弗雷格不仅分析了包括1个自变元，也分析了包含2个自变元的其值为真值的函数的情况。对于（　）gt;（　），当我们依次将2和1代入空位时，其值是真值为真。当依次将1和2代入空位时，其值是真值为假。式子（　）gt;（　）有两个空位，这样的式子被弗雷格称为二元函数。这样的二元函数的值也是真值即真或假。弗雷格把这样的函数又称为关系函数。这种对关系的定义