Парадокс Лжеца

Звучит он так: «Данное утверждение ложно».

Обычно рассуждают следующим образом:
"Если предположить, что утверждение истинно, то, поскольку оно гласит свою ложность, оно ложно, что является противоречием. Напротив, если предположить его ложность, то оно соответствует тому, что само гласит, а потому истинно, что также является противоречием."

И в таком виде парадокс неразрешим. В реальности здесь есть подмены одного понятия другим. Истины как реальности, и истины как утверждения. Но согласитесь, что это вовсе не одно и то же!

Например возможны такие рассуждения:

«Данное утверждение ложно». Если это соответствует реальности, то это утверждение истинное по отношению к действительности, но утверждается ложь. Так как истинность и ложность существует здесь по отношению к разным вещям (к действительности и к содержанию), то противоречия никакого нет. Кроме того, заметим, что если истинность определять по отношению к действительности, то это утверждение не может быть действительно ложным, чтобы оно не гласило.

Если же вопреки действительности определять истинность или ложность по самому утверждению (что в корне неверно), то вы получите парадокс лжеца. Таким образом парадокс получается по причине некорректности рассуждений (оторванной от жизни логики), а не потому что в действительности здесь содержится некая парадоксальность.

Это все равно что утверждать, что если мы скажем "2 + 2 = 5", то 2 + 2 "действительно равно 5". Но утверждение и реальность - это разные вещи. Однако в так называемом парадоксе они отождествляются. В этом и есть ошибка рассуждений.

«Данное утверждение ложно». Если это не соответствует реальности, то это утверждение ложное по отношению к действительности и утверждается ложь, то есть противоречия по-любому никакого нет.

«Данное утверждение истинно». Если это соответствует реальности, то это утверждение истинное по отношению к действительности и утверждается истина, то есть противоречия по-любому никакого нет.

«Данное утверждение истинно». Если это не соответствует реальности, то это утверждение ложное по отношению к действительности, но утверждается истина. Так как истинность и ложность существует здесь по отношению к разным вещям (к содержанию и к действительности), то противоречия никакого нет. Кроме того, заметим, что если истинность определять по отношению к действительности, то это утверждение не может быть действительно истинным, чтобы оно не гласило.