– язык , который содержит в себе как выражения, относящиеся к некоторым вне языков ым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя слова и предложения, относящиеся к предметам и явлениям окружающего мира , но в то же время в нем есть имена языковых выражений и семантические предикаты — « истинно », «ложно», «выводимо» и т. п. Польский ученый А. Тарский показал, что семантическая замкнутость естественного языка приводит к возникновению в нем противоречий и парадоксов . Напр., пытаясь ответить на вопрос , истинно или ложно предложение «Данное предложение ложно» (которое говорит о самом себе), мы приходим к противоречию. Если мы признаем его истинным, то это означает, что оно действительно ложно. Если же мы признаем его ложным, то это значит , что оно не ложно, т. е. истинно. Чтобы избежать возникновения таких противоречий, при построении формальных языков различают объектный язык, на котором говорят о той или иной области объектов, и метаязык , на котором обсуждают свойства объектного языка и который содержит имена выражений объектного языка и семантические предикаты. Благодаря этому разделению мы избавляемся от семантической замкнутости, и в нашем языке теперь не могут появиться предложения, говорящие о самих себе (см.: Семантическое понятие истины).
Что такое Язык Семантически Замкнутый? Значение Язык Семантически Замкнутый в словаре логики
Язык Семантически Замкнутый - – язык, который содержит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя слова и предложения, относящиеся к предметам и явлениям окружающего мира, но в то же время в нем есть имена языковых выражений и семантические предикаты — «истинно», «ложно», «выводимо» и т. п. Польский ученый А. Тарский показал, что семантическая замкнутость естественного языка приводит к возникновению в нем противоречий и парадоксов. Напр., пытаясь ответить на вопрос, истинно или ложно предложение «Данное предложение ложно» (которое говорит о самом себе), мы приходим к противоречию. Если мы признаем его истинным, то это означает, что оно действительно ложно. Если же мы признаем его ложным, то это значит, что оно не ложно, т. е. истинно. Чтобы избежать возникновения таких противоречий, при построении формальных языков различают объектный язык, на котором говорят о той или иной области объектов, и метаязык, на котором обсуждают свойства объектного языка и который содержит имена выражений объектного языка и семантические предикаты. Благодаря этому разделению мы избавляемся от семантической замкнутости, и в нашем языке теперь не могут появиться предложения, говорящие о самих себе (см.: Семантическое понятие истины).
Соседние слова
Что такое Юма ПринципЧто значит Язык
Что означает Язык Логики
Значение Язык Науки
↑ Язык Семантически Замкнутый ↓
Что такое Языка Функции
Что значит Ясность
Узнайте лексическое, прямое, переносное значение следующих слов:
- Экспликация - (от лат. explicatio разъяснение) уточнение понятий ...
- Экзистенциальное Высказывание - (от лат. existentia существование) — высказывание о ...
- Эквивалентность - или: Равнозначность, общее название отношений, являющихся рефлексивными, ...
- Эвристика - (от греч. heurisko отыскиваю, открываю) совокупность ...
- Цель-Средство - обоснование позитивной ценности средства путем ссылок на ...
- Функция - (от лат. functio — осуществление, выполнение) — соответствие ...
- Формы Мысли - или: Формы мышления, — в традиционной логике основными ...
- Синтаксическая Категория - класс однотипных выражений словаря формализованного языка. Этот ...
- Исчисление - — основанный на четких правилах формальный аппарат оперирования ...
- Физическая Модальность - см.: Онтологическая модальность. ...
- Абсолютные И Сравнительные Модальности - модальные характеристики, приложимые к отдельным объектам и, ...
- Косвенное Доказательство - доказательство, в котором истинность тезиса устанавливается путем ...
- Типов Теория - — система логики предикатов более высокого порядка, чем ...
- Логика Отношений - раздел логики, изучающий свойства высказываний об отношениях ...
- Неправильное Умозаключение - см.: Умозаключение. ...