A word or symbol used in logic to designate an entity.