- одно из важнейших понятий логической семантики, выражающее тождество значений языковых выражений. Два выражения считаются синонимичными, если имеют одно и то же значение. Это исходное представление о С. уточняется в логической семантике в различных отношениях: 1) по отношению к определенному языку или языкам; 2) по отношению к тем или иным видам языковых выражений (имен, предикатов, предложений и т. п.); 3) по отношению к определенному носителю языка; 4) по отношению к различным видам значения. Так, напр., если мы говорим только о предметном значении языковых выражений, т. е. об их денотатах, то два выражения будут синонимичными в том случае, если их денотаты совпадают. Выражения "самая крупная птица на Земле" и "страус" являются с этой точки зрения синонимами. Критерием такой С. будет истинность предложения "Самая крупная птица на Земле является страусом". Данное предложение фактически истинно, что свидетельствует о том, что указанные выражения являются синонимами. Но если под значением мы имеем в виду не только предметное значение, но и смысл языковых выражений, то синонимами мы будем называть лишь такие выражения, у которых совпадают не только денотаты, но и смысл. Критерием такой С. является не просто истинность, но аналитическая истинность предложения, говорящего о тождестве двух выражений. Напр., истинность такого предложения, как "Всякий холостяк неженат", устанавливается не обращением к фактам, а логическим анализом входящих в него выражений, т. е. является аналитической. Следовательно, выражения "холостяк" и "неженат" являются синонимами в этом более строгом смысле.