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