Kitap 4
3
But in opposing all such theories we must demand, as was said in our discussion above,Aristot. Met. 4.4.5. not that something should be or not be, but some significant statement; and so we must argue from a definition, having first grasped what falsehood or truth means. And if to assert what is true is nothing else than to deny what is false, everything cannot be false; for one part of the contradiction must be true.
4
Further, if everything must be either asserted or denied, both parts cannot be false; for one and only one part of the contradiction is false. Indeed, the consequence follows which is notorious in the case of all such theories, that they destroy themselves;
5
for he who says that everything is true makes the opposite theory true too, and therefore his own untrue (for the opposite theory says that his is not true); and he who says that everything is false makes himself a liar.
6
And if they make exceptions, the one that the opposite theory alone is not true, and the other that his own theory alone is not false, it follows none the less that they postulate an infinite number of true and false statements. For the statement that the true statement is true is also true; and this will go on to infinity.
