Definition:Proper Name

From ProofWiki
Jump to: navigation, search

Definition

A proper name (or just name) is a symbol or collection of symbols used to identify a particular object uniquely.


In contrast with natural language, a proper name has a wider range than being the particular identifying label attached to a particular single entity (be it a person, or a place, or whatever else).

For example:

Sloth is a proper name for the concept of being lazy.
Rain is a proper name for the meteorological phenomenon of water falling from the sky.


Also known as

The term individual constant is often seen, as are (particularly when applied to a number) constant and parameter.


Sources