谓词抽象和“弗雷格之谜”

弗雷格认为“相等”问题需要考虑涵义和意谓两个因素,这个问题包含相等的必然性、同一保真替换有效性和空词项三方面的问题.这些之所以成为问题,原因在于缺乏一个有效手段对“相等”的从言和从物形式进行区分,并误认为内涵和外延是截然对立的.引入谓词抽象,可以穿透内涵语境,把涵义和意谓衔接起来,对模态从言和从物形式进行区分,并刻画词项的不同指称方式,从而完成对“相等”问题的三方面考察.