Definition:Proper Name
From ProofWiki
Definition
A proper name (or just name) is a symbol used to identify a particular object uniquely.
The term individual constant is often seen, as are (particularly when applied to a number) constant and parameter.
In contrast with natural language, a proper name has a wider range than being the particular identifying label attached to a person, or a place, etc.
For example, sloth is a proper name for the concept of being lazy. Rain is the proper name for the meteorological phenomenon of water falling from the sky.
