Словарь логики

– язык, который содер­жит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя слова и предложе­ния, относящиеся к предметам и явлениям окружающего мира, но в то же время в нем есть имена языковых выражений и семан­тические предикаты — «истинно», «ложно», «выводимо» и т. п. Польский ученый А. Тарский показал, что семантическая замкну­тость естественного языка приводит к возникновению в нем про­тиворечий и парадоксов. Напр., пытаясь ответить на вопрос, ис­тинно или ложно предложение «Данное предложение ложно» (ко­торое говорит о самом себе), мы приходим к противоречию. Если мы признаем его истинным, то это означает, что оно действительно ложно. Если же мы признаем его ложным, то это значит, что оно не ложно, т. е. истинно. Чтобы избежать возникновения таких противо­речий, при построении формальных языков различают объект­ный язык, на котором говорят о той или иной области объектов, и метаязык, на котором обсуждают свойства объектного языка и который содержит имена выражений объектного языка и семанти­ческие предикаты. Благодаря этому разделению мы избавляемся от семантической замкнутости, и в нашем языке теперь не могут по­явиться предложения, говорящие о самих себе (см.: Семантическое понятие истины).