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