在反对指称描述论的模态论证中,必然性无疑是一个最重要的概念.一直以来,无论是直接指称论者,还是被他们所批评的指称描述论者,都相信在这个论证中对于必然性概念的使用是恰当的,并且也是一致的.这篇文章试图指出,其实在实际的模态论证中,存在着两个属于不同范畴的必然性概念,它们被未加区分地使用于论证的不同步骤.因此,模态论证的结果是值得怀疑的.