Платон: «Следующее высказывание Сократа будет ложным».
Сократ: «То, что сказал Платон, истинно».

Старик постоянно говорил, что всё вокруг — неправда.
Правда, потом оказалось, что он лгал.

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

* Данное высказывание — ложьложно, потому что это в нём и высказывается, однако любое высказывание A можно записать в виде
* Данное высказывание — истина и A.Таким образом парадокс лжеца превращается в
* Данное высказывание — истина и данное высказывание — ложь.В данной записи парадокс лжеца не является парадоксом, последнее высказывание — ложь. Утверждение, составляющее парадокс лжеца в формальной логике не доказуемо и не опровержимо. Поэтому считается, что данное высказывания вообще не является логическим утверждением.

Попытка разрешить парадокс приводит к обобщениям классической логики: например, тройственной логике, комплексной логике или паранепротиворечивой логике (англ.Paraconsistent logic).
Близким к парадоксу лжеца высказыванием является теорема Гёделя о неполноте. Согласно Диогену Лаэртскому, стоик Хрисипп посвятил «Лжецу» целый ряд сочинений (Д. Л. VII 196—197).