| Аннотация | Возможен ли логически последовательный семантически замкнутый язык? Ортодоксальным для логики ХХ в. является отрицательный ответ на данный вопрос, представленный в теории типов Б. Рассела и семантической теории метаязыков А. Тарского. Тем не менее современные логики и философы языка не перестают возвращаться к данной проблеме, указывая на ее актуальность в различных аспектах. В частности, утверждается, что семантически замкнутый язык является принципиально важным средством выражения идей логического и философского характера. В логике ХХ в. вопрос о семантически замкнутом языке обсуждался в связи с проблемой логических парадоксов. Б. Рассел и А. Тарский видели основополагающую причину образования парадоксов в явлении самореферентности, которое возникает в семантически замкнутом языке. Соответственно, решение парадоксов усматривалось в том, чтобы устранить их основание, т. е. запретить семантически замкнутый язык посредством введения иерархии логических типов классов (Б. Рассел) или иерархии метаязыков (А. Тарский). Однако в некоторых современных логических исследованиях звучит критика в адрес иерархического подхода Рассела-Тарского, где главным аргументом выступает утверждение о том, что иерархический подход неверно диагностировал причину появления парадоксов. Автор данной статьи не пытается исправить диагностику иерархического подхода за счет выявления иной причины, порождающей парадоксы. Представленное в статье исследование исходит из гипотезы отсутствия единого основания логических парадоксов. Соответственно, автор признает, что решение проблемы парадоксов не может быть дано a priori, в общем виде, посредством искоренения фундаментальной причины, которая их порождает. В этой ситуации предлагается новое “ad hoc решение” проблемы, опирающееся на эмпирический метод фиксации и устранения логических парадоксов. Специфика нового решения состоит в том, что оно допускает существование логически последовательного семантически замкнутого языка. |
|---|
| Ключевые слова | семантически замкнутый язык, самореферентность, парадоксы, истина, Рассел, Тарский, иерархический подход, семантическая некорректность, ad hoc решение логических парадоксов |
|---|