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