I've thought of another variant of the liar to add to my collection--I'll leave it to my readers to tell me if someone has already thought of it.
Consider the following statement:
(*): Nothing entails that (*) is true.
Suppose (*) is false. In that case, it is false that nothing entails that (*) is true. So something entails that (*) is true. But if something entails that (*) is true, then (*) is true. But then what (*) says must be the case, and hence it follows that nothing entails that (*) is true. So if (*) is false, it is true both that something entails that (*) is true and that nothing entails that (*) is true, which is a contradiction. (*) must, in consequence, be true. So it is true that noting entails that (*) is true. (*), however, is not only true, it is necessarily true, for its falsity would entail a contradiction. However, if (*) is necessarily true, its truth is entailed by every statement whatever. So if (*) is true, it is true both that nothing entails that (*) is true and that everything entails that (*) is true. This too is a contradiction. So no matter whether (*) is true or false, it must be both true and false.
