A linguistic expression to denote a specified object. The object denoted by a given name is called the denotation. In mathematics, names are widely used for specific mathematical objects, for example,
are names for the number 1; however, their meanings are different. If in a compound name, some name occurring in it is replaced by a name having the same denotation, then the denotation of the compound name is unchanged. If in a compound name some name occurring in it is replaced by a synonym of it (that is, a name having the same meaning), then the meaning of the compound name is unchanged.
Along with names, one uses in mathematics expressions containing variables. The expressions become names upon replacing the variables by names of objects in the range of values of the variables. Such expressions are called name forms. The expressions
[1] | A. Church, "Introduction to mathematical logic", 1, Princeton Univ. Press (1956) |
[a1] | R. Carnap, "Meaning and necessity", Univ. Chicago Press (1947) |