Nope, and that's why many logical systems are talking about what is at a given time and fail in practice. There are logical systems that take time into account to solve those issues (look at something called referent tracking).
Yeah, but there's an epistemic/cultural issue at play. There's an entire thread below where Mathematicians are aggressively objecting to me demonstrating some of those alternative notions to the point of calling the realizations of my designs "wrong" even though the reification is equivalent to the design.
But in the extreme case you can also construct universes which only speak of inequalities (total order) as a rejection of the identity axiom.
In that universe Peter Parker and Spider Man are different entities, and so what you can and can't say about them is entirely down to judgment.
The most important question is WHY do you want to say anything about anything and who do you want to say it to?
It's difficult to encode any information in language without knowing who is going to be decoding it.
This is too reductionist.
Can you substitute Peter Parker(before the lab accident) for Spider-Man ?