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