Правдивый лжец Ещё в древние времена учёные и философы заметили, что есть утверждения, которые противоречат сами себе. Это не загадки, потому что у них нет разгадок. Подобные утверждения называют парадоксами. Один из самых известных и древних парадоксов — «Парадокс лжеца». Допустим, некто утверждает: «То, что я сейчас говорю, — ложь», или короче: «Я лгу». Истинно или ложно это его утверждение? Предположим, оно истинно, то есть, говоря: «Я лгу», человек говорит правду. Но раз он говорит правду, то, значит, его утверждение «Я лгу» ложно. Получается, что если утверждение истинное, то это приводит к тому, что оно ложно. А теперь предположим, что его утверждение ложно. Значит, утверждая: «Я лгу», он обманывает. Но тогда выходит, что он на самом деле лжёт, и его утверждение «Я лгу» истинное. Теперь получается, что наше предположение о том, что утверждение ложно, приводит к тому, что оно истинное. Как ни крути, такое утверждение приходится признать и истинным, и ложным, причём одновреме