The stock example of a semantic tautology is that all bachelors are unmarried. It is supposed to be immediately obvious and necessarily true. It seems to me, however, that it is neither immediately obvious nor necessary.
The stock example of a semantic tautology is that all bachelors are unmarried. It is supposed to be immediately obvious and necessarily true. It seems to me, however, that it is neither immediately obvious nor necessary.