СЕМАНТИКА

В формализов. языках объектом, по отношению к к-рому ставится вопрос о его значении и смысле, оказывается отд. знак, знакосочетание или к.-л. др. фрагмент текста. Согласно концепции, восходящей к Дж. С. Миллю и Фреге, знак, играющий в формали­зов. языке роль терма (аналога грамматич. подлежа­щего, дополнения или субъекта нек-рого предложения),служит именем нек-рого предмета (называет или обо­значает этот предмет) или класса (множества, совокуп­ности) предметов. Нахождение денотата (предметного значения) для к.-л. конкретного имени даёт существ. ин­формацию об этом имени, но не исчерпывает связанной с ним семантич. проблематики: денотат указывает объём обозначаемого данным именем понятия, но не объясняет его содержания. У имени имеется нек-рый смысл, определяемый набором характеризующих его признаков, причём понимание этого смысла не только не предполагает знания, но даже существования дено­тата данного имени. Имя, обозначая (называя) свой денотат, выражает нек-рый смысл; про этот смысл го­ворят, что он определяет денотат, являясь его концеп­том. Очевидно, что один и тот же денотат может опре­деляться различными концептами. В то же время оди­наковый смысл могут иметь различные имена, назы­ваемые в этом случае синонимами. Вводимое т. о. на множестве имён данного языка отношение синонимии является отношением эквивалентности, т. е. оно реф­лексивно (каждое имя синонимично самому себе), сим­метрично (выражения «о синонимично е» и «в синони­мично а» равносильны) и транзитивно (синонимы од­ного и того же слова синонимичны между собой).

Все эти семантич. понятия распространяются с «ато­марных» объектов формализов. языков - знаков и имён на более сложные знакосочетания - предложения, вы­ражающие высказывания, для к-рых в подходящих ме­таязыках определяется понятие истинности (и ложно­сти), и далее - на исчисления в целом, для к-рых вво­дится понятие интерпретации.

Развитая в работах Тарского, Карнапа и др. система т. н. экстенсиональных (см. Экстенсиональность) семан­тич. характеристик, описывающих элементы языка с т. зр. объёма понятий («обозначение», «наименова­ние», «истина»), «надстраивается» над понятием значе­ния (денотата) и образует, согласно Куйану, теорию референции (теорию обозначения). Значительно менее разработанная часть С.- теория смысла, трактующая интенсиональные (см. Интенсиональность) свойства языков (знаковых систем), посвящена понятиям, ха­рактеризующим языки с т. зр. содержания понятий («смысл», «концепт», «осмысленность», «синонимия», «следование»). В то время как первая группа понятий вводится исходя из чисто конвенциональной идеи при­писывания значений, вторая группа понятий призвана в нек-ром смысле разъяснить суть С.- то, что должно быть понято в языке безотносительно к используемым обозначениям.

Язык С. формализов. языков в свою очередь может быть формализован. Систему формализованной С. разработал, в частности, амер. логик Дж. Кемени. На основе идей сов. логика Д. А. Бочвара формализованная С. строится средствами многозначной логики; к такого рода исследованиям привлекается и модальная логика.  См. к ст. Семиотика.