网络上的涵义与指称
关于涵义与指称的同样问题适用于万维网。不过,我们的目的不是要解决这个问题,而是要将它理解为另一个数量级,从而产生解决方案或寻求共识。逻辑学与计算机科学家帕特里克·海尔斯与蒂姆·伯纳斯-李已经讨论过这个问题。对于伯纳斯-李而言,统一资源定位符可以指称任何他称之为资源的东西;同时,对于海尔斯而言,为了语义网或逻辑系统的存在,没有直接的办法来保证指向13岁的蒂姆·伯纳斯-李和60岁的蒂姆·伯纳斯-李的统一资源定位符是指向同一个人[36]——两个内涵(年龄),但是同样的指称(伯纳斯-李)。为了解决这个问题,语义网的研究人员之一哈利·哈尔平建议摆脱弗雷格与罗素的传统,转向后来由索尔·克里普克(SaulKripke)开发的阿尔弗雷德·塔斯基(AlfredTarski)的模态逻辑。克里普克通过引入可能世界(possibleworld)的概念来发展有力的身份问题解决方案。正如克里普克所定义的,“一个可能世界是由我们与之联系的描述性条件所给予的”。[37]对于克里普克而言,专名是一个刚性指示符(我们也可以说是弱指示符或宽松指示符)。一个刚性指示符由一组描述来定义。此处克里普克与弗雷格和罗素不同,他就此批判了两位逻辑学家。对于弗雷格和罗素而言,描述是专名的同义词,而对于克里普克而言,描述只是众多指示符刚性的因素之一。
可能世界不仅是时间世界,例如,伯纳斯-李分别是13岁和60岁的世界。我们也可以将它们与希拉里·普特南(HilaryPutnam)所说的语言劳动分工联系起来。在他的文章《“意义”的含义》中,普特南对弗雷格、罗素和卡尔纳普等逻辑实证主义者进行了批判,尤其批判了“一个词语的意义(在内涵的意义上)确定了它的外延”[38]这一点。相反,普特南表明,金、铝等词在不同社会语言学领域有着不同的含义。例如,他提出让我们设想一家工厂里有人戴着金结婚戒指,有人的工作是销售黄金结婚戒指,而还有人的任务是确定某物是否是黄金。普特南表明,我们不能肯定地说,有机会购买黄金的人将能够可靠地分辨出某物是否真是黄金。我们可以说存在不同的可能世界,而问题在于找到贯穿所有这些世界的身份。如果专名不是其指称的同义词,那么这表示该对象不再是其实体或其情状。与我们对亚里士多德《范畴篇》中关系性的诠释类似,克里普克表明,我们必须面对先前的哲学谬误:
198
论数码物的存在
186