Let me illustrate the problem by means of an example. I am a human and shall remain as such for the rest of my life. But is it still true once I pass away? Admittedly, being human is something one cannot attribute to an inanimate object. There is a related and much more challenging question, however. Namely, am I still myself after I am gone? It is that latter question that I shall focus on.
For a logician, what is at stake is the truth value of the atomic assertion Of course, it is true; it is a tautology!—one might say. This position seems unsatisfactory and ill-founded, for it is solely based on our shared experience with syntax and semantics to date. Instead, I should like to propose a resolution adopted from my work on modal logic with actuality. Ultimately, I aim to convince the reader that the assertion is seldom true.
It is instructive to look at a corner case first. In a world with no individuals, the sentence is false, simply because there is no one to assert about. Therefore, the statement is true just in case the world cannot become uninhabited. On the other hand, is a necessary truth, which underscores (i) the importance of the scope of quantifiers and (ii) the contrast in how existential and universal quantifiers react to inanimate objects.
The empty world analysis suggests that the assertion is true of any individual whose ontological status is contingent. At heart, this assertion is equivalent to a potential failure of the existence of a witness in the domain of discourse. Indeed, suppose that is true. Then, in particular, there is a witness in the domain such that By the scope of the existential quantifier, we get that implies Conversely, suppose that Using the scope of again, we get a witness in the domain such that But is in the domain, so it is a self-witnessing witness, i.e., This, together with gives us Consequently, for any individual the assertion holds just in case may potentially cease to exist.
What is left is to explain why I contended that the assertion scarcely ever is true. Ostensibly, it was a frivolous claim intended to raise a few eyebrows. But here is my excuse: if you pick a random pair from the collection of all pairs of objects and sets of objects , what are the chances that ?
