区分语言表达式的指称和涵义是弗雷格意义理论的著名论点,弗雷格通过讨论专名、概念词和句子这三种语言表达式的涵义和指称及其区别阐释,他的意义理论的思想。 以下就是弗雷格的涵义分析。
由于弗雷格从未给“涵义”以精确的定义,只是给出一些说明的例子,因而,弗雷格的“涵义”问题至今仍然是哲学家们争论的一个谜点。这个问题之所以仍然值得探讨,首先是因为哲学家们和语言学家们对弗雷格意义理论的基本教条的理解分歧无存;其次是因为对弗雷格“涵义”概念引起的问题的解决推动了当今意义理论的发展。
区分涵义和指称的理由
专名是指涉一个特定对象的符号或名称,相当于自然语言中的单独词项,逻辑中的个体常项,如,“晨星”、“暮星”等。在语句中起到专名作用的成分的是指称一个特定的对象的词组,如,“那个亚历山大的老师”。指称一个对象的名称、指称一个特定对象的词组,在弗雷格看来都是专名。他是从区分句子的指称和涵义,进而区分专名和概念词的指称和涵义的。归纳起来,他对涵义和指称的区分主要作了如下两方面论证:
弗雷格根据康德关于分析陈述和综合陈述区分的观点,分析了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两个句子认知意义是不同的。