Логика. Элементарный курс

Парадокс «Лжец» произвёл громадное впечатление на греков. И легко понять почему. Вопрос, который в нём ставится, с первого взгляда кажется совсем простым: лжёт ли тот, кто говорит только то, что он лжёт? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.

Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдёт решение «Лжеца», и вскоре умер, так ничего и не добившись.

В средние века этот парадокс был отнесён к так называемым неразрешимым предложениям и сделался объектом систематического анализа.

В новое время «Лжец» долго не привлекал никакого внимания. В нём не видели никаких, даже малозначительных затруднений, касающихся употребления языка. И только в наше, так называемое новейшее время развитие логики достигло наконец уровня, когда проблемы, стоящие, как представляется, за этим парадоксом, стало возможным формулировать уже в строгих терминах.

Теперь «Лжец» – этот типичный бывший софизм – нередко именуется королём логических парадоксов. Ему посвящена обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остаётся не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.

Язык и метаязык

Сейчас «Лжец» обычно считается характерным примером тех трудностей, к которым ведёт смешение двух языков: языка, на котором говорится о лежащей вне его действительности, и языка, на котором говорят о самом первом языке.

В повседневном языке нет различия между этими уровнями: и о действительности, и о языке мы говорим на одном и том же языке. Например, человек, родным языком которого является русский язык, не видит никакой особой разницы между утверждениями: «Стекло прозрачно» и «Верно, что стекло прозрачно», хотя одно из них говорит о стекле, а другое – о высказывании относительно стекла.

Если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка – на другом, он мог бы воспользоваться двумя разными существующими языками, допустим русским и английским. Вместо того, чтобы просто сказать: «Корова – это существительное», сказал бы «Корова is a noun», а вместо: «Утверждение „Стекло не прозрачно“ ложно» произнёс бы «The assertion „Стекло не прозрачно“ is false». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире. В самом деле, первые высказывания относились бы к русскому языку, в то время как вторые – к английскому.