反驳索姆斯对模态论证的辩护

索姆斯针对宽辖域分析和严格化的摹状词解释对克里普克的模态论证所做的辩护并不成功,其原因是他的辩护犯有错误:在已经假定名称‘n’在语义上等于相对于模态词取宽辖域的摹状词‘the x:Fx’之后,或者在假定名称‘n’被定义为与一个严格化的摹状词‘the x:actually Fx’[即n=(the x:actually Fx)]之后,他仍然把‘n’和‘the x:Fx’或‘the x:actual1y Fx'处理成有不同的模态辖域,并认为人们可以对分别由‘n’或相应的摹状词指称的那个个体持有不同的信念.对于主张名称和相应的摹状词严格同义和共指的描述论者来说,这种情况不可能发生.所以,索姆斯对模态论证的辩护失败了.