In that case, there is a question whether the identity statement 'Hesperus is Phosphorus' would be true, false, or neither true y=, Of course, the device will fail to convince a philosopher who wants to argue that an artificial language or concept of the supposed type is logically impossible.