Рассмотрим ещё один известнейший якобы логический парадокс — так называемый парадокс лжеца. Он встречается в разных формах, одна из его классических форм представлена высказыванием «это утверждение является ложным». Те, кто ранее не сталкивались с этим парадоксом, могут ознакомиться с необычным свойством этого высказывания: если признать его истинным, то немедленно получится, что оно ложно, если же признать его ложным, то немедленно получится, что оно истинно. Неэффективные представления об истине в течение веков заставляли философов считать это настоящим парадоксом; вместо его решения лучшие умы человечества многократно признавали, что существование неразрешимых парадоксов в логике вообще является неизбежным и заурядным явлением, а существование данного конкретного парадокса было объяснено присутствием в нём так называемой самореференции, то есть обращения высказывания к самому себе. Считается, что такое высказывание, аналогично математической функции, аргументом которой является сама эта функция, приводит к парадоксам и потому попросту не может быть оценено на предмет его истинности. Между тем внимательный читатель, усвоив приведённое здесь определение истины, мог заметить, что в высказывании «это утверждение является ложным» не описываются ни объекты реального мира, ни знание, потому что данное высказывание не передаёт уже известное свойство, присущее ему, а только пытается задать его впервые, и у нас нет готового эталона, с которым мы могли бы провести сравнение для проверки. Если высказывание невозможно проверить, то, как и в случае с высказываниями о реальности в будущем времени, критерий истинности или ложности к нему неприменим. Таким образом, парадокс лжеца следует рассматривать не как осмысленное утверждение, вызывающее противоречие в логике, а как утверждение бессмысленное, потому что оно претендует оценивать истинность высказывания, которое такой оценке не подлежит.
Впрочем, для кого-то окажется не слишком очевидным, что слово «утверждение» в данном случае не следует относить к реальному миру, поэтому давайте рассмотрим этот момент подробнее. Утверждение есть повествовательное высказывание. Высказывание, поскольку является множеством идей, выраженных материальным способом, имеет двойственную природу. С одной стороны, оно передаёт некоторое количество информации, то есть чистейшей абстракции, не явленной в реальном мире, с другой стороны, само высказывание в реальности представлено либо серией колебаний воздуха, либо чернильным следом на бумаге, либо серией разнонамагниченных участков специального диска или плёнки, либо рисунком из вмятин на глиняной табличке, и т. п. Когда люди оценивают высказывание, почти во всех случаях они имеют в виду его идейную составляющую и очень редко вспоминают о его материальном выражении. В самом деле, вспомните, сколько раз в своей жизни вы слышали высказывания вроде «закон сохранения энергии изменил представление учёных о Вселенной» и сколько раз вы слышали нечто вроде «закон сохранения энергии требует столько-то чернил и места на бумаге для его записи». Если мы вновь обратимся к рассматриваемому парадоксу, то легко заметим, что в нём утверждается о ложности высказывания, то есть оценивается именно его идейная составляющая, а не материальное выражение. Следовательно, обсуждаемым предметом здесь является идея. Если же мы рассмотрим высказывание «это утверждение состоит из четырёх букв», здесь предметом обсуждения будет являться материальное выражение этого высказывания, и для определения его истинности нам всего лишь придётся сосчитать либо отдельные звуки среди колебаний воздуха, либо отдельные чернильные знаки на бумаге, либо группы светодиодов на экране, излучающие свет отлично от фона; возможны и другие варианты, но все они будут представлены в реальном мире.
