, but it would, after all be logically possible for two things to have exactly the same properties. If this does not in fact happen that is an accidental characteristic of the world, not a logically necessary characteristic, and accidental characteristics of the world must, of course, not be admitted into the structure of logic. Mr. Wittgenstein accordingly banishes identity and adopts the convention that different letters are to mean different things. In practice, identity is needed as between a name and a description or between two descriptions. It is needed for such propositions as “Socrates is the philosopher who drank the hemlock,” or “The even prime is the next number after 1.” For such uses of identity it is easy to provide on Wittgenstein’s system.

38