ЯЗЫК СЕМАНТИЧЕСКИ ЗАМКНУТЫЙ

Найдено 1 определение
ЯЗЫК СЕМАНТИЧЕСКИ ЗАМКНУТЫЙ

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

Источник: Словарь по логике

Найдено научных статей по теме — 2

Читать PDF

«Усиленный Лжец» и семантически замкнутый язык

Пикалов Константин Александрович
В статье рассматривается возможность определения предиката «истина» в семантически замкнутом языке при условии отказа от некоторых постулатов классической логики.
Читать PDF

Решение логических парадоксов в семантически замкнутом языке

Ладов В.А.
Возможен ли логически последовательный семантически замкнутый язык? Ортодоксальным для логики ХХ в. является отрицательный ответ на данный вопрос, представленный в теории типов Б. Рассела и семантической теории метаязыков А.

Похожие термины:

  • СЕМАНТИЧЕСКИ ЗАМКНУТЫЕ ЯЗЫКИ

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