on the other hand can all statements be false; yet this would seem more possible in view of what has been said. — But against all such arguments we must postulate, as we said above,[1] not that something is or is not, but that people mean something, so that we must argue from a definition, having got what falsity or truth means. If that which it is true to affirm is nothing other than that which it is false to deny,[2] it is impossible that all statements should be false; for one side of the contradiction must be true. — Again, if it is necessary with regard to everything either to assert or to deny it, it is impossible that both should be false; for it is one side of the contradiction that is false. — Further, all such arguments are exposed to the often-expressed objection, that they destroy themselves. For he who says that everything is true makes the statement contrary to his own also true, so that his own is not true (for the contrary statement denies that it is true), while he who says everything is false makes himself also false. — And if the former person excepts the contrary statement, saying it alone is not true, while the latter excepts his own as being alone not false, none the less they are driven to postulate the truth or falsehood of an infinite number of statements; for that which says the true statement is true, is true, and this process will go on to infinity.
Evidently again those who say all things are at rest are not right, nor are those who say all things are in movement. For if all things are at rest, the same statements will always be true and the same always false,— but they obviously are not; for he who makes a statement himself at one time was not and again will not be. And if all things are in motion, nothing will be true; everything therefore will be false. But it has been shown that this is impossible. Again, it must be that which is that changes; for change is from something to something. But again it is not the case that all things are at rest or in motion sometimes, and nothing for ever; for there is something which always moves the things that are in motion, and the first mover must itself be unmoved.