Философский словарь - семантика

раздел семиотики и логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Семантическая проблематика обсуждалась еще в античности, однако только на рубеже 19-20 вв. в трудах Ч. Пирса, Ф. де Соссюра, Ч. Морриса С. стала оформляться в самостоятельную дисциплину. Наиболее последовательную и точную разработку получила С.

логическая, ориентированная гл.обр. на исследование формализованных языков. Значительный вклад в ее создание внесли Г. Фреге, Б. Рассел, А. Тарский, Р. Карнап и др. Результаты, полученные логической С. в отношении формализованных языков, используются и при изучении семантических свойств естественных языков.

В логической С.

принято выделять две области исследований теорию референции (обозначения) и теорию смысла. Теория референции исследует отношение языковых выражений к обозначаемым объектам, ее основными категориями являются: "имя", "обозначение", "выполнимость", "истинность", "интерпретация", "модель" и т.п. Теория референции служит основой теории доказательств в логике. Теория смысла пытается ответить на вопрос о том, что такое смысл языковых выражений, когда выражения тождественны по смыслу (синонимы), как соотносятся смысл и денотат и т.п. Значительную роль в становлении логической С. сыграло обсуждение семантических парадоксов, решение которых служит важным критерием приемлемости любой семантической теории.

Павиленис Р.И. Проблема смысла. М., 1983; Степанов Ю.С. В трехмерном пространстве языка. М., 1985; Tarski A. Logic, semantics, metamathematics. Oxford, 1956. .