Синонимия (от греч. synönymia — одноимённость), бинарное отношение, в котором находятся любые два равнозначные, но не тождественные выражения; под равнозначностью понимается соотнесенность либо с одним и тем же денотатом (фактом, объектом и т. п.), либо с одним и тем же сигнификатом (языковым означаемым). В первом случае говорят об экстенсиональной Синонимия (например, «А. Синонимия Пушкин» = «автор «Евгения Онегина»», «7+1» = «2³»), во втором — об интенсиональной Синонимия (например, «огромный» = «громадный»; «A·B» = «AÙВ» в исчислении высказываний). Синонимия представляет собой одно из наиболее фундаментальных понятий лингвистики, а также логики, логической семантики и семиотики. В лингвистике исследуется в основном интенсиональная Синонимия; выражения А и В называются синонимичными (между А и В имеет место Синонимия), если их означающие не равны, т. е. Ф (А) ¹ Ф (В), а их означаемые — равны, т. е. С (A) = С (В). Частным случаем синонимичных выражений являются синонимы. Нередко говорят о Синонимия и в случае достаточной близости соответствующих означаемых; терминологически точнее, однако, ввести для этих случаев понятие квазисинонимии, или энгионимии («близости по смыслу»). В лингвистике различаются морфологическая Синонимия (т. е. Синонимия аффиксов: «-тель» и «-льщик» в «спасатель» и «ныряльщик»), лексическая Синонимия (т. е. Синонимия лексем: «геликоптер» и «вертолёт») и синтаксическая Синонимия (т. е. Синонимия синтаксических конструкций: «красивее Маши» и «красивее, чем Маша»). В традиционной лингвистике исследовались преимущественно лексическая Синонимия и лексические синонимы; в современной лингвистике наибольшее внимание привлекает Синонимия целых высказываний (фраз и ещё больших отрезков текста). Именно Синонимия высказываний является базой теоретических исследований семантики в естественных языках, где смысл высказывания трактуется как инвариант синонимических преобразований этого высказывания, а синонимическое преобразование понимается как переход от высказывания А к синонимическому высказыванию В. Ясно, что Синонимия есть отношение эквивалентности на множестве высказываний.

  Синонимия обычно рассматривается в связи с понятием неоднозначности, а именно — омонимией и полисемией [Ф (А) = Ф (В), C (A) ¹ C (B)]. Необходимо подчеркнуть, что Синонимия, с одной стороны, и омонимия (полисемия), с другой — существенно не симметричны: омонимия и полисемия характерны для более мелких единиц языка (морфы, лексемы, реже — синтаксические конструкции), но маловероятны для целых текстов; Синонимия, напротив, типична для больших отрезков текста (так, достаточно сложная фраза из двух десятков слов может иметь сотни тысяч синонимичных перифраз), хотя Синонимия встречается и среди более мелких единиц.

  Синонимия характерна и для полуформализованных языков научных теорий; в частности, любое (явное) определение устанавливает Синонимия (экстенсиональную, интенсиональную или и ту и другую) между определяемым и определяющим выражениями. Что касается формализованных языков, используемых для описания формальных дедуктивных теорий (исчислений), то интенсиональная Синонимия в них возможна, хотя и не обязательна. Экстенсиональная же Синонимия имеет место во всех формализованных языках, для выражений которых определено хотя бы одно нетривиальное отношение эквивалентности или равенства (т. е. в языках, допускающих в качестве истинных или доказуемых не только выражения вида А ~ А или А = А, но и вида А ~ В или А = В с несовпадающими графически «А» и «В»). Типичные примеры такого рода: алгебраическое равенство (а + b)(a-b) = = a²-b² или эквивалентность исчисления предикатов ù"xA (x) ~$xùA (x) (т. е. равносильность утверждений о существовании объектов, не обладающих некоторым свойством, и о том, что не все объекты обладают этим свойством). (Аналогично квазисинонимия с сужением или расширением по смыслу есть отношение порядка на множестве слов или выражений.)

 

  Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960; Мельчук И. А., Опыт теории лингвистических моделей «Смысл — Текст», М., 1974; Апресян Ю. Д., Лексическая семантика. Синонимические средства языка, М., 1974; Шрейдер Ю. А., Логика знаковых систем, М., 1974.