Definition:Name


 * Proper Name: a symbol used to identify a particular object uniquely (otherwise known as a constant or parameter);
 * Arbitrary Name: a symbol assigned to an arbitrarily selected object from a given universe.

The context in which these definitions are understood is predicate logic.