It is easy to imagine that a statement could be evaluated as true or false in formal symbolic logic. Therefore, the statement evaluated as true or false, in formal symbolic logic, could be itself. From there, it is easy to translate the whole formalism to formal symbolic logic – “both a statement that evaluates itself as false and a statement that evaluates iself as a statement that evaluates itself as false or false”.
Of course, this translation doesn’t rebut answers such as Tarski’s, that language can’t define its own truth predicate, for example. But, classical logic per se ineluctably incurs a paradox.
Leave a Reply