It is not the case that If 'Adams' is a rigid designator that presupposes its referent's existence, then (a=a) is not a pure logical truth but a metaphysically loaded one, making the derivation of necessary existence question-begging.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.