Парадокс лжеца
Человек говорит:
«Я сейчас лгу.»
Говорит ли он правду — или лжёт?
Это логический парадокс — в нём нет однозначного ответа!
Почему это парадокс?
Рассмотрим оба варианта:
- Если он говорит правду, то фраза «Я сейчас лгу» — истинна. Значит, он действительно лжёт. Но тогда он не может говорить правду. Противоречие.
- Если он лжёт, то фраза «Я сейчас лгу» — ложна. Значит, на самом деле он не лжёт, то есть говорит правду. Снова противоречие.
Таким образом, утверждение «Я лгу» не может быть ни истинным, ни ложным — оно самореферентно (ссылается само на себя).
Этот парадокс известен с античности (Еввил, Критский лжец) и показывает ограничения классической логики при работе с самоссылающимися высказываниями.
В современной логике такие парадоксы избегают с помощью иерархий языков (например, теория типов Рассела) или отказа от самореференции.