Александр Ивин - Логика. Элементарный курс. Учебное пособие

Различение языка и метаязыка позволяет устранить парадокс «Лжеца». Тем самым появляется возможность корректно, без противоречия определить классическое понятие истины: истинным является высказывание, соответствующее описываемой им действительности.

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

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

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

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

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

Итак, существуют высказывания, говорящие о своей собственной истинности или ложности. Идея, что такого рода высказывания не являются осмысленными, очень стара. Её отстаивал ещё древнегреческий логик Хрисипп.

В средние века английский философ и логик У.Оккам заявлял, что утверждение «Всякое высказывание ложно» бессмысленно, поскольку оно говорит в числе прочего и о своей собственной ложности. Из этого утверждения прямо следует противоречие. Если всякое высказывание ложно, то это относится и к самому данному утверждению; но то, что оно ложно, означает, что не всякое высказывание является ложным. Аналогично обстоит дело и с утверждением «Всякое высказывание истинно». Оно также должно быть отнесено к бессмысленным и также ведёт к противоречию: если каждое высказывание истинно, то истинным является и отрицание самого этого высказывания, то есть высказывание, что не всякое высказывание истинно.

Почему, однако, высказывание не может осмысленно говорить о своей собственной истинности или ложности?

Уже современник Оккама, французский философ XIV в. Ж. Буридан, не был согласен с его решением. С точки зрения обычных представлений о бессмысленности, выражения типа «Я лгу», «Всякое высказывание истинно (ложно)» и т.п. вполне осмысленны. О чём можно подумать, о том можно высказаться, – таков общий принцип Буридана. Человек может думать об истинности утверждения, которое он произносит, значит, он может и высказаться об этом. Не все утверждения, говорящие о самих себе, относятся к бессмысленным. Например, утверждение «Это предложение написано по-русски» является истинным, а утверждение «В этом предложении десять слов» ложно. И оба они совершенно осмысленны. Если допускается, что утверждение может говорить и о самом себе, то почему оно не способно со смыслом говорить и о таком своём свойстве, как истинность?

Сам Буридан считал высказывание «Я лгу» не бессмысленным, а ложным. Он обосновывал это так. Когда человек утверждает какое-то предложение, он утверждает тем самым, что оно истинно. Если же предложение говорит о себе, что оно само является ложным, то оно представляет собой только сокращённую формулировку более сложного выражения, утверждающего одновременно и свою истинность, и свою ложность. Это выражение противоречиво и, следовательно, ложно. Но оно никак не бессмысленно.