Плиско В.Е. - Введение в математическую логику - 14. Интуиционистская логика
Парадокс лжеца: правда ли, что он "ломает логику"?
Парадокс лжеца - пожалуй, один из известнейших примеров логической несостыковки, которая уже несколько тысяч лет не дает покоя беспокойным умам. Вот как появился этот парадокс. Жил-был в 7-м веке до нашей эры на острове Крит философ по имени Эпименид. И он как-то сказал: "Все критяне лжецы" Чем буквально "взорвал мозг" многим поколениям. Ведь, если он сказал правду, то все критяне лжецы, значит, он не мог сказать правду. А если он солгал, то, выходит, что не все критяне лжецы, и, опять же, мы вступаем в противоречие...
Парадокс лжеца
Если сослаться на Википедию, то: «Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно». Если предположить, что утверждение истинно, то, поскольку оно гласит свою ложность, оно ложно, что является противоречием. Напротив, если предположить его ложность, то оно соответствует тому, что само гласит, а потому истинно, что также является противоречием. Суть парадокса — самореференция, то есть указание предложения на самого себя...