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

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