Full Idea
In standard first-order logic the role of proper names is played by individual constants.
Gist of Idea
In logic constants play the role of proper names
Source
Kent Bach (What Does It Take to Refer? [2006], 22.2 L1)
Book Reference
'Oxford Handbook of Philosophy of Language', ed/tr. Lepore,E/Smith,B [OUP 2008], p.538