Abstract
According to the 'axiom of existence', Adopted in this article, Terms which do not denote existent entities do not denote at all. 'past entities', 'future entities', 'possible entities', 'fictional entities', Etc. Do not exist. The class of denoting terms has, Therefore, A changing membership. 'nixon' denotes now, But will fail to denote one hundred years from now. The same is true for terms indicating properties (e.G., '... Is a missile'). A theory of meaning and truth is developed on the basis of this axiom. A denotationless term may still be meaningful. 'x' means, In english, 'the entity which ...' where the dots stand for a certain conjunction of open sentences known to speakers of english in various degrees, Found in reference books of authority, Etc. A statement can be true through either correspondence or analyticity. Thus 'nixon is the u.S. President' is (now) true in both ways. 'socrates was a philosopher', '2+2=4', And 'hamlet killed polonius' are only analytically true. 'polonius killed hamlet' is false