Из сделанного нами различения очевидно также, что не может быть правильным то, что говорится [об истинном и ложном] единообразно, и притом в отношении всего, как это принимают некоторые, — одни утверждают, что ничто не истинно (ибо ничто, мол, не мешает всем высказываниям быть такими, как высказывание, что диагональ соизмерима), другие, наоборот, что все истинно. Эти утверждения почто те же, что и учение Гераклита; в самом деле, тот, кто утверждает, что все истинно и что все ложно, высказывает также и каждое из этих утверждений отдельно, так что если каждое из них несостоятельно, то необходимо, чтобы несостоятельным было и это [двойное] утверждение. Далее, имеются явно противоречащие друг другу утверждения, которые не могут быть вместе истинными; но они, конечно, не могут быть и все ложными, хотя последнее утверждение скорее могло бы показаться вероятным, если исходить из того, что было сказано [этими лицами]. А в ответ на все подобные учения необходимо, как мы это говорили и выше в наших рассуждениях, требовать не признания того, что нечто есть или не есть, а чтобы сказанное ими что-то означало, так что в споре [с ними] надлежит исходить из определения, согласившись между собой относительно того, что означает ложное или истинное. Если же ложное есть не что иное, как отрицание истины, то все не может быть ложным, ибо один из двух членов противоречия должен быть истинным. Кроме того, если относительно чего бы то ни было [одного] необходимо либо утверждение, либо отрицание, то невозможно, чтобы и отрицание и утверждение были ложными, ибо ложным может быть лишь один из обоих членов противоречия. В итоге со всеми подобными взглядами необходимо происходит то, что всем известно, — они сами себя опровергают. Действительно, тот, кто утверждает, что все истинно, делает истинным и утверждение, противоположное его собственному, и тем самым делает свое утверждение неистинным (ибо противоположное утверждение отрицает его истинность); а тот, кто утверждает, что все ложно, делает и это свое утверждение ложным. Если же они будут делать исключение — в первом случае для противоположного утверждения, заявляя, что только оно одно не истинно, а во втором-для собственного утверждения, заявляя, что только оно одно не ложно, — то приходится предполагать бесчисленное множество истинных и ложных утверждений, ибо утверждение о том, что истинное утверждение истинно, само истинно, и это может быть продолжено до бесконечности.
Очевидно также, что не говорят правду ни те, кто утверждает, что все находится в покое, ни те, кто утверждает, что все движется. В самом деле, если все находится в покое, то одно и то же было бы всегда истинным и одно и то же — всегда ложным; а между тем ясно, что бывает перемена (ведь тот, кто так говорит, сам когда-то не существовал, и его опять не будет). А если все находится в движении, то ничто не было бы истинным; тогда, значит, все было бы ложно, между тем доказано, что это невозможно. И кроме того, то, что изменяется, необходимо есть сущее, ибо изменение происходит из чего-то во что-то. Однако неверно, что все только иногда находится в покое или в движении, а вечно — ничто, ибо есть нечто, что всегда движет движущееся и первое движущее само неподвижно.