I am asking this question because I thought what truth value would have a have a quantifier over a set that contains persons that are dead. For example suppose I state:
"For every x that is member of the 1850 goverment of France, x is playing football right now".
It is clear that all members of the 1850 France are now dead. So this is equivalent to asking if we make statements about persons that are dead. So lets assume John is one of these members. Then the statement:
"John is playing football right now". Is it true or false? I was thinking about using Russel's definite description theory but what bothers me is if his theory applies only for person/objects that have never existed.
Edit After reading the comments I think I should add some details. As I said the problem boils down to the individual statements of the quantifier (at the end of the day the conjuction of these statement will determine if the whole statement is true or false). Leaving aside "John" for the moment I thought the following sentence.
The airplane that Mr. X used in 1989 is now above New York.
We know that this airplane was destroyed in 1990. By reading the comments I understood that we can give a truth value because the "existence" can be viewed transtemporally. And that makes sense because I can give a truth value also for the statement:
The airplane that Mr.X used in 1989 was destroyed in 1992.
I thought to model objects/persons that have been existed as "functions" where before their creation/birth (I apologize if there is a technical term) and after their destruction/death have the value zero and non-zero everywhere else. Then by applying an operator to that function we can get back a value. The operator is the question e.g.:
Is the airplane that Mr. X used in 1989 is now above New York?
and the action of the operator will return back a value (T or F). Does it make any sense? I searched about "modal predicate logic with varying domains" but I don't have the theoretical background.