弗雷格的概念悖论及其解决Word格式.docx
《弗雷格的概念悖论及其解决Word格式.docx》由会员分享,可在线阅读,更多相关《弗雷格的概念悖论及其解决Word格式.docx(8页珍藏版)》请在冰豆网上搜索。
本文旨在介绍并解决这一悖论,为此,首先介绍弗雷格的有关观点和讨论一些有关的问题。
1、涵义与指称
弗雷格的意义理论的重要观点之一是:
将一个简单句子分为专名和谓词,其中专名的意义是完整的,谓词是有空位的或待填充的,因而其意义是不完整的;
专名、谓词和句子在其意义上均有两个不同的方面,即指称和涵义,并且指称是由涵义决定的。
(注:
弗雷格的术语"
Bedeutung"
和"
sinn"
可以分别英译为"
reference"
sense"
,本文译为“指称”和“涵义”,相当于文献[1]中的“意谓”和“意义”。
德语中的"
Funktion"
相当于英语中的"
function"
,[1]中译为“函数”,本文则根据语境有时译为“函数”,有时译为“函项”。
)不过需要说明的是,把指称和涵义统称为意义(meaning)只是其他人(包括笔者)所采用的,而弗雷格本人只谈指称和涵义。
弗雷格在其《论涵义和指称》中,从一个最简单的等式a=b入手,挖掘出语言表达式的两层意义即涵义与指称,其论证是很简明的。
弗雷格问道,a=b表达了什么之间的等同关系,具体地说,它表达了a和b所代表的对象之间的等同关系还是"
a"
b"
这两个符号之间的等同关系?
显然,后者是不成立的,因为a和b作为符号是明显不同的。
并且,前者也是不成立的,否则,当a=b为真时,a=b和a=a就表达了完全相同的关系,即a和b所代表的那个对象与其自身等同;
然而,事实并非如此。
举例来说,“晨星”和“暮星”表达了相同的对象即金星,但是,“晨星是晨星”是一个毫无经验内容的逻辑真理,而“晨星是暮星”则是天文学上的一个重要发现。
可见,这两个句子表达的等同关系并不完全相同,也就是说,这两个句子所表达的并不仅仅是“晨星”或“暮星”所代表的对象之间的等同关系,由此,弗雷格得出结论:
a=b并不是仅指符号之间的关系,也不是仅指对象之间的关系,而是兼而有之;
具体地说,它表明"
这两个不同的符号指称相同的对象。
对同一对象给予不同的符号就是对该对象给予不同的表达方式(themodeofpresentati-on)。
对象的表达方式,弗雷格称之为“涵义”,对象本身,弗雷格称之为“指称”;
涵义具有认识论价值,指称具有本体论价值。
当然,涵义和指称都是相对于语言表达式而言的,以上讨论是就专名而言的;
具体地说,“晨星”和“暮星”这两个专名具有不同的涵义而具有相同的指称。
弗雷格关于句子和谓词的讨论很大程度上是在与数学函数的类比中进行的。
有些函数解析式如2X[2]+X,其自变量的值和函数的值都是数;
与此不同,X[2]=1这个函数解析式的自变量X的值是数,而其函数的值却不是数,而是真或假;
如将-1和1代入X,此函数值为真,而将其他数值代入X,函数值则为假。
这种情形类似于自然语言的句子。
如“苏格拉底是人”这个句子可以分为两部分,即专名“苏格拉底”和谓词“……是人”;
“……是人”是不完整的(incompleted)或待填充的(unsat-urated),其作用相当于一个函数,“苏格拉底”是独立的和完整的,其作用相当于自变量的某一特定值。
当“苏格拉底”填入“……是人”的空位后便成为一完整的句子,其值是真;
而将“金字塔”填入“……是人”的空位后,其函数值是假。
据此,弗雷格把谓词称为其值为真值(真或假)的函项表达式。
函数X[2]=1也是一个谓词,自变量X的值如1、2、……等相当于专名。
弗雷格注意到,X[2]这个函数的自变量一旦被代入具体数值后,其指称就是函数值,如当X=2时,X[2]的指称是4,因为2[2]=4。
同理,X[2]=1中的X一旦被代入具体数值后便成为句子,其指称就是其函数值即真值。
由此,弗雷格得出一个著名的甚至惊人的论点:
一个句子的指称其真值;
一个句子的涵义是它所表达的思想。
弗雷格把谓词看作以真值为其值的函项表达式;
他进而认为,谓词指称概念,正如函项表达式指称函项;
这就是说,“一个概念是一个其值总是一个真值的函项。
”([1],p.63)由于函项是有空位的或待填充的,相应地,概念也是有空位的和待填充的,即有空位的谓词指称有空位的概念。
弗雷格把谓词又叫作“概念词”,并说概念具有谓词性(predica-tivenature)亦即待填充性。
概念的待填充性是它区别于对象的根本特征。
对象是专名的指称,正如概念是谓词的指称。
对象和专名都是独立的和完整的,因此,谓词和专名、概念和对象是泾渭分明和不可相互替代的。
“概念”(concept)一词很容易使人把它与“涵义”等同起来,许多学者都有这样的倾向,如马歇尔(W.Marshall)、卡尔纳普和丘奇(A.Church)等人。
([4],p.76和[7],p.312)当然,其原因也在于弗雷格本人在他生前正式发表的论著中对此阐述的不够充分。
其实,弗雷格不仅坚持概念是谓词的指称而不是其涵义,而且认为概念如对象一样具有实在性。
弗雷格的《遗文集》中谈道:
“当我们说‘木星比火星大’时我们正在谈论什么?
正在谈论天体本身,即专名‘木星’和‘火星’的指称。
我们正在用‘……比……大’这个词说它们相互之间处于某种关系。
这种关系得自于专名的指称之间,因此它本身必定也属于指称的领域。
”([5],p.48)“……比……大”是关系词,关系词是多空位的谓词,相应地,关系是多空位的概念。
对于只有一个空位的概念,达梅特(M.Dumme-tt)建议称之为“性质”(property),([4],p.77)笔者认为这是恰当的,并在以后的行文中时有采用。
按照弗雷格的看法,含有空位的概念是不完整的但又是实在的,这样便产生了一个问题:
不完整的概念怎么能够成为独立的实在呢?
在上面的引文中,弗雷格从完整的对象的实在性直接推出不完整的性质或关系的实在性,这种推论是缺乏说服力的。
弗雷格坚持概念(即性质和关系)和真值等的实在性表现出他在本体论上的柏拉图主义特征,尽管他为此所作的辩护并不有力,但这并不表明其本体论主张完全没有道理。
在笔者看来,重要的问题在于阐明谓词所表达的函项所特有的完整性和独立性,而不要像弗雷格那样仅从语言形式上来断定它的不完整性,再从与专名所表达的对象的简单类比来确立它的实在性。
下面,我们就对这项工作给予偿试。
2、谓词是语义完整的
不过,弗雷格进而主张,谓词的指称即概念(性质)也是有空位的和不完整的,从而与语义完整的专名所指称的对象严格地区分开来。
弗雷格的这后一主张引起一些严重的困难,其中包括后面将要讨论的概念悖论。
本节则为清除这个悖论,提出并论证一个相反的主张即:
谓词在语义上是完整的。
笔者承认,从语形上看,谓词确实是有空位或待填充的,如“……是人”、“……比……大”,但是,这并不意味谓词在语义上也是有空位或待填充的。
为了说明这一点,让我们效仿弗雷格,在谓词和函数之间进行比较。
在数学中,在语形上有空位的函数如sinx或sin()在语义上是完整的,其语义可以刻划为自变量的值与函数值的对应表,如:
附图
这个表也可看作由sinx的自变量的任何一个取值与相应的函数值构成的序偶的集合,即{…,<-π/2,-1>,…<π/2,1>,….JPG}。
一个集合——无论是有穷集还是无穷集——是一个独立的和完整的对象,这一点是包括弗雷格在内的绝大多数数学家和哲学家们都承认的,于是我们可以说,这个序偶集就是函数Sinx的指称,因此Sinx是语义完整的。
此外,我们还注意到,Sinx所指称的序偶集对应于并且决定于这样一个集合:
{…,sin(-π/2),…,sin(π/2),…,.JPG},这个集合与函数的表达方式是直接相关的,而由它决定的那个序偶集却与函数的表达方式没有直接关系。
例如,函数sinx+sin(0)在表达方式上不同于函数sinx,这使它所对应的集合{…,sin(-π/2)+sin(0),…,sin(π/2+sin(0),….JPG}也不同于sinx所对应的集合,既然sin(0)=0,但是二者所对应的序偶集却是同一个。
因此我们说,sinx+sin(0)与sinx具有相同的指称,尽管它们有着不同的涵义;
其涵义就是它们分别对应的两个不同的集合,这两个不同的集合分别反映了这两个函数的不同表达方式。
接下来我们考察谓词。
谓词作为句子函项(即命题函项),其涵义相当于一个句子集合,其指称相当于一个由任何一个专名和相应的函项值即真值构成的序偶的集合。
如谓词“……是人”的涵义相当于集合{苏格拉底是人,金字塔是人,罗素是人,天安门是人,……},其指称相当于序偶集{〈苏格拉底,真〉,〈金字塔,假〉,〈罗素,真〉,〈天安门,假〉,……}。
为了进行比较,再考虑谓词“…是有理性的动物”。
此谓词的涵义相当于句子集合{苏格拉底是有理性的动物,金字塔是有理性的动物,罗素是有理性的动物,天安门是有理性的动物,……};
显然,此句子集合不同于前一个句子集合,因此我们说,谓词“…是人”和“…是有理性的动物”具有不同的涵义。
“…是有理性的动物”的指称相当于序偶集{〈苏格拉底,真〉,〈金字塔,假〉,〈罗素,真〉,〈天安门,假〉,……},与前一个序偶集完全相同,因此我们说,谓词“…是人”和“…是有理性的动物”具有相同的指称。
由以上分析我们看到,尽管谓词在其语言形式上是不完整的,但其语义——无论是涵义还是指称——却是完整的,因为它们都相当于一个集合:
一个谓词的涵义相当于各个专名填入其空位后所形成的句子集合;
一个谓词的指称相当于由各个专名和相应句子的真值构成的序偶的集合。
不过,这里出现一个问题:
从语言形式上看,谓词的不完整性即待填充性是必要的,因为正是通过谓词的这种性质才使它可以同完整的专名结合在一起,从而形成一个统一的句子;
现在,我们把谓词的涵义和指称都看作完整的集合,那么,在这种情况下,谓词和专名如何形成一个统一的句子呢?
对此,我们的回答是:
当在语言形式上将一个专名填入一个谓词的空位时,在涵义上相当于在一个句子集合中指定一个句子,即以该专名为主词的那个句子;
在指称上相当于在一个序偶集中指定一个序偶,即以该专名为其元素的那个序偶。
请注意,在这里是以序偶如〈苏格拉底,真〉作为句子“苏格拉底是人”的指称,而不是仅仅以真值作为句子的指称(这是笔者有别于弗雷格的另一观点);
这使得,并非所有真句子都有相同的指称或所有假句子都具有相同的指称,从而避免了弗雷格意义理论所遇到的另一些困难。
(对此,笔者在另一篇文章中给以讨论。
)
也许有人会提出这样的质疑:
照上面建议的那样把一个谓词的涵义看作句子的集合,把指称看作含有句子真值的序偶集,那么,一个谓词的意义就不可能独立于句子而被表示出来。
对此,笔者供认不讳。
在笔者看来,这恰恰体现了弗雷格意义理论的一个最基本的思想,即一个语词只有在句子的语境中才具有意义。
在弗雷格看来,一个谓词只不过是一个句子去掉专名所剩下的部分。
对弗雷格的这一思想,达梅特(M·
Du-mmett)作了进一步的阐释。
他谈道:
“一个谓