郭建萍 周冲

主项非空是经典逻辑预设的主要原则，即每个单称词项都意谓一个对象，所研究的每个量化域都是存在物的集，因此也称存在预设。经典逻辑一直遵循着弗雷格（G.Frege）的告诫“要特别警惕表达的歧义，这是逻辑错误的一种根源。我认为防止出现没有意谓的虚假专名至少是同样恰当的！”（[9]，第70页）从而摒弃没有对象意谓的虚假专名/空名。然而，随着对世界多样化的认识及对空名有用性的欣赏，人们越来越关注“包含空名的语句如何是有意义的”等问题1涉及不需要实际上存在的可能对象的量词，在模态及内涵逻辑中发挥着越来越重要的作用。参见[8]，第1319页脚注。，存在预设失效的语义学问题也日益得到了学者的深入研究。

1 空名问题的两种解释：从摹状词到预设

罗素（B.Russell）不满意经典逻辑对空名的漠视，指出“在莱布尼兹（G.W.Leibniz）意义上的可能世界中，有拥有一个、两个、三个……个体的世界。但为什么那个可能世界应该有甚至有一个个体，这甚至似乎没有任何逻辑必然性”。（[5]，第203页）他认为这是逻辑纯洁性方面的一个缺点，包含空名的语句也是有意义的。斯特劳森（P.F.Strawson）也赞同他的这一观点，但对这一问题却有着不同的理解。

在罗素看来，空名问题是一个非常重要的问题，而我们在研究时都被文法误引入歧途。实际上，自然语言中语句的语法结构偏离了语句的逻辑结构，空名只是伪装的摹状词。在考虑空名问题时，我们需从刚健的实在论出发，不能承认不实在的东西，但对空名的描述依然是有意义的。