谓词抽象：一种新型语言辖域装置

摘要

自然语言歧义所产生的哲学问题在语言哲学史上占据着重要位置。罗素的摹状词理论中包含着一种基于经典逻辑的语言辖域装置，它解决了“排中律失效”问题。作为一种基于量化模态逻辑的新型语言辖域装置，谓词抽象可以解决包括奎因的“指称晦暗语境”以及“信念之谜”在内的模态逻辑语境下的语言歧义问题。在问题的适用域上，谓词抽象优越于罗素的辖域装置，谓词抽象还有着广阔的哲学应用前景和进一步的研究价值。