In the course of this thesis, I will argue that empty proper names, both fictional and non-fictional, always have assumed fixed referents whose existence is assumed as a second-order property; and that the truth-value of the statements using them can only be determined within a given domain. I shall elaborate on this point by introducing a model in S4 modal logic and providing specific examples.
