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

того, что сказано на русском языке, и, значит, относится к метаязыку и
должно быть высказано на английском языке. Конкретно оно должно звучать так:
"Everything I speak in Russian is false" ("Все сказанное мной по-русски
ложно"); в этом английском утверждении ничего не говорится о нем самом, и
никакого парадокса не возникает.
Различение языка и метаязыка позволяет устранить парадокс "Лжеца". Тем
самым появляется возможность корректно, без противоречия определить
классическое понятие истины: истинным является высказывание, соответствующее
описываемой им действительности.
Понятие истины, как и все иные семантические понятия, имеет
относительный характер: оно всегда может быть отнесено к определенному
языку.
Как показал польский логик А.Тарский, классическое определение истины
должно формулироваться в языке более широком, чем тот язык, для которого оно
предназначено. Иными словами, если мы хотим указать, что означает оборот
"высказывание, истинное в данном языке", нужно, помимо выражений этого
языка, пользоваться также выражениями, которых в нем нет.
Тарский ввел понятие семантически замкнутого языка. Такой язык
включает, помимо своих выражений, их имена, а также, что важно подчеркнуть,
высказывания об истинности формулируемых в нем предложений.
Границы между языком и метаязыком в семантически замкнутом языке не
существует. Средства его настолько богаты, что позволяют не только что-то
утверждать о внеязыковой реальности, но и оценивать истинность таких
утверждений. Этих средств достаточно, в частности, для того, чтобы
воспроизвести в языке антиномию "Лжец". Семантически замкнутый язык
оказывается, таким образом, внутренне противоречивым. Каждый естественный
язык является, очевидно, семантически замкнутым.
Единственно приемлемый путь для устранения антиномии, а значит, и
внутренней противоречивости, согласно Тарскому, - отказ от употребления
семантически замкнутого языка. Этот путь приемлем, конечно, только в случае
искусственных, формализованных языков, допускающих ясное подразделение на
язык и метаязык. В естественных же языках с их неясной структурой и
возможностью говорить обо всем на одном и том же языке такой подход не очень
реален. Ставить вопрос о внутренней непротиворечивости этих языков не имеет
смысла. Их богатые выразительные возможности имеют и свою обратную сторону -
парадоксы.


Другие решения парадокса

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