学文网区分语言表达式的涵义和指称是弗雷格意义理论的着名观点,但由于弗雷格从未给“涵义”以精确的定义,因而涵义问题至今仍然是哲学,尤其是语言哲学争论的焦点问题。从认知价值和同一关系两方面,弗雷格认为必须区分涵义和指称。涵义在弗雷格系统中主要有三种功能,由于概念模糊而功能广泛,弗雷格的涵义概念产生了诸多困惑。
区分语言表达式的指称和涵义是弗雷格意义理论的着名论点,弗雷格通过讨论专名、概念词和句子这三种语言表达式的涵义和指称及其区别阐释,他的意义理论的思想。但是,由于弗雷格从未给“涵义”以精确的定义,只是给出一些说明的例子,因而,弗雷格的“涵义”问题至今仍然是哲学家们争论的一个谜点。这个问题之所以仍然值得探讨,首先是因为哲学家们和语言学家们对弗雷格意义理论的基本教条的理解分歧无存;其次是因为对弗雷格“涵义”概念引起的问题的解决推动了当今意义理论的发展。
一、区分涵义和指称的理由
专名是指涉一个特定对象的符号或名称,相当于自然语言中的单独词项,逻辑中的个体常项,如,“晨星”、“暮星”等。在语句中起到专名作用的成分的是指称一个特定的对象的词组,如,“那个亚历山大的老师”。指称一个对象的名称、指称一个特定对象的词组,在弗雷格看来都是专名。他是从区分句子的指称和涵义,进而区分专名和概念词的指称和涵义的。归纳起来,他对涵义和指称的区分主要作了如下两方面论证:
(一)认知价值论证
弗雷格根据康德关于分析陈述和综合陈述区分的观点,分析了a=a和a=b两个句子认知意义的识别。如,“晨星是晨星”,“晨星是暮星”,这两个句子虽然都体现了一种关系,但它们在认知上的价值是不同的。a=a的有效性是先验地可识别的,是分析的。即使不能识别晨星的人,也能证明“晨星是晨星”是有效的。a=b则包含了知识的扩展,其有效性是经验地可识别的,是综合的。即使是在今天,要辨认a和b两个名字或符号标志的是同一颗行星也是需要经验验证的。
“22=4”和“2·2=4”这两个等式表达的是不同的思想,但是这两个等式的左边“22”和“2·2”可以互相替代,因为这两个符号有相同的指称。因此,“22=4”和“2·2=4”这两个思想不同的等式有相同的指称。同样,“晨星是一颗行星”,“暮星是一颗行星”,虽然这两个句子由于“晨星”和“暮星”的指称相同而真值相同,但是它们所表达的思想是不同的,因为不知道晨星就是暮星的人,会以为这两个句子中一个是真的,而另一句是假的。因此,对于认知者而言,a=a和a=b两个句子认知意义是不同的。
(二)同一关系论证
a=b要表达的似乎是“a”和“b”这两个符号或名字所命名的同一事物,从这个意义上说,如果a=b是真的,那么a=a和a=b的认知价值就基本相同了。但既然用了a和b两个不同的名字,显然两个名字的意义除了对象以外,还有其他未尽之意。这未尽之意就是用不同的方式来命名同一个对象。“那个亚历山大的老师”、“那个出生在斯塔吉斯的古希腊的哲学家”两个符号的差异不在它们所命名对象的不同,而在于由于命名者的语境(或背景知识)不同,在于对同一个对象的给出方式不同。可见,符号“a”和“b”的差异只是在对象给出的方式或语境方面。
由此,弗雷格认为,“必须区别涵义和指称”。弗雷格明确指出,专名的指称就是专名所命名的对象;概念词的指称是概念,概念的外延是对象;直陈句的指称是它的真值,直陈句的涵义是它包含的思想。但却没有明确指出专名和概念词的涵义是什么,如何定义“涵义”。
二、语言表达式的涵义在弗雷格系统中的功能
弗雷格首次区分了专名的涵义和指称,从此关于专名的意义问题便产生了两种对立的观点:第一,专名有指称无涵义;第二,专名有涵义而仅仅在下述条件下有指称:只有一个且仅有一个对象满足专名的涵义。由此看来,专名的涵义问题是两种对立观点争论的交点。专名,乃至语言表达式的涵义问题在弗雷格理论系统中具有重要的地位,这取决于涵义在弗雷格系统中的多种功能。
(一)涵义是给出表达式指称的媒介
根据弗雷格反对逻辑心理主义原则,必须把心理学的东西与逻辑的东西区别开,把主观的东西和客观的东西区别开。因而必须把语言表达式的指称与个别心灵的表象***像区别开。如上所述,专名的指称是它表示的对象,但是对于弗雷格来说,名字或符号并不能直接与其对象联系,需要借助于一定的语境,或者通过符号出现的方式与其表示的对象联系起来。当出现“亚里士多德”这个专名时,可能通过考察出生地,把那位古希腊人与这个专名所指的对象联系起来,也可能通过他与其他人的关系,把那位柏拉***大学生和亚历山大大帝的老师与这个专名的所指联系起来。如果把符号的给出方式理解为弗雷格意义上的专名的涵义,那么“专名通过涵义的媒介并且仅仅通过这种媒介与对象联系在一起”。
弗雷格指出,概念词的指称是概念,概念的外延是对象。在42=4·4这个等式中,不是概念的简单相等,而是对象,即概念的外延之间的相等。所以可以断言,两个概念词的指称相同,且仅当其从属的概念的外延重合。那么概念词如何与其表示的对象联系起来呢?弗雷格虽未明确说明概念词的涵义是什么,但根据他“必须在句子联系中研究语词的指称,而不是个别地研究语词的指称”的基本原则,可以把概念词的涵义理解为(表达句子的)思想的一部分。这样便可以认为,概念词是通过它的涵义与它所属的概念的外延相联系的。正如弗雷格所说:“不仅对于专名,而且对于概念词,逻辑必须都有要求:从语词进到涵义,并且从涵义进到指称,这是毫无疑问的。否则就会根本无法谈论指称。”
从语词进到涵义,并从涵义进到指称的思想是否能推广到对直陈句的分析上呢?“晨星是一个被太阳照亮的物体”和“暮星是一个被太阳照亮的物体”这两个句子的思想是不同的,但如果我们知道晨星就是暮星,那么我们便知道这两句的真值是相同的。如果我们用“暮星”替换前一句中的一部分“晨星”,便得到与前一句具有同一关系的后一个句子。显然,这两句相同的是真值,而不是思想。所以弗雷格明确指出,直陈句的涵义是其思想,直陈句的指称是其真值,并由这个假设推导出两个重点结论:第一,如果一个句子的真值就是它的指称,那么所有真句子就有相同的指称,所有假句子也有相同的指称。第二,保真互换原则,即当句子的一部分被指称相同而涵义不同的一个表达式替代时,句子的真值保持不变。因此,“一个断定句含有一个思想做涵义(或者至少要求含有一个思想作涵义);这个思想一般是真的或假的;就是说,它一般有一个真值。”这样,对于直陈句而言,仍然是从句子进到涵义,并从其涵义进到指称的。由此可见,涵义是联结语言表达式与其指称的认识论通道。
(二)涵义是间接指称的对象
与直陈句不同的是,间接引语的指称不是真值。在问接引语中,人们谈到的是另一个人某句话的涵义,所使用的语词在间接引语中没有通常意义上的指称,而是通常作为语词涵义的东西。比如,“哥白尼相信行星的轨道是圆形”,影响整个句子的真值的不是其中的从句“行星的轨道是圆形”的真值,而是哥白尼是否相信“行星的轨道是圆形这个思想”,可见,从句的指称不是其真值,而是其思想。由此弗雷格区别了语词的通常指称和间接指称,通常涵义和间接涵义。一个语词在间接引语中是被间接地使用,或者它 具有间接的指称;类似地,也区别了一个语词的通常涵义和间接涵义。并指出,一个语词的间接指称是它的通常涵义。这样一来,对于间接引语,保真互换原则就应该修改为:当从句被与其通常涵义相同的一个表达式替代时,整个句子的真值保持不变。如上例,如果我们用“哥白尼认为太阳运动假象是由地球的真实运动造成”和“哥白尼认为行星的轨道是网形的”互相替代,不会影响整个句子的真值。
弗雷格根据这个原则处理了命题态度的归属问题,例如,由“…认为”、“…相信”、“…推论”、“…认识到”、“…知道”、“…以为”、“看来…”、“指责”、“希望”、“害怕”、“同意”等所引导的名词性从句,其间接指称是其通常涵义。这样,在间接引语中,通常涵义就转变为间接指称的对象。
(三)涵义是语义理论的构成元素
弗雷格没有建立严格意义上的现代语义理论,因为他没有使用元理论为他的基本推理原则和规则辩护。但是他使用自然语言介绍和论证了他的形式系统的特征,从而建立了他的语义理论。
弗雷格有一个雄心勃勃的逻辑主义计划,即模仿算术语言构造一种纯思维的形式语言。因为他认为算术是进一步发展的逻辑,逻辑定律是严格论证算术定律的基础,这就要求算术符号语言必然扩展为一种逻辑符号语言。为了实现他的这个逻辑主义计划,他把函数概念扩展为逻辑概念,把含有空位的函数看作概念,用真值代替了作为自变元的函数值。真值是判断的可断定内容,“可断定内容”是弗雷格逻辑系统中很重要的语义概念。弗雷格把判断符号表示为上,他在《概念文字》中这样解释道:“水平线可以叫做内容线,竖杠可以叫做判断线。内容线通常也用来使任何一些符号与其后出现的符号整体联系起来。在内容线之后出现的东西必然总有可断定的内容。”在判断中可断定内容不仅具有概念(或函数)真值的功能,而且还具有另外两种功能,即指在一定背景中判断所能够表达的东西,以及断定的说服力。尽管我们断定某个东西时,我们实际上是说它是真的,但是我们所断定的不是真值。真值赋予句子并不是逻辑意义的全部内容,所以真值不能完全承担弗雷格所说的可断定内容的全部功能,仅仅满足了可断定内容的概念值的功能,而满足可断定内容后两种功能的东西,他称之为判断(即陈述句)的“思想”。而思想并不与他的逻辑中的函数和自变量直接联系,他给思想赋予了如下一些特殊的性质:
第一,思想不是思想者心理的对象,而是思想者思考的实体,或语言的实体。因为它们虽然是思想者断言或接受的东西,但却是***于思想者的断言或接受而存在的。
第二,思想是公共的,可分享的,它的理解和识别是***于思想者的。思想是或真或假的,思想的真就是与客观一致,所以思想依其断言为真必须是客观的。