— раздел логики (металогики), исследующий отношение языков ых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX—XX вв. благодаря работам Ч. Пирса, Г. Фреге , Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский , Р. Карнап , У. Куайн , Дж. Кемени, К. И. Льюис , С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ формализованных языков, однако в последние 20 лет все больше исследований посвящается естественному языку. В С. л. традиционно выделяют две области — теорию референции (обозначения) и теорию смысл а. Теория референции исследует отношение языковых выражений к обозначаемым объектам, ее основными категориями являются: «имя», «обозначение», «выполнимость», «истинность», «интерпретация», «модель» и т. п. Теория референции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языковых выражений, когда выражения являются тождественными по смыслу, как соотносятся смысл и денотат и т. п. Значительную роль в С.л. играет обсуждение семантических парадоксов , решение которых является важным критерием приемлемости любой семантической теории.
Что такое Семантика Логическая? Значение Семантика Логическая в словаре логики
Семантика Логическая - — раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантики обсуждались еще в античности, однако в качестве самостоятельной дисциплины она стала оформляться на рубеже XIX—XX вв. благодаря работам Ч. Пирса, Г. Фреге, Б. Рассела. Значительный вклад в разработку проблем С. л. внесли А. Тарский, Р. Карнап, У. Куайн, Дж. Кемени, К. И. Льюис, С. Крипке и др. В течение длительного времени С. л. ориентировалась преимущественно на анализ формализованных языков, однако в последние 20 лет все больше исследований посвящается естественному языку. В С. л. традиционно выделяют две области — теорию референции (обозначения) и теорию смысла. Теория референции исследует отношение языковых выражений к обозначаемым объектам, ее основными категориями являются: «имя», «обозначение», «выполнимость», «истинность», «интерпретация», «модель» и т. п. Теория референции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языковых выражений, когда выражения являются тождественными по смыслу, как соотносятся смысл и денотат и т. п. Значительную роль в С.л. играет обсуждение семантических парадоксов, решение которых является важным критерием приемлемости любой семантической теории.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Содержание Понятия - см.: Понятие. ...
- Современная Логика - — одно из имен для обозначения нынешнего этапа ...
- Совместимости Условие - требование, чтобы выдвигаемое положение (гипотеза) соответствовало не ...
- Смысл - — в повседневной речи синоним значения. В логической ...
- Сложное Высказывание - высказывание, полученное с помощью логических связок из ...
- Следование - см.: Логическое следование. ...
- Синтаксис - (греч. syntaxis — построение, порядок) — раздел семиотики, ...
- Разрешающая Процедура - см.: Разрешения проблема. ...
- Разделительно-Категорическое Умозаключение - умозаключение, в котором одна из посылок — разделительное ...
- Равнообъемность - отношение между понятиями, объемы которых совпадают. Напр., ...
- Равенство - — отношение между знаковыми выражениями, обозначающими один и ...
- Противопоставление Предикату - вид непосредственного умозаключения, в котором субъектом вывода ...
- Пропозициональная Функция - функция, область значений которой составляют высказывания, обладающие ...
- Проблема - (от греч. problema — преграда, трудность, задача) — ...
- Абстрактный Предмет - (англ. abstract entity) предмет, не существующий ...