В формальной логике "истина" и "ложь" - это оценки суждений, но не сами суждения. Когда Платон говорит: то, что сказал Сократ - ложь, - он не выносит суждения, а лишь дает оценку суждению Сократа. То же самое делает Сократ. И получается, что оба философа оценили суждения друг дружки, но при этом никаких суждений не вынесли. И софистичность парадокса в том, что оценки суждений ловко выдаются за сами суждения. Если бы Платон сказал что-то вроде: сейчас пойдет дождь,- или: все тоги белые, - это были бы суждения, которые можно оценить как истинные либо ложные.