Definition:Proper Name

From ProofWiki
Jump to navigation Jump to 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

Other terms for proper name that can be found are:

name
individual constant
constant, particularly when applied to a number
parameter.


Also see

  • Results about proper names can be found here.


Sources