It is not the case that Kripke's necessity of identity entails that if A and B are numerically distinct, this is so necessarily, meaning the scratch scenario merely reveals a contingent difference insufficient to ground metaphysical distinctness independently of haecceitism.
?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.