In Melvin Fitting & Richard L. Mendelsohn,
First-Order Modal Logic. Cham: Springer Verlag. pp. 383-391 (
2023)
Copy
BIBTEX
Abstract
There is a natural confusion between existence and designation, but these are really orthogonal issues. Terms designate; objects exist. For instance the phrase “the first President of the United States” designates George Washington, though thinking temporally, the person being designated is no longer with us—the person designated does not exist, though he once did. The nonexistent George Washington is designated now by the phrase. On the other hand the phrase, “the present King of France,” does not designate anybody now, living or dead, though at certain past instances it did designate.