Что такое Язык Семантически Замкнутый? Значение Язык Семантически Замкнутый в словаре логики

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

Язык Семантически Замкнутый

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

Узнайте лексическое, прямое, переносное значение следующих слов:

  • Экспликация - (от лат. explicatio разъяснение)   уточнение понятий ...
  • Экзистенциальное Высказывание - (от лат. existentia су­ществование)  — высказывание о ...
  • Эквивалентность - или: Равнозначность,   общее на­звание отношений, являющихся рефлексивными, ...
  • Эвристика - (от греч. heurisko отыскиваю, открываю)   со­вокупность ...
  • Цель-Средство -   обоснование позитивной ценности сред­ства путем ссылок на ...
  • Функция - (от лат. functio — осуществление, выполнение)  — соот­ветствие ...
  • Формы Мысли - или: Формы мышления,  — в традици­онной логике основными ...
  • Логика - (от греч. logos — слово, понятие, рассуждение, разум), ...
  • Типов Теория -  — система логики предикатов более высокого порядка, чем ...
  • Теория - (от греч. theoria — наблюдение, рассмотрение, исследо­вание)  — ...
  • Причинная Связь -  — физически необходимая связь между яв­лениями, при которой ...
  • Интенсионал И Экстенсионал -   понятия, введенные ав­стрийским логиком и философом Р. ...
  • Осмысленность -   наличие смысла, в противоположность бессмысленности — отсутствию ...
  • Категория - (от греч. kategoria высказывание, обвинение, при­знак)  — ...
  • Двузначная Логика -  — логика, опирающаяся на двузначнос­ти (бивалентности) принцип. Двузначной ...


Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари