Here's an attempt at a working definition:
The 'meaning' of an identifier = the complete set of assertions that can be made about it.
(for the purpose of discussion of identity in information systems).
E.g. if an assertion is true for one identifier but not another, then they don't mean (or denote) the same thing.
Does that sound reasonable?